Geometría proyectiva

Geometría proyectiva

Geometría proyectiva

Se llama geometría proyectiva a una estructura matemática que estudia las incidencias de puntos y rectas sin tener en cuenta la medida. A menudo se usa esta palabra también para hablar de la teoría de la proyección que en realidad se llama geometría descriptiva

Contenido

Breve reseña histórica

Gérard Desargues es 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 fue publicado en 1639, pasó desapercibido durante dos siglos (excepto dos teoremas), ensombrecido por la influyente obra de Descartes.

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.

Este proceso finalizó definitivamente a principios del siglo XX, pues 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.

Punto de vista sintético

Desde el punto de vista sintético, la geometría proyectiva es una geometría 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á implícito 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. Nótese que en la geometría proyectiva, dos rectas paralelas por definición comparten un punto y esto no excluye que sean isomorfas con las paralelas euclídeas).

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 otro teorema igualmente válido. 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 ningún matemático lo había notado hasta entonces.

Los teoremas de Pascal y Brianchon, aunque completamente válidos, se demostraron inicialmente en geometría euclidiana, basándose en los teoremas de Pappus y Menelao, que utilizan una métrica y por tanto no son válidos en geometrías 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 hexágono de Pappus como un axioma de la geometría proyectiva. Ello permite demostrar en proyectiva todo lo demostrable en euclídea sin tener que recurrir a una métrica.

Por no usar métricas en sus enunciados, se dice que la geometría proyectiva es una Geometría de incidencia.

Finalmente, hay que destacar que desde el punto de vista sintético, un espacio proyectivo consiste en un espacio afín al que hemos añadido 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 euclídeas con las rectas proyectivas que se cortan “en el infinito”, podemos extrapolar todo lo que demostremos 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 muchos teoremas clásicos más sencillamente, e incluso simplificar las demostraciones, aunque no permite demostrar nada que no pueda demostrarse en euclidiana.

La geometría proyectiva puede entenderse, informalmente, como la geometría que se obtiene cuando nos colocamos en un punto, mirando desde ese punto. Esto es, cualquier línea que incide en nuestro "ojo" nos parece ser sólo un punto, en el Plano proyectivo, ya que el ojo no puede "ver" los puntos que hay detrás.

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 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 geometría proyectiva no pueden demostrarse sólo 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 Papus anteriormente citado como axioma)

Punto de vista vectorial

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

Sea K un cuerpo y V un K-espacio vectorial (no trivial). Las rectas vectoriales de V son aquellos conjuntos formados por los múltiplos escalares de los vectores no nulos, esto es, si v \in V, v \neq 0, la recta vectorial determinada por v es el conjunto \{ \lambda v: \lambda \in K \}. La recta vectorial determinada por v no es entonces otra cosa que el espacio generado por v, es decir, L(v). El espacio proyectivo P(V) asociado a V será el conjunto de todas las rectas vectoriales de V.

Es inmediato que si v \in V, v \neq 0, entonces para cualquier u \in V tal que u = βv con \beta \neq 0, se cumple que las rectas vectoriales determinadas por u y por v coinciden, esto es, \{ \lambda v: \lambda \in K \} = \{ \alpha u: \alpha \in K \}. Ahí reside la esencia de un espacio proyectivo: consideramos sólo las direcciones, no los vectores concretos. Ante este hecho, para trabajar sólo con vectores y no con rectas vectoriales, se establece la siguiente relación, que resulta ser una relación de equivalencia: si u,v \in V \setminus \{ 0 \}, diremos que u está relacionado con v (lo escribiremos como uRv) si existe un \lambda \in K de manera que v = λu. Al tomar el conjunto cociente V / R se obtiene otra forma de definir P(V). Los elementos del espacio proyectivo serían entonces las clases de equivalencia de los vectores de V mediante la relación de equivalencia R.

Aun puede darse otro paso más para comprender mejor éste tipo de espacios: si tomamos una base de V, como al tomar la recta vectorial generada por v exigimos que v \neq 0, alguna las coordenadas de v 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 \mathbb{R}^5 (con la base canónica) y el vector no nulo (8,\frac{\pi}{3}, 0, 2^{-15},\sqrt{7}). Denotaremos por [ (8, \frac{\pi}{3},0,2^{-15},\sqrt{7}) ] a su clase de equivalencia mediante la relación R. 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) obtendríamos [(1,\frac{\pi}{24}, 0, 2^{-18},\frac{\sqrt{7}}{8})]. Si en lugar de tomar la primera coordenada tomamos, por ejemplo, la quinta (\sqrt{7}), obtendríamos [ (\frac{8}{\sqrt{7}}, \frac{\pi}{3 \sqrt{7}},0,\frac{2^{-15}}{\sqrt{7}} ,1) ]. Podríamos dividir las coordenadas del vector inicial (8,\frac{\pi}{3}, 0, 2^{-15},\sqrt{7}) entre las otras dos coordenadas no nulas, \frac{\pi}{3} o 2 − 15, pero en todos los casos obtendríamos la misma clase de equivalencia, aunque las coordenadas no sean, numéricamente las mismas. En esta situación se dirá que (8:\frac{\pi}{3}: 0: 2^{-15}:\sqrt{7}) es la representación de la clase del vector (8,\frac{\pi}{3}, 0, 2^{-15},\sqrt{7}) en coordenadas homogéneas. Ha de quedar claro que (8:\frac{\pi}{3}: 0: 2^{-15}:\sqrt{7}), (1:\frac{\pi}{24}: 0: 2^{-18}:\frac{\sqrt{7}}{8}) y (\frac{8}{\sqrt{7}}: \frac{\pi}{3 \sqrt{7}}:0:\frac{2^{-15}}{\sqrt{7}} :1) son coordenadas homogéneas del mismo punto proyectivo.

Véase también

Enlaces externos

  • Ver el portal sobre Geometría proyectiva Portal:Matemática Contenido relacionado con Matemática.
Obtenido de "Geometr%C3%ADa proyectiva"

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

  • Geometría proyectiva — ► locución GEOMETRÍA, MATEMÁTICAS Parte de la geometría que estudia las propiedades que conservan las figuras cuando son proyectadas sobre un plano. * * * Punto de vista sintético Desde el punto de vista sintético, la geometría proyectiva es una… …   Enciclopedia Universal

  • Geometría proyectiva (Matemáticas) — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • geometría — (Del lat. geometrĭa, y este del gr. γεωμετρία). f. Estudio de las propiedades y de las medidas de las figuras en el plano o en el espacio. geometría algorítmica. f. Mat. Aplicación del álgebra a la geometría para resolver por medio del cálculo… …   Diccionario de la lengua española

  • Geometría — (Del gr. geometria, agrimensura, geometría.) ► sustantivo femenino 1 GEOMETRÍA, MATEMÁTICAS Parte de las matemáticas que estudia el espacio y las figuras y cuerpos que en él se pueden imaginar. FRASEOLOGÍA geometría analítica GEOMETRÍA,… …   Enciclopedia Universal

  • Geometría descriptiva — La geometría descriptiva es un conjunto de técnicas de carácter geométrico que permite representar el espacio tridimensional sobre una superficie bidimensional y, por tanto, resolver en dos dimensiones los problemas espaciales garantizando la… …   Wikipedia Español

  • Geometría afín — En la matemática, la geometría afín es el estudio de las propiedades geométricas que permancen inmutables bajo transformaciones afines, i.e. transformaciones lineales no singulares y traslaciones. El nombre de geometría afín así como el de… …   Wikipedia Español

  • Geometría ordenada — La geometría ordenada es un tipo de geometría que presenta el concepto de intermediación pero, como la geometría proyectiva, omitiendo la noción básica de medición. La geometría ordenada es una geometría básica que forma un marco de trabajo común …   Wikipedia Español

  • Geometría — Alegoría de la Geometría. La Geometría (del latín geometrĭa, que proviene del idioma griego γεωμετρία, geo tierra y metria medida), es una rama de la matemática que se ocupa del estudio de las propiedades de las figuras geométricas en el plano o… …   Wikipedia Español

  • Geometría finita — Una geometría finita es un sistema geométrico que tiene únicamente un número finito de puntos. Por ejemplo, la geometría euclidiana no es finita, ya que la línea de Euclides contiene infinitos puntos, de hecho posee tantos puntos como números… …   Wikipedia Español

  • Geometría de incidencia — Una geometría es una estructura algebraica con al menos tres tipos de axiomas: ordenación incidencia congruencia Se llama geometría de incidencia a aquella estructura que carece de axiomas de congruencia. Entre otras cosas, la falta de estos… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”