Ver el código de «Plano proyectivo real»

{| class=wikitable align=right
| valign=top width=120|[[File:ProjectivePlaneAsSquare.svg|120px]]<br />El [[polígono fundamental]] del plano proyectivo
| valign=top width=120 style="padding-top:8px"|[[File:MöbiusStripAsSquare.svg|102px|center]] <div style="margin-top:6px;">La [[banda de Möbius]] con un solo borde, puede cerrarse en un plano proyectivo pegando juntos los bordes abiertos opuestos</div>
| valign=top width=120|[[File:KleinBottleAsSquare.svg|120px]]<br />En comparación, la [[botella de Klein]] es una tira de Möbius cerrada en un cilindro
|}

En [[matemáticas]], el '''[[plano proyectivo]] real''' es un ejemplo de una [[Variedad (matemáticas)|variedad]] bidimensional compacta no [[ Orientabilidad |orientable]]; en otras palabras, una [[Superficie (matemática)|superficie]] unilateral. No se puede [[Encaje (matemática)|embeber]] en un espacio tridimensional estándar sin intersecarse. Tiene aplicaciones básicas en [[geometría]], dado que la construcción común del plano proyectivo real coincide con la del espacio de rectas en '''R'''<sup>3</sup> que pasan por el origen. 

El plano también se describe a menudo topológicamente, en términos de una construcción basada en la [[banda de Möbius]]: si se pudiera pegar el borde (simple) de la tira de Möbius en la dirección correcta, se obtendría el plano proyectivo (lo que no es posible en el espacio tridimensional sin que la superficie se interseque consigo misma). De manera equivalente, pegar un disco a lo largo del límite de la tira de Möbius da el plano proyectivo. Topológicamente, tiene la [[característica de Euler]] 1, y por lo tanto, se trata de un [[Genus (matemáticas)|''semigenus'']] (género no orientable, género de Euler) de valor 1. 

Dado que la banda de Möbius, a su vez, puede construirse a partir de un [[cuadrado]] pegando dos de sus lados, el plano proyectivo real puede representarse como un cuadrado unitario (es decir, [0, 1] [[Producto cartesiano|×]] [0,1]) con sus lados identificados por las siguientes [[Relación de equivalencia|relaciones de equivalencia]]: 

: (0, ''y'' ) ~ (1, 1 - ''y'' ) &nbsp; para 0 &nbsp; ≤ &nbsp; ''y'' &nbsp; ≤ &nbsp; 1 

y 

: ( ''x'', 0) ~ (1 - ''x'', 1) &nbsp; para 0 &nbsp; ≤ x ≤ 1, 

como en el diagrama de la izquierda que se muestra más abajo. 

== Ejemplos ==
La [[geometría proyectiva]] no tiene que ver necesariamente con la curvatura y el plano proyectivo real puede retorcerse y colocarse en el plano euclídeo o en el espacio tridimensional de muchas maneras diferentes.<ref name="apery">Apéry, F.; ''Models of the real projective plane'', Vieweg (1987)</ref> Algunos de los ejemplos más importantes se describen a continuación. 

El plano proyectivo no se puede [[Encaje (matemática)|incrustar]] (sin intersección) en [[Espacio euclídeo|el espacio euclídeo]] tridimensional. La prueba de que el plano proyectivo no se incrusta en el espacio euclidiano tridimensional es la siguiente: suponiendo que se incruste, uniría una región compacta en el espacio euclídeo tridimensional según el [[Teorema de la curva de Jordan|teorema de la curva generalizada de Jordan]]. El [[campo vectorial]] normal de la unidad que apunta hacia afuera daría una [[Orientación (espacio vectorial)|orientación]] del límite de la variedad, pero el límite sería el [[plano proyectivo]], que no es orientable. Esto es una contradicción, por lo que la suposición inicial de que sí es posible incrustarlo debe ser falsa. 

=== La esfera proyectiva ===
Considérese una [[esfera]], y sean sus [[Gran círculo|círculos máximos]] las "líneas rectas" de la superficie, estableciendo además la condición de que los pares de [[Punto antipodal|puntos antipodales]] se consideran los "puntos" de la superficie. Es fácil verificar que este sistema cumple los axiomas requeridos para ser un [[plano proyectivo]]: 

* Cualquier par de círculos máximos distintos se encuentran en un par de puntos antipodales; y 
* Cualesquiera dos pares distintos de puntos antipodales se encuentran en un único círculo máximo. 

Si se identifica cada punto de la esfera con su punto antipodal, se obtiene una representación del plano proyectivo real en la que los "puntos" del plano proyectivo son realmente puntos. Esto significa que el plano proyectivo es el espacio cociente de la esfera obtenido al dividirla en clases bajo la relación de equivalencia ~, donde x ~ y si y = &#x2212; x. Este espacio cociente de la esfera es [[Homeomorfismo|homeomorfo]] con la colección de todas las líneas que pasan por el origen en '''R'''<sup>3</sup>. 

La aplicación cociente de la esfera en el plano proyectivo real es, de hecho, un [[Espacio recubridor|recubrimiento]] de dos láminas (es decir, dos a uno). Se deduce que el [[grupo fundamental]] del plano proyectivo real es el grupo cíclico de orden 2; es decir, el conjunto de los enteros expresados en módulo 2. Se puede tomar el bucle ''AB'' de la figura de arriba como generador. 

=== El hemisferio proyectivo ===
Debido a que la esfera recubre el plano proyectivo real dos veces, el plano puede representarse como un hemisferio cerrado alrededor de cuyo borde se identifican puntos opuestos similares.<ref>Weeks, J.; ''The shape of space'', CRC (2002), p 59</ref> 

=== La superficie de Boy: una inmersión ===
El plano proyectivo puede [[Inmersión (matemáticas)|sumergirse]] (los vecindarios locales del espacio fuente no tienen auto-intersecciones) en 3 espacios. La [[superficie de Boy]] es un ejemplo de inmersión. 

Los ejemplos poliédricos deben tener al menos nueve caras.<ref>Brehm, U.; "How to build minimal polyhedral models of the Boy surface", ''The mathematical intelligencer'' '''12''', No. 4 (1990), pp 51-56.</ref> 

=== Superficie romana ===
[[Archivo:Steiner's_Roman_Surface.gif|mini| Una animación de la [[superficie romana]]]]
[[Archivo:Tetrahemihexahedron.png|mini| El [[tetrahemihexaedro]] es una representación poliédrica del plano proyectivo real ]]

La [[Superficie de Steiner|superficie romana]] de Steiner es un mapa más degenerado del plano proyectivo en el espacio tridimensional, que contiene una ''[[ gorra cruzada]]''.
 
Una representación [[Poliedro|poliédrica]] es el [[Tetrahemihexaedro|tetrahemihexahedro]],<ref name="richter">{{Cita Harvard|Richter}}</ref> que tiene la misma forma general que la superficie romana de Steiner, que se muestra aquí.

=== Hemipoliedros ===
{{AP|Hemipoliedros}}

Mirando en la dirección opuesta, ciertos [[politopo abstracto|politopos regulares abstractos]] - [[hemicubo]], [[hemidodecaedro]] y [[hemicosaedro]] - pueden construirse como figuras regulares en el ''plano proyectivo'' (véase también [[poliedro proyectivo|poliedros proyectivos]]).

=== Proyecciones planas ===
Se han descrito varias proyecciones planas o aplicaciones del plano proyectivo. En 1874, Klein describió la aplicación siguiente:<ref name="apery">Apéry, F.; ''Models of the real projective plane'', Vieweg (1987)</ref> 

: <math>k (x, y) = \left(1 + x^2 + y^2\right)^\frac{1}{2} \begin{pmatrix}x \\ y\end{pmatrix}</math>

La [[proyección central]] del hemisferio proyectivo sobre un plano produce el plano proyectivo infinito habitual, que se describe a continuación. 

=== Disco con gorra cruzada ===
Se obtiene una superficie cerrada pegando un [[Círculo|disco]] a una ''[[gorra cruzada]]''. Esta superficie se puede representar paramétricamente mediante las siguientes ecuaciones: 

: <math>\begin{align}
 X(u,v) &= (r \, (1 + \cos v) \, \cos u, r \, (1 + \cos v) \, \sin u, -\operatorname{tanh}\left(u - \pi \right) \, r \, \sin v)
\end{align}</math>


donde ''u'' y ''v'' varían de 0 a 2''π''. 

Estas ecuaciones son similares a las de un [[Toro (geometría)|toro]]. La Figura &nbsp; 1 muestra un disco con una gorra cruzada cerrado. 
{|
|[[File:CrossCapTwoViews.PNG|500x500px]]
|-
| align="center" | Figura 1. Dos vistas de un disco con una gorra cruzada 
|}
Un disco con una ''gorra cruzada'' tiene un [[Eje de simetría|plano de simetría]] que pasa a través de su segmento de línea de puntos dobles. En la figura 1, el disco con la ''gorra cruzada'' se ve desde arriba de su plano de simetría ''z'' = 0, pero se vería igual si se observa desde abajo. 

Un disco con una ''gorra cruzada'' puede abrirse a lo largo de su plano de simetría, mientras se asegure que no se cortan ninguno de sus puntos dobles. El resultado se muestra en la Figura &nbsp; 2) 
{|
|[[File:CrossCapSlicedOpen.PNG|500x500px]]
|-
| align="center" | Figura 2. Dos vistas de un disco con una ''gorra cruzada'' que se ha abierto tras seccionarse. 
|}
Una vez que se haga esta excepción, se verá que el disco con las ''gorras cruzadas'' es [[Homeomorfismo|homeomorfo]] a un disco de auto intersección, como se muestra en la Figura &nbsp; 3) 
{|
|[[File:SelfIntersectingDisk.PNG|500x500px]]
|-
| align="center" | Figura 3. Dos vistas alternativas de un disco de auto intersección. 
|}
El disco de auto-intersección es homeomorfo a un disco ordinario. Las [[Ecuación paramétrica|ecuaciones paramétricas]] del disco de auto intersección son: 

: <math>\begin{align}
 X(u, v) &= r \, v \, \cos 2u, \\
 Y(u, v) &= r \, v \, \sin 2u, \\
 Z(u, v) &= r \, v \, \cos u,
\end{align}</math>

donde ''u'' varía de 0 a 2''π'' y ''v'' varía de 0 a 1. 

Proyectando el disco auto-intersecante en el plano de simetría (''z'' = 0 en la parametrización dada anteriormente) que pasa solo a través de los puntos dobles, el resultado es un disco ordinario que se repite (se duplica sobre sí mismo). 

El plano ''z'' = 0 corta el disco auto intersecante en un par de discos que son [[Reflexión (matemáticas)|reflejos]] especulares entre sí. Los discos tienen centros en el [[Origen de coordenadas|origen]]. 

Ahora, considérense los bordes de los discos (con ''v'' = 1). Los puntos en el borde del disco auto intersecante vienen en pares, que son reflejos entre sí con respecto al plano ''z'' = 0. 

Se forma un disco con una ''gorra cruzada'' al identificar estos pares de puntos, haciéndolos equivalentes entre sí. Esto significa que un punto con parámetros (''u'', 1) y coordenadas <math>(r \, \cos 2u, r \, \sin 2u, r \, \cos u)</math> se identifica con el punto (''u''+π, 1) cuyas coordenadas son <math> (r \, \cos 2 u, r \, \sin 2 u, - r \, \cos u) </math>. Pero esto significa que los pares de puntos opuestos en el borde del disco ordinario (equivalente) se identifican entre sí; así es como se forma un plano proyectivo real a partir de un disco. Por lo tanto, la superficie que se muestra en la Figura 1 (gorra cruzada con disco) es topológicamente equivalente al plano proyectivo real ''RP''<sup>2</sup>.

== Coordenadas homogéneas ==
Los puntos en el plano se pueden representar mediante [[coordenadas homogéneas]]. Un punto tiene coordenadas homogéneas [ ''x'' : ''y'' : ''z'' ], donde las coordenadas [ ''x'' : ''y'' : ''z'' ] y [ ''tx'' : ''ty'' : ''tz'' ] se considera que representan el mismo punto, para todos los valores distintos de cero de ''t''. Los puntos con coordenadas [ ''x'' : ''y'' : 1] son el [[Bidimensional|plano real]] habitual, denominado '''parte finita''' del plano proyectivo, y los puntos con coordenadas [''x'' : ''y'' : 0], llamados '''puntos en el infinito''' o '''puntos ideales''', constituyen una línea llamada la '''[[ Línea en el infinito |línea del infinito]]'''. Las coordenadas homogéneas [0 : 0 : 0] no representan ningún punto.

Las líneas rectas en el plano también se pueden representar mediante coordenadas homogéneas. Una línea proyectiva correspondiente al plano {{Nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} en '''R'''<sup>3</sup> tiene las coordenadas homogéneas (''a'' : ''b'' : ''c'' ). Por lo tanto, estas coordenadas tienen la relación de equivalencia (''a'' :&nbsp;''b'' &nbsp;: ''c'') = (''da'' : ''db'' : ''dc'') para todos los valores distintos de cero de ''d''. Por lo tanto, una ecuación diferente de la misma línea ''dax'' + ''dby'' + ''dcz'' = 0 da las mismas coordenadas homogéneas. Un punto [''x'' : ''y'' : ''z''] se encuentra en una línea recta (''a'' : ''b'' : ''c'') si ''ax'' + ''by'' + ''cz'' = 0. Por lo tanto, líneas rectas con coordenadas (''a'' : ''bi''&nbsp;: ''c'') donde ''a'', y&nbsp; ''b'' no son ambos 0, corresponden a las rectas en el [[Bidimensional|plano real]] habitual, porque contienen puntos que no están en el infinito. La recta con coordenadas (0 : 0 : 1) es la recta del infinito, ya que los únicos puntos en ella son aquellos con &nbsp; ''z'' = 0. 

=== Puntos, líneas y planos ===
[[File:Proj_geom1.PNG|derecha]]
Una línea en '''P'''<sup>2</sup> puede ser representada por la ecuación ''ax'' + ''by'' + ''cz'' = 0. Si se tratan ''a'', ''b'' y ''c'' como el vector columna '''ℓ''' y ''x'', ''y'', ''z'' como el vector columna '''x,''' entonces la ecuación anterior se puede escribir en forma matricial como: 

: '''x''' <sup>T</sup> '''ℓ''' = 0 o '''ℓ''' <sup>T</sup> '''x''' = 0. 

Usando notación vectorial, se puede escribir '''x''' &#x22C5; '''ℓ''' = 0 o '''ℓ''' &#x22C5; '''x''' = 0. 

La ecuación ''k''('''x'''<sup>T</sup>'''ℓ''') = 0 (donde k es un escalar distinto de cero) barre un plano que pasa por cero en '''R'''<sup>3</sup>, y ''k''(''x'') barre una recta, nuevamente pasando por cero. El plano y la recta son [[Subespacio vectorial|subespacios lineales]] en [[espacio coordinado real|'''R'''<sup>3</sup>]], que siempre pasan por cero. 

=== Puntos ideales ===

En '''P'''<sup>2</sup>, la ecuación de una recta es {{Nowrap|''ax'' + ''by'' + ''cz'' {{=}} 0}} y esta ecuación puede representar una línea en cualquier plano paralelo al plano ''x'' multiplicando la ecuación por ''k''. 

Si {{Nowrap|''z'' {{=}} 1}} se tiene una coordenada homogénea normalizada. Todos los puntos que tienen ''z'' = 1 crean un plano. Supóngase que se está mirando ese plano (desde una posición más alejada del eje ''z'' y mirando hacia el origen) y hay dos líneas paralelas dibujadas en el plano. Desde la posición del observador (dadas sus capacidades visuales) solo es posible ver gran parte del plano, que se representa como el área delineada en rojo en el diagrama. Si se produce un alejamiento del plano a lo largo del eje ''z'' (aún mirando hacia atrás en sentido al origen), se puede ver una mayor parte del plano. En el campo de visión, los puntos originales se han movido. Se puede reflejar este movimiento dividiendo la coordenada homogénea por una constante. En la imagen adyacente, se ha dividido entre 2, por lo que el valor de ''z'' ahora se convierte en 0,5. Si se camina lo suficientemente lejos, lo que se está viendo se convierte en un punto en la distancia. A medida que se está cada vez más lejos, se divisan más y más líneas paralelas. Las líneas rectas se encontrarán en una línea en el infinito (una línea que pasa por cero en el plano en {{Nowrap|''z'' {{=}} 0}}). Las líneas en el plano cuando {{Nowrap|''z'' {{=}} 0}} son puntos ideales. El plano en {{Nowrap|''z'' {{=}} 0}} es la línea del infinito. 

El punto homogéneo {{Nowrap|(0, 0, 0)}} es donde van todos los puntos reales cuando se mira el plano desde una distancia infinita, una línea en el plano {{Nowrap|''z'' {{=}} 0}} es donde se cruzan las líneas paralelas.

=== Dualidad ===
[[Archivo:Projective_geometry_diagram_2_es.svg|derecha|300px]]
En la ecuación {{Nowrap|'''x'''<sup>T</sup>'''ℓ''' {{=}} 0}} hay dos [[ Vector de columna |vectores columna]]. Se puede mantener uno constante y variar el otro. Si se mantiene el punto '''x''' constante y se varían los coeficientes '''ℓ''' se crean nuevas líneas rectas que pasan por el punto. Si se mantienen constantes los coeficientes y se varían los puntos que satisfacen la ecuación, también se crea una recta. Se considera '''x''' como un punto, porque los ejes que se están utilizando son ''x'', ''y,'' y ''z''. Si, en cambio, se representan los coeficientes usando el eje marcado ''a'', ''b'', ''c'' los puntos se convertirían en rectas y las rectas se convertirían en puntos. Si se demuestra algo con los datos medidos sobre los ejes marcados con ''x'', ''y,'' y ''z,'' se puede usar el mismo argumento para los datos trazados sobre los ejes marcados con ''a'', ''b'' y ''c''. Esta propiedad se denomina dualidad. 

==== Rectas que unen puntos e intersección de rectas (dualidad) ====
La ecuación {{Nowrap|'''x'''<sup>T</sup>'''ℓ''' {{=}} 0}} calcula el [[Producto escalar|producto interno]] de dos vectores columna. El producto interno de dos vectores es cero si los vectores son [[Ortogonalidad (matemáticas)|ortogonales]]. En '''P'''<sup>2</sup>, la recta entre los puntos '''x'''<sub>1</sub> y '''x'''<sub>2</sub> puede representarse como un vector columna '''ℓ''' que satisface las ecuaciones {{Nowrap|'''x'''<sub>1</sub><sup>T</sup>'''ℓ''' {{=}} 0}} y {{Nowrap|'''x'''<sub>2</sub><sup>T</sup>'''ℓ''' {{=}} 0}}, o en otras palabras, un vector columna '''ℓ''' que es ortogonal a '''x'''<sub>1</sub> y '''x'''<sub>2</sub>. El [[Producto vectorial|producto cruzado]] permite calcular dicho vector: la recta que une dos puntos tiene coordenadas homogéneas dadas por la ecuación {{Nowrap|'''x'''<sub>1</sub> × '''x'''<sub>2</sub>}}. La intersección de dos rectas se puede encontrar de la misma manera, usando la dualidad, como el producto cruzado de los vectores que representan las líneas, {{Nowrap|'''ℓ'''<sub>1</sub> × '''ℓ'''<sub>2</sub>}}.

== Incrustado en un espacio de 4 dimensiones ==
El plano proyectivo se incrusta en el espacio euclidiano de 4 dimensiones. El plano proyectivo real '''P'''<sup>2</sup>('''R''') es el [[Topología cociente|cociente]] de las dos esferas. 

: '''S''' <sup>2</sup> = {( ''x'', ''y'', ''z'' ) ∈ '''R''' <sup>3</sup> : ''x'' <sup>2</sup> + ''y'' <sup>2</sup> + ''z'' <sup>2</sup> = 1} 

por la relación antipodal {{Nowrap|(''x'', ''y'', ''z'') ~ (−''x'', −''y'', −''z'')}}. Considérese la función {{Nowrap|'''R'''<sup>3</sup> → '''R'''<sup>4</sup>}} dada por {{Nowrap|(''x'', ''y'', ''z'') ↦ (''xy'', ''xz'', ''y''<sup>2</sup> − ''z''<sup>2</sup>, 2''yz'')}}. Esta aplicación se restringe a una función cuyo dominio es '''S'''<sup>2</sup> y, dado que cada componente es un polinomio homogéneo de grado par, toma los mismos valores en '''R'''<sup>4</sup> en cada uno de los dos puntos antipodales en '''S'''<sup>2</sup>. Esto produce una aplicación {{Nowrap|'''P'''<sup>2</sup>('''R''') → '''R'''<sup>4</sup>}}. Además, esta aplicación es una incrustación. Téngase en cuenta que esta incrustación admite una proyección en '''R'''<sup>3</sup> que es la [[Superficie de Steiner|superficie romana]]. 

== Superficies no orientables superiores ==
Al pegar los planos proyectivos sucesivamente se obtienen superficies no orientables de [[Genus (matemáticas)|demigenus]] superior. El proceso de pegado consiste en cortar un pequeño disco de cada superficie e identificar (''pegar'') sus círculos límite. Pegar dos planos proyectivos crea la [[botella de Klein]]. 

El artículo sobre el [[ Polígono fundamental |polígono fundamental]] describe las superficies superiores no orientables. 

== Véase también ==
* [[Espacio proyectivo real]] 
* [[Espacio proyectivo]] 
* [[Desigualdad de Pu|Desigualdad de Pu para el plano proyectivo real]] 
* [[Plano proyectivo liso]] 

== Referencias ==
{{Listaref}}

==Bibliografía==
*Coxeter, H.S.M. (1955), ''The Real Projective Plane'', 2nd ed.  Cambridge: At the University Press.
*Reinhold Baer, Linear Algebra and Projective Geometry, Dover, 2005 (ISBN 9780486445656)
* {{citation | ref = {{harvid|Richter}} | first = David A. | last = Richter | url = http://homepages.wmich.edu/~drichter/rptwo.htm | title = Two Models of the Real Projective Plane | accessdate = 15 de abril de 2010 | fechaarchivo = 3 de marzo de 2016 | urlarchivo = https://web.archive.org/web/20160303181036/http://homepages.wmich.edu/~drichter/rptwo.htm | deadurl = yes }}

== Enlaces externos ==
* {{MathWorld|urlname=RealProjectivePlane|title=Real Projective Plane}}
* [http://vis.cs.brown.edu/docs/pdf/Demiralp-2009-CLF.pdf Line field coloring using Werner Boy's real projective plane immersion]
* [https://www.youtube.com/watch?v=lDqmaPEjJpk The real projective plane on YouTube]

{{Control de autoridades}}
[[Categoría:Topología geométrica]]
[[Categoría:Superficies]]