Geometra proyectiva - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Geometra_proyectiva

Geometra proyectiva
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.

ndice
1 Breve resea histrica
2 Punto de vista sinttico La luz del objeto llega al ojo del observador,
3 Aplicaciones pasando por el plano del dibujo. La geometra
proyectiva analiza esto matemticamente,
4 Punto de vista vectorial
estudiando las propiedades de incidencia.
4.1 Axiomas
5 Vase tambin
6 Referencias
7 Fuentes
8 Enlaces externos

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.

Ilustracin de A. Bosse del Tratado

Punto de vista sinttico de Desargues.

Desde el punto de vista sinttico, la geometra proyectiva es una

geometra que parte de los siguientes principios:

Dos puntos definen una recta.

1 de 4 3/8/17 2:37
Geometra proyectiva - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Geometra_proyectiva

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 rectas paralelas, est implcito en estos dos principios ya que, dada
una recta y un punto exterior, existir una nica recta paralela definida por el punto dado y el del infinito por
el primer axioma.

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.1 2 3

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 llegan al ojo del observador se
proyectan en puntos. Los planos definidos por cada par de ellas se proyectan en 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 Pappus anteriormente citado
como axioma).

Punto de vista vectorial

La geometra proyectiva es el estudio del grupo de las proyectividades entre espacios proyectivos.

2 de 4 3/8/17 2:37
Geometra proyectiva - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Geometra_proyectiva

Axiomas
Sea un cuerpo y un -espacio vectorial (no trivial).

Definida en la siguiente relacin de equivalencia: .

Llamaremos espacio proyectivo sobre V al conjunto cociente de por la relacin de equivalencia

anterior :

Las rectas vectoriales de son 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 subespacio vectorial 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 , diremos que est relacionado con
(lo escribiremos como ) si existe un de manera que . Al tomar el conjunto cociente
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 este tipo de espacios: Si tomamos una base de ,
como al tomar la recta vectorial generada por exigimos que , alguna de las coordenadas de
respecto de la base tomada ha de ser necesariamente no nula. Al multiplicar escalarmente el vector no 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

3 de 4 3/8/17 2:37
Geometra proyectiva - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Geometra_proyectiva

homogneas. Ha de quedar claro que , y

son coordenadas homogneas del mismo punto proyectivo.

Vase tambin
Portal:Matemtica. Contenido relacionado con Matemtica.
Geometra
Geometra descriptiva
Geometra finita
Plano proyectivo

Referencias
2. "Curso de geometra mtrica", por Pedro Puig
1. "Geometra descriptiva superior y aplicada", por Adam.
Fernando Izquierdo Asensi. 3. "Geometra proyectiva", por Frank Ayres.

Fuentes
Libros de geometra (Carlos Ivorra) (http://www.uv.es/~ivorra/Libros/Libros.htm)
El principio de dualidad: los teoremas de Pascal y Brianchon (http://www.epsilones.com/paginas
/historias/historias-018-principiodualidad.html)
Una Reflexin sobre los Conceptos Bsicos de la Geometra Proyectiva - Pablo Perdomo Rivero
(http://web.archive.org/web/20040402001030/http://personales.ya.com/casanchi/ref/proyec01.htm)
Resea sobre Poncelet (http://web.archive.org/20020214015009/www.geocities.com
/grandesmatematicos/cap13.html)

Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre Geometra proyectiva.

Obtenido de https://es.wikipedia.org/w/index.php?title=Geometra_proyectiva&oldid=97831427

Se edit esta pgina por ltima vez el 25 mar 2017 a las 11:19.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; pueden
aplicarse clusulas adicionales. Al usar este sitio, usted acepta nuestros trminos de uso y nuestra
poltica de privacidad.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de
lucro.

4 de 4 3/8/17 2:37