El Espacio Proyectivo

Jose Luis Tabara

Version 0.1, 22 Noviembre 2001

Indice general
1. El espacio proyectivo 2
1.1. Denicion de espacio proyectivo . . . . . . . . . . . . . . . . . 2
1.2. Subvariedades lineales . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Homografas. Grupo proyectivo . . . . . . . . . . . . . . . . . 6
1.4. Aplicaciones proyectivas . . . . . . . . . . . . . . . . . . . . . 7
1.5. El espacio dual . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6. Cambio de base . . . . . . . . . . . . . . . . . . . . . . . . . . 8
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2. Sistemas de referencia 12
2.1. Coordenadas homogeneas . . . . . . . . . . . . . . . . . . . . 12
2.2. Ecuaciones de subespacios proyectivos . . . . . . . . . . . . . 14
2.3. Razon doble de cuatro puntos alineados . . . . . . . . . . . . . 14
2.4. Sistemas de referencia duales . . . . . . . . . . . . . . . . . . . 15
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3. El espacio afn 18
3.1. Denicion de espacio afn . . . . . . . . . . . . . . . . . . . . . 18
3.2. Coordenadas anes . . . . . . . . . . . . . . . . . . . . . . . . 18
3.3. Anidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4. El grupo proyectivo 21
4.1. Colineaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2. Perspectividades . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.3. Homologas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

Indice de Materias 27
1
Captulo 1
El espacio proyectivo
1.1. Denicion de espacio proyectivo
Sea E un espacio vectorial sobre un cuerpo k. Cuando sea preciso supon-
dremos que su dimension es nita.
En E {0} se dene la siguiente relacion de equivalencia: e e

cuando
exista un distinto de cero tal que e = e

.
Denicion 1.1 Al conjunto cociente lo llamaremos espacio proyectivo aso-
ciado a E y lo denotaremos por P(E).
La aplicacion de paso al cociente se denotara
: E {0} P(E)
e (e)
aunque muchas veces cometeremos el abuso de notacion de escribir
: E P(E)
e (e)
a pesar de que la funcion no esta denida en el cero.
Dos vectores son equivalentes si y solo si generan el mismo subespacio
vectorial. Las clases de equivalencia son las rectas vectoriales a las que se le
ha quitado el origen. Por ello el espacio proyectivo se identica con el conjunto
de rectas de E. Si p = (e) diremos que el punto p es la proyectivizacion de
e, o bien que e es un representante de p. Esta observacion nos permite dar
una nueva denicion de espacio proyectivo.
Denicion 1.2 El espacio proyectivo asociado a E es el conjunto de todas
las rectas vectoriales de E.
En el caso en que E = k
n+1
denotaremos el espacio proyectivo por P
n
o
por P
n
(k) si es necesario hacer referencia al cuerpo.
2
El Espacio Proyectivo
1.2. Subvariedades lineales
Diremos que un subconjunto de P(E) es una subvariedad lineal cuando sea
la imagen por la proyeccion canonica de alg un subespacio de E.
Si V es un subespacio vectorial de E y X = (V ), diremos que X es la
proyectivizacion de V , y se verica que los puntos de X se corresponden de
modo canonico con los del espacio proyectivo asociado a V . Por ello cada
subvariedad lineal se puede entender como un espacio proyectivo.
El conjunto vaco tambien se considerara, por convenio, una subvariedad
lineal del espacio proyectivo. Sera la proyectivizacion del subespacio {0}.
El subespacio que le corresponde a una subvariedad lineal es unico pues
un subespacio es la union de todas las rectas que contiene. Si X = (V )
entonces V =
1
(X) {0}.
La relacion de inclusion entre subconjuntos de P(E) dene una relacion
de orden entre las subvariedades lineales que llamaremos incidencia. Si X,Y
son dos subvariedades lineales tales que X Y diremos que X e Y son
incidentes. Si X = Y diremos que son coincidentes.
Este conjunto tiene una estructura de retculo, dado de la siguiente ma-
nera: si X = (V ), Y = (W) entonces
sup(X, Y ) = X +Y = (V +W)
inf(X, Y ) = X Y = (V W)
La comprobacion de estas propiedades es inmediata. Las subvariedades
lineales forman un retculo, cuyo primer elemento es el conjunto vaco y el
ultimo elemento es el espacio total. Hemos probado el
Teorema 1.1 Consideremos el retculo de subespacios y el de subvariedades
lineales. La aplicacion que manda a cada subespacio V a su proyectivizado
(V ), es un isomorsmo de retculos.
La aplicacion considerada es tambien un morsmo de conjuntos ordena-
dos:
si V W entonces (V ) (W)
Sea S un subconjunto de P(E). La interseccion de todas las subvarie-
dades de P(E) que contienen a S es una subvariedad lineal que denotamos
por < S >. Por construccion < S > es la mnima subvariedad que contiene
a S.
Denicion 1.3 Diremos que < S > es la subvariedad lineal generada por S.
3
El Espacio Proyectivo
Dado el subconjunto S consideramos su imagen inversa por . Como

1
(S) es un subconjunto de un espacio vectorial, existe un mnimo subes-
pacio vectorial que lo contiene. Sea V dicho subespacio. En estas condiciones
tenemos
(V ) =< S >
por lo que la subvariedad generada es la proyectivizacion del subespacio ge-
nerado por las rectas del conjunto.
Denicion 1.4 Si X = (V ) es una subvariedad lineal, llamaremos dimen-
sion de X al n umero dim(X) = dim(V ) 1.
A la subvariedad se le asigna por convenio dimension igual a 1. Si el
espacio proyectivo tiene dimension uno se dice que es una recta proyectiva. Si
tiene dimension dos es un plano proyectivo. En el caso real la dimension de
X coincide con la dimension como variedad topologica.
Denicion 1.5 Si X = (V ), llamaremos codimension de Xal n umero
codim(X) = dim(P(E)) dim(X) = dim(E) dim(V )
Las subvariedades lineales de dimension cero son los puntos. Las de di-
mension uno las llamaremos rectas, las de dimension dos planos y las de
codimension uno hiperplanos.
De las propiedades conocidas de los espacios vectoriales se deduce que
dadas dos subvariedades X, Y incidentes y de la misma dimension, necesaria-
mente coinciden. Del mismo modo si X Y entonces dim(X) dim(Y ) y
el menor es estricto cuando la inclusion tambien lo es.
La formula de las dimensiones es valida para subvariedades:
dim(X +Y ) = dim(X) + dim(Y ) dim(X Y )
Esto es consecuencia directa de las deniciones y de la formula analoga
para subespacios vectoriales.
De ello se pueden deducir consecuencias acerca de la interseccion y la
suma de subvariedades.
Ejemplos
Si A y B son dos puntos distintos, entonces A+B es una subvariedad
que pasa por A y por B. Veamos cual es su dimension aplicando la
formula anterior
4
El Espacio Proyectivo
dim(A +B) = dim(A) + dim(B) dim()
dim(A +B) = 0 + 0 (1) = 1
Por lo tanto A + B es una recta y ademas es unica. Por lo tanto por
dos puntos distintos pasa una unica recta.
Dos rectas de un plano proyectivo se cortan en un punto, siempre que
ambas rectas no sean coincidentes. Por lo tanto en el plano proyectivo
no hay rectas paralelas.
Si el espacio proyectivo tiene dimension 3, un plano y una recta no
contenida en dicho plano se cortan en un punto.
En general una recta y un hiperplano que no contiene a la recta se
cortan en un punto.
Una de las contrucciones tpicas en el algebra lineal es la construccion de
espacios cociente. Damos el analogo en el caso proyectivo.
Denicion 1.6 Si X es una subvariedad lineal de dimension d, llamaremos
radiacion de base X al conjunto de las subvariedades de dimension d +1 que
pasan por X. Se denotara por P(E)/X
La radiacion de base X se puede entender como un espacio proyectivo
gracias al siguiente teorema.
Teorema 1.2 Si X = (V ) es una subvariedad de P(E), entonces la ra-
diacion de base X se corresponde canonicamente con el espacio proyectivo
P(E/V ).
Demostracion.
La proyeccion canonica : E E/V establece una biyeccion entre los
subespacios de E/V y los de E que contienen a V , dada por V

1
(V

).
A los subespacios de dimension d + 1 le corresponden los subespacios
unidimensionales de E/V . Como el conjunto de subespacios de dimension
d+1 esta en correspondencia biunvoca con la radiacion de base X se concluye
el teorema.
Ejemplos
Las rectas de P
2
que pasan por un punto dado forman una recta pro-
yectiva.
5
El Espacio Proyectivo
Las rectas de P
3
que pasan por un punto dado forman un plano pro-
yectivo.
Los planos de P
3
que pasan por una recta forman una recta proyectiva.
1.3. Homografas. Grupo proyectivo
Si : E E

es una aplicacion lineal biunvoca, la imagen por de cada

recta de E es una recta de E

. Ello nos permite construir una aplicacion de

P(E) en P(E

) que denotaremos (). Vendra denida por la formula

()((e)) = ((e))
La funcion no depende del representante tomado en cada clase de equi-
valencia por ser una aplicacion lineal. Esta aplicacion se llama proyectivi-
zacion de .
Denicion 1.7 Una proyectividad u homografa es una funcion de P(E) en
P(E

) dada por alg un isomorsmo .

La proyectivizacion de hace que el diagrama siguiente sea conmutativo
E

E

P(E)
()
P(E

)
Si las aplicaciones lineales se pueden componer, sus homgrafas asociadas
tambien y cumplen en este caso las siguientes propiedades:
( ) = () ()
(())
1
= (
1
)
(Id) = Id
De las propiedades enunciadas anteriormente se deduce que el conjunto
de homografas de un espacio proyectivo forma un grupo, que denotaremos
PGL(E) y llamaremos grupo proyectivo. La asociacion () es un mor-
smo de grupos de GL(E) en PGL(E).
Esta aplicacion es por denicion epiyectiva y su n ucleo esta formado por
todas las homotecias, pues si todos los vectores de E son propios de una
aplicacion lineal , necesariamente esta aplicacion es una homotecia.
Este grupo as construido es el grupo de la geometra proyectiva. De su
estudio nos ocuparemos con posterioridad.
6
El Espacio Proyectivo
Denicion 1.8 Dos guras (conjunto de puntos) son proyectivamente equi-
valentes si existe una homografa que transforma una en la otra. Una pro-
piedad es proyectiva si es invariante por homografas
Dada una homografa (), un punto invariante de la homografa cumple
()e = e. Por lo tanto ((e)) = e (e) = e. De este modo el
estudio de los puntos invariantes de las homografas es equivalente al estudio
de los valores propios de las aplicaciones lineales.
1.4. Aplicaciones proyectivas
En el caso de las aplicaciones biyectivas no hay ning un problema para
construir la aplicacion proyectivizada, debido a que solamente el vector nulo
tiene como imagen el vector nulo. Sin embargo si una aplicacion lineal tiene
n ucleo, la imagen de esos vectores no genera ninguna recta y no se puede
denir la aplicacion proyectivizada en dicho subconjunto.
Denicion 1.9 Dada una aplicacion lineal : E E

, se llama centro de
dicha aplicacion lineal al proyectivizado de su n ucleo (Ker()). La aplicacion
proyectiva () esta denida en el complementario del centro y responde a la
formula
()((e) = ((e))
A pesar de que en realidad la aplicacion esta denida en el conjunto
P(E) (Ker()) cometeremos el abuso de notacion de escribir
() : P(E) P(E

)
teniendo claro que dicha aplicacion no esta denida en todo el espacio.
Como vemos las homografas no son sino las aplicaciones proyectivas aso-
ciadas a aplicaciones biyectivas.
1.5. El espacio dual
Sea E

el espacio dual de E. Diremos que P(E

) es el espacio proyectivo
dual de P(E). Como las rectas de E

se corresponden por incidencia con los

hiperplanos de E, podemos considerar a P(E

) como el conjunto de hiper-

planos de P(E).
Si X = (V ) es una subvariedad, diremos que X
o
= (V
o
) es la subva-
riedad dual o subvariedad incidente de X.
7
El Espacio Proyectivo
Entendiendo P(E

) como el conjunto de hiperplanos del espacio proyecti-

vo, X
o
estara formada por los hiperplanos que contienen a X. La dimension
de X
o
es igual a codim(X) 1, formula que no es analoga a la de los espacios
vectoriales.
Teorema 1.3 (Principio de dualidad) El paso al incidente es un antii-
somorsmo de retculos. Por lo tanto tomar incidente manda el supremo al
nmo, el nmo al supremo e invierte el orden de las inclusiones.
Demostracion. Es consecuencia directa del teorema 1.1 y del principio
de dualidad para espacios vectoriales.
Si por denotamos los pasos al incidente y las echas verticales indican
las identicaciones del teorema 1.1 tenemos el siguiente cuadro conmutativo.
Subvariedades de P(E)

Subvariedades de P(E

)

Subespacios de E

Subespacios de E

1.6. Cambio de base

Si E es un espacio vectorial sobre k, para cada extension k K del
cuerpo base el morsmo inyectivo E E
k
K dene una inyeccion de P(E)
en P(E
k
K). El ultimo espacio proyectivo se construye considerandolo como
K-espacio y no como k-espacio. La inyeccion manda a cada punto (e) al
punto (e 1).
Diremos que P(E
k
K) se obtiene del espacio primitivo por un cambio
de cuerpo base. Tambien diremos que los puntos de P(E
k
K) son los puntos
de P(E) con valores en la extension K.
Del mismo modo que para subvariedades de dimension cero, a cada sub-
variedad X se le asigna una subvariedad del espacio obtenido por cambio de
base, X
K
= (V
k
K) si X = (V ). Esto inyecta el retculo de P(E) en el
del espacio extendido. La dimension y la incidencia son estables por cambio
de base. Es decir se cumple:
dim(X
K
)=dim(X)
(X
K
)
o
= (X
o
)
K
mediante el isomorsmo (E
k
K)

= E

k
K.
8
El Espacio Proyectivo
Por supuesto la dimension de X
K
se calcula entendiendo el espacio ex-
tendido como un K-espacio.
Como las propiedades geometricas son estables por cambio de cuerpo
base, es suciente demostrarlas despues de hacer una extension, con lo que
puede suponerse que el cuerpo base es algebraicamente cerrado, (recordemos
que todo cuerpo admite una extension algebraicamente cerrada).
Del mismo modo que a las subvariedades, a cada proyectividad = ()
le podemos asociar una proyectividad del espacio extendido mediante la
formula
K
= (1). De esta manera se inyecta el grupo lineal proyectivo
del espacio E en el grupo lineal proyectivo de E
k
K (como K-espacio).
9
El Espacio Proyectivo
Problemas
Problema 1 Calcula cuantos puntos tiene la recta proyectiva sobre un cuerpo
nito de n elementos.
Problema 2 Calcula cuantos puntos tiene el plano proyectivo sobre el cuerpo
Z
2
.
Problema 3 Probar que un hiperplano proyectivo es una subvariedad maximal.
Problema 4 Toda subvariedad lineal de dimension r es la interseccion de nr
hiperplanos.
Problema 5 Dado un hiperplano y un punto no contenido en dicho hiperplano,
demostrar que su suma es el espacio proyectivo total.
Problema 6 Sean X y X

subvariedades. Probar que X + X

es justamente
la variedad engendrada por el conjunto X X

.
Problema 7 Por tres puntos no alineados pasa un unico plano proyectivo.
Problema 8 Sea P(E) un espacio proyectivo de dimension n. Un conjunto de
puntos
{P
1
= (e
1
), , P
k
= (e
k
)}
es proyectivamente libre si {e
1
, , e
k
} es una familia de vectores linealmente
independiente.
Probar que esta denicion no depende de los representantes elegidos.
Llamamos rango de un conjunto de puntos a la dimension de la variedad lineal
que generan
Probar que {P
1
, , P
k
} es libre si y solo si su rango es k 1.
El n umero maximo de puntos independientes es n + 1
Formular en lenguaje proyectivo un teorema analogo al de los espacios
vectoriales que arma que todo conjunto de vectores independientes se
puede completar hasta formar una base.
Problema 9 Sea P(E) un espacio proyectivo de dimension mayor que dos.
Sea p un punto. El conjunto de rectas que pasan por el punto p es un espacio
proyectivo. Calcular su dimension.
10
El Espacio Proyectivo
Problema 10 Si dos puntos pertenecen a un plano, la recta que los contiene
esta incluida en dicho plano.
Problema 11 Este problema requiere conocimientos de geometra diferencial
Probar que un espacio proyectivo real es una variedad topologica (y dife-
renciable) conexa y compacta. Su dimension como variedad coincide con
su dimension como espacio proyectivo.
P
1
(R) es homeomorfo a una circunferencia.
P
1
(C) es homeomorfo a una esfera.
Calcular las dimensiones de PGL(R
n
) y de PGL(C
n
)
Problema 12 Sea un automorsmo del cuerpo k. Si E es un espacio vectorial
sobre k decimos que una aplicacion : E E es semilineal se es un morsmo
de grupos y cumple (x) = ()(x).
Demostrar que si es semilineal y biyectiva, entonces puede denirse una
aplicacion entre espacios proyectivos.
Problema 13 Sea V un espacio vectorial sobre k. Considerese el espacio pro-
yectivo P(E k). Probar que V es canonicamente isomorfo a un subconjunto
del espacio proyectivo cuyo complementario es un hiperplano de dicho espacio
proyectivo.
Problema 14 Sea X una subvariedad de P(E) y p un punto exterior a X.
Calcula la dimension de X +p.
11
Captulo 2
Sistemas de referencia
2.1. Coordenadas homogeneas
Se introducira ahora un concepto analogo al de base de un espacio vecto-
rial en los espacios proyectivos asociados a espacios vectoriales de dimension
nita.
Si P(E) es un espacio proyectivo de dimension n, diremos que un conjun-
tos de n+1 puntos (P
0
, P
1
, . . . , P
n
) es un smplice cuando (P
0
+P
1
+ +P
n
)
es el espacio total. Los hiperplanos resultantes de quitar un punto al smplice
se denominan caras del smplice.
Tomando un representante de cada punto del smplice se obtiene una base
del espacio vectorial, puesto que los puntos engendraran el espacio proyectivo
total.
Denicion 2.1 Diremos que una sucesion ordenada de n + 2 puntos
R = (P
0
, P
1
, , P
n
, U)
es un sistema de referencia, cuando al quitar un punto cualquiera nos quede
un smplice. Diremos que los primeros n + 1 puntos forman el smplice de
referencia y que U es el punto unidad.
Teorema 2.1 Sea R = (P
0
, P
1
, , P
n
, U) un sistema de referencia. Existe
una base, unica salvo un factor de proporcionalidad, {e
i
} de tal que P
i
= (e
i
)
y U = (e
1
+e
2
+ +e
n
). La proporcionalidad signica que si {e

i
} es otra
base que cumpla el teorema entonces se cumple: e

i
= e
i
, donde es un
escalar no nulo.
Demostracion.
12
El Espacio Proyectivo
Elijamos vectores v
i
tales que representen a cada punto P
i
. Entonces estos
vectores forman un base del espacio vectorial. Luego si u es un representante
U:
u =
0
v
0
+ +
n
v
n
para ciertos escalares
i
ninguno de los cuales puede ser nulo. Si
i
fuera nulo
al quitar el punto P
i
a la sucesion formada por el sistema de referencia no
nos quedara un smplice, pues no generara el espacio total.
La base {
i
v
i
} verica el enunciado. Si {e
i
} y {e

i
} cumplen el enunciado
entonces e

i
=
i
e
i
y

e
i
=

i
. Entonces =
i
y e

i
= e
i
.
Corolario 2.2 Dados dos sistemas de referencia en sendos espacios proyec-
tivos de la misma dimension, existe una unica proyectividad que transforma
el primer sistema en el segundo.
Demostracion.
Sean {e
i
} y {e

i
} dos bases asociadas a los sistemas de referencia. La apli-
caci on lineal que transforma una base en la otra da al proyectivizarla una
aplicacion que cumple el enunciado. Como las bases son unicas, salvo un fac-
tor de proporcionalidad la aplicacion lineal construida puede diferir tambien
en un factor de proporcionalidad que no tiene importancia al proyectivizar
la aplicacion lineal.
Denicion 2.2 Las bases a las que se reere el teorema anterior reciben el
apelativo de bases normalizadas asociadas al sistema de referencia en cuestion.
Sea P un punto del espacio proyectivo y R una referencia en dicho espa-
cio. Si e es un representante de P y {e
i
} una base normalizada asociada a
R, podemos expresar e =

x
i
e
i
. Los n umeros (indeterminados en una cons-
tante no nula) x
i
son por denicion las coordenadas homogeneas del punto P
en la referencia R.
Ejemplos
En una recta proyectiva, dar una referencia es dar tres puntos distintos
y ordenados.
En un plano proyectivo una referencia esta formada por cuatro puntos.
Los tres primeros formaran un triangulo y el ultimo no podra estar
sobre los lados del triangulo.
13
El Espacio Proyectivo
2.2. Ecuaciones de subespacios proyectivos
Dado un subespacio X de dimension r, existen r + 1 puntos (P
0
, . . . , P
r
)
independientes y que pertenecen a X. Cualquier punto P de X puede escri-
birse como
P =
0
P
0
+
1
P
1
+ +
r
P
r
Esta el la ecuacion parametrica de la subvariedad X.
Si H es un hiperplano, existen escalares {
i
} tales que las coordenadas
de los puntos H cumplen la ecuacion

0
x
0
+
1
x
0
+ +
n
x
n
= 0
Esta es la ecuacion implcita de hiperplano H.
Como toda subvariedad X de dimension r es la interseccion de n r
hiperplanos, los puntos de X son los que cumplen las n r ecuaciones
a
1
0
x
0
+ a
1
1
x
1
+ . . . + a
1
n
x
n
= 0
a
2
0
x
0
+ a
2
1
x
1
+ . . . + a
2
n
x
n
= 0
. . . . . . . . . . . .
a
1
0
x
nr
+ a
1
1
x
nr
+ . . . + a
nr
n
x
n
= 0
Estas son las ecuaciones implicitas del subespacio X.
2.3. Razon doble de cuatro puntos alineados
Sean P
1
, P
2
, P
3
, P
4
cuatro puntos distintos y ordenados de una recta pro-
yectiva. Llamaremos razon doble de la cuaterna anterior al cociente de la pri-
mera coordenada homogenea del punto P
4
, por la segunda, en la referencia
R = (P
1
, P
2
, P
3
). Este n umero lo denotaremos (P
1
, P
2
; P
3
, P
4
).
Para ver cual es ese n umero se emplea una base normalizada. El resultado
es independiente de la base escogida, pues todas dieren en un factor de
proporcionalidad que se anula en los calculos. La denicion es correcta en el
sentido de que la segunda coordenada homogenea no puede ser nunca cero
por ser los puntos distintos.
La propiedad fundamental de la razon doble es su invariancia por proyec-
tividades. Si es un proyectividad entonces
((P
1
), (P
2
); (P
3
), (P
4
) = (P
1
, P
2
; P
3
, P
4
)
Del mismo modo del corolario 2.2 se sigue que si dos cuaternas de puntos
tienen la misma razon doble, entonces existe una unica proyectividad que
transforma la primera cuaterna en la segunda. De todo lo dicho podemos
extraer el siguiente
14
El Espacio Proyectivo
Teorema 2.3 La condicion necesaria y suciente para que dos cuaternas de
una recta proyectiva tengan la misma razon doble es que esten ligadas por
una proyectividad. Dicha proyectividad es unica.
Denicion 2.3 Diremos que una cuaterna de puntos alineados y ordenados
es armonica cuando su razon doble sea -1. Tambien se dira que P
4
es el
conjugado armonico de P
3
, respecto a la pareja (P
1
, P
2
).
Nota.
Conociendo las coordenadas homogeneas de los cuatro puntos de una
cuaterna en un cierto sistemas de referencia se puede calcular facilmente
en funcion de ellos la razon doble. Sin embargo no lo haremos debido a su
tediosidad. El lector interesado puede consultar alg un texto de geometra
proyectiva donde esto venga desarrollado.
2.4. Sistemas de referencia duales
Este concepto es el analogo al de las bases duales en los espacios vecto-
riales. Diremos que un sistema de referencia R es el dual de un sistema de
referencia R

en el espacio dual, cuando existan dos bases normalizadas aso-

ciadas con R y R

que sean duales entre si. Veremos ahora que condiciones,

expresadas en lenguaje proyectivo, son necesarias y sucientes para que dos
sistemas de referencia sean duales. Para ello necesitamos unos preliminares.
Sea R una referencia. Por P
i
denotamos los puntos del smplice y por U
el punto unidad. P un punto que no sea incidente con las caras del smplice
(que no pertenezca a ninguna cara). Llamaremos P
ij
al punto de interseccion
de la recta P
i
+P
j
con el hiperplano P
0
+ +

P
i
+ +

P
j
+ +P
n
+P.
El crculo encima de un punto indica que ese punto no esta.
Lema 2.4 Si {x
i
} son las coordenada homogeneas de P en la referencia R,
entonces se verica
x
i
x
j
= (P
i
, P
j
; U
ij
, P
ij
)
Demostracion.
Sea {e
i
} una base normalizada y {w
i
} la base dual. La forma lineal x
j
w
i

x
i
w
j
es un representante del incidente del hiperplano P
0
+ +

P
i
+ +

P
j
+ +P
n
+P. As que el vector x
i
e
i
+x
j
e
j
representa a P
ij
. En consecuencia
e
i
, e
j
forman una base normalizada asociada a la referencia (P
i
, P
j
; U
ij
) de
donde se sigue el lema.
15
El Espacio Proyectivo
Teorema 2.5 La condicion necesaria y suciente para que una referencia
R = ({P
i
}; U) de un espacio proyectivo P(E) y una referencia del espacio
dual R

= ({P

i
}; U

) esten en dualidad es que se verique:

1. P

i
es la cara opuesta al vertice P
i
del smplice de referencia. (Natural-
mente entendiendo como hiperplanos los puntos del espacio dual).
2. La interseccion del hiperplano U

con la recta P

i
+P

j
es el conjugado
armonico del U
ij
respecto del par (P
i
, P
j
).
Demostracion.
La necesidad se deja al lector avido de conocimientos. Veamos la sucien-
cia.
Sean {e
i
} y {w
i
} bases normalizadas asociadas a los sistemas de refe-
rencia. La primera condicion nos dice que w
i
(e
j
) = 0 siempre que i = j. La
interseccion de U

con P
i
+P
j
esta representada por el vector
w
j
(e
j
).e
i
w
i
(e
i
).e
j
La segunda condicion nos establece que
w
i
(e
i
) = w
j
(e
j
)
lo que concluye el teorema.
Nota.
Recordar que la interseccion de un hiperplano y una recta no incluida
en el es siempre un punto. Tambien es de utilidad recordar que U

esta
representado por el vector

w
i
.
16
El Espacio Proyectivo
Problemas
Problema 15 Dado un plano proyectivo, con (P
0
, P
1
, P
2
; U) una referencia
proyectiva, hallar las ecuaciones de las rectas que forman el smplice de referencia.
Hallar las ecuaciones de las rectas P
0
+U, P
1
+U y P
2
+U.
Problema 16 Dado un espacio proyectivo P(E) y su dual P(E

), probar que
los puntos del dual son independientes si solo si las ecuaciones implicitas de
dichos hiperplanos son independientes.
17
Captulo 3
El espacio afn
3.1. Denicion de espacio afn
Denicion 3.1 Llamaremos espacio afn al par formado por un espacio pro-
yectivo y un hiperplano del mismo
Si (P, H) es un espacio afn diremos que P H = P H
c
es la zona afn
y que H es el hiperplano del innito. Los puntos de la zona afn se llamaran
puntos propios y los de H puntos impropios o puntos del innito o direcciones
del espacio afn.
Llamaremos subvariedades anes de un espacio afn a las subvariedades
lineales que no estan contenidas en el hiperplano del innito. La interseccion
de cualquier subvariedad afn con el hiperplano del innito es una subva-
riedad lineal de dimension una menos que la dimension de la subvariedad de
partida.
Las subvariedades anes estan determinadas por su interseccion con la
zona afn. Ello quiere decir que si dos subvariedades X e Y tienen la misma
interseccion con la zona afn, necesariamente coinciden.
Cada subvariedad afn puede considerarse tambien como un espacio afn,
tomando como zona del innito su interseccion con el hiperplano del innito.
Cuando dos subvariedades anes tengan intersecciones con el hiperplano
del innito que sean incidentes, diremos que dichas subvariedades son para-
lelas.
3.2. Coordenadas anes
Una referencia R de un espacio proyectivo es una referencia afn cuando
P
1
+ P
2
+ . . . + P
n
sea el hiperplano del innito. En este caso al punto P
0
18
El Espacio Proyectivo
lo llamaremos origen de la referencia y a las rectas P
i
+ P
j
los ejes de dicha
referencia.
Si R es una referencia afn y {x
i
} las coordenadas homogeneas de un
punto P, ocurre que P es punto propio precisamente cuando x
0
= 0. Por ello
la sucesion de escalares

x
1
x
0
,
x
2
x
0
, . . . ,
x
n
x
0

esta correctamente denida cuando P es un punto de la zona afn.

En consecuencia, cada referencia afn dene una biyeccion entre la zona
afn y el conjunto K
n
. A pesar de ello la zona afn no puede considerarse un
espacio vectorial, al depender la biyeccion de la referencia afn escogida y no
existir procedimiento canonico para elegir la referencia afn.
La razon doble induce un concepto nuevo en el espacio afn: la razon
simple. Sean A, B, C tres puntos propios distintos alineados y sea D la inter-
seccion de la recta que generan con el hiperplano del innito. La razon simple
es por denicion la razon doble de la cuaterna A, B, C, D. Se denotara por
(A, B, C).
3.3. Anidades
Dado un espacio afn, diremos que una proyectividad es una anidad cuan-
do deje estables todos los puntos del innito. Esto es, cada punto del innito
se transforma en otro punto del innito, pero no necesariamente en el mismo.
Una anidad induce una biyeccion de la zona afn.
Las anidades forman un subgrupo del grupo lineal proyectivo. La geo-
metra afn es el estudio de los conjuntos donde actue el grupo de las ani-
dades (o grupo afn).
Veamos que el grupo afn actua libremente sobre la zona afn. Para ello
basta ver que si una proyectividad induce la identidad en la zona afn necesa-
riamente es la identidad del espacio proyectivo. Ello es consecuencia de que
cada punto del innito es el corte de una recta afn y el propio hiperplano.
Si () es una anidad del espacio afn (P(E), (V )) entonces (V ) = V
y as que pasa como aplicacion lineal biunvoca al espacio cociente E/V .
Necesariamente es una homotecia pues el espacio tiene dimension uno. En
consecuencia existe un representante que induce la identidad en E/V .
Diremos que esa aplicacion es el representante normalizado de la anidad
dada. De este modo se obtiene que el grupo afn es canonicamente isomorfo
al subgrupo de GL(E) formado por los automorsmos que dejan invariante
V e inducen la identidad en E/V .
19
El Espacio Proyectivo
Problemas
Problema 17 Encontrar las ecuaciones parametricas de una subvariedad afn
en una referencia afn.
Encontrar las ecuaciones implicitas de una subvariedad afn.
Dado un espacio afn la ecuacion del hiperplano del innito en una referencia
afn es x
0
= 0.
Problema 18 Encontrar la matriz que le corresponde a un representante nor-
malizado.
Ver matricialmente que el grupo afn es un subgrupo del grupo lineal.
20
Captulo 4
El grupo proyectivo
Examinemos ahora con mas detenimiento el grupo proyectivo y el grupo
de los isomorsmos del retculo de subvariedades.
Es conocido que cada proyectividad T induce un isomorsmo de retculos.
Dada una proyectividad la aplicacion que manda a la subvariedad X a
(X) es un isomorsmo. La unica que induce la identidad en el retculo es
la proyectividad identidad.
Ocurre y sucede que estos no son todos los isomorsmos interesantes del
conjunto de subvariedades lineales.
4.1. Colineaciones
Diremos que una aplicacion biunivoca entre espacios proyectivos de la
misma dimension es una colineacion (o proyectividad de Staud) cuando trans-
forme ternas de puntos alineados en ternas de puntos alineados.
Lema 4.1 Sea : P(E) P(E

) una colineacion. Entonces se cumple:

Si X es una subvariedad lineal de dimension n su imagen (X) es una
subvariedad de dimension n.
Demostracion.
Sea (P
0
, . . . , P
n
) un smplice de la subvariedad X y sea P

i
= (P
i
). Sea
X

la subvariedad generada por los puntos primados. Demostraremos por

induccion sobre n que (X) X

.
Si n = 1 es evidente. Si n > 1, para cada punto P de X existe otro punto
Q del hiperplano de la subvariedad P
1
+ . . . + P
n
tal que P, P
0
, Q estan
alineados. Asimismo lo estaran (P), P

0
, (Q). Por hipotesis de induccion
(Q) pertenece a P

1
+. . . +P

n
, luego (P) es un punto de X

.
21
El Espacio Proyectivo
Si la subvariedad fuera de dimension menor que n, completando el sm-
plice de X hasta un smplice del espacio total, se puede concluir que (P(E))
es de dimension menor que n. Como es epiyectiva el segundo espacio tendra
dimension menor que la que tiene en realidad. Esta contradiccion prueba el
teorema.
Corolario 4.2 Una colineacion transforma puntos independientes en puntos
independientes.
Lema 4.3 La inversa de una colineacion es una colineacion. La composicion
de colineacioes es una colineacion. En consecuencia las colineaciones de un
espacio proyectivo forman un grupo. Denotaremos dicho grupo por PSL(E)
La aplicacion que manda a cada subvariedad a la imagen por una colineacion
es un morsmo biunvoco de retculos.
Lema 4.4 Si dos colineaciones coinciden en el complementario de un hiper-
plano, entonces coinciden en todo el espacio proyectivo.
Demostracion.
Si es una colineacion que es la identidad en el complementario de un
hiperplano. Sea P un punto del hiperplano y r una recta que corte al hiper-
plano solamente en el punto P. Todos los puntos de r, salvo eventualmente
P, se mantienen jos por . Por ser una colineacion (P) debe pertenecer
a la recta r. Por ser biunvoca la colineacion, no le queda mas remedio que
ser P. Entonces (P) = P para todo punto del hiperplano.
Denicion 4.1 Sean E y E

espacios vectoriales sobre un cuerpo k, y sea

un automorsmo de k (como cuerpo). Un isomorsmo de grupos
: E E

es una tranformacion semilineal, asociada al automorsmo , cuando verique

(e) = ()(e) para todos los vectores y todos los escalares.
Una aplicacion semilineal transforma rectas vectoriales en rectas vecto-
riales. Se puede por tanto hablar de su proyectivizacion. Facilmente se ve que
la proyectivizacion de una aplicacion semilineal es una colineacion.
El siguiente teorema arma que este ejemplo engloba a todas las colinea-
ciones.
22
El Espacio Proyectivo
Teorema 4.5 (Teorema fundamental.) Toda colineacion entre espacios
proyectivos de dimension mayor que uno es la proyectivizacion de una trans-
formacion semilineal. En particular, cuando el cuerpo k no admita mas auto-
morsmos que la identidad, toda colineacion es una proyectividad. Este es el
caso de los n umeros reales.
Demostracion.
Remitirse al apendice o a los apuntes de Rendon.
Sean y

transformaciones semilineales de un espacio vectorial E, aso-

ciadas a los automorsmos y

. Si las proyectivizaciones de y

coinciden
entonces el automorsmo asociado es el mismo para ambas y ademas

=
para cierto escalar no nulo .
En efecto:

1
= S es una aplicacion biunvoca de E que conserva la
suma y deja invariantes las rectas de E. As para cada vector no nulo e existe
un escalar
e
tal que S actuando sobre e consiste en multiplicarlo por dicho
escalar. Facilmente se comprueba que ese escalar debe ser el mismo para
todos vectores y S es una homotecia. De ello se sigue que los automorsmos
y

coinciden.
Estas consideraciones y el teorema fundamental prueban que las siguien-
tes sucesiones son exactas:
1 k SL(E) PSL(E) 1
1 PGL(E) PSL(E) Aut(k) 1
donde SL(E) es el grupo de las transformaciones semilineales de E y PSL(E)
el de las colineaciones del espacio proyectivo de E.
4.2. Perspectividades
Sea P(E) un espacio proyectivo. Diremos que dos subvariedades X , Z
son suplementarias si inf(X, Z) = y sup(X, Z) = P(E).
Sea V
X
el subespacio asociado a X y V
Z
el asociado a Z. La proyeccion
canonica E E/V
Z
induce un isomorsmo de V
X
en E/V
Z
, que hace corres-
ponder a cada punto de X un elemento de la radiacion P(E)/Z. A un punto
p le corresponde p +Z.
Si X

= (V
X
) es otra subvariedad suplementaria de Z, llamaremos pers-
pectividad de X en X

con centro Z a la proyectividad denida por el isomor-

smo canonico V
X
E/V V
X
.
Por denicion se tiene, si denotamos por a la perspectividad, que (p) =
(p+Z)X

que es un punto por ser X y X

suplementarias de Z. La aplicacion
inversa de es justamente la perspectividad de X

en X con centro en Z.
23
El Espacio Proyectivo
Denicion 4.2 Sean X y X

subvariedades lineales de un espacio proyectivo

de la misma dimension. Diremos que una aplicacion biunvoca de X en X

es
una proyectividad de Poncelet cuando sea la composicion de un n umero nito
de perspectividades (eventualmente con centros diversos).
De acuerdo con la denicion, las proyectividades de Poncelet dependen
del espacio ambiente donde esten contenidas las subvariedades.
Lema 4.6 La condicion necesaria y suciente para que una proyectividad de
X en X

sea una perspectividad es que deje invariantes todos los puntos de

X X

.
Demostracion.
La necesidad es inmediata. Reciprocamente, sea () : X X

una
proyectividad que deje invariantes los puntos de X y un representante
lineal . Sin perdida de generalidad podemos suponer que es la identidad
sobre la interseccion de los subespacios asociados a las subvariedades, porque
en cualquier caso es sobre ellos una homotecia.
Sea V

el subespacio de E formado por los vectores (e) e cuando e

recorre el espacio asociado a X.
La condicion de que sea la identidad sobre F F

implica que F
V

y F

son {0}. Por construccion F

esta contenido en F V y V

esta contenido en F +F

, luego
F +F

= F +V

= F

+V

Sea V

un suplementario de F +F

y pongamos V = V

+V

. Entonces
X y X

son suplementarios de (V ) y para cada vector e de F se verica:

< e > V = (V ) V
porque (e) e pertenece a V , por tanto () es la perspectividad de X en
X

con centro (V ).
Lema 4.7 La proyectividades de Poncelet son proyectividades. Ademas las
proyectividades de Poncelet de un subvariedad lineal en si misma forman un
grupo, subgrupo del de todas las proyectividades de la subvariedad (entendida
como espacio proyectivo).
Damos el siguiente teorema sin demostracion.
Teorema 4.8 Toda proyectividad entre subvariedades lineales de P(E) de
dimension m < dim P(E) es producto de perspectividades.
24
El Espacio Proyectivo
Demostracion.
En la geometra proyectiva clasica se llamaban proyectividades a las de
Poncelet, y el teorema anterior arma que coinciden con las proyectivizacio-
nes de los isomorsmos lineales, lo que juestica la denicion de proyectividad
que hemos elegido. Mas a un, el teorema fundamental prueba que las proyec-
tividades en sentido de Poncelet coinciden con las colineaciones cuando la
identidad es el unico automorsmo del cuerpo.
4.3. Homologas
Diremos que una auto-proyectividad es una homologa cuando posea un
hiperplano de puntos invariantes y no sea la identidad. Diremos que es una
homologa especial cuando sus unicos puntos invariantes sean los del hiper-
plano.
Cada homologa no especial posee un hiperplano de puntos dobles y un
unico punto doble no incidente con el hiperplano. Este ultimo punto se lla-
mar a vertice de la homologa. Conocido el hiperplano de puntos dobles y
el vertice de una homologa especial esta determinada por un punto y su
homologo, porque cualquier proyectividad esta determinada por su accion
sobre una referencia.
Si H = (V ) es el hiperplano, existe un unico representante lineal que
induce la identidad sobre V y e induce una homotecia en E/V por ser este
de dimension uno. La razon de esta homotecia se llama modulo de la homologa
no especial dada, y su valor coincide con la razon doble (V, Q; P, ()(P))
donde P es cualquier punto no invariante y Q es el corte de H con la recta
V +P.
Llamaremos homologas armonicas a las homologas no especiales de
modulo-1
En una homologa especial todas las rectas que unen un punto con su
homologo inciden sobre un mismo punto del hiperplano de puntos dobles,
llamado vertice. El hiperplano de puntos dobles, el vertice, un punto no
invariante y su homologo determinan completamente la homologa especial.
Dado un espacio afn real (respectivamente espacio afn) llamaremos ho-
motecias (respectivamente traslaciones ) a las homologias de modulo positivo
(respectivamente especiales) cuyo hiperplano de puntos dobles sea el hiper-
plano del innito.
El vertice de una homotecia es su centro y el modulo es su razon. El
vertice de una traslacion es su direccion.
Lema 4.9 Sean e
1
y e
2
dos vectores de E no incidentes con un subespacio V .
25
El Espacio Proyectivo
Existe un automorsmo de E que transforma e
1
en e
2
y posee un hiperplano
de vectores jos que pasan por V .
Lema 4.10 Todo automorsmo de un espacio vectorial es producto de auto-
morsmos que tienen alg un hiperplano de vectores jos.
Demostracion.
Es consecuencia inmediata del lema anterior. Sea {e
i
} una base y sea
el automorsmo en cuestion. Existe una transformacion lineal
0
con un hi-
perplano de puntos jos, que transforma (e
0
) en e
0
. Seguir recurrentemente
el proceso descrito y concluir.
Corolario 4.11 Toda proyectividad es producto de homologas. Las homo-
logas son un conjunto generador del grupo lineal proyectivo.
Nota
La descomposicion en producto de homologas no es unica.
26

Indice alfabetico
PGL(E), 6
PSL(E), 22
SL(E), 23
anidad, 19
aplicacion proyectiva, 7
bases normalizadas, 13
cambio de cuerpo base, 8
caras de un smplice, 12
centro de una perspectividad, 23
codimension, 4
coincidencia, 3
colineacion, 21
conjugado armonico, 15
coordenadas homogeneas, 13
cuaterna armonica, 15
dimension, 4
ecuacion
implcita, 14
parametrica, 14
ejes de una referencia afn, 19
espacio
afn, 18
proyectivo, 2
proyectivo dual, 7
espacio proyectivo, 2
formula de dimensiones, 4
grupo
afn, 19
proyectivo, 6
hiperplano, 4
del innito, 18
homografa, 6
homologa, 25
armonica, 25
especial, 25
homotecia, 25
incidencia, 3
modulo de la homologa, 25
perspectividad, 23
plano, 4
plano proyectivo, 4
propiedad proyectiva, 7
proyeccion canonica, 3
proyectivamente equivalentes, 7
proyectividad, 6
de Poncelet, 24
de Staud, 21
punto
impropio, 18
invariante, 7
propio, 18
unidad, 12
puntos
proyectivamente libres, 10
radiacion, 5
rango, 10
razon
doble, 14
27
El Espacio Proyectivo
simple, 19
recta, 4
recta proyectiva, 4
referencia afn, 18
representante normalizado, 19
retculo de subvariedades, 3
smplice, 12
sistema de referencia, 12
subvariedad
dual, 7
generada, 3
incidente, 7
lineal, 3
subvariedades
paralelas, 18
suplementarias, 23
transformacion semilineal, 22
traslacion, 25
vertice, 25
zona afn, 18
28