Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Geometría Proyectiva
Geometría Proyectiva
Jose Ortega
Universidad de Carabobo, FaCyT-Matematicas
21 de abril de 2007
Indice general
1. Introducci
on hist
orica
1.1. La perspectiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Definici
on de espacio proyectivo
1
3
2.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3. Referenciales proyectivos
10
4. Cono proyectante
12
4.1. Definici
on de Cono Proyectante en un subconjunto . . . . . . . . . . . . . . . . . . .
12
12
4.3. Proyecci
on de Centro un Punto Sobre un Hiperplano . . . . . . . . . . . . . . . . . .
14
4.4. Proyecci
on de Centro un Subespacio Sobre un Subespacio . . . . . . . . . . . . . . .
15
17
5.1. Aplicaci
on de Paso a Coordenadas, no, Homogeneas . . . . . . . . . . . . . . . . . .
17
18
19
6. Modelo Proyectivo
22
6.1. Definici
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ii
22
6.2. Observaci
on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
23
6.4. proyecci
on estereogr
afica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
24
7. Morfismos proyectivos
26
26
27
7.3. Composici
on de morfismos proyectivos . . . . . . . . . . . . . . . . . . . . . . . . . .
28
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
7.5. Representaci
on matricial de los morfismos proyectivos . . . . . . . . . . . . . . . . .
29
30
31
32
iii
Captulo 1
Introducci
on hist
orica
1.1.
La perspectiva
La geometra proyectiva tiene sus orgenes en las reglas de la perspectiva, que los artistas del
Renacimiento estudiaron cientficamente y utilizaron de modo sistematico. En el Edad Media el
objetivo de la pintura, y de las otras artes, fue la glorificacion de Dios y la ilustracion de temas
bblicos; las figuras fueron por lo tanto simbolicas antes que realistas, los seres vivientes y los objetos
pintados fueron planos e innaturales. En el Renacimiento el objetivo de las artes figurativas se
convierte en la representaci
on del mundo real, en el modo mas fiel posible. Se estrella por lo tanto
enseguida con el problema de representar bien un mundo tridimensional sobre una superficie llana,
la tela,; este es lo que la perspectiva estudia. Los primeros y mas ilustres artistas que dedicaron su
atenci
on al problema de la perspectiva fueron el arquitecto florentino Filippo Brunelleschi, 1377-1446
y el arquitecto Leon Baptista Alberti, 1404-1472, con la obra Del picturadel 1435. El principio
fundamental de L.B.Alberti puede ser explicado as: para simplificar el problema simulamos solo ver
con uno ojo (O) (el fue sin embargo consciente que eso es restrictivo, e imaginamos rayos de luz que
llamo al conjunto de
juntan el ojo a un punto cualquiera P del objeto tridimensional a pintar. El
estos rayos u
na proyecci
on.Suponemos que una pantalla plana transparente sea puesta verticalmente
delante del ojo; cada rayo OP encuentra la pantalla en un punto P 0 ; el conjunto de estos P 0 fue
denominado por L.B.Alberti u
na seccion.La cosa interesante es que mirar la seccion crea (en O) la
ilusion de mirar el objeto original, porque de la seccion provienen al ojo los mismos rayos luminosos
que provienen del objeto. En lugar de la pantalla transparente podemos poner el lienzo y pintar
una secci
on. Alberti adem
as formulo una pregunta muy importante: si se cambia la posicion de la
1
pantalla delante del ojo, se consigue una seccion diferente de la anterior? Ademas si dos secciones
provienendel mismo objeto; cu
ales propiedades geometricas tienen en com
un estas dos secciones?,
Captulo 2
Definici
on de espacio proyectivo
2.1.
Definici
on
Definici
on 2.1.1. En lo que sigue K denotar
a siempre un cuerpo fijo y V un K-espacio vectorial de
dimensi
on n + 1. El espacio proyectivo sobre K asociado a V es el conjunto P(V) cuyos elementos,
llamados puntos de P(V), son los subespacios vectoriales de dimensi
on uno de V , es decir las rectas
vectoriales de V.
P(V) es llamado tambien proyectivizacion o proyectivizado de V. Todo v V\{0} genera el
subespacio de V de dimensi
on uno < v >= {v : K}. Cuando lo consideremos como un
punto de P(V) denotaremos a este subespacio con el smbolo [v].
Es inmediato que dos vectores v y w V\{0}, definen el mismo punto de P(V) o sea [v] = [w], si
y solo si, existe K 6= 0, tal que w = v.
Hay una correspondencia biunvoca natural entre P(V) y el conjunto cociente V\{0}/ , donde
es la relaci
on de equivalencia siguiente: v w si y solo si existe K tal que v = w. Esto es:
P(V)
[w]
V\{0}/
[w]
Podemos en consecuencia identificar P(V) con V\{0}/ escribiendo P(V) = V\{0}/ . Por esta
razon, los puntos de P(V) se representan escribiendo un elemento de V\{0} entre corchetes: [ ].
Tal escritura indica una clase de equivalencia, y el vector entre corchetes es un representante.
Definici
on 2.1.2. La dimensi
on P(V) = dim V 1, y se denota con dim P(V).
Tal definici
on es bastante natural, pues P(V), siendo un conjunto de rectas de V, debe tener
dimensi
on menor de uno respecto a V.
en este caso V no posee subespacios de dimension uno. Se puede as considerar al conjunto vaco
3
como un espacio proyectivo de dimension -1 sobre cualquier cuerpo K. Si dim V = 1 entonces P(V)
posee un solo punto, el propio V y dimP(V) = 0, un espacio proyectivo de dimension 0 consiste solo
de un solo punto. Los ejemplos mas importantes de espacios proyectivos se obtienen considerando
V = Kn+1 . El espacio P(Kn+1 ) se denota con Pn (K), o simplemente con Pn si no tiene posibilidad
de equivoco. Este espacio se llama el n-espacio proyectivo numerico, o el espacio proyectivo standard
n-dimensional sobre el cuerpo K. Dado (x0 , x1 , . . . , xn ) Kn+1 \{0} denotaremos con [x0 , x1 , . . . , xn ]
al punto correspondiente de Pn Se tiene [x0 , x1 , . . . , xn ] = [y0 , y1 , . . . , yn ] K : yi = xi i =
0, 1, . . . , n
Definici
on 2.1.3. Un espacio proyectivo se denomina real si K = R, complejo cuando K = C.
Los espacios proyectivos de dimension 1 y 2, se denominan, respectivamente, recta y plano
proyectivos.
2.2.
Consideremos P1 (R) visto como el conjunto de las rectas de R2 que pasan por el origen.
Si s representa la recta de ecuaci
on x0 = 1 en R2 . Es posible establecer una correspondencia biunvoca
entre
recta de R2 pasando por el 0
puntos de s direccion de s.
r 6= eje x1
rs
eje x1
direccion de s
(origen)
2.3.
Consideremos P2 (R) que ya fue definido como el conjunto de las rectas vectoriales de R3 , es decir
rectas por el origen, y sea H el plano de R3 de ecuacion z = 1.
r 6 k {z = 1}
r {z = 1} = 1 punto
rk{z = 1}
Estando el plano z = 1 en correspondencia biunvoca con el plano afn real A2 (R) podemos decir que
el conjunto de los puntos de P2 (R) esta en correspondencia biunvoca con el conjunto de los puntos
de A2 (R) y de las direcciones de las rectas de A2 (R). De esta manera hemos ampliado A2 (R) para
evitar algunas excepciones (por ejemplo: dos rectas en un plano afn se cortan en un punto o son
paralelas), llamando puntos a todos los puntos de A2 (R) y tambien a todas las direcciones de las
rectas de A2 (R)
2.4.
Sea K un campo finito con k elementos, y P(V) un espacio proyectivo de dimension n sobre K
Entonces
#(P(V)) =
#(P(V)) = #(recta de V\{0}) =
k n+1 1
.
k1
#(Kn+1 \{0})
k n+1 1
=
,
#(puntos de una recta vectorial de Kn+1 , excepto lo {0})
k1
como #(Kn+1 ) = k n+1 y toda recta tiene k 1 elementos, ya que esta privada del origen.
Ejemplo 2.4.1. Toda recta proyectiva sobre Z2 tiene tres puntos, en efecto:
#(P(V)) =
2n+1 1
= 4 1 = 3,
21
x = 0,
y = 0.
Y las rectas proyectivas de V, un (Z2 espacio vectorial de dimension 3 son las rectas de ecuaciones:
x + y + z = 0, x + y = 0, x = 0, x + z = 0, y + z = 0, y = 0, z = 0.
Captulo 3
Referenciales proyectivos
3.1.
Coordenadas homog
eneas
1
.
.
Si B = (v1 , . . . , vn ) es una base de V, y v = 1 v1 + + n vn V, escribimos v =
. .
n
..
n
, de ahora en adelante, ser
a denotada por E = (e0 , . . . , en ). Queremos asociar coordenadas a
los puntos de un espacio proyectivo. Fijada una base B = (v0 , v1 , . . . , vn ) de V podemos asociar con
1
.
.
cada punto [v] P(V) una, n + 1-plano de coordenadas de este modo: si v =
. , entonces
n
B
decimos que x0 , . . . , xn son los coordenadas homog
eneas del punto [v] con respecto a la base B.
Tales coordenadas quedan u
nicamente determinadas a menos de un factor de proporcionalidad no
nulo. En efecto, dado K vale [v] = [v] y v = x0 v0 + x1 v1 + + xn vn . Por tanto, si
x0 , . . . , xn son coordenadas homogeneas de [v] con respecto a B, tambien lo sonx0 , . . . , xn por cada
6= 0. Por esta raz
on denotaremos a las coordenadas homogeneas del punto P = [v] con respecto a
la base B mediante [x0 : . . . : xn ]B . Para indicar que son u
nicas salvo un factor de proporcionalidad.
Proposici
on 3.1.1. Dos bases proporcionales de V determinan las mismas coordenadas en el
espacio proyectivo P(V).
Demostraci
on. Sea B = (v0 , v1 , . . . , vn ) una base de V y escribamos , para cada K , B :=
(v0 , . . . , vn ). Sea v = (x0 , . . . , xn )B ; se tiene entonces
x0 v0 + + xn vn =
xn
1
x0
v0 + +
vn = (x0 v0 + + xn vn )
Definici
on 3.1.2. Sea B = (v0 , . . . , vn ) una base de V. Decimos que la familia de bases {B}K
define en P(V) un sistema de coordenadas homogeneas o referencial proyectivo, P, es decir
P = {B}K .
Sea P = {B}K un referencial proyectivo sobre P(V) y sea [v] un punto de P(V). Decimos que
[v] tiene coordenadas homogeneas a0 , . . . , an con respecto de P, y escribimos [v] = [a0 , . . . , an ]P ,
si a0 , . . . , an son las coordenadas homogeneas de [v] con respecto de un cualquiera de las bases
de la familia P. Esta definici
on tiene sentido gracias a la proposicion [citar]. Las coordenadas
homogeneas de [v] son determinadas, como hemos visto, a menos que un factor de proporcionalidad.
Recprocamente, las coordenadas con respecto de un referencial proyectivo determinan el punto; en
efecto, si P = [a0 : . . . : an ]P , entonces P = [a0 v0 + + an vn ], donde (v0 , . . . , vn ) es una base de
la familia P. Si consideramos otra base cualquiera (v0 , . . . , vn ) de P, entonces
P = [a0 v0 + + an vn ] = [(a0 v0 + + an vn )] = [a0 v0 + + an vn ].
Lo que hemos hecho ha sido establecer sustancialmente una correspondencia biunvoca
P :
P(V)
[(a0 : . . . : an )B ] (= [a0 : . . . : an ]P ) 7
Pn (K).
[a0 : . . . : an ]
Observemos que en Pn (K) el referencial proyectivo estandar, es decir aquel asociado a la base
canonica, S = {E}K , hace que un punto [x0 , . . . , xn ] tenga como coordenadas homogeneas con
respecto de S precisamente x0 , . . . , xn , es decir [x0 , . . . , xn ] = [x0 , . . . , xn ]S .
Ejemplo 3.1.2. Consideremos la base B = (v0 , v1 ) de R2 y la modificamos multiplicando
cada vector por escalares diferentes, por ejemplo tomando la base B 0 = (2v0 , 3v1 ). Entonces las
3.2.
Proposici
on 3.2.1.
En un K-espacio vectorial V, los vectores v1 , v2 , . . . , vh son linealmente
independientes, (abreviado l.i.), respectivamente linealmente dependientes, (abreviado l. d.), si y
s
olo si lo son los vectores u1 = 1 v1 , u2 = 2 v2 , . . . , uh = h vh , obtenidos multiplicando los vi por
un escalar i K , i = 1, . . . , h.
Demostraci
on. Los vectores v1 , v2 , . . . , vh son linealmente dependientes si y solo si existen
Ph
h escalar no todos nulos 1 , 2 , . . . , h K tales que
olo si
i=1 i vi = 0. Esto vale si y s
Ph i
i
olo si 1 v1 , 2 v2 , . . . , h vh son
i=1 i (i vi ) = 0 con i escalares no todos nulos, es decir si y s
linealmente dependientes.
Definici
on 3.2.2. Dado el espacio proyectivo P(V) decimos que h puntos P1 = [v1 ], . . . , Ph =
[vh ] P(V) son linealmente dependientes, (l. d.) o bien linealmente independientes, (l.i.)
si lo son los vectores v1 , . . . , vh en V.
En virtud de la proposici
on [citar], tal definicion tiene sentido, porque la dependencia lineal no
depende de los representantes de las clases [vi ] .
Observaci
on 3.2.3.
3.3.
Proposici
on 3.3.1. Sean B = (v0 , . . . , vn ), B 0 = (w0 , . . . , wn ) bases de V. Entonces [v0 ] =
[w0 ], . . . , [vn ] = [wn ], [v0 + + vn ] = [w0 + + wn ] si y s
olo si existe K tal que vi = wi
3.4.
Puntos en posici
on general
Definici
on 3.4.1. Los puntos P1 , . . . , Pt P(V) est
an en posici
on general si son linealmente
independientes ( y en este caso t n + 1), o bien si t > n + 1 y cualesquiera n + 1 de ellos son
linealmente independientes
Proposici
on 3.4.2. Sean P0 = [v0 ], . . . , Pn+1 = [vn+1 ] puntos de P(V) con dim V = n + 1.
Entonces estos n + 2 puntos est
an en posici
on general si y s
olo si existen entre ellos
Pn n + 1 puntos
linealmente independientes, por ejemplo: P0 , . . . , Pn y el u
ltimo es tal que Pn+1 = [ i=0 i vi ], d
onde
i 6= 0 por cada i = 0, . . . , n.
Demostraci
on ) Sean P0 , P1 , . . . , Pn+1 puntos en posicion general, entonces v0 , . . . , vn son
Pn
vectores linealmente independientes en V, y sea vn+1 = i=0 i vi , (vn+1
es indudablemente combinaci
on lineal de v0 , . . . , vn , porque este son n+1 vectores linealmente
independientes en V, espacio vectorial de dimension n+1, por lo tanto son una base de V).
10
0
% v0
+ +
n
% vn
= 0 , . . . , %n = n ,
es decir 0 = 0 %, . . . , n = n %.
Esto significa que B 0 = %B, es decir P = P 0 .
Captulo 4
Cono proyectante
4.1.
Definici
on de Cono Proyectante en un subconjunto
Sea J 6= un sottinsieme de P(V) y sea P P(V) punto cualquiera. El cono proiettante J del
punto P es por definici
on
Cp (J) = QJ L (P, Q)
Es decir es la unid
ad de todas las rectas que contienen P y al menos un punto de J. El punto P se
le dice cumbre del cono.
4.2.
Propocici
on Si S es un subespacio proyecivo de P(V), pues CP (S) = L(S, P ) por cada P P(V).
En particular: si S es un punto P 6= S, pues CP (S)es la lnea recta que contiene S y P.
QS
12
S
El segundo miembro de tal igualdad es exactamente P( wS0 < v, w >), demostrar que este u
ltimo
es igual a P(< v, w1 , . . . , wr >).
Cp (S) = P (h v, w1 , . . . , wr i) = L (P, S)
Propocici
on Si S y T son dos sottoespacios que proyecta de P(V), entonces vale
L (S, T ) = P T Cp (S) = QS CQ (T )
Demostraci
on
El subespacio suma de S T, es decir L(S, T ), no es otro que
QS
2, es igual a
QS CQ (T ) = QS P T L (Q, P ) = P T Cp (S)
Ejemplo Sea un recto proyectivo en P2 (R) y sea P 6 r.
Pues CP (r) = L(P, r) = P2 (R). En efecto dim L(P, r) = dim P +dim r dim(P r) = 0+1(1) =
2.
ejemplos Sean A = [0, 1, 2], B = [1, 0, 1], P = [0, 0, 1] P2 (R). Pues CP {A, B} =
!
!
0 1 2
1 0 1
L(A, P ) L(B, P ). Puesto que r
= 2 y r
= 2, entonces ecuaciones
0 0 1
0 0 1
cartesianas por L(A, P ) y por L(B, P) son, ejemplo 14 de la seccion .Ecuaciones de un sottoespacio
x x x
0
1
2
proyectivo):L(A, P ) : 0
1
2 = 0, es decir x0 = 0,
0
0
1
x
0 x1 x2
L(B, P ) : 1 0
1 = 0, es decir x1 = 0.
0
0
1
Luego CP {A, B} = {[x0 , x1 , x2 ] P2 (R) : x0 = 0}{[x0 , x1 , x2 ] P2 (R) : x1 = 0} = {[x0 , x1 , x2 ]
P2 (R) : x0 x1 = 0} (en efecto R es un campo por lo tanto el productoo x0 x1 es nulo si y solo si uno
de los dos factores es nulo.
13
x0 = +
x = 2
1
P = [0, 0, 0, 1] 6 r. Pues CP (r) = L(P, r) es el plan de ecuaciones parametricas
con
x2 = 3
x =
3
(, , ) 6= (0, 0, 0) par
ametros homogeneos.
4.3.
Proyecci
on de Centro un Punto Sobre un Hiperplano
La proyecci
on de P(V) sobre H de es Q la aplicacion
Q,H : P (V ) \ H
T 7 L (T, Q) H
Notamos que tal definici
on tiene sentido, porque Q 6 H, luego L(T, Q) 6 H, pues, ves el ejercicio
8 de la secci
on Sottospazi proyectivos) L(T, Q) H es un punto. La aplicacion Q,H es por lo
tanto la aplicaci
on que asocia con un punto T 6= Q el punto de interseccion de H con la lnea recta
congiungente T y Q.
14
x0 = + a0
x1 = a1
En efecto la lnea recta L(P, Q) tiene ecuaciones paramatricas
con (, ) 6= (0, 0),
..
xn = an
y el punto Q,H (P ) = H0 L(P, Q) consigue por [, ] = [a0 , 1].
4.4.
Proyecci
on de Centro un Subespacio Sobre un Subespacio
Observaci
on En general, si dim P(V) = n, se puede considerar la proyeccion de centro S sobre
S 0 , donde S y S 0 son sottoespacios que proyecta de P(V) tales que S S 0 = y dim L(S, S 0 ) = n,
definida como:
Q,H : P (V ) \ S S 0
T 7 L (T, S) S 0
Tal definici
on tiene sentido, en efecto dim(L(S, T ) S 0 ) = dim L(S, T ) + dim S 0 dim L(L(S, T ), S 0 ).
Pero n = dim L(S, S 0 ) dim L(L(S, T ), S 0 ) dim P(V) = n, luego dim L(L(S, T ), S 0 ) = n =
dim S + dim S 0 dim(S S 0 ) = dim S + dim S 0 (1). este implica que dim(L(S, T ) S 0 ) =
dim L(S, T ) + dim S 0 dim S dim S 0 1; ademas, ya que tenemos a que hacer con un pica T 6 S,
pues dim L(S, T ) = dim S + 1, pues
dim (L (S, T ) S 0 ) = dim (S) + 1 + dim (S 0 ) dim (S) dim (S 0 ) 1 = 0.
Luego la proyecci
on del punto T sobre S 0 siempre es un punto.
Captulo 5
Aplicaci
on de Paso a Coordenadas, no, Homog
eneas
Consideramos Pn = Pn (K) = P(Kn+1 ) como el conjunto de las rectas afnes de An+1 que pasan
por el origen: cada punto [x0 , x1 , . . . , xn ] Pn corresponde a la recta de An+1 constituida por los
puntos (x0 , x1 , . . . , xn ) al variar K. Los puntos P H0 corresponden a las rectas contenidas
en el iperplano afn de ecuaci
on x0 = 0. Llamamos a tal iperplano H00 .
16
Definici
on La aplicaci
on j induce por tanto una correspondencia biunvoca entre Y H0 y Pn .
Se notas adem
as que los puntos de H0 son las rectas vectoriales de Kn+1 contenidas en la posicion
de Y, que es precisamente el iperplano vectorial H00 . en pocas palabras: H0 = P(giacY ), y se tiene
por lo tanto un biezione natural
Y P (giacY ) P n .
Se observas que H0 y Y pueden ser reemplazados por un cualquier iperplano P(H) de Pn y de un
iperplano afn de An+1 habiente posicion H y no pasajero por el origen.
Si en la construcci
on anterior identificamos Y con An , utilizando la aplicacion biunvoca
g : An Y ;
(y1 , . . . , yn ) 7 (1, y1 , . . . , yn )
Componiendo j con g conseguimos la aplicacion biunvoca
j0 = jog : An P n \H0
(y1 , . . . , yn ) 7 [1, y1 , . . . , yn ]
cuya inversa es
j01 : P n \H0 An
[x0 , x1 , . . . , xn ] 7
x1 x2
xn
x0 , x0 , . . . , x0
Definici
on La funci
on j0 se llama aplicacion de paso a coordenadas homogeneas con respecto de
x0 .
La funci
on j01 en cambio es aplicacion de paso a coordenadas homogeneas no con respecto de x0 .
5.2.
Observaci
on La aplicaci
on
j0 : An
P
Pn
j0 (P )
17
Observaci
on Considerando, en lugar de H0 , uno cualquiera de los iperplanos coordenados Hi por
i = 1, . . . , n, y procediendo como en el caso anterior, se consigue la aplicacion biunivoca
ji :
An
Pn \ H i
[y0 , . . . , yi1 , 1, yi+1 , . . . , yn ]
con inversa
ji1 :
Pn \ H i
[x0 , . . . , xi , . . . , xn ] 7
An
.
, xxi+1
, . . . , xxni )
( xx0i , . . . , xxi1
i
i
El ji es la aplicaci
on de paso a coordenadas homogeneas, ella ji1 de paso a coordenadas no homogeneas, con respecto de xi ; es decir el iperplano impropio con respecto de ji ( ji ), y los sus puntos
son puntos impropios con respecto de ji ( ji ).
Observaci
on Las construcciones de las observaciones 1 puede ser generalizadas a un espacio
proiettivo cualquiera P(V) de dimension n. este puede ser hecho de modo bastante simple usando
un isomorfismo : V Kn+1 , por ejemplo elegiendo una base por V y trabajando en P(Kn+1 ).
5.3.
Proposici
on Sean y1 , . . . , yn las coordenadas de un punto variable en An = An (K), y sean
x0 , . . . , xn las coordenadas homogeneas de un punto variable en Pn = Pn (K). Considerae un iperplano H 0 de An , de ecuaci
on a1 Y1 + + an Yn + a0 = 0 ().
Entonces la aplicaci
on j0 : An Pn \ H0 definida en la observacion 1 transforma los pun0
tos de H en los puntos propios ( con respecto de j0 ) del iperplano H de Pn de ecuacion
a0 X0 + a1 X1 + + an Xn = 0 ().
El iperpiano H es dllamado cierre proyectiva de H 0 .
Demostraci
on Si (y1 , . . . , yn ) satisface (), pues j0 (y1 , . . . , yn ) = [1, y1 , . . . , yn ] satisface ().
Viceversa, si [x0 , x1 , . . . , xn ] H es un punto propio ( con respecto de j0 ), pues x0 6= 0 y
j01 [x0 , x1 , . . . , xn ] = ( xx10 , . . . , xxn0 ) satisface ().
Propocici
on M
as en general, se considera un subespacio afn S 0 de An = An (K), definido por el
sistema de ecuaciones lineales
18
Captulo 6
Modelo Proyectivo
6.1.
Definici
on
Identificamos Pn (R) con el conjunto cuyos elementos son las rectas por el origen de En+1 que es el
(n + 1) espacio euclidiano numerico.
Consideramos la esfera Sn En+1 , de centro el origen O y rayo 1. Tal esfera es el conjunto
{(x0 , . . . , xn ) En+1 : d((x0 , . . . , xn ), (0, . . . , 0)) = 1}, donde d es la distancia euclidiana, es decir
Sn = {(x0 , . . . , xn ) En+1 : x20 +x21 + +x2n = 1}. Sn = {(x0 , . . . , xn ) En+1 : x20 +x21 + +x2n = 1}.
Pn (R).
7 recta por el origine que contiene P = [P O]
Ya que cada recta transedente por el origen encuentra Sn en dos puntos simetricos con respecto de
ella (que denotamos con {P, P }), dichos diametralmente opuestos, la aplicacion es sucjetiva, y
tal que 1 ([v]) consta de dos puntos por cada [v] Pn .
Resulta es decir: (P ) = (P ) = [v] y 1 ([v]) =< v > Sn = {P, P }. La funcion hace
pues corresponder biunivocamente Pn (R) al conjunto cuyos elementos son las parejas de puntos
antipodali {P, P } de Sn . Pues, denotando con R la relacion antipodale es ( es decir: P R Q P R Q
si y s
olo si P = Q o bien P = Q), induce una aplicacion biunvoca
: Sn /R Pn (R).
6.2.
Observaci
on
simple dado por Pn (R), deducido por el precedente, se puede construir en la manera
Un modelo mAs
siguiente. Sea = {x0 0} Sn . Podemos considerar la aplicacion biunvoca inducida de :
: /R Pn (R).
19
20
Las rectas vectoriales de En+1 que no son contenidas en el iperplano H0 (de ecuacion x0 = 0)
encuentran en un solo punto.
Si en cambio r H0 , pues r es una pareja de puntos antipodali. Luego las clases de equivalencia
son hechas as:
se P {x0 > 0}, allora [P ]R = {P },
Sea ahora = {x0 = 0} S el borde del casquete, que es Sn1 . La aplicacion induce entonces
un biezione de \ 0 que es el casquete superior de la esfera Sn Sn sin el bordo, sobre Pn \ H0 ,
Pn \ H0 , que es identificable a An . Ademas induce un biezione entre 0 /R y Pn1 (R), que no
es otro que ella : Sn1 /R Pn1 (R) definida en Definicion 4.1
6.3.
Las rectas por el origen mucho del eje x0 = 0 (.es decir aqellos que representan los puntos de
P1 (R) \ H0 ) encuentran C en dos puntos, de cuyo uno es (0, 0) y lo otro es variable; en cambio la
recta x0 = 0 encuentra C s
olo en (0, 0). Haciendo corresponder a la recta vectorial r E2 variable
su intersecci
on (r) con C diferente de (0, 0), define una correspondencia biunvoca
: P1 (R) \ H0
r
C \ {(0, 0)}
(r C) \ {(0, 0)}
6.4.
proyecci
on estereogr
afica
Un modelo geometrico de P1 (C) puede ser conseguido a traves de una aplicacion llamada proyeccion
estereogr
afica.
Consideramos en E3 , con coordenadas x, y, z, el plano p de ecuacion z = 0 y la esfera S2 de centro
el origen O y rayo 1, y denotamos con N el punto (0, 0, 1) S2 .
Por cada P S2 \ {N }, denotamos con (P ) el pica de p alineado con N y con P. Se consigue una
correspondencia biunvoca
: S2 \ {N }
P
7
p (identificato con R2 )
N P {z = 0}
21
llamada proyecci
on estereogr
afica de S2 sobre p. P = (x0 , y 0 , z 0 ) S2 \ {N }
x = x0 t
y = y0 t
Ya que la recta N P tiene ecuaciones parametricas
, cruzando con z = 0 se ve
z = (z 0 1)t + 1
y0
x0
2
que (P ) es el punto ( 1z
0 , 1z 0 , 0). Viceversa: dato Q p, la recta N Q es no exterioriza a S , ya
2
2
que N N Q S , ni es tangente, ya que N Q 6 {z = 1} ())que es el plano tangente a S .
Luego N Q es secante, por tanto N Q S2 es constituida por dos puntos, de cuyo uno es N. Pues ella
se invierte, y tiene inversa
1 :
p S2 \ {N }
.
Q 7 (QN S2 ) \ {N }
2
2u
2v
u +v 1
on permite
Analticamente luego se ve que 1 (u, v, 0) = ( u2 +v
2 +1 , u2 +v 2 +1 , u2 +v 2 +1 ). La aplicaci
2
por lo tanto de representar la esfera S como el plano p a cuyo ha sido a
nadido el punto N. Ademas,
si identificamos p con C con la aplicacion
p
C
(u, v, 0) 7 u + iv
S2
N
7
0 0 0
0
(x , y , z ) (con z 6= 1) 7
P1 (C) = C {}.
y0
x0 +iy 0
x0
1z 0 + i 1z 0 = 1z 0
Efectivamente el punto N puede ser interpretado como pica.al infinito de p, ya que al alejarse de
Q p del origen O, es decir al desdoblar de kOQk al infinito, 1 (Q) se acerca a N.
trico
c
La esfera provee de este modo un modelo geomA
de P1 (C), llamado esfera de Riemann
Captulo 7
Morfismos proyectivos
Sea : V V0 una aplicaci
on lineal inyectiva de un K-espacio vectorial de dimension finita.
Entonces induce un aplicaci
on inyectiva de espacios proyectivos
f : P(V)
[v]
7
P(V0 ).
[(v)]
denominada el morfismo de espacios proyectivos inducido por . Verifiquemos que f esta bien
definida. La aplicaci
on es inyectiva, por lo tanto si v 6= 0, entonces (v) 6= 0. Por lo tanto
podemos considerar [(v)]. Por otra parte, dado [v] = [w], entonces f ([v]) = f ([w]). En efecto,
lineal
[v] = [w] si y s
olo si existe K tal que v = w. En este caso f ([v]) = [(v)] = [(w)] =
[(w)] = [(w)] = f ([w]). Demostremos ahora que f es inyectiva,es decir que f ([v]) = f ([w])
implica [v] = [w]. Supongamos que f ([v]) = f ([w]); esto significa que [(v)] = [(w)], es decir
que existe K tal que (v) = (w); siendo lineal, la igualdad anterior vale si y solo si
(v) = (w). Pero es inyectiva, por lo tanto de esta u
ltima igualdad se concluye que v = w,
es decir que [v] = [w].
Ejemplo 7.0.1. Sea W el subespacio vectorial de R3 definido por la ecuaci
on x0 + 2x1 x2 = 0.
Consideremos la inclusi
on
i:
(a, b, a + 2b) 7
R3 .
(a, b, a + 2b)
Tal aplicaci
on es lineal e inyectiva, por lo tanto induce un morfismo proyectivo
f:
P(W)
[a, b, a + 2b] 7
P2 (R)
[a, b, a + 2b]
El morfismo f es la inclusi
on de la recta proyectiva P(W) en el plano P2 (R).
7.1.
Isomorfismo proyectivo
Proposici
on 7.1.1. Sea f : P(V) P(V0 ) el morfismo proyectivo inducido de : V V0 .
Entonces es un isomorfismo si y s
olo si f es biyectiva. En este caso f se dice que es un isomorfismo
proyectivo inducido por .
22
23
Demostraci
on. Ya hemos visto f es inyectiva. Por lo tanto, para demostrar la proposicion, basta
comprobar que es sobreyectiva si y solo si f es sobreyectiva. Sea sobreyectiva. Entonces para
todo w V0 existe v V tal que w = (v), y en consecuencia para todo w V0 existe v V tal
que [w] = [(v)] = f ([v]), esto significa que f es sobreyectiva. Sea ahora f sobreyectiva. Entonces
para todo [w] P(V0 ) existe [v] P(V) tal que f ([v]) = [w], es decir para todo [w] P(V0 ) existe
[v] P(V) tal que [(v)] = [w], o para todo w V0 \ {0} existen v V \ {0} y K tales que
(v) = (v) = w, por lo tanto es sobreyectiva.
7.2.
R2
(x0 , x1 ) 7
R2 .
(2x0 x1 , x0 + x1 )
2 1
Tal aplicaci
on es un isomorfismo, en efecto, ME () =
tiene determinante no nulo. Po
1 1
lo tanto induce la proyectividad
f:
P1 (R) P1 (R)
[x0 , x1 ] 7 [2x0 x1 , x0 + x1 ]
Observaci
on 7.2.1. La hip
otesis de inyectividad de es necessaria a fin de que la definici
on de f
tenga sentido. En efecto, si : V V0 es una aplicaci
on lineal no inyectiva, entonces si v ker ,
v 6= 0, tiene sentido considerar [v] P(V), m
as no [(v)], puesto que (v) = 0. Por lo tanto no
puede inducir un morfismo proyectivo. Si puede por excluir del dominio de f el proyectivizado del
ker , definiendo una aplicaci
on sobre un subconjunto de P(V) de la siguiente manera
f 0 : P(V) \ P(ker ) P(V0 ).
[v]
7 [(v)]
Ejemplo 7.2.2. Sea
:
Kn+1
(a0 , a1 , . . . , an ) 7
W
(0, a1 , . . . , an )
H0 .
[0, a1 , . . . , an ]
24
7.3.
Composici
on de morfismos proyectivos
Proposici
on 7.3.1. Si f : P(V) P(V0 ) y g : P(V0 ) P(V00 ) son morfismos proyectivos
inducidos por las aplicaciones lineales inyectivas y , entonces g f : P(V) P(V00 ) es un
morfismo proyectivo inducido por .
Demostraci
on. La aplicaci
on : V V00 es lineal e inyectiva, en cuanto composicion de dos
aplicaciones lineales e inyectivas;por lo tanto induce el morfismo proyectivo
h : P(V) P(V00 ).
[v]
7 [ (v)]
Se ve de inmediato que h = g f.
Observaci
on 7.3.2. Sean V, V0 y V00 K-espacios vectoriales de dimensi
on finita. Entonces
P(V) ' P(V) va el isomorfismo idP(V) inducido por idV . Si P(V) ' P(V0 ) y P(V0 ) ' P(V00 ),
entonces P(V) ' P(V00 )
Proposici
on 7.3.3. Dos espacios proyectivos P(V) y P(W) con V y W K-espacios vectoriales
son isomorfos si y s
olo si dim P(V) = dim P(W). Todo espacio proyectivo P(V) donde V es un
K-espacio vectorial de dimensi
on n + 1 es isomorfo a Pn (K).
Demostraci
on. Se deduce de que dos K-espacios vectoriales de dimension finita son isomorfos si
y solo si tienen la misma dimension. Condicion necessaria y suficiente para que dos aplicaciones
lineales induzcan el mismo morfismo proyectivo.
Proposici
on 7.3.4. Dos aplicaciones lineales inyectivas , : V V0 , : V V0 inducen
el mismo morfismo proyectivo f : P(V) P(V0 ) f : P(V) P(V0 ) se e solo se existe K
K tal que = . = . De modo que la aplicaci
on inducida por un morfismo proyectivo es
u
nica a menos de un factor de proporcionalidad; no nulo.
Demostraci
on. Sea = = con K . Entonces [(v)] = [(v)] = [(v)]. Por lo tanto
y inducen el mismo morfismo proyectivo
f : P(V) P(V0 ).
[v]
7 [(v)] = [(v)]
Recprocamente, supongamos que y inducen el mismo isomorfismo proyectivo; podemos suponer
que f sea un isomorfismo, por que si no lo componemos con f : P(V) P(Im()). Entonces
supongamos que y son isomorfismos vectoriales, y [(v)] = [(v)] para todo v V \ {0}. Esto
significa que para todo v V \ {0} existe (v) K tal que (v) = (v)(v), esto es, para todo
v V \ {0} existe (v) K tal que 1 ((v)) = 1 ((v)(v)). Pero 1 es lineal, de modo que
1 ((v)(v)) = (v)1 ((v)) = (v)v; 1 ((v)(v)) = (v)1 ((v)) = (v)v; por lo tanto
todo v V \ {0} es un auto vector de 1 . Sea B = (v0 , . . . , vn ) una base de V. Haciendo
(vi ) = i con i = 0, . . . , n. Escojamos dos indices distintos 0 i, j n y sea v = vi + vj . Entonces
existe (v) K (v) K tale que 1 (v) = (v)v = (v)vi + (v)vj . Por otra parte se tiene:
1 (v) = 1 (vi + vj )
1 lineal
25
7.4.
Grupo proyectivo
Proposici
on 7.4.1. Las proyectividades de P(V) con la composici
on constituyen un grupo llamado
grupo proyectivo de P(V), y denotado por PGL(P(V)).
El grupo proyectivo de Pn (K) se denota por PGLn+1 (K), y se llama grupo lineal proyectivo de orden
n + 1.
Demostraci
on Se , GL(V) , GL(V) (conjunto de todos los automorfismos del espacio
vectorial V) y si f y g son las proyectividades inducidas por y , entonces induce f g. En
consecuencia es una operaci
on interna. Esta operacion verifica las tres propiedades que caracterizan
un grupo:
1. asociatividad
2. existencia del elemento neutro; tal elemento es la identidad sobre P(V) idP(V) , proyectividad
inducida por idV .
3. existencia del inverso; si f es la proyectividad inducida da GL(V),entonces come ya se ha
visto 1 GL(V), es la proyectividad inducida por 1 es exactamente f 1 .
Observaci
on 7.4.2. Asociando a todo GL(V) GL(V) la proyectividad inducida, si ottiene
un homomorfismo sobreyectivo de grupos
:
GL(V)
PGL(P(V)).
proyectividad inducida por
7.5.
Representaci
on matricial de los morfismos proyectivos
y0
x0
.
por Y = MB0 ,B ()X, donde Y = .. y X = ... . Sea f : P(V) P(V0 )
ys
xn
f : P(V) P(V0 ) el morfismo proyectivo inducido por , y sean P y P 0 referenciales proyectivos
en P(V) y P(V0 ), respectivamente, asociados a las bases B y B 0 . Las ecuaciones Y = MB0 ,B ()X son
26
a0
b0
bs
Tambien decimos que la matriz MB0 ,B () representa f respecto a los referenciales proyectivos P y
P 0.
Observaci
on 7.5.1. Bajo las mismas hip
otesis de la proposici
on precedente, una matriz A
representa f respecto a los referenciales proyectivos P y P 0 si y s
olo si existe K tal que
A = MB0 ,B ().
7.6.
Teorema 7.6.1. Supongamos que los espacio proyectivo P(V) y P(V0 ) posean la misma dimensi
on
n. Entonces, dadas dos n + 2-ple ordenadas de puntos en posici
on general, P0 , . . . , Pn+1 en P(V)
y Q0 , . . . , Qn+1 en P(V0 ), existe un u
nico isomorfismo proyectivo f : P(V) P(V0 ) tal que
f (Pi ) = Qi per i = 0, . . . , n + 1.
Demostraci
on. Existencia. Sean Pi = [vi ] y Qi = [wi ], i = 0, . . . , n + 1. Los puntos P0 , . . . , Pn+1
estan en posici
on general, por lo tanto, (por los resultados
de la seccion Referencial proyectivo)
Pn
v0 , . . . , vn son linealmente independientes y vn+1 = i=0 i vi , con P
i 6= 0 para todo i = 0, . . . , n ,
n
y analogamente w0 , . . . , wn son linealmente independientes y wn+1 = i=0 i wi , 1 con i 6= 0 para
todo i = 0, . . . , n. Observemos que (0 v0 , . . . , n vn ) y (0 w0 , . . . , n wn ) son bases respectivamente
de V y V0 . Se puede por lo tanto construir el isomorfismo vectorial
:
V
i vi
V0 .
i wi
Sea f el isomorfismo proyectivo inducido por . Entonces f satisface la propiedad deseada, en efecto,
f (Pi ) = f ([i vi ]) = [(i vi )] = [i wi ] = Qi para todo i = 0, . . . , n. Por otra parte f (Pn+1 ) =
Pn
Pn
Pn
lineare Pn
f ([vn+1 ]) = f ([ i=0 i vi ]) = [( i=0 i vi )]
=
[ i=0 (i vi )] = [ i=0 i wi ] = Qn+1 .
Unicidad
Sea f 0 : P(V) P(V0 ) otro isomorfismo proyectivo ; entonces f 0 esta asociado
a un isomorfismo lineal 0 : V V0 tal que 0 (vi ) = i wi , 0 (vi ) = i wi , debido a que
f 0 (Pi ) = Qi para i = 0, . . . , n. Demostremos que y 0 son proporcionales
( P
esto implica,
Pn
n
0
por(citar), que f = f 0 ); f 0 (Pi ) = Qi implica, por linealidad,
que
v
)
=
i=0 i i wi .
i=0P i i
Pn
n
0
0
0
Por otra partePf (Pn+1 ) = Qn+1
,
por
que
(v
)
=
v
)
=
w
(
6= 0). Se
i=0
i=0 i i
Pn
Pnn+1
Pn i i
n
concluye que i=0 (i i )wi = i=0 (i i )wi i=0 (i i )wi = i=0 (i i )wi , y siendo w0 , . . . , wn
una base,entoces i i = i para i = 0, . . . , n, de donde 0 (i vi ) = i i wi = i wi = (i vi ). En
consecuencia 0 = ( 6= 0).
Ejemplo 7.6.1. Una proyectividad de una recta proyectiva queda definida al asignar las im
agenes
de tres puntos distintos cualesquiera, una proyectividad de un plano proyectivo queda definida al
asignar las im
agenes de r 4 puntos no colineales 3 a 3.
Ejemplo 7.6.2. Sea P1 (R) con el referencial proyectivo est
andar, vamos a verificar que existe una
proyectividad tal que
f ([1, 2]) = [1, 3], f ([0, 1]) = [2, 1], f ([4, 4]) = [1, 0].
27
R2
4v0 = (4, 8)
7
4v1 = (0, 4) 7
R2 .
15 w0 = ( 51 , 35 )
3
6 3
5 w1 = ( 5 , 5 )
0
4
1
3
1
=
5
6
3
1
3
6
3
1
4 0
8 4
1
4
1
2
0
1
1
=
20
11
3
6
3
.
7.7.
Definici
on 7.7.1. Sean P = {B}K y P 0 = {B 0 }K dos referenciales proyectivos de P(V),
donde B y B 0 B 0 son bases de V. Entonces las ecuaciones de la identidad de P(V) respecto a los
referenciales proyectivos P y P 0 se denominan ecuaciones del cambio de coordenadas homogeneas
de P a P 0 .
Observaci
on 7.7.2. Si P y P 0 son dos referenciales proyectivos come en la definici
on precedente.
Sea P = [x0 , . . . , xn ]P . Entonces existen coordenadas homogeneas [y0 , . . . , yn ] para P tales que
P = [y0 , . . . , yn ]P 0 y
y0
x0
..
.
. = MB0 ,B (idV ) .. .
yn
xn
28
a0
b0
an
7.8.
Definici
on 7.8.1. Dos subconjuntos cualesquiera (o figuras) J y J0 del espacio proyectivo P(V) se
dicen proyectivamente equivalentes si existe f PGL(P(V)) tal que f (J) = J0 .
Por ejemplo dos subespacios proyectivos S S 0 de P(V) de la misma dimension son proyectivamente
equivalentes . En efecto, si S = P(W) y S 0 = P(W0 ) con W y W0 W0 subespacio vectorial de V,
existe GL(V) GL(V) tal que (W) = W0 ; por lo tanto, se f es la proyectividad inducida
por , entonces f (S) = S 0 .
Definici
on 7.8.2. Las propiedades comunes a todas las figuras proyectivamente equivalentes a un
subconjunto J se denominan propiedades proyectivas deJ.
De lo anterior se desprende que dos subconjuntos de P(V) conteniendo cada uno k puntos en posicion
general son proyectivamente equivalentes si k dim P(V) + 2. Si por el contrario k > dim P(V) + 2,
esto ya no es cierto, como puede verse para el caso de 4 puntos de una recta proyectiva.