Captulo I

El Espacio Proyectivo
En este captulo todos los espacios vectoriales considerados se supondran de dimension finita
sobre un cuerpo conmutativo k, y E sera uno de tales espacios.

Espacio Proyectivo y Subvariedades Lineales

Si denotamos por P(E) el conjunto de todos los subespacios vectoriales de dimension 1 de E,

entonces tenemos definida la aplicacion
: E {0} P(E)
e 7 (e) = e ,
que asigna a cada vector no nulo la recta vectorial que genera.
Otra forma de construir el par (P(E), ) asociado a E es la siguiente: si consideramos en
E {0} la relacion de equivalencia
e e

existe k tal que e = e

(

e y e son proporcionales ,

entonces P(E) es el conjunto cociente, P(E) = E {0} / , y la aplicacion es el morfismo

de paso al cociente.
Definici
on 1.1 Llamaremos espacio proyectivo asociado a E al par (P(E), ), donde P(E) es
el conjunto de las rectas vectoriales de E, y : E {0} P(E) es la aplicacion que asigna a
cada vector no nulo la recta vectorial que genera. Dado P P(E), si e E es tal que (e) = P
diremos que el vector e representa a P ; por definicion, el representante de P esta determinado
salvo un factor de proporcionalidad.
Observaci
on 1.2 Aunque la aplicacion esta definida en E {0}, en todo lo que sigue, por
comodidad en la notacion, escribiremos : E P(E). Por el mismo motivo usaremos P(E)
para denotar al espacio proyectivo (P(E), ), sin olvidar en ning
un momento que P(E) esta
dotado de la aplicacion .
El espacio proyectivo no es simplemente un conjunto, ya que la aplicacion hace que en
P(E) haya ciertos subconjuntos distinguidos: las subvariedades lineales.

Captulo I. El Espacio Proyectivo

Definici
on 1.3 Llamaremos subvariedad lineal del espacio proyectivo P(E) a todo subconjunto suyo que sea imagen por de alg
un subespacio vectorial de E; es decir, las subvariedades
lineales de P(E) son los subconjuntos de la forma (V ) = {(e) : e V }, donde V es un
subespacio vectorial de E (notese que el vaco de P(E) es una subvariedad lineal porque es la
imagen de 0 por ). Dado un subespacio vectorial V de E, diremos que la subvariedad lineal
X = (V ) es la proyectivizacion de V .
1.4 El conjunto de las subvariedades lineales de P(E) esta dotado de un orden natural: el
orden que define la relacion de inclusion. Veremos seguidamente que dicho orden, que sera
el que consideremos siempre en el conjunto de las subvariedades lineales de P(E), dota a este
conjunto de estructura de retculo.
Recordemos que un retculo es un conjunto ordenado en el que todo subconjunto finito y
no vaco tiene supremo e nfimo. Dados elementos a1 , . . . , an de un retculo R, el nfimo y el
supremo del conjunto {a1 , . . . , an } los denotaremos a1 an y a1 + +an , respectivamente.
Dados retculos R y R , una aplicacion f : R R es un morfismo de retculos si satisface
f (a b) = f (a) f (b) y f (a + b) = f (a) + f (b) para cualesquiera a, b R. Un morfismo
de retculos f : R R es un isomorfismo si posee inversa f 1 que es tambien morfismo de
retculos.
Recordemos tambien que el conjunto de los subespacios vectoriales de E, dotado del orden
que define la relacion de inclusion, es un retculo donde el supremo de dos subespacios vectoriales
es su suma y el nfimo es su interseccion.
Teorema 1.5 Las subvariedades lineales de P(E) forman un retculo que es isomorfo, va ,
al retculo de los subespacios vectoriales de E.
Demostraci
on. Consideremos la aplicacion
[

subespacios vectoriales de E
V

subvariedades
lineales de P(E)

(V )

(1.1)
.

Teniendo en cuenta que cada subespacio vectorial de E coincide con la union de los subespacios
vectoriales de dimension uno que contiene, es facil obtener que para todo par de subespacios
V1 y V2 de E se cumple:
(a)
V1 V2

(V1 ) (V2 ), y como consecuencia

(b)
V1 = V2

(V1 ) = (V2 ).
La propiedad (b) significa que la aplicacion (1.1) es biyectiva, y la (a) prueba que la relacion
de inclusion en el conjunto de los subespacios vectoriales de E coincide con la relacion de
inclusion en el conjunto de las subvariedades lineales de P(E); por lo tanto, si el primero de los
conjuntos ordenados es un retculo, entonces el segundo tambien es un retculo y (1.1) es un
isomorfismo de retculos.
Corolario 1.6 En el retculo de las subvariedades lineales de P(E) tenemos: el primer elemento es (0) = , el u
ltimo elemento es (E) = P(E), y dadas dos subvariedades lineales
(V1 ) y (V2 ), su supremo es (V1 + V2 ), que lo denotamos (V1 ) + (V2 ), y su nfimo es

1. Espacio Proyectivo y Subvariedades Lineales

(V1 V2 ), que coincide con la interseccion conjuntista (V1 ) (V2 ) (es decir, (V1 ) (V2 )
es la mayor subvariedad lineal contenida en (V1 ) y en (V2 ), y (V1 ) + (V2 ) es la menor
subvariedad lineal que contiene a (V1 ) y a (V2 )).
Definiciones 1.7 Llamaremos dimension de una subvariedad lineal X = (V ) de P(E) al
n
umero entero
dim X = dim V 1 ,
siendo dim V la dimension de V como espacio vectorial.
Notese que dim = 1, y si dim E = n + 1 entonces dim P(E) = n. Es usual denotar por
Pn al espacio proyectivo de dimension n, omitiendo el espacio vectorial al que esta asociado.
Llamaremos puntos a las subvariedades lineales de Pn de dimension 0, rectas a las de
dimension 1, planos a las de dimension 2, e hiperplanos a las de dimension n 1.
Es usual llamar incidencia a la relacion de orden del retculo de las subvariedades lineales
de Pn , de modo que dos subvariedades X e Y de Pn se dicen que son incidentes si una de ellas
esta contenida en la otra.
1.8 De la definicion de dimension dada en 1.7 se obtienen inmediatamente las siguientes
propiedades elementales que usaremos con frecuencia (y cuyas demostraciones se dejan como
ejercicio):
(a) Si X e Y son subvariedades lineales de P(E) que son incidentes, entonces X = Y si y
solo si dim X = dim Y .
(b) Si X es una subvariedad lineal de P(E) y P P(E), entonces dim(P +X) dim X +1.
Cual es la condicion necesaria y suficiente para que la anterior desigualdad sea una igualdad?
(c) Dados n + 1 puntos P0 , P1 , . . . , Pn P(E) tenemos dim(P0 + P1 + + Pn ) n.
Proposici
on 1.9 (F
ormula de la dimensi
on) Para cualesquiera subvariedades lineales X1
y X2 de P(E) se satisface
dim(X1 + X2 ) = dim X1 + dim X2 dim(X1 X2 ) .

(1.2)

Demostraci
on. Se deduce inmediatamente de la siguiente conocida formula para la dimension
de los subespacios vectoriales de E:
dim(V1 + V2 ) = dim V1 + dim V2 dim(V1 V2 ) .
Ejercicio 1.10 Con la ayuda de la formula de la dimension (1.2), pruebense las siguientes
relaciones de incidencia en el espacio proyectivo:
(a) Por dos puntos distintos pasa una u
nica recta.
(b) Dos rectas coplanarias y distintas se cortan en un u
nico punto.
(c) Un hiperplano y una recta no incidentes se cortan en un u
nico punto.
(d) Por tres puntos no alineados pasa un u
nico plano.
(e) Dos rectas tienen interseccion no vaca si y solo si son coplanarias.
(f) En P3 , dos planos distintos se cortan en una u
nica recta.
(g) En P3 , tres planos distintos siempre tienen alg
un punto en com
un.

Captulo I. El Espacio Proyectivo

1.11 Veamos como se interpreta el espacio proyectivo. Supongamos en primer lugar que
dim E = 2 y fijemos una base {e1 , e2 } en E. Sea P0 un vector no nulo de e2 y consideremos la
recta afn r0 = P0 + e1 (vease la figura 1.1). En estas condiciones, una recta vectorial e de
E cortara a r0 en un (
unico) punto P si y solo si e = e1 ; es decir, el conjunto P(E) (e1 )

e

 e




P
r P
r
r

P0




e 



3

e2 6
e

r 


0 e1

r0 = P0 + e1

e1

Figura 1.1
esta en correspondencia biunvoca con la recta r0 , o lo que es lo mismo, P(E) = r0 (e1 )
(el smbolo significa union disjunta ); la anterior igualdad se interpreta diciendo que la
recta proyectiva se obtiene aadiendo a la recta afn un punto , el cual se denomina punto del
infinito de la recta afn ; con nuestra notacion dicho punto es la proyectivizacion de la recta
vectorial e1 .
Supongamos ahora que dim E = 3 y sea {e1 , e2 , e3 } una base de E. Sea P0 un vector no
nulo de e3 y consideremos el plano afn H0 = P0 +V0 , donde V0 = e1 , e2 . Una recta vectorial
e de E cortara a H0 en un (
unico) punto P si y solo si e V0 (vease la figura 1.2); es decir,
el conjunto P(E) (V0 ) esta en correspondencia biunvoca con el plano afn H0 , o lo que es
lo mismo, P(E) = H0 (V0 ). Seg
un la anterior igualdad, el plano proyectivo se obtiene
aadiendo al plano afn una recta proyectiva ((V0 ) es una recta porque V0 tiene dimension 2);

r = Q + v
X
XXX
XrXX v
z
XXX P0 r
Q XX
H0
XX

V0

r
P


e
e3 6

X
X
v XXXr
e2XX
XX
z
e1 0
v XXXXX

Figura 1.2
la recta proyectiva (V0 ) se denomina recta del infinito del plano afn , ya que se corresponde
con las direcciones de H0 : toda recta afn de H0 es de la forma r = Q + v, con Q H0 y
v V0 {0}, por lo tanto P = (v) define un punto del espacio proyectivo que no esta en
H0 y esta en (V0 ); se dice que P es el punto del infinito de la recta r. Si r = Q + v

2. Proyectividades

es otra recta afn de H0 , entonces r y r son paralelas si y solo si tienen la misma direccion
(esto es, si y solo si v = v ); es decir, r y r son paralelas si y solo si se cortan en el
infinito . (Teniendo en cuenta que dos rectas de un plano afn, o se cortan o son paralelas,
hemos probado el enunciado 1.10 (b): en un plano proyectivo, dos rectas siempre se cortan.)
En general, si dim E = n + 1, veremos en el captulo III que entonces el espacio proyectivo
P(E) podemos entenderlo como un espacio afn de dimension n al que se le ha aadido un
hiperplano en el infinito (el hiperplano de todas sus direcciones).
Ejercicio 1.12 Sean a, b, c E representantes de tres puntos distintos A, B, C P(E).
Pruebese que la condicion necesaria y suficiente para que A, B y C esten alineados es que
a, b y c sean linealmente dependientes. Ademas, fijado c, si los tres puntos estan alineados,
entonces pueden elegirse los representantes a y b de modo que c = a + b.
Definici
on 1.13 Dada una subvariedad lineal X de P(E) de dimension d, llamaremos radiacion de base X al conjunto de las subvariedades lineales de dimension d + 1 que pasan por
X, y lo denotaremos P(E)/X.
Proposici
on 1.14 Dado un subespacio vectorial V de E, si X = (V ), entonces la radiacion
de base X se corresponde de modo natural con el espacio proyectivo P(E/V ).
Demostraci
on. Supuesto que dim X = d, debe ser dim V = d + 1. La proyeccion canonica de
paso al cociente E E/V define una biyeccion entre los subespacios vectoriales de E/V y los
subespacios vectoriales de E que contienen a V , de la que se sigue la igualdad de retculos
[

subespacios vectoriales
de dimension 1 de E/V

subespacios vectoriales de
dimension d + 2 de E que V

para concluir basta tener en cuenta que, seg

un 1.5, tenemos la igualdad de retculos
[

subespacios vectoriales de
dimension d + 2 de E que V

subvariedades lineales de
dimension d + 1 de P(E) que X

Ejemplos 1.15 Las rectas de P3 que pasan por un punto dado forman un plano proyectivo;
los planos de P3 que pasan por una recta dada forman una recta proyectiva; las rectas de P2
que pasan por un punto dado forman una recta proyectiva.

Proyectividades

Si T : E E es una aplicacion lineal, entonces la imagen por T de una recta vectorial de E

que no este contenida en el n
ucleo de T es una recta vectorial de E , de modo que T define la
siguiente aplicacion (denominada proyectivizacion de T ):
Te : P(E) (Ker T ) P(E )
e
7 Te(e) = T (e) ;
claramente, si T es un isomorfismo, entonces Te : P(E) P(E ) es una biyeccion.

Captulo I. El Espacio Proyectivo

Definici
on 2.1 Llamaremos proyectividades a las proyectivizaciones de los isomorfismos lineales. Por definicion, la proyectividad asociada a un isomorfismo lineal T : E E hace
conmutativo el siguiente diagrama
T

e T (e)

Te

e T (e) .

P(E) P(E ) ,

Ademas, si X = (V ) es una subvariedad lineal de P(E) entonces Te(X) = (T (V )) es una

subvariedad lineal de P(E ), de modo que tenemos definida una aplicacion
[

subvariedades
lineales de P(E)
X

subvariedades
lineales de P(E )

Te(X)

que es un isomorfismo de retculos (compruebese como ejercicio).

Si : P(E) P(E) es una proyectividad y T : E E es un isomorfismo tal que Te = ,
entonces diremos que T es un representante lineal de .
Lema 2.2 (i) La proyectivizacion del isomorfismo identidad de E es la proyectividad identidad de P(E).
1
2
E
(ii) Dados isomorfismos E
E tenemos (T2 T1 )e = Te2 Te1 .
(iii) De (i) y (ii) se sigue (T 1 )e = Te1 para todo isomorfismo T : E E . Como consecuencia, la aplicacion inversa de una proyectividad es tambien una proyectividad.

Demostraci
on. Es sencilla y se deja como ejercicio.
2.3 Seg
un el lema 2.2, las proyectividades del espacio proyectivo P(E) en s mismo dotado con
la operacion composicion de aplicaciones forman un grupo, el cual se denota PGL(E) y se
denomina grupo lineal proyectivo de E. Tambien prueba 2.2 que si GL(E) es el grupo lineal
de E (el grupo de los automorfismos de E ), entonces la aplicacion
GL(E) PGL(E)
T 7 Te
es un morfismo de grupos (que es epiyectivo, por definicion de proyectividad). Ademas, si k
es el grupo multiplicativo de los elementos no nulos del cuerpo k, y k GL(E) es el morfismo
de grupos que a cada k le asocia la homotecia de razon , entonces tenemos la siguiente
sucesion de morfismos de grupos:
0 k GL(E) PGL(E) 0 .

(2.1)

Como es claro que el morfismo k GL(E) es inyectivo e identifica k con el subgrupo de

GL(E) formado por todas las homotecias de E, para ver que la sucesion (2.1) es exacta basta
probar el siguiente lema:

2. Proyectividades

Lema 2.4 El n
ucleo del morfismo de grupos GL(E) PGL(E) son las homotecias. Es decir,
dado un automorfismo T : E E, la proyectividad Te : P(E) P(E) es la identidad si y solo
si T es una homotecia.
Demostraci
on. Si T es la homotecia de E de razon k , entonces para todo vector no nulo
e E se tiene Te(e) = T (e) = e = e, es decir, Te es la identidad.
Recprocamente, sea T : E E un automorfismo tal que Te es la identidad de P(E).
Fijemos una base {e1 , . . . , en } en E y sea e = e1 + + en ; por hipotesis existen escalares
, 1 , . . . , n k tales que T (e) = e y T (ei ) = i ei para todo i, de lo que se sigue
(

i=1

ei

=T

i=1

ei

T (ei ) =

i=1

i ei ;

i=1

por lo tanto debe ser i = para todo i y concluimos que T es la homotecia de razon .
Corolario 2.5 El representante lineal de una proyectividad esta determinado salvo un factor
de proporcionalidad. Es decir, dados isomorfismos T1 , T2 : E E tenemos: Te1 = Te2 si y solo
si existe k tal que T1 = T2 .
Ejercicio 2.6 (a) Pruebese que toda recta proyectiva tiene al menos tres puntos distintos.
(b) Sean A, B, C tres puntos distintos de una recta proyectiva P1 , y sean A , B , C tres
puntos distintos de otra recta proyectiva P1 . Existe una u
nica proyectividad de P1 en P1 que

transforma A en A , B en B y C en C . (Para probar la existencia u

sese el ejercicio 1.12; la
unicidad se sigue de 2.5.)
Ejemplos 2.7 Veamos a continuacion varios ejemplos fundamentales de proyectivizacion de
aplicaciones lineales. Sean X = (F ) e Y = (V ) subvariedades lineales de P(E).
(a) Si X Y , entonces la inclusion natural P(F ) = X , Y = P(V ) es la proyectivizaci
on
de la inclusion F , V .
(b) Se llama proyeccion desde Y a la aplicacion P(E) Y P(E)/Y = P(E/V ) que
asigna a cada punto P P(E) Y la subvariedad P + Y de la radiacion de base Y . Dicha
proyeccion es la proyectivizacion de la proyeccion canonica E E/V . Si X Y = (es decir,
si X P(E) Y ), entonces podemos restringir a X la aplicacion P(E) Y P(E)/Y y
obtenemos la aplicacion inyectiva X , P(E)/Y , P 7 P + Y , la cual se denomina proyecci
on
de X desde Y (figura 2.1); esta u
ltima aplicacion es la proyectivizacion de la composicion
F , E E/V (que es inyectiva porque F V = 0).
X

Y
r

P = Z X

Figura 2.1

P +Y =Z

Captulo I. El Espacio Proyectivo

(c) Supongamos ahora que X + Y = P(E) y X Y = , es decir, E = F V . Entonces

la composicion F , E E/V es un isomorfismo (porque dim(E/V ) = dim F ) y por lo tanto
la proyeccion de X desde Y es una proyectividad; su aplicacion inversa es la proyectividad
P(E)/Y X, Z 7 Z X, la cual se denominada seccion con X de la radiacion de base Y (de
nuevo figura 2.1). Tal seccion es la proyectivizacion del isomorfismo natural E/V F que a
cada clase del cociente E/V le asigna el u
nico representante que dicha clase tiene en F .
Definici
on 2.8 Sean Y, X1 , X2 subvariedades lineales de P(E) tales que
X1 Y = X2 Y = ,

X1 + Y = X2 + Y

(y por tanto dim X1 = dim X2 ). Llamaremos perspectividad de X1 a X2 con vertice (o centro )

en Y , a la aplicacion : X1 X2 definida por la formula
(P ) = (P + Y ) X2

(P X) .

Notese que la aplicacion esta bien definida, es decir, dado P X1 la subvariedad lineal
(P + Y ) X2 es punto. En efecto, de las condiciones impuestas en la definicion se siguen las
igualdades P + X2 + Y = P + X1 + Y = X1 + Y = X2 + Y , y por lo tanto
[

dim (P + Y ) X2 = dim(P + Y ) + dim X2 dim(P + X2 + Y )

= dim(P + Y ) + dim X2 dim(X2 + Y )
= dim P + dim Y 1 + dim X2 (dim X2 + dim Y 1) = dim P .
Es claro que 1 : X2 X1 es la perspectividad de X2 a X1 con vertice en Y .
Proposici
on 2.9 Toda perspectividad es una proyectividad.
Demostraci
on. Sean Y , X1 , X2 y como en 2.8, y sean V , F1 y F2 los subespacios vectoriales
de E tales que Y = (V ), X1 = (F1 ) y X2 = (F2 ).
Supongamos en primer lugar que F1 + V = E, en cuyo caso F1 V = E = F2 V . Es
claro que en este supuesto la perspectividad : X1 X2 es la composicion de la proyeccion
X1 P(E)/Y y la seccion P(E)/Y X2 (vease 2.7 y la figura 2.2), con lo que concluimos.

Yr

Q X2
Q
Q
Q
Q
Q
Q

X1

(P )

Qr
Q
Q

Q
Q

Figura 2.2
En general, si nos restringimos al subespacio vectorial F = F1 + V = F2 + V , es decir,
consideramos Y , X1 y X2 como subvariedades lineales de (F ) = P(F ), entonces tenemos que
es la composicion de las proyectividades X1 P(F )/Y X2 .

3. Principio de Dualidad

Ejercicio 2.10 Siguiendo con la notacion de la proposicion anterior, pruebese que un representante lineal de la perspectividad lo podemos obtener del siguiente modo: si T1 : F1 , F1 V
es la inclusion natural y T2 : F2 V = F2 V F2 es la proyeccion sobre el primer factor,
entonces T = T2 T1 es un isomorfismo tal que Te = (notese que F1 V = F2 V ).

Principio de Dualidad

Sea E el espacio vectorial dual de E. Recordemos que cada subespacio vectorial V de E

tiene asociado en E su incidente V = { E : (V ) = 0}, de modo que mediante la
identificacion canonica E = (E ) se satisface (V ) = V .
Definici
on 3.1 Llamaremos espacio proyectivo dual de P(E) al espacio proyectivo P(E ). De
la igualdad E = E se sigue que cada espacio proyectivo se corresponde canonicamente con
el espacio proyectivo dual de su espacio proyectivo dual.
Dada una subvariedad lineal X = (V ) en P(E), diremos que X = (V ) es la subvariedad incidente de X; de la conocida formula dim V = dim E dim V para la dimension del
subespacio incidente obtenemos dim X = dim P(E) dim X 1.
3.2 La operacion de pasar a la subvariedad incidente establece una correspondencia natural
de los puntos de P(E ) con los hiperplanos de P(E) (porque las rectas vectoriales de E se
corresponden por incidencia con los hiperplanos vectoriales de E). En particular, dada una
subvariedad lineal X = (V ) de E, los puntos de X se entienden como los hiperplanos de
P(E) que pasan por X.
Definici
on 3.3 Llamaremos retculo dual de un retculo R, y lo denotaremos R , al retculo
obtenido al invertir en R la relacion de orden.
Teorema 3.4 Sea R el retculo de las subvariedades lineales de un espacio proyectivo P(E). El
retculo dual R es canonicamente isomorfo al retculo de las subvariedades lineales de P(E ).
Demostraci
on. Es consecuencia directa de 1.5 y de que la aplicacion
[

subespacios vectoriales de E
V

subespacios vectoriales de E

es un isomorfismo del retculo (dualizado) de los subespacios vectoriales de E en el retculo de

los subespacios vectoriales de E : dicha aplicacion es biyectiva, y dados subespacios vectoriales
V1 y V2 de E tenemos (V1 + V2 ) = V1 V2 y (V1 V2 ) = V1 + V2 .
3.5 (Principio de dualidad) Consideremos una proposicion relativa a los conjuntos ordenados, con independencia de que sea verdadera o falsa. Por ejemplo, el Lema de Zorn: Si
todo subconjunto totalmente ordenado de un conjunto ordenado (X, ) esta acotado superiormente, entonces existen elementos maximales en (X, ) . En una proposicion de este tipo, si
invertimos la relacion de orden en cada concepto o propiedad que aparezca en el enunciado de

10

Captulo I. El Espacio Proyectivo

la sentencia, obtendremos una nueva proposicion; a esta proposicion se le llamara proposicion

dual de la dada inicialmente. As, por ejemplo, la proposicion dual del Lema de Zorn dice:
Si todo subconjunto totalmente ordenado de un conjunto ordenado (X, ) esta acotado inferiormente, entonces existen elementos minimales en (X, ) . Se cumple evidentemente que
la proposicion dual es verdadera si y solo si lo es la proposicion inicial. A esta equivalencia la
llamaremos principio de dualidad.
Las proposiciones que aqu nos interesan, las propias de la Geometra Proyectiva, son aquellas que se refieren a los retculos de subvariedades lineales de los espacios proyectivos. Al
dualizar uno de tales retculos invirtiendo la relacion de orden, se obtiene un retculo que,
seg
un 3.4, vuelve a ser el retculo de subvariedades lineales de un espacio proyectivo. Como
consecuencia, la proposicion dual de una proposicion de la Geometra Proyectiva es tambien una
proposicion de la Geometra Proyectiva. En este contexto, el principio de dualidad afirma
que una proposicion de la Geometra Proyectiva es verdadera si y solo si lo es la proposicion
dual. Dada una proposicion de la Geometra Proyectiva, la proposicion dual se obtendra
intercambiando los pares de terminos: suma e interseccion, inclusion y contencion, punto e
hiperplano, etc.
nica
Ejemplos 3.6 (a) Del enunciado por dos puntos distintos de un plano pasa una u
recta , resulta por dualidad el enunciado dos rectas distintas de un plano se cortan en un
u
nico punto . El enunciado dual de por dos puntos distintos de P3 pasa una u
nica recta es
dos planos distintos de P3 se cortan en una u
nica recta .
(b) En un espacio proyectivo un triangulo es, por definicion, la figura determinada por
tres puntos no alineados (sus vertices ), y se denominan lados del triangulo a las rectas que
pasan por cada dos de sus vertices. En el plano proyectivo el triangulo es una figura autodual
en el sentido de que dar tres puntos no alineados (los vertices) es equivalente a dar tres rectas
que no pasen por un mismo punto (los lados). Tambien es una figura autodual una recta en el
espacio proyectivo P3 . En P3 , cual es la figura dual de un triangulo?
(c) Teorema de Desargues. Este teorema afirma que si dos triangulos de un plano
se corresponden de manera que las rectas que unen vertices correspondientes concurren en un
punto, entonces los lados correspondientes se cortan en puntos que yacen sobre una misma
recta (es decir, afirma que los puntos L, M y N de la figura 3.1 estan alineados).
El enunciado dual de este teorema es el siguiente: si dos triangulos de un plano se corresponden de manera que los lados correspondientes se cortan en puntos alineados, entonces
las rectas que unen vertices correspondientes concurren en un punto . Es decir, el enunciado
dual del teorema de Desargues es precisamente el teorema recproco, de modo que, en virtud
del principio de dualidad, si se prueba el directo queda probado el recproco.
Probemos el enunciado dual, esto es, siguiendo la notacion de la figura 3.1, pongamos
P = (A + A ) (B + B ), supongamos que los puntos L, M y N estan alineados, y probemos
que entonces la recta C + C tambien pasa por P . Seg
un el ejercicio 1.12, fijado un vector l
representante del punto L, existen vectores a, b, a , b , m y n representantes de los puntos A,
B, A , B , M y N , respectivamente, tales que
l = a + b = a + b = m + n .

(3.1)

Como el vector a a representa a un punto de la recta (a, a ) = A + A , y el vector b b

representa a un punto de la recta B + B , de (3.1) se sigue que el vector p := a a = b b

4. Problemas

11

representa al punto (A + A ) (B + B ) = P . Del mismo modo, c := a n = m b representa

a (A + N ) (B + M ) = C y c := n a = b m representa a (N + A ) (M + B ) = C . De
la igualdad c + c p = 0 concluimos que C, C y P estan alineados.
A 
ArP
A
 A
A r A
@ A
 

@A
B r
h
A C
 hhhhh
@
hArh
@

hhh
hhhr h
 
@
A N
hhh
 
r
@
M

Ar
PP L 
@
PPr

PP
C A @

P
r

A
P

B PPP
A @
@
PP

A
@
Pr

Figura 3.1

Problemas

4.1 Sean r y r dos rectas distintas de un plano proyectivo y denotemos P = r r . Dada

una proyectividad : r r , si (P ) = P entonces es una perspectividad, y si (P ) = P
entonces puede ponerse como producto de dos perspectividades.
4.2 Se denomina homografa a toda proyectividad de una recta proyectiva en s misma. Una
homografa distinta de la identidad tiene a lo sumo dos puntos fijos (o dobles, o invariantes).
Sea r una recta de un plano proyectivo y sea una homografa suya. Si tiene alg
un
punto fijo entonces es producto de dos perspectividades, y si no tiene puntos fijos entonces
es producto de tres perspectividaddes.
4.3 Cual es la nocion dual de perspectividad de vertice un punto entre dos rectas distintas
de un plano proyectivo ? Establezcanse los enunciados duales de los problemas 4.1 y 4.2.
4.4 Llamaremos involucion a toda proyectividad de un espacio proyectivo en s mismo que
coincida con su inversa.
Sea una homografa de una recta proyectiva P(E) y sea T : E E un representante
lineal de suyo. Pruebese que es una involucion si y solo si tra T = 0.1
Recordemos que la traza de un endomorfismo f : F F de un espacio vectorial de dimensi
on finita, que
denotaremos tra f , es un escalar invariante de f que se obtiene sumando los elementos de la diagonal de la
expresi
on matricial de f en una base cualquiera de F .
1

12

Captulo I. El Espacio Proyectivo

4.5
Si es una homografa tal que 2 tiene mas puntos dobles que , entonces es una
involucion. Ded
uzcase de lo anterior que para que sea una involucion basta con que tenga
un par de puntos distintos en involucion (A = B tales que (A) = B y (B) = A).
4.6 Se denomina homologa a toda autoproyectividad (distinta de la identidad) de un espacio
proyectivo de dimension n 2 que tenga un hiperplano de puntos fijos, llamado eje de la
homologa. Dada una homologa : Pn Pn cuyo eje es el hiperplano H, tenemos:
(a) Si conocemos H y las imagenes de dos puntos distintos P1 , P2 Pn que no estan en H,
entonces tenemos totalmente determinada la homologa . Como consecuencia se sigue que
tiene fuera de H a lo sumo un punto fijo. (Si no tiene ninguno se dice que es una homologa
especial, y si tiene uno se dice que es una homologa no especial.)
(b) Existe un u
nico punto P0 Pn para el que se satisfacen las propiedades equivalentes:
(i) si P Pn es un punto no invariante por entonces la recta P + (P ) pasa por P0 ; (ii) toda
recta que pasa por P0 es invariante por . Dicho punto P0 , que es fijo para , se denomina
vertice de la homologa . Si es especial entonces P0 H, y cuando es no especial P0 es
el u
nico punto fijo que tiene fuera de H.
4.7 Teorema de Pappus: En un plano, si A1 , A2 , A3 y B1 , B2 , B3 son dos ternas de puntos
alineados y distintos, situadas en rectas no coincidentes, entonces los tres puntos (Ai + Bj )
(Aj + Bi ), i = j, estan alineados. (Vease la figura 4.1.)
A3r


#



#



A2 ##

r




@##




A1  @
rP  # @

PP
HH
r P
r#
r
H


#H PP @




H
P

#
H rP@

r
@r
#
H
PP





B1

B2

B3

Figura 4.1
4.8 Teorema del eje transversal: Sea : r s una proyectividad entre dos rectas
distintas de un plano proyectivo. Dados dos puntos distintos A y B sobre la recta r, sea P el
punto de interseccion de las rectas A + (B) y B + (A). Cuando A y B recorren la recta r, el
punto P describe una recta fija llamada eje transversal de la proyectividad . Cuando pasara
el eje transversal por el punto de corte de las rectas r y s? [Indicacion: Utilcese el teorema de
Pappus.]
4.9 Ded
uzcase del teorema del eje transversal un metodo para construir graficamente (esto
es, utilizando solo una regla) la imagen de un punto cualquiera en una proyectividad entre dos
rectas distintas de P2 de la que se conocen las imagenes de tres puntos distintos. Es posible
dar una construccion analoga en el caso de una homografa de una recta de P2 ?

4. Problemas

13

4.10 Si X es una subvariedad lineal de dimension n 2 de un espacio proyectivo Pn (por

ejemplo, X es un punto de un plano proyectivo), entonces Pn /X y X son rectas proyectivas y
la aplicacion Pn /X X , H 7 H , es una proyectividad.
4.11 En un plano proyectivo, dados dos puntos distintos A, B y una recta r que no pasa
por ellos, determnese el punto P = (A + B) r sin trazar la recta A + B.
4.12 En un plano proyectivo, sean r y s dos rectas fijas y distintas, y sean L, M y N tres
puntos alineados, fijos y distintos, ninguno de ellos pertenecientes a r s.
Dos vertices A y B de un triangulo A, B, C se deslizan respectivamente sobre las rectas
r y s, en tanto que los tres lados a, b y c pasan respectivamente por los puntos L, M y N .
Hallese el lugar geometrico del vertice C. En
unciese el problema dual.
4.13 Sean r y r dos rectas distintas de un plano proyectivo real, : r r una proyectividad,
y P un punto del eje transversal de . Si denota la perspectividad de r en r con vertice
en P , entonces : r r es una involucion que tiene dos puntos dobles cuando es una
perspectividad.
4.14
Sea : r r una proyectividad entre dos rectas distintas del plano proyectivo P2 .
Dado un punto P P2 que no esta en r r , seccionando la radiacion P2 /P con r, aplicando
despues , y proyectanto por u
ltimo r desde P , tenemos definida una homografa de la recta
proyectiva P2 /P . Calc
ulese el lugar geometrico de los puntos P para los que dicha homografa
es involutiva.
4.15 Sea : P(E) P(E) una autoproyectividad. Una subvariedad lineal X de P(E) es
invariante por si (X) = X. Si X es una subvariedad de puntos fijos (todo punto suyo es
invariante), entonces X es invariante. Se comprueba con ejemplos sencillos que el recproco de
la anterior afirmacion es falso.
El estudio de los puntos fijos de una proyectividad es equivalente al estudio de los hiperplanos invariantes por la misma proyectividad en el siguiente sentido: la cantidad de puntos
fijos de es igual a la cantidad de hiperplanos invariantes por . Por ejemplo: carece
de puntos fijos si y solo si carece de hiperplanos invariantes; tiene un u
nico punto fijo si
y solo si tiene un u
nico hiperplano invariante; tiene un hiperplano de puntos fijos si y
solo si existe un punto tal que todo hiperplano que pasa por el es invariante por (caso de las
homologas); en dimension 2, tiene 3 puntos no alineados fijos si y solo si hay tres rectas no
concurrentes que son invariantes por ; en dimension 2, los puntos fijos por son todos los
de una recta y otro que no esta en esa recta si y solo si las rectas invariantes por son todas
las que pasan por un punto y otra que no pasa por ese punto; en dimension 3, hay una recta
cuyos puntos son fijos por si y solo si hay una recta tal que todos los planos que pasan por
ella son invariantes por ; en dimension 3, tiene tres puntos no alineados fijos si y solo si
hay tres planos que no se cortan en una recta que son invariantes por ; etc.
Dado un representante lineal T : E E de , es claro que el estudio de las subvariedades
de puntos fijos para la proyectividad se corresponde con el estudio de los subespacios de
vectores propios de T . Como consecuencia, la afirmacion hecha en el parrafo anterior se sigue
de las siguientes propiedades:

14

Captulo I. El Espacio Proyectivo

(a) Los hiperplanos vectoriales de E que son invariantes por T estan en correspondencia
biunvoca (tomando incidentes) con las rectas vectoriales de E que son invariantes por el
automorfismo dual T : E E . Concretamente, para cada forma lineal no nula sobre E
tenemos:
T (Ker ) = Ker

T () = .
(b) Es conocido que T y T tienen los mismos valores propios (porque tienen el mismo
polinomio caracterstico). Si k es un valor propio para T y T , entonces el subespacio
propio de T asociado a y el subespacio propio de T asociado a tienen la misma dimension:
dim(Ker(T )) = dim(Ker(T )) .