Plano proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Plano_proyectivo

Plano proyectivo
El plano proyectivo es el conjunto estudiado por la geometra
proyectiva. Surge en geometra euclidiana al aadir a un plano un punto
por cada familia de rectas paralelas (es decir, uno por cada par de
direcciones opuestas). Los puntos as aadidos reciben el nombre de
puntos del infinito, y su introduccin unifica y simplifica mucho los
enunciados de la geometra. Por ejemplo, la afirmacin 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.

ndice El plano de Fano es un ejemplo de

plano proyectivo.
1 Empleo en la geometra proyectiva
2 De la pobreza de enunciados a su riqueza
3 Los axiomas y teoremas
3.1 La contribucin espaola
3.2 En pleno siglo XX
4 Vase tambin
5 Referencias

Empleo en la geometra proyectiva

La geometra 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
geometra proyectiva es tomar un punto P exterior al plano y definirlo 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 ms el plano proyectivo
como la radiacin de rectas de vrtice un punto dado P. Adems esta perspectiva permite introducir tambin
la recta proyectiva, como radiacin de rectas de vrtice dado en un plano, y espacios proyectivos
tridimensionales, como radiacin de rectas que pasan por el origen en un espacio vectorial de dimensin 4, o
de cualquier otra dimensin n (sin ms que considerar espacios vectoriales de dimensin 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 geometra
proyectiva parece la ms pobre de todas las geometras, pues en sus enunciados slo 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 vrtices de dos tringulos concurren en un

1 de 3 3/8/17 2:40
Plano proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Plano_proyectivo

punto, entonces los tres puntos de corte de las prolongaciones de los lados correspondientes estn
alineados.

Sin embargo, segn hemos visto, los enunciados geomtricos en que adems interviene el concepto de
paralelismo (la llamada geometra afn) pueden reformularse en el plano proyectivo sin ms que fijar una
recta, recta que entonces recibe el nombre de recta del infinito. As, todo enunciado afn admite un
enunciado proyectivo equivalente, y la geometra afn puede verse como una pequea parte de la geometra
proyectiva: es la geometra de un plano proyectivo con una recta prefijada (o un plano en el espacio
proyectivo, etc.). Igualmente se vio que la geometra eucldea 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 Geometra proyectiva: es la geometra de un plano proyectivo donde se han fijado dos
puntos complejos conjugados de una recta. Incluso la geometra hiperblica, la primera de las geometras no
eucldeas, puede obtenerse fijando una cnica: los puntos de la geometra son los puntos interiores de la
cnica, las rectas son las secciones del interior de la cnica con rectas, y la distancia entre dos puntos A, B
es esencialmente su razn doble con los puntos de corte P, Q de la recta AB con la cnica dada:

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

De este modo, la geometra proyectiva, la ms humilde de todas, pas a ser la reina de la geometra.

Los axiomas y teoremas

Pero an nos queda abordar la cuestin de la estructura subyacente en la geometra proyectiva, de explicitar
sus axiomas. Los gemetras alemanes del siglo XIX alcanzaron a exponerla considerando el retculo
formado por las subvariedades lineales (puntos, rectas, planos, etc.). Lo caracterizaron como un retculo de
dimensin 3 (en el caso del espacio) con las siguientes propiedades:

1. dim(A+B) = dim(A) + dim(B) - dim(AB)

2. Hay 5 puntos en posicin general (ningn plano pasa por 4 de ellos).
3. Es vlido el Teorema de Desargues.

La contribucin espaola
Si se desea que el cuerpo de coordenadas sea conmutativo, se ha de imponer la validez del teorema del
hexgono de Pappus. De hecho, el catedrtico de instituto Ventura de los Reyes Prsper (Castuera, 31 de
mayo de 1863 - Toledo, 27 de noviembre de 1922) escribi una carta a Pasch explicando cmo en el espacio
el teorema de Desargues se sigue de las otras 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 contribucin espaola
publicada en revista de tal importancia. En el caso del plano proyectivo, obviamente se ha de exigir que se
un retculo de dimensin con 4 puntos en posicin 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
mantenindose como un axioma adicional.

En pleno siglo XX
Pero la sencilla recta proyectiva se resiste a ser caracterizada como retculo, pues su relacin 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, tambin todo el
lgebra conmutativa y gran parte de la aritmtica.

2 de 3 3/8/17 2:40
Plano proyectivo - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Plano_proyectivo

Vase tambin
Portal:Matemtica. Contenido relacionado con Matemtica.
Portal:Geometra. Contenido relacionado con Geometra.
Geometra
Geometra proyectiva (Matemticas)

Referencias
D. Hughes and F. Piper,"Projective Planes", Springer-Verlag, 1973, ISBN 0-387-90044-6
Clement W.H. Lam, "The Search for a Finite Projective Plane of Order 10" (http://www.cecm.sfu.ca
/organics/papers/lam/), American Mathematical Monthly 98, (no. 4) 1991, pp.305 - 318.
Lindner, Charles C. and Christopher A. Rodger (eds.) Design Theory, CRC-Press; 1 edition (October
31, 1997). ISBN 0-8493-3986-3.
G. Eric Moorhouse, Projective Planes of Small Order (http://www.uwyo.edu/moorhouse/pub/planes/),
(2003)

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

Se edit esta pgina por ltima vez el 27 jul 2015 a las 19:49.
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.

3 de 3 3/8/17 2:40