Plano proyectivo

Plano proyectivo

Plano proyectivo

El plano de Fano es un ejemplo de Plano proyectivo

El plano proyectivo es el conjunto estudiado por la Geometría proyectiva. Surge en Geometría analítica al añadir a un plano un punto por cada familia de rectas paralelas (es decir, uno por cada par de direcciones opuestas). Los puntos así añadidos reciben el nombre de puntos del infinito, y su introducción unifica y simplifica mucho los enunciados de la geometría. Por ejemplo, la afirmación que dice que dos rectas de un plano se cortan en un único punto o son paralelas, en el plano proyectivo se enuncia: Dos rectas siempre se cortan en un único punto.

Contenido

Empleo en la Geometría Proyectiva

La Geometría proyectiva surge realmente al estudiar "solamente" las relaciones de incidencia cuando los puntos ordinarios y los puntos del infinito se consideran en pie de igualdad. Una forma de visualizar la geometría proyectiva es tomar un punto P exterior al plano y definirla como las proyecciones de los elementos tridimensionales sobre un plano. Cada punto del plano define claramente una recta que pasa por P; pero así no obtenemos todas las rectas que pasan por P: faltan las rectas paralelas al plano dado, que se corresponden precisamente con las direcciones del plano.

Los puntos del plano proyectivo se corresponden naturalmente con las rectas que pasan por P, y las rectas del plano proyectivo con los planos que pasan por P. Esta correspondencia conserva las relaciones de incidencia, es un Isomorfismo entre sus respectivas estructuras. Podemos definir sin más el plano proyectivo como la radiación de rectas de vértice un punto dado P. Además esta perspectiva permite introducir también la recta proyectiva, como radiación de rectas de vértice dado en un plano, y espacios proyectivos tridimensionales, como radiación de rectas que pasan por el origen en un espacio vectorial de dimensión 4, o de cualquier otra dimensión n (sin más que considerar espacios vectoriales de dimensión n+1).

De la Pobreza de enunciados a su riqueza

Viendo sus dos principios (dos rectas se cortan en un punto y dos puntos definen una recta), la geometría proyectiva parece la más pobre de todas las geometrías, pues en sus enunciados sólo interviene el concepto de incidencia. No admite los conceptos de paralelismo, de perpendicularidad, distancia o ángulo. Solo permite enunciados de incidencia tales como:

  • «Por dos puntos pasa una única recta» o bien
  • Teorema de Desargues: «Si las tres rectas que unen los vértices de dos triángulos concurren en un punto, entonces los tres puntos de corte de las prolongaciones de los lados correspondientes están alineados».

Sin embargo, según hemos visto, los enunciados geométricos en que además interviene el concepto de paralelismo (la llamada Geometría afín) pueden reformularse en el plano proyectivo sin más que fijar una recta, recta que entonces recibe el nombre de «recta del infinito». Así, todo enunciado afín admite un enunciado proyectivo equivalente, y la Geometría afín puede verse como una pequeña parte de la Geometría proyectiva: Es la Geometría de un plano proyectivo con una recta prefijada (o un plano en el espacio proyectivo, etc.). Igualmente se vio que la geometría euclídea se obtiene al fijar dos puntos complejos conjugados en la recta del infinito (los puntos donde cortan todas las circunferencias), quedando así englobada en la Geometría proyectiva: Es la Geometría de un plano proyectivo donde se han fijado dos puntos complejos conjugados de una recta. Incluso la Geometría hiperbólica, la primera de las geometrías no euclídeas, puede obtenerse fijando una cónica: los puntos de la geometría son los puntos interiores de la cónica, las rectas son las secciones del interior de la cónica con rectas, y la distancia entre dos puntos A, B es esencialmente su razón doble con los puntos de corte P, Q de la recta AB con la cónica dada:

d(A,B) := | ln(A,B;P,Q) |

De este modo, la Geometría proyectiva, la más humilde de todas, pasó a ser «la reina de la Geometría».

Los Axiomas y Teoremas

Pero aún nos queda abordar la cuestión de la estructura subyacente en la Geometría proyectiva, de explicitar sus axiomas. Los geómetras alemanes del siglo XIX alcanzaron a exponerla considerando el retículo formado por las subvariedades lineales (puntos, rectas, planos, etc.). Lo caracterizaron como un retículo de dimensión 3 (en el caso del espacio) con las siguientes propiedades:

  1. dim(A+B) = dim(A) + dim(B) - dim(A∩B)
  2. Hay 5 puntos en posición general (ningún plano pasa por 4 de ellos).
  3. Es válido el Teorema de Desargues.

La contribución española

Si se desea que el cuerpo de coordenadas sea conmutativo, se ha de imponer la validez del Teorema de Pappus. De hecho, el catedrático de instituto Ventura Reyes Prósper (Castuera, 31 de mayo de 1863 -- Toledo, 27 de noviembre de 1922) escribió una carta a Pasch explicando cómo en el espacio el Teorema de Desargues se sigue de las otra dos propiedades y es, por tanto, superfluo. Pasch, asombrado ante la sencillez del argumento («... auf denkbar einfachste Art...») que simplificaba notablemente su reciente libro, lo publicó en 1888 en los Matematische Annalen. Es la primera contribución española publicada en revista de tal importancia. En el caso del plano proyectivo, obviamente se ha de exigir que se un retículo de dimensión con 4 puntos en posición general (ninguna recta pasa por 3 de ellos); pero en tal caso el Teorema de Desargues ya no es consecuencia de las otras dos propiedades, sino que debe seguir manteniéndose como un axioma adicional.

En pleno siglo XX

Pero la sencilla recta proyectiva se resiste a ser caracterizada como retículo, pues su relación de orden es absolutamente trivial. Hasta mediados del siglo XX no se logró un marco conceptual que englobase tanto la estructura de la recta proyectiva como la del plano y el espacio proyectivo. El concepto de «esquema» introducido por Grothendieck permite recogerlos en su seno y, como regalo sobreabundante, también todo el Álgebra conmutativa y gran parte de la Aritmética.

Referencias

Obtenido de "Plano proyectivo"

Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Plano proyectivo — El plano proyectivo se obtiene al añadir a un plano un punto por cada familia de rectas paralelas (es decir, uno por cada par de direcciones opuestas). Los puntos así añadidos reciben el nombre de puntos del infinito, y su introducción unifica y… …   Enciclopedia Universal

  • proyectivo — ► adjetivo 1 Que tiene relación con el proyecto o la proyección. 2 MATEMÁTICAS Se aplica a las propiedades que conservan las figuras al proyectarse sobre un plano. * * * proyectivo, a 1 adj. De [o del] proyecto o de [la] proyección. 2 Geom. Se… …   Enciclopedia Universal

  • proyectivo — proyectivo, va adjetivo 1. Uso/registro: restringido. De un proyecto o proyección: estudio proyectivo. 2. Área: matemáticas [Figura] que conserva sus propiedades cuando se proyectan sobre un plano …   Diccionario Salamanca de la Lengua Española

  • proyectivo — proyectivo, va 1. adj. Perteneciente o relativo al proyecto o a la proyección. 2. Mat. Se dice de las propiedades que conservan las figuras cuando se las proyecta sobre un plano. ☛ V. geometría proyectivo …   Diccionario de la lengua española

  • proyectivo — {{#}}{{LM P32051}}{{〓}} {{[}}proyectivo{{]}}, {{[}}proyectiva{{]}} ‹pro·yec·ti·vo, va› {{《}}▍ adj.{{》}} {{<}}1{{>}} Relacionado con el proyecto o con la proyección. {{<}}2{{>}} {{♂}}En matemáticas, referido a la propiedad de una figura,{{♀}} que… …   Diccionario de uso del español actual con sinónimos y antónimos

  • Módulo proyectivo — En matemáticas, particularmente en álgebra abstracta y álgebra homológica, el concepto de módulo proyectivo sobre un anillo R es una generalización más flexible de la idea de un módulo libre (es decir, un módulo con vectores de base). Hay varias… …   Wikipedia Español

  • Módulo plano — En álgebra conmutativa, y geometría algebraica, un módulo plano sobre un anillo R es un R módulo M tal que se preserva sucesiones exactas al tomar el producto tensorial sobre R con M. Un módulo es fielmente plano si al tomar el producto tensorial …   Wikipedia Español

  • Geometría proyectiva — Saltar a navegación, búsqueda 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… …   Wikipedia Español

  • 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

  • Teorema de Brianchon — En geometría, el teorema de Brianchon, nombrado así en honor a Charles Julien Brianchon (1783 1864), establece lo siguiente: Sea ABCDEF un hexágono formado por seis rectas tangentes de una sección cónica. En …   Wikipedia Español

Compartir el artículo y extractos

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