Professional Documents
Culture Documents
IA PROYECTIVA
ESTEBAN G
OMEZ
1. Introducci
on
La Geometra Proyectiva naci o como soluci on a los problemas de perspectiva que
aparecen al tratar de representar en un plano objetos del espacio. Este tipo de necesi-
dades, surgidas en la pintura y arquitectura, llevaron a la creaci on de una teora
matem atica que recogiera las bases geometricas subyacentes a los metodos concretos
que poco a poco se fueron elaborando en esos campos del arte.
Las primeras ideas de geometra proyectiva se remontan al Renacimiento motivadas
por la actividad de artistas y arquitectos. Piero della Francesca (1410-1492), Leone
Battista Alberti (1404-1472) y Alberto Durero (1471-1528) reexionaron sobre nociones
geometricas como las de proyecci on y seccion para entender el problema de la repre-
sentaci on de un objeto real tridimensional en un lienzo plano. El primer matem atico
que hizo uso de esas ideas fue el frances Girard Desargues (1591-1661), que introdu-
jo los metodos proyectivos en su estudio de las c onicas. Nociones proyectivas como
los puntos del innito fueron introducidos por Desargues al mismo tiempo que nuevos
metodos de demostraci on, que le permitieron realizar el mayor avance en el estudio
de las conicas desde los tiempos de Apolonio. Mientras que los griegos tenan que
idear un metodo diferente para cada teorema particular, Desargues vio en el enfoque
proyectivo un procedimiento general que le permita establecer resultados para todas
las c onicas. Desargues inuy o fuertemente sobre Blaise Pascal (1623-1662) y Philippe
de la Hire (1640-1718), que dedicaron una actividad considerable al estudio proyectivo
de las conicas.
La Geometra Proyectiva estudia las propiedades de las guras que se conservan por
proyecci on. As, los matem aticos anteriormente mencionados enunciaron nuevos teore-
mas en los que nociones geometricas cl asicas como longitud y angulo eran sustituidas
por otras de incidencia de las guras que, a diferencia de las primeras, s se conserva-
ban por proyecci on. Progresivamente se fue haciendo claro que los metodos basados en
estas ideas eran mucho m as generales que los tradicionales y, a partir de una cuidadosa
distincion entre las propiedades proyectivas y las metricas, a nales del siglo XIX se
congur o una geometra mucho m as amplia, la Geometra Proyectiva, que engloba a
todas las geometras conocidas anteriormente. Esto es, las geometras afn, eucldea y
no eucldeas se pueden considerar subgeometras de la proyectiva. Un ejemplo claro
de este hecho es el modelo de geometra hiperb olica que proporciona la Geometra
Proyectiva especialmente adecuado para tener una visi on intuitiva de dicha geometra
no eucldea.
Por otro lado, en la Geometra Proyectiva se ha desarrollado la noci on de transforma-
cion que, a partir de las ideas presentadas por Felix Klein (1849-1925) en su programa
de Erlangen, ocupa un lugar central en la construcci on de cualquier teora geometrica.
De esta forma, el concepto de invarianza por transformaciones, que tan importante ha
Date: 4 de abril de 2003.
1
2 ESTEBAN G
OMEZ
sido en la fsica moderna, ha sido largamente anticipado en la Geometra Proyectiva
al estudiar las propiedades geometricas que permanecen invariantes por cambios de
coordenadas.
Dentro del cuerpo de las matem aticas, la Geometra Proyectiva se puede considerar
como un modelo de teora que teniendo sus orgenes en el mundo real, llega a un
nivel de elaboraci on en el que se combinan la perfecci on formal, la elegancia en el
razonamiento y la riqueza de las intuiciones.
Hay que destacar que a principios del siglo XIX, la presentaci on que se hizo de la
Geometra Proyectiva fue de tipo sintetico o axiom atico. Una de las guras m as impor-
tantes fue Jean-Victor Poncelet (1788-1867), que estudi o las guras hom ologas, es decir,
relacionadas entre s a traves de proyecciones y secciones, dando la denici on de trans-
formaci on proyectiva como aquellas aplicaciones que son composici on de proyecciones
o perspectividades. Otra gura importante fue Karl G. C. von Staudt (1798-1867),
quien contribuy o de modo signicativo a establecer los fundamentos de la Geometra
Proyectiva, haciendola independiente de las nociones de longitud, distancia y angulo
y, por tanto, aclarando desde un punto de vista l ogico que la Geometra Proyectiva es
anterior a la eucldea. Adem as, las transformaciones proyectivas que consider o fueron
las aplicaciones biyectivas que transforman 3 puntos alineados en tres puntos alineados,
conocidas tambien como colineaciones.
La introducci on de las ideas algebraicas en geometra proyectiva tuvo lugar tam-
bien en esas fechas. Sus impulsores fueron Augustus F. Mobious (1790-1868) y Julius
Pl ucker (1801-1868). Ellos fueron los primeros en usar las coordenadas homogeneas
para formular algebraicamente muchas ideas proyectivas. A nales del siglo XIX, con
las ideas de la geometra moderna, se consigui o que las demostraciones con c alculos
en coordenadas desaparecieran de la geometra proyectiva y se impusieran los razona-
mientos puramente l ogicos a traves del algebra lineal.
En esta charla, comenzaremos con la presentaci on algebraica de la Geometra Proyec-
tiva a partir de las rectas que pasan por el origen de un espacio vectorial. Posterior-
mente veremos la presentaci on axiom atica, quiz as m as intuitiva desde el punto de
vista de una geometra formal, y nalmente comentaremos la equivalencia de las dos
presentaciones para el caso del plano proyectivo, construyendo el cuerpo de escalares
a partir de propiedades geometricas como el teorema de Desarg ues y el teorema de
Pappus. En esta equivalencia es donde se aprecia la importancia del Teorema Fun-
damental de la Geometra Proyectiva, el cual arma que las transformaciones de las
dos geometras, algebraica y axiom atica, son las mismas.
2. Espacio Proyectivo
Sea E un k-espacio vectorial de dimensi on n + 1. Se dene el espacio proyectivo
asociado a E o la proyectivizaci on de E, P(E), como el conjunto cociente de E 0
por la relaci on de equivalencia:
e, e
E 0, e e
si y solo si existe k
tal que e = e
IA PROYECTIVA 3
Por abuso de notaci on, diremos que (0) = .
Diremos que un subconjunto de P(E) es una subvariedad lineal cuando sea la imagen
por de un subespacio vectorial de E. Si E
es un subespacio vectorial y X =
(E
. Ademas, cada
subvariedad lineal es la proyectivizaci on de un unico subespacio vectorial porque cada
subespacio vectorial est a determinado por las rectas que contiene. Si denotamos por
X +X
, se verica que:
(E +E
) = (E) +(E
) y (E E
) = (E) (E
)
Si X = (E
1
y llamaremos codimensi on de X en P(E) al n umero codimX = dimP(E) dimX =
dimEdimE
= y
X +X
= n 1.
Si f : E
E es una aplicaci on lineal, esta transforma rectas en rectas, salvo las rectas
de E contenidas en el n ucleo. Por tanto, f induce una aplicaci on (f): P(E) P(
E)
denida fuera de la subvariedad lineal (Ker f). Diremos que (f) es la proyec-
tivizaci on de la aplicaci on f. Llamaremos proyectividades de P(E) a las proyectiviza-
ciones de los automorsmos de E; en particular, toda proyectividad es una aplicaci on
biyectiva de P(E) que induce un isomorsmos entre los retculos formados por las sub-
variedades lineales. Al grupo de proyectividades de P(E) se denota por PGL(E) y se
conoce con el nombre de grupo lineal proyectivo; los conceptos de la Geometra Proyec-
tiva son los conceptos invariantes por este grupo y los teoremas se pueden entender
como las relaciones entre los conceptos invariantes.
El espacio proyectivo dual de P(E) es por denici on P(E
), donde E
es el espacio
dual de E. Como las rectas de E
) es la subvariedad
incidente con X, donde
E
0
es el subespacio incidente de
E. Si entendemos los puntos
4 ESTEBAN G
OMEZ
de P(E
).
Por tanto, toda proposici on enunciada en el retculo de las subvariedades lineales de
P(E) puede ser as misma enunciada en el de las subvariedades lineales de P(E
), porque
son espacios proyectivos de la misma dimensi on. Esta ultima puede ser traducida a
una nueva proposici on en el retculo de P(E) por el antiisomorsmo anterior, dando
lugar a una nueva proposici on sobre la geometra de P(E), llamada proposici on dual.
El Principio de Dualidad establece que una proposici on es cierta si y s olo si lo es su
proposici on dual.
Ejemplos 2.1. - El tri angulo es una gura autodual.
- Teorema de Desargues: Si dos tri angulos de un plano verican que las rectas que
unen vertices hom ologos concurren en un punto, entonces los lados hom ologos se cortan
en puntos alineados.
El enunciado dual de este teorema es precisamente el enunciado recproco del teore-
ma, de modo que si se prueba el enunciado directo tambien es cierto el recproco por
el Principio de Dualidad.
GEOMETR
IA PROYECTIVA 5
Coordenadas homogeneas: Un sistema de referencia proyectivo en P
n
es una sucesion
P
0
, P
1
, . . . , P
n
; U de n +2 puntos tales que ning un hiperplano contiene n +1 puntos
de la sucesion; en este caso, se dice que P
0
, . . . , P
n
es el smplice de referencia y U
es el punto unidad.
Si P
0
, P
1
, . . . , P
n
; U es un sitema de referencia de P(E), entonces existe una base
e
0
, e
1
, . . . , e
n
de E, unica salvo un factor de proporcionalidad, tal que P
i
=< e
i
>
y U =< e
0
+ + e
n
>. Estas bases se denominan bases normalizadas asociadas al
sistema de referencia. Se verica que dados dos sistemas de referencia en un espacio
proyectivo existe una unica proyectividad que transforma uno en el otro.
Dado un punto P P(E), sea e E un representante del punto P. Expresando
el vector e en una base normalizada, se tendr a que e = x
0
e
0
+ + x
n
e
n
y se dice
que los escalares (x
0
: x
1
: : x
n
), determinados salvo un factor de proporcionalidad
dado por la elecci on de la base normalizada y por el representatne del punto P, son las
coordenadas homogeneas o proyectivas del punto P en el sistema de referencia dado.
Ejemplos 2.2. - Un sistema de referencia en una recta proyectiva son tres puntos dife-
rentes y ordenados.
- Un sistema de referencia en el plano proyectivo son los vertices de un tri angulo y
un punto que no est a en ninguno de sus lados.
- Un sistema de referencia en el espacio proyectivo son los vertices de un tetraedro
y un punto que no yace en ninguna de sus caras.
Si P
1
, P
2
, P
3
, P
4
son cuatro puntos alineados, se dene la raz on doble, (P
1
, P
2
; P
3
, P
4
),
de esta cuaterna como el cociente de la primera coordenada homogenea del punto P
4
por la segunda respecto del sistema de referencia P
1
, P
2
; P
3
de la recta proyectiva
P
1
+ + P
4
. Hay que observar que la raz on doble no depende de ning un factor de
proporcionalidad.
Una propiedad fundamental de la raz on doble es su invarianza por proyectividades,
es decir, que es un concepto proyectivo:
Teorema 2.3. Dadas dos cuaternas de puntos sobre un recta proyectiva, existe una
proyectividad que manda una cuaterna a otra si y s olo si la raz on doble de ambas
cuaternas es la misma.
Una cuaterna se dice que es arm onica si su raz on doble es -1 y, en este caso, se dice
que P
4
es el conjugado arm onico de P
3
respecto de la pareja (P
1
, P
2
).
La expresi on en coordenadas de la raz on doble es la siguiente: si las coordenadas
homogeneas de los puntos P
i
son (x
i
0
: x
i
1
) respecto de un sistema de referencia de la
recta, se verica que
(P
1
, P
2
; P
3
, P
4
) =
x
1
0
x
3
0
x
1
1
x
3
1
x
2
0
x
4
0
x
2
1
x
4
1
x
2
0
x
3
0
x
2
1
x
3
1
x
1
0
x
4
0
x
1
1
x
4
1
=
(
1
3
) (
2
4
)
(
2
3
) (
1
4
)
donde
i
= x
i
0
/x
i
1
si x
i
1
,= 0.
El comportamiento de la raz on doble por las permutaciones de los 4 puntos se calcula
a partir de las siguientes igualdades, que a su vez se deducen f acilmente de la expresi on
en coordenadas anterior:
6 ESTEBAN G
OMEZ
(P
1
, P
2
; P
3
, P
4
) = (P
3
, P
4
; P
1
, P
2
) = (P
2
, P
1
; P
4
, P
3
) = (P
4
, P
3
; P
2
, P
1
)
(P
2
, P
1
; P
3
, P
4
) =
1
(P
1
, P
2
; P
3
, P
4
)
(P
1
, P
3
; P
2
, P
4
) = 1 (P
1
, P
2
; P
3
, P
4
)
(P
3
, P
2
; P
1
, P
4
) =
(P
1
, P
2
; P
3
, P
4
)
(P
1
, P
2
; P
3
, P
4
) 1
3. Grupo Lineal Proyectivo
En este captulo vamos a estudiar algunos casos particulares de proyectividades.
Sea Z = (V ) una subvariedad lineal y X = (F), X
= (F
) dos subvariedades
suplementarias de Z. La perspectividad de X en X
eventualmente con
centros distintos. Hay que observar que efectivamente toda proyectividad de Poncelet
es una proyectividad, es decir, la proyectivizaci on de un isomorsmo.
Teorema 3.1. a) La condicion necesaria y suciente para que una proyectividad de X
en X
.
b) Toda proyectividad entre subvariedades lineales de la misma dimensi on es producto
de perspectividades.
Hay que destacar que Jean-Victor Poncelet, a principios del siglo XIX, consider o
las proyectividades de Poncelet como las transformaciones de la Geometra Proyectiva.
Este teorema prueba que estas proyectividades coinciden con las proyectivizaciones de
los isomorsmos lineales, es decir, que en la presentaci on algebraica de la Geometra
Proyectiva se est an considerando las mismas transformaciones que en la presentaci on
clasica.
Una homologa de P(E) es una proyectividad de P(E) que posee un hiperplano de
puntos dobles y no es la identidad. Esto signica que a los m as puede tener un punto
doble fuera de dicho hiperplano. Una homologa especial es una homologa cuyos unicos
puntos invariantes son los del hiperplano.
Cada homologa no especial posee un hiperplano de puntos dobles y un unico punto
doble no incidente con el hiperplano, llamado vertice de la homologa. Teniendo en
cuenta que toda proyectividad est a determinada por su acci on sobre un sistema de
referencia, se verica que toda homologa no especial est a determinada por el hiperplano
de puntos dobles, por el vertice y por un punto y su hom ologo.
Si H = (F), existe un unico representante lineal T de la homologa no especial
que induce la identidad sobre F. Este representante induce una homotecia en E/F que
es un espacio vectorial de dimensi on 1. La raz on de esta homotecia se llama modulo
de la homologa no especial , y su valor coincide con la raz on doble (V, Q; P, (P))
GEOMETR
IA PROYECTIVA 7
donde P es cualquier punto no invariante y Q es el punto de corte de H con la recta
V + P = P + (P). Una homologa se dice arm onica si es una homologa no especial
de modulo -1.
En una homologa especial, todas las rectas que unen un punto con su hom ologo
inciden en un mismo punto del hiperplano de puntos dobles, llamado vertice de la
homologa especial. Nuevamente, toda homologa especial queda determinada por el
hiperplano de puntos dobles, el vertice, un punto no invariante y su hom ologo.
Tanto para las homologas no especiales como para las homolgas especiales se puede
hacer una construcci on geometrica de la imagen de cualquier punto conociendo el
hiperpalno de puntos dobles, el vertice y un punto no invariante y su hom ologo:
homologa no especial homologa especial
Eligiendo convenientemente un sistema de referencia a partir del hiperplano de pun-
tos dobles y del vertice de la homologa no especial, se tiene que la matriz del repre-
sentante que induce la identidad en F es:
_
_
_
_
0 . . . 0
0 1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 . . . 1
_
_
_
_
donde es el modulo de la homologa no especial. En particular, una homologa no
especial esta determinada por el hiperplano de puntos dobles, por el vertice y por el
modulo.
En el caso de las homologas especiales, se tiene que la matriz de dicho representante
es:
_
_
_
_
b
0
0 . . . 0
b
1
1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
b
n
0 . . . 1
_
_
_
_
con b
0
/ 0.
Teorema 3.2. Toda proyectividad es producto de homologas.
Por tanto, podemos decir que las perspectividades por un lado y las homologas por
otro, son generadores del grupo lineal proyectivo.
Como aplicaciones de la teora de homologas, se tienen las demostraciones del teo-
rema de Desargues y del Teorema de Pappus:
8 ESTEBAN G
OMEZ
Demostraci on. (Teorema de Desargues) Se considera la proyectividad que deja inva-
riante el punto donde concurren las rectas que unen vertices hom ologos, y que manda
los vertices de un triangulo a los vertices del otro. Los puntos de intersecci on de los
lados hom ologos necesariamente tienen que ser invariantes y como la proyectividad no
es la identidad, estos tres puntos han de estar alineados y dicha proyectividad es una
homologa no especial.
Teorema 3.3. (Teorema de Pappus) Sean r y r
, b
, c
,
los tres puntos p = (a + b
) (a
+ b), q = (b + c
) (b
+ c) y z = (a + c
) (a
+ c)
est an alineados.
Demostraci on. Si O = r r
. Por la construcci on
geometrica de la imagen de un punto por una homologa no especial, se verica que
transforma b en b
y c en c
n
Recordemos que la denici on cl asica de un espacio afn de dimension n sobre un
cuerpo k es un conjunto V en el que act ua libre y transitivamente el grupo aditivo de
un k-espacio vectorial v(E) de dimension n, es decir, jando un punto O de V , el espcio
vectorial v(E) se identica con V a traves de la orbita de dicho punto. La biyecci on
t
e
de V que dene un vector e v(E) se conoce con el nombre de traslaci on denida
por e, que no tiene ning un punto jo; se denota t
e
(a) = e + a V . Las subvariedades
anes son los subconjuntos de V de la forma a +E
con E
un subespacio vectorial de
v(E) y a un punto jo de V . Dos subvariedades anes se dice que son paralelas cuando
tienen el mismo subespacio director E
.
Desde el punto de vista de la Geometra Proyectiva, se dene un espacio afn A
n
de
dimension n como la pareja (P
n
, H
) donde P
n
es un espacio proyectivo de dimensi on
n y H
es un hiperplano de P
n
. Se dice que P
n
H
es el
hiperplano del innito; los puntos de la zona afn son los puntos propios del espacio
afn y los puntos de H
IA PROYECTIVA 9
la referencia dada, se verica que P es un punto del innito si y s olo si x
0
= 0; por tanto,
la sucesion de escalares (x
1
/x
0
, . . . , x
n
/x
0
) esta bien denida para los puntos de la zona
afn y se conocen con el nombre de coordenadas anes en el sistema de referencia afn
dado. Hay que observa que las coordenadas anes no dependen de ning un factor de
proporcionalidad y en el caso de una recta proyectiva, la raz on doble de cuatro puntos
se puede entender como la coordenada afn del cuarto punto respecto del sistema de
referencia afn P
1
, P
2
; P
3
en el espacio afn (P
1
, P
2
).
La raz on doble induce en los espacios anes un invariante afn de gran importancia:
la raz on simple de tres puntos propios alineados A, B, C. Se dene la raz on simple de
estos tres puntos como (A, B, C) = (A, B; C, D) donde D es el punto de corte de la
recta A+B = B +C con el hiperplano del innito. En particular, la noci on de punto
medio M de dos puntos A, B es un concepto afn: M es el unico punto de la zona
afn que verica que (A, B, M) = 1. En los espacio anes reales puede denirse el
concepto de segmento: el segmento de extremos A y B es el formado por los puntos
P alineados con A y B que verican que (A, B, P) < 0. Es facil comprobar que las
coordenadas anes del punto medio y de los puntos de un segmento coinciden con las
coordenadas de dichos puntos en el sentido cl asico.
Anidades: Una anidad de (P
n
, H
) es una proyectividad de P
n
que transforma el
hiperplano del innito en s mismo, es decir, si deja estable la zona afn. Las anidades
forman un subgrupo del grupo lineal proyectivo y los conceptos de la geometra afn
son los conceptos estables bajo la acci on de este grupo.
Dada una anidad en el espacio afn (P(E), H
OMEZ
Equivalencia de las geometras anes: Si V es un espacio afn sobre k de dimension n
en el sentido clasico, modulado sobre el espacio vectorial v(E), jando un punto o V ,
se tiene la inmersion:
j
o
: V P(v(E) k) = P
n
b (b o, 1)
donde b o es el unico vector de v(E) que verica que t
bo
(o) = b. Esta inmersi on est a
determinada salvo traslaciones, por la elecci on de o, y su imagen es el complementario
del hiperplano P(v(E) 0) en P
n
.
Recprocamente, dado un espacio afn A
n
= (P
n
, H
,
donde h
on axiom
atica de la Geometr
a Proyectiva
Para simplicar la presentaci on, lo haremos en el caso de dimensi on dos. Un plano
proyectivo sera la pareja (P
2
, 1), donde P
2
es un conjunto y 1 es una familia de
subconjuntos propios y no vacos de P
2
, que llamaremos rectas, tales que verican los
siguientes axiomas de incidencia:
a) Dos puntos distintos de P
2
pertenecen a una unica recta.
b) Dos rectas distintas se cortan en un unico punto.
c) Axioma de Desargues: que se verique el teorema de Desargues.
Si no imponemos el axioma de Desargues, se pueden dar ejemplos de geometras
nitas que no se pueden denir algebraicamente. Adem as, Hilbert (1862-1943) prob o
que una geometra proyectiva axiom atica se puede denir algebraicamente sobre un
cuerpo conmutativo si y s olo si se verica el Teorema de Pappus. Por tanto, es necesario
imponer este teorema como axioma si queremos que el cuerpo base de la geometra
proyectiva algebraica sea conmutativo.
De los axiomas a) y b) se deduce que el conjunto P
2
tiene al menos tres puntos no
alineados. Adem as, la uni on de dos rectas nunca es el conjunto total, salvo en el caso en
que todos los puntos excepto uno esten sobre una recta. Este caso no se considera. Este
hecho permite demostrar que todas las rectas son biyectivas entre s por la proyecci on
desde un punto exterior a ambas rectas.
Un plano afn, A
2
, es el complementario en un plano proyectivo de una recta r
,
conocida con el nombre de recta del innito. Las rectas del plano afn son los cortes de
las rectas del plano proyectivo con el plano afn y se dene la noci on de rectas paralelas
como aquellas que su punto de corte yace en r
IA PROYECTIVA 11
- Proyectiva: transformaciones biyectivas de P
2
que transforman rectas en rectas, o
lo que es lo mismo, tres puntos alineados en tres puntos alineados. Se conocen tambien
con el nombre de colineaciones o proyectividades de Staudt.
-Afn: son las colineaciones del plano proyectivo que transforman la recta del innito
en s misma.
Teorema 5.1.
1.- Todo plano proyectivo axiom atico (P
2
, 1) es isomorfo a un plano proyectivo alge-
braico P(E), donde E es un k-espacio vectorial de dimensi on tres para un cierto cuerpo
k de escalares.
2.- Todo plano afn axiomatico es isomorfo a un plano afn algebraico.
Demostraci on. Es claro que todo plano proyectivo y afn algebraicos verican los axio-
mas anterioremente citados.
Es suciente demostrar 2), porque para probar 1), basta tomar cualquier recta co-
mo recta del innito. Denamos las traslaciones y las homotecias en un plano afn
axiom atico A
2
:
Traslaciones: Dados dos puntos distintos a, b A
2
, se dene la traslaci on
(a,b)
de a
en b como la biyecci on de P
2
denida de forma an aloga a la construcci on geometrica
del transformado de un punto por una traslaci on en el espacio afn algebraico:
gura proyectiva gura afn
donde
(a,b)
(a) = b,
(a,b)
(a
) = b
y
(a,b)
[
r
,b
)
(a,b)
=
(a,
(a
,b
)
(b))
y que esta composici on es conmutativa.
Hay que observar que dos parejas de puntos, (a, b) y (a
, b
), denen la misma
traslaci on si y s olo si est an situados de la siguiente forma:
si no est an alineados si est an alineados
donde u, v son dos puntos cualesquiera. Por tanto, el conjunto de las traslaciones de
un plano afn axiom atico es un grupo abeliano, que denotaremos por E.
12 ESTEBAN G
OMEZ
Homotecias: Si jamos dos puntos O, 1 A
2
, sea r la recta denida por estos dos
puntos. Para cada punto a r, se dene la homotecia h
a
de raz on a como:
donde h
a
(O) = O y h
a
(1) = a. Por construcci on, tres puntos alineados van a tres
puntos alineados, por lo que es una anidad. Al jar el punto O A
2
, se tiene una
biyeccion A
2
E tal que O Id y a
(O,a)
, lo que permite escribir todas las
traslaciones de la forma
(O,a)
para alg un punto a. La ley de grupo de E con esta
identicaci on se traduce en
(O,a)
(O,b)
=
(O,a+b)
con a +b =
(O,a)
(b) =
(O,b)
(a).
Por el teorema de Desargues, se verica que la composici on de dos homotecias es una
homotecia, y denimos la suma de homotecias como: h
a
+h
b
:= h
a+b
. Como h
1
= Id y
h
O
= 0, se tiene que el conjunto de las homotecias denidas por los puntos de la recta
r es un cuerpo k (para que sea conmutativo es necesario que se verique el axioma o
teorema de Pappus).
Se comprueba que h
a
(a
,b
)
=
(h
a
(a
),h
a
(b
))
, de donde se deduce que E es un k-
espacio vectorial. Por denici on de la ley de suma en E, se tiene que dos puntos no
alineados con O forman base de E, por lo que es de dimensi on 2.
De esta forma, hemos construido un cuerpo k y un k-espacio vectorial E de dimen-
sion dos, que act ua libre y transitivamente en A
2
, lo que hace de este, un plano afn
algebraico.
Realmente, para acabar la demostraci on anterior hay que probar que las transfor-
maciones de las geometras son las mismas. Para ello, denimos las transformaciones
semilineales de un espacio proyectivo algebraico. Sea E un k-espacio vectorial y un
automorsmo de k. Una transformaci on semilineal asociada a es un isomorsmo de
grupos aditivos f : E E tal que f(e) = ()f(e). Se verica trivialmente que trans-
forma subespacios vectoriales en subespacios vectoriales, por lo que su proyectivizaci on
induce una biyeccion (f): P(E) P(E), que es una colineaci on.
Teorema 5.2. (Teorema fundamental de la Geometra Proyectiva) Toda colineacion
de un espacio poyectivo de dimensi on mayor que 1 es la proyectivizaci on de una trans-
formaci on semilineal.
Si el cuerpo base no tiene automorsmos (por ejemplo, R), se tiene que toda coli-
neaci on es una proyectividad, con lo que se concluye que las transformaciones de la
geometra proyectiva axiom atica son las mismas que las de la algebraica.
6. Otras geometr
as
Una geometra sobre R de dimension n sera la pareja formada por un espacio proyec-
tivo real P(E) de dimension n+1 y un subespacio vectorial de dimensi on uno <
2
>
de las metricas simetricas sobre el espacio vectorial dual. El subespacio <
2
>
GEOMETR
IA PROYECTIVA 13
recibe el nombre de cuadrica del absoluto de la geometra. Llamaremos dominio de la
geometra al lugar geometrico de los puntos P P(E) tales que la restricci on de
2
al
subespacio incidente de P es no singular y de ndice cero. Diremos que una geometra
es clasica si el dominio es no vaco. Hay que tener en cuenta que todas las deniciones
son independientes del representante
2
elegido del subespacio vectorial de dimensi on
uno de las metricas simetricas del espacio dual.
El grupo de transformaciones de la geometra es el subgrupo de las proyectividades
de P(E) tales que la aplicaci on traspuesta de cualquiera de sus representantes lineales
es una isometra de la metrica
2
.
El absoluto permite separar los puntos de P(E) en tres clases, seg un sea la posici on
relativa del absoluto y el hiperplano incidente del punto:
- Los puntos propios son los puntos del dominio de la geometra, es decir, aquellos
que la restricci on del absoluto al hiperplano incidente es no singular y de ndice cero.
- Los puntos impropios o del innito son los puntos de P(E) tales que la restricci on
del absoluto al hiperplano incidente es singular.
-Los puntos ideales son los puntos de P(E) tales que la restricci on del absoluto al
hiperplano incidente es no singular y de ndice positivo, es decir, no nulo.
Teorema 6.1. La condicion necesaria y suciente para que una metrica
2
del espa-
cio vectorial dual dena una geometra clasica, es que verique una de las siguientes
condiciones:
1.- Rango n, ndice cero: Es el caso de la geometra eucldea (o parab olica), cuyo
dominio esta formado por los puntos del complementario del hiperplano denido por
el radical del absoluto. Dicho hiperplano est a formado por los puntos del innito de la
geometra y en este caso, no hay puntos ideales.
2.- Rango n + 1, ndice cero: Es el caso de la geometra elptica, donde el dominio
es todo el espacio proyectivo y no hay puntos ideales ni del innito.
3.- Rango n + 1, ndice uno: Es el caso de la geometra hiperb olica, donde los
puntos del innito son los puntos denidos por los vectores is otropos de la metrica
dual
2
de
2
, los puntos propios son los puntos interiores a dicha cu adrica dual, es
decir, aquellos que verican que el subespacio ortogonal, respecto de la metrica
2
,
del subespacio denido por el punto no tiene vectores is otropos no nulos, y los puntos
ideales son los puntos exteriores a la cu adrica
2
, es decir, aquellos que verican que
el subespacio ortogonal, respecto de la metrica
2
, del subespacio denido por el punto
tiene vectores is otropos no nulos.
La demostraci on de este teorema se debe a la clasicaci on de las metricas simetricas.
En estas geometras, se puede dar la denici on de rectas paralelas como aquellas que
se cortan en un punto del innito. En particular, en un plano elptico, por un punto
exterior a una recta no pasa ninguna recta paralela, en un plano eucldeo pasa una unica
paralela y en un plano hiperb olico, pasan dos rectas paralelas. En estas geometras, se
pueden denir, por ejemplo, las nociones de distancia, angulo y bisectriz.
7. Bibliograf
a
- Rodrguez, J.M. y Ruz, J.M.: Geometra Proyectiva. Addison-Wesley (1998).
- Samuel, P.: Projective Geometry. Springer-Verlag (1988).
14 ESTEBAN G
OMEZ
- Hartshorne, R.: Foundations of Projective Geometry. Lecture Notes Harvard
University. W. A. Benajmin, Inc. (1967).
- Semple, J. y Kneebone, G.T.: Algebraic Projective Geometry. Oxford Univ.
Press. (1952).
E-mail address: esteban@usal.es
Departamento de Matem aticas, Universidad de Salamanca, Plaza de la Merced 1-4,
37008 Salamanca