Geometra proyectiva (Matemticas)

Se llama geometra proyectiva a la rama de la matemtica que estudia las

propiedades de incidencia de las figuras geomtricas, pero abstrayndose
totalmente del concepto de medida. A menudo se usa esta palabra tambin para
hablar de la teora de la proyeccin llamada geometra descriptiva.

Dibujo en perspectiva. La luz pasa a partir de la mirada del espectador a un objeto.

En caso de que la luz llega al plano de la imagen, el objeto se dibuja. La
perspectiva trata de emular esto.
Breve resea histrica
Grard Desargues es el iniciador de la geometra proyectiva, pues fundament
matemticamente los mtodos de la perspectiva que haban desarrollado los
artistas del Renacimiento, y aunque su trabajo fue publicado en 1639, pas
desapercibido durante dos siglos (excepto dos teoremas), ensombrecido por la
influyente obra de Descartes.
En el siglo XIX, la geometra proyectiva y la geometra hiperblica, se
establecieron dentro de las matemticas, pero lo que acab de enraizarlas,
posiblemente, fue hallar un modelo analtico. Dentro del contexto de la geometra
euclidiana-cartesiana se puede construir la geometra proyectiva, y si se acepta la
primera, hay que admitir la segunda.
Este proceso finaliz definitivamente a principios del siglo XX, pues Einstein,
apoyndose en los exhaustivos desarrollos geomtricos de los matemticos del
siglo XIX, consigui demostrar que, a gran escala, el universo se puede interpretar
mejor con estas nuevas geometras que con el rgido espacio euclidiano.
Punto de vista sinttico
Desde el punto de vista sinttico, la geometra proyectiva es una geometra que
parte de los siguientes principios:

Dos puntos definen una recta.

Todo par de rectas se cortan en un punto (cuando dos rectas son paralelas
decimos que se cortan en un punto del infinito conocido como punto
impropio).

El quinto postulado de Euclides, de las paralelas, est implcito en estos dos

principios ya que, dada una recta y un punto exterior, existir una nica paralela (el
punto dado y el del infinito definen la paralela por el primer axioma. Ntese que en
la geometra proyectiva, dos rectas paralelas por definicin comparten un punto y
esto no excluye que sean isomorfas con las paralelas eucldeas).
Como los axiomas de los que se parte son simtricos, si en cualquier teorema
proyectivo se intercambian las palabras recta y punto se obtiene otro teorema
igualmente vlido. A estos teoremas se les llama duales.
El principio antes expuesto se conoce como Principio de Dualidad y fue enunciado
por Poncelet en el siglo XIX. Muchos teoremas anteriores, como los de Pascal y
Brianchon, son duales, aunque ningn matemtico lo haba notado hasta
entonces.
Los teoremas de Pascal y Brianchon, aunque completamente vlidos, se
demostraron inicialmente en geometra euclidiana, basndose en los teoremas de
Pappus y Menelao, que utilizan una mtrica y por tanto no son vlidos en
geometras de incidencia, como la proyectiva.
En principio se intent buscar demostraciones alternativas de estos teoremas sin
usar congruencia de segmentos. Hilbert demostr en 1899 que tal cosa es
imposible y desde entonces suele incluirse el teorema del hexgono de Pappus
como un axioma de la geometra proyectiva. Ello permite demostrar en proyectiva
todo lo demostrable en eucldea sin tener que recurrir a una mtrica.
Por no usar mtricas en sus enunciados, se dice que la geometra proyectiva es
una Geometra de incidencia.
Finalmente, hay que destacar que desde el punto de vista sinttico, un espacio
proyectivo consiste en un espacio afn al que hemos aadido un conjunto de
puntos infinitos, de modo que cada par de rectas paralelas se cortan en uno de
estos puntos.
Aplicaciones
Cuando hacemos isomorfas nuestras paralelas eucldeas con las rectas
proyectivas que se cortan en el infinito, podemos extrapolar todo lo que
demostremos en proyectiva a geometra euclidiana. La geometra proyectiva, ms
flexible que la euclidiana, se convierte con esto en una herramienta til para
enunciar muchos teoremas clsicos ms sencillamente, e incluso simplificar las

demostraciones, aunque no permite demostrar nada que no pueda demostrarse

en euclidiana.
La geometra proyectiva puede entenderse, informalmente, como la geometra
que se obtiene cuando nos colocamos en un punto, mirando desde ese punto.
Esto es, cualquier lnea que incide en nuestro "ojo" nos parece ser slo un punto,
en el Plano proyectivo, ya que el ojo no puede "ver" los puntos que hay detrs.
De esta forma, la geometra proyectiva tambin equivale a la proyeccin sobre
un plano de un subconjunto del espacio en la geometra euclidiana tridimensional.
Las rectas que salen del ojo del observador se proyectan sobre puntos. Los planos
definidos por cada par de ellas se proyectan sobre rectas.
Esto es til porque a veces los teoremas de geometra proyectiva no pueden
demostrarse slo con los axiomas de incidencia antes expuestos (Hilbert, 1899) y
es necesario demostrarlos en geometra euclidiana y luego proyectar, como el
Teorema de Desargues (o bien admitir el teorema de Papus anteriormente citado
como axioma).
Punto de vista vectorial
La geometra proyectiva es el estudio del grupo de las proyectividades entre
espacios proyectivos.
Sea un cuerpo y un -espacio vectorial (no trivial). Las rectas vectoriales de
son aquellos conjuntos formados por los mltiplos escalares de los vectores no
nulos, esto es, si
,
, la recta vectorial determinada por es el conjunto
. La recta vectorial determinada por no es entonces otra
cosa que el espacio generado por , es decir,
. El espacio proyectivo
asociado a ser el conjunto de todas las rectas vectoriales de .
Es inmediato que si
,
, entonces para cualquier
tal que
con
, se cumple que las rectas vectoriales determinadas por y por
coinciden, esto es,
=
. Ah reside la esencia de
un espacio proyectivo: consideramos slo las direcciones, no los vectores
concretos. Ante este hecho, para trabajar slo con vectores y no con rectas
vectoriales, se establece la siguiente relacin, que resulta ser una relacin de
equivalencia: si
escribiremos como
conjunto cociente

, diremos que est relacionado con (lo

) si existe un
de manera que
. Al tomar el
se obtiene otra forma de definir

Los elementos del espacio proyectivo seran entonces las clases de equivalencia
de los vectores de mediante la relacin de equivalencia.

Aun puede darse otro paso ms para comprender mejor ste tipo de espacios: si
tomamos una base de , como al tomar la recta vectorial generada por exigimos
que
, alguna las coordenadas de respecto de la base tomada ha de ser
necesariamente no nula. Al multiplicar escalarmente el vector nulo por el inverso
de esa coordenada no nula obtendremos otro vector de la misma recta vectorial,
en el que ahora la coordenada no nula elegida va a valer 1. Como el nuevo vector
est en la misma recta vectorial, su clase de equivalencia es la misma que la del
vector antiguo, es decir, representa al mismo elemento del espacio proyectivo.

Veamos en un ejemplo qu significa esto: Tomemos el espacio vectorial real

(con la base cannica) y el vector no nulo

. Denotaremos por

a su clase de equivalencia mediante la relacin . Cuatro

de las cinco coordenadas son no nulas, as que tenemos cuatro posibles maneras
de realizar el proceso anterior: en el primer caso (dividiendo entre la primera
coordenada, el 8) obtendramos

. Si en lugar de tomar la

primera coordenada tomamos, por ejemplo, la quinta (

), obtendramos

. Podramos dividir las coordenadas del vector inicial

entre las otras dos coordenadas no nulas, o
, pero en
todos los casos obtendramos la misma clase de equivalencia, aunque las
coordenadas no sean, numricamente las mismas. En esta situacin se dir que
es

la

representacin

de

la

clase

del

vector

en coordenadas homogneas. Ha de quedar claro que

,

y
son coordenadas homogneas del mismo punto

proyectivo.

Geometra hiperblica

La geometra hiperblica (o lobachevskiana) es un modelo de geometra que

satisface solo los cuatro primeros postulados de la geometra euclidiana. Aunque
es similar en muchos aspectos y muchos de los teoremas de la geometra
euclidiana siguen siendo vlidos en geometra hiperblica, no se satisface el
quinto postulado de Euclides sobre las paralelas. Al igual que la geometra
euclidiana y la geometra elptica, la geometra hiperblica es un modelo de
curvatura constante:

La geometra euclidiana satisface los cinco postulados de Euclides y tiene

curvatura cero.

La geometra hiperblica satisface solo los cuatro primeros postulados de

Euclides y tiene curvatura negativa.

La geometra elptica satisface solo los cuatro primeros postulados de

Euclides y tiene curvatura positiva.

Historia
Desde la antigedad se realizaron esfuerzos por deducir el quinto postulado de
Euclides referente a las paralelas de los otros cuatro. Uno de los intentos ms
amplios y ambiciosos fue el de Giovanni Gerolamo Saccheri en el siglo XVIII
quien, contradictoriamente cre lo que podramos considerar modelo incipiente de
geometra hiperblica. Sin embargo, Saccheri crey que no era consistente y no
lleg a formalizar todos los aspectos de su trabajo. Tambin Johann Heinrich
Lambert encontr algunas frmulas interesantes referentes a lo que hoy
llamaramos tringulos de la geometra hiperblica, probando que la suma de los
ngulos es siempre menor que 180 (o radianes), la frmula de Lambert
estableca que para uno de estos tringulos se cumpla:

Donde:
, es la suma de los ngulos del tringulo (expresada en
radianes).
, es el rea total del tringulo.
es una constante de proporcionalidad positiva relacionada con la
curvatura constante del espacio hiperblico en que se halla inmerso el
tringulo.
Ms adelante Carl Friedrich Gauss trabaj en un modelo similar pero no public
sus resultados. En los aos 1820 dos jvenes matemticos que trabajaban de
modo independiente, Jnos Bolyai y Nikolai Ivanovich Lobachevsky, publicaron
sus modelos por los cuales establecan la posibilidad de un tipo de geometra

alternativa, totalmente consistente, que es el que conocemos como geometra

hiperblica.
Introduccin
Paralelas en la geometra hiperblica

Rectas que pasan por P y son hiperparalelas a R

Un tringulo en una superficie con forma de una silla de montar (un paraboloide
hiperblico), as como dos rectas paralelas divergentes.
El axioma de Bolyai, equivalente al quinto postulado de Euclides sobre las rectas
paralelas dice que dada una recta r y un punto P externo a ella, hay una y solo
una recta que pasa por P que no interseca a 'r''. Comnmente, la recta que posee
esta cualidad recibe el nombre de "paralela" a travs de P.
En geometra hiperblica, este postulado resulta falso porque siempre hay al
menos dos rectas distintas que pasan por P y las cuales no intersecan a r. De
hecho para la geometra hiperblica es posible demostrar una interesante
propiedad: hay dos clases de rectas que no intersecan a la recta r. Sea B un punto
que pertenece a r tal que la recta PB es perpendicular a r. Considere la recta l que
pasa por P, tal que l no interseca a r y el ngulo theta entre PB e l (en sentido

contrario a las manecillas del reloj, desde PB) es lo ms pequeo posible (es decir,
cualquier ngulo ms pequeo que theta, forzar a la recta a intersecar a r). Esta
(l) , es denominada recta hiperparalela (o simplemente, recta paralela) en la
geometra hiperblica.
En forma similar, la recta m que forma el mismo ngulo theta entre PB y ella
misma, pero ahora en sentido de las manecillas del reloj desde PB, tambin ser
hiperparalela, pero no puede haber otras. Todas las otras rectas que pasan por P y
que no intersecan a r, forman ngulos ms grandes que theta con PB y son
llamadas rectas ultraparalelas (o rectas disjuntamente paralelas). Note que, al
haber un nmero infinito de ngulos posibles entre y 90, cada uno de estos
determinar dos rectas que pasan por P y que son disjuntamente paralelas a r,
tendremos entonces, un nmero infinito de rectas ultraparalelas. Por consiguiente,
tenemos esta forma modificada del Postulado de las Rectas Paralelas: En
geometra hiperblica, dada una recta r y un punto P exterior a r hay exactamente
dos rectas que pasan por P, las cuales son hiperparalelas a r, e infinitas rectas
que pasan por P y son ultraparalelas a r.
Las diferencias entre rectas hiperparalelas y ultraparaleas, tambin pueden ser
vistas de la siguiente forma: la distancia entre rectas hiperparalelas tiende a cero
mientras uno se aleja infinitamente de PB por la recta R. Sin embargo, la distancia
entre rectas ultraparalelas no tiende a cero si uno se aleja infinitamente de PB por
la recta r. El ngulo de paralelismo en la geometra euclidiana es una constante,
es decir, cualquier longitud BP, determinar un ngulo de paralelismo igual a 90
grados. En la geometra hiperblica, el ngulo de paralelismo vara con la que es
llamada la funcin (p). Esta funcin, descrita por Nikolai Ivanovich Lobachevsky,
produce un ngulo nico de paralelismo para cada longitud dada BP. Mientras la
longitud BP se haga ms pequea, el ngulo de paralelismo se acercar a 90. Si
la longitud BP incrementa sin lmites, el ngulo de paralelismo se acercar a cero.
Note que, debido a este hecho, mientras las distancias se hagan ms pequeas,
el plano hiperblico se comportar cada vez ms como la Geometra Euclidiana.
Por lo tanto, a pequeas escalas, un observador en el plano hiperblico tendr
dificultades para darse cuenta de que las distancias no se encuentran en un plano
euclidiano. En la geometra eucldea la suma de los ngulos de cualquier tringulo
es siempre 180. En la geometra hiperblica esta suma es siempre menor de
180, siendo la diferencia proporcional al rea del tringulo.
Geometra hiperblica y fsica
Podra muy bien suceder que la geometra hiperblica fuera realmente verdadera
en nuestro mundo a escala cosmolgica. Sin embargo, la constante de
proporcionalidad entre el dficit de ngulo para un tringulo y su rea tendra que
ser extraordinariamente pequea en este caso, y la geometra eucldea sera una
excelente aproximacin a esta geometra para cualquier escala ordinaria.
Modelos eucldeos de la geometra hiperblica.

Modelo del disco Poincar con una teselacin {3,7} de rombos truncados.
Existen cuatro modelos o representaciones "eucldeas" de la geometra
hiperblica: la representacin de Klein, el modelo del disco de Poincar, el modelo
del semiespacio de Poincar y el modelo de Lorentz. Curiosamente los tres
primeros modelos fueron propuestos y publicados originalmente por Eugenio
Beltrami en 1868, sin embargo, alcanzaron notoriedad por el uso que tanto Felix
Klein como Henri Poincar hicieron de ellos, estos dos modelos son modelos de la
geometra hiperblica de dos dimensiones, y son generalizables a ms
dimensiones.

La representacin de Klein, tambin conocida como el modelo proyectivo

del disco o modelo de Beltrami-Klein, usa el interior de un crculo como
plano hiperblico, y las cuerdas como lneas del crculo. Este modelo tiene
como ventaja su simplicidad, pero como desventaja que los planos
hiperblicos estn distorsionados.

El modelo de Poincar usa tambin el interior de un crculo plano, y en l

las lneas rectas de la geometra hiperblica vienen representadas por
arcos de circunferencia que cortan el borde del crculo plano en ngulo
recto.

Adems este modelo es un modelo de curvatura constante negativa, que admite

una representacin como variedad riemanniana con un tensor mtrico dado por:

Donde a es una constante relacionada con la curvatura K = -1/a2