Geometría proyectiva

Se llama geometría proyectiva a la rama de la

matemática que estudia las propiedades de incidencia de
las figuras geométricas, pero abstrayéndose totalmente
del concepto de medida. A menudo se usa esta palabra
también para hablar de la teoría de la proyección llamada
geometría descriptiva.

Índice
Breve reseña histórica La luz del objeto llega al ojo del observador,
pasando por el plano del dibujo. La geometría
Punto de vista sintético
proyectiva analiza esto matemáticamente,
Aplicaciones estudiando las propiedades de incidencia.
Punto de vista vectorial
Axiomas
Véase también
Referencias
Fuentes
Enlaces externos

Breve reseña histórica

Gérard Desargues fue el iniciador de la geometría proyectiva, pues fundamentó matemáticamente los
métodos de la perspectiva que habían desarrollado los artistas del Renacimiento. Y, aunque su trabajo se
publicó en 1639, pasó desapercibido durante dos siglos (excepto dos teoremas), ensombrecido por la
influyente obra de Descartes.[cita requerida]

En el siglo XIX, la geometría proyectiva y la geometría hiperbólica se establecieron dentro de las

matemáticas, pero lo que acabó de enraizarlas, posiblemente, fue hallar un modelo analítico. Dentro del
contexto de la geometría euclidiana-cartesiana se puede construir la geometría proyectiva y, si se acepta la
primera, hay que admitir la segunda.[cita requerida]

Este proceso se concretó definitivamente a principios del siglo XX, pues Albert Einstein, apoyándose en
los exhaustivos desarrollos geométricos de los matemáticos del siglo XIX, consiguió demostrar que, a gran
escala, el universo se puede interpretar mejor con estas nuevas geometrías que con el rígido espacio
euclidiano.[cita requerida]

Punto de vista sintético

Desde el punto de vista sintético, la geometría proyectiva parte de los siguientes principios:

Dos puntos definen una recta.

 Todo par de rectas se cortan en un punto (cuando dos
rectas son paralelas, se dice que se cortan en un punto
del infinito conocido como punto impropio).[cita requerida]

El quinto postulado de Euclides, el de las rectas paralelas, está

implícito 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.[cita requerida]

Como los axiomas de los que se parte son simétricos, si en

cualquier teorema proyectivo se intercambian las palabras recta y
punto, se obtiene entonces otro teorema igualmente válido. A estos
teoremas se les llama teoremas duales.[cita requerida]

El principio antes expuesto se conoce como principio de dualidad

y fue enunciado por Jean-Victor Poncelet en el siglo XIX. Muchos
teoremas anteriores, como los de Blaise Pascal y Brianchon, son
duales, aunque ningún matemático lo había notado hasta entonces.
[cita requerida]

Ilustración de A. Bosse del Tratado

Los teoremas de Pascal y Brianchon, aunque completamente
de Desargues.
válidos, se demostraron inicialmente en geometría euclidiana,
basándose en los teoremas de Pappus de Alejandría y en Menelao,
que utilizan una métrica y por tanto no son válidos en geometrías
de incidencia, como la proyectiva.[cita requerida]

En principio, se intentó buscar demostraciones alternativas de estos teoremas sin usar congruencia de
segmentos. David Hilbert demostró, en 1899, que tal cosa es imposible, y desde entonces suele incluirse el
teorema del hexágono de Pappus como un axioma de la geometría proyectiva. Ello permite demostrar en
proyectiva todo lo demostrable en la geometría euclídea sin tener que recurrir a una métrica.[cita requerida]

Por el hecho de que no usa métricas en sus enunciados, se dice que la geometría proyectiva es una
geometría de incidencia.[cita requerida]

Finalmente, hay que destacar que desde el punto de vista sintético, un espacio proyectivo consiste en un
espacio afín al que se han añadido 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 las paralelas euclídeas se hacen isomorfas con las rectas proyectivas que se cortan “en el infinito”,
es posible extrapolar todo lo que se demuestra en proyectiva a geometría euclidiana. La geometría
proyectiva, más flexible que la euclidiana, se convierte con esto en una herramienta útil para enunciar más
sencillamente muchos teoremas clásicos, incluso para simplificar las demostraciones, si bien no permite
demostrar nada que no pueda demostrarse en la geometría euclidiana.[cita requerida]

La geometría proyectiva puede entenderse, informalmente, como la geometría que se obtiene cuando el
observador se coloca en un punto, mirando desde ese punto. Esto es, cualquier línea que incide en el "ojo"
parece ser solo un punto, en el plano proyectivo, ya que el ojo no puede "ver" los puntos que hay detrás.
[cita requerida]
De esta forma, la geometría proyectiva también equivale a la proyección sobre un plano de un subconjunto
del espacio en la geometría 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.[cita requerida]

Esto es útil porque a veces los teoremas de la geometría proyectiva no pueden demostrarse únicamente con
los axiomas de incidencia antes expuestos (Hilbert, 1899), y es necesario demostrarlos en geometría
euclidiana y luego proyectar, como el teorema de Desargues (o bien admitir el teorema de Pappus
anteriormente citado como axioma).[cita requerida]

Punto de vista vectorial

La geometría proyectiva es el estudio del grupo de las proyectividades entre espacios proyectivos.
[cita requerida]

Axiomas

Sea un cuerpo y un -espacio vectorial (no trivial).[cita requerida]

Definida en la siguiente relación de equivalencia:

Se llamará espacio proyectivo sobre V al conjunto cociente de por la relación de equivalencia

anterior :

Las rectas vectoriales de son conjuntos formados por los múltiplos 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 .
[cita requerida]

Es evidente 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: se consideran solo las direcciones, no los vectores
concretos. Ante este hecho, para trabajar solo con vectores y no con rectas vectoriales, se establece la
siguiente relación, que resulta ser una relación de equivalencia: si , se consideerará que
está relacionado con (expresado como ) si existe un , de manera que . Al tomar el
conjunto cociente , se obtiene otra forma de definir . [cita requerida]

Los elementos del espacio proyectivo serían entonces las clases de equivalencia de los vectores de
mediante la relación de equivalencia .[cita requerida]

Aun puede darse otro paso más para comprender mejor este tipo de espacios: si se toma una base de ,
como al tomar la recta vectorial generada por es necesario que , alguna de las coordenadas de
respecto de la base tomada tiene que ser necesariamente no nula. Al multiplicar escalarmente el vector no
nulo por el inverso de esa coordenada no nula, se obtendrá 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.[cita requerida]

Para entender el significado de lo anterior, véase este ejemplo:

Considérese el espacio vectorial real (con la base canónica) y el vector no nulo .

Se denotará por a su clase de equivalencia mediante la relación . Cuatro de las

cinco coordenadas son no nulas, así que se tienen cuatro posibles maneras de realizar el proceso anterior: en

el primer caso (dividiendo entre la primera coordenada, el 8), se obtendría . Si, en

lugar de tomar la primera coordenada, se toma, por ejemplo, la quinta ( ), se obtendría

. Podríamos dividir las coordenadas del vector inicial entre

las otras dos coordenadas no nulas, o , pero en todos los casos se obtendría la misma clase de
equivalencia, aunque las coordenadas no sean numéricamente las mismas. En esta situación, se dirá que
es la representación de la clase del vector en coordenadas

homogéneas. Ha de quedar claro que , y

son coordenadas homogéneas del mismo punto proyectivo.[cita requerida]

Véase también
Portal:Matemática. Contenido relacionado con Matemática.
Geometría
Geometría descriptiva
Geometría finita
Plano proyectivo

Referencias
2. "Curso de geometría métrica", por Pedro
1. "Geometría descriptiva superior y Puig Adam.
aplicada", por Fernando Izquierdo Asensi.
3. "Geometría proyectiva", por Frank Ayres.

Fuentes
Libros de geometría (Carlos Ivorra) (http://www.uv.es/~ivorra/Libros/Libros.htm)
El principio de dualidad: los teoremas de Pascal y Brianchon (http://www.epsilones.com/pag
inas/historias/historias-018-principiodualidad.html)
Una Reflexión sobre los Conceptos Básicos de la Geometría Proyectiva - Pablo Perdomo
Rivero (https://web.archive.org/web/20040402001030/http://personales.ya.com/casanchi/ref/
proyec01.htm)
 Reseña sobre Poncelet (https://web.archive.org/web/20020214015009/http://www.geocities.
com/grandesmatematicos/cap13.html)

Enlaces externos
Wikimedia Commons alberga una categoría multimedia sobre Geometría proyectiva.

Obtenido de «https://es.wikipedia.org/w/index.php?title=Geometría_proyectiva&oldid=133122062»

Esta página se editó por última vez el 10 feb 2021 a las 19:56.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.