Recta proyectiva real

La recta proyectiva real puede ser modelada por la recta real proyectivamente extendida, que consiste en la recta real junto con un punto del infinito; es decir, la compactación en un punto de R

En geometría, la recta proyectiva real es la aplicación del concepto de recta proyectiva sobre los números reales. Es una extensión de la idea habitual de recta que se ha introducido históricamente para resolver un problema planteado por el dibujo en perspectiva: dos rectas paralelas no se cruzan, pero parecen cruzarse «en el infinito». Para solucionar este problema se han introducido puntos en el infinito, de forma que en un plano proyectivo real, dos líneas rectas proyectivas distintas se encuentran exactamente en un punto. El conjunto de estos puntos en el infinito, el «horizonte» de la perspectiva visual en el plano, es una verdadera recta proyectiva. Es el conjunto de direcciones que emanan de un observador situado en un punto cualquiera, con direcciones opuestas identificadas entre sí.

Un ejemplo de una recta proyectiva real es la recta real extendida proyectivamente, que a menudo se denomina "la" recta proyectiva.

Formalmente, una recta proyectiva real P(R) se define como el conjunto de todos los subespacios lineales unidimensionales de un espacio vectorial bidimensional sobre los números reales.

Los automorfismos de una recta proyectiva real se denominan transformaciones proyectivas, homografías o transformaciones fraccionarias lineales. Forman el grupo lineal proyectivo PGL(2, R). Cada elemento de PGL(2, R) puede ser definido por una matriz real no singular de 2×2, y dos matrices definen el mismo elemento de PGL(2, R) si una es el producto de la otra por un número real distinto de cero.

Topológicamente, las rectas proyectivas reales son homeomórficas a circunferencias. El análogo complejo de una recta proyectiva real es una recta proyectiva compleja; es decir, una esfera de Riemann.

Definición

Los puntos de la recta proyectiva real suelen definirse como clases de equivalencia de una relación de equivalencia. El punto de partida es un espacio vectorial de dimensión 2, Plantilla:Math, en el que se define Plantilla:Math, una relación binaria Plantilla:Math que se mantendrá cuando exista un número real distinto de cero Plantilla:Math tal que Plantilla:Math. La definición de un espacio vectorial implica casi inmediatamente que se trata de una relación de equivalencia. Las clases de equivalencia son las líneas vectoriales de las que se ha eliminado el vector cero. La recta proyectiva real Plantilla:Math es el conjunto de todas las clases de equivalencia. Cada clase de equivalencia se considera como un solo punto o, en otras palabras, un «punto» se define como una clase de equivalencia.

Si se elige una base de Plantilla:Math, esto equivale (identificando un vector con sus componentes) a identificar Plantilla:Math con el producto directo Plantilla:Math, y la relación de equivalencia se convierte en Plantilla:Math si existe un número real distinto de cero Plantilla:Math tal que Plantilla:Math. En este caso, la recta proyectiva Plantilla:Math se designa preferentemente como Plantilla:Math o $ℝ{\mathbb{P}}^1$.

La clase de equivalencia del par Plantilla:Math se denota tradicionalmente como Plantilla:Math, recordando los dos puntos en la notación que, si Plantilla:Math, la razón Plantilla:Math es la misma para todos los elementos de la clase de equivalencia. Si un punto Plantilla:Math es la clase de equivalencia Plantilla:Math se dice que Plantilla:Math es un par de coordenadas homogéneas de Plantilla:Math.

Como Plantilla:Math se define a través de una relación de equivalencia, la clase de equivalencia de Plantilla:Math a Plantilla:Math define una topología (la topología cociente) y una estructura diferencial en la recta proyectiva. Sin embargo, el hecho de que las clases de equivalencia no sean finitas genera algunas dificultades para definir la estructura diferencial. Estas dificultades se resuelven considerando Plantilla:Math como un espacio euclídeo. El círculo de los vectores unitarios es, en el caso de Plantilla:Math, el conjunto de los vectores cuyas coordenadas satisfacen Plantilla:Math. Este círculo corta cada clase de equivalencia en exactamente dos puntos opuestos. Por lo tanto, la recta proyectiva puede ser considerada como el espacio cociente del círculo por la relación de equivalencia tal que Plantilla:Math si y solo si Plantilla:Math o Plantilla:Math.

Gráficos

La recta proyectiva es una variedad. Esto se puede ver en la construcción anterior a través de una relación de equivalencia, pero es más fácil de entender proporcionando un atlas que consta de dos cartas:

• Carta #1: $y\ne 0,[x:y]\mapsto \frac{x}{y}$
• Carta #2: $x\ne 0,[x:y]\mapsto \frac{y}{x}$

La relación de equivalencia establece que todos los representantes de una clase de equivalencia son enviados al mismo número real por una carta.

Cualquiera de los valores Plantilla:Math o Plantilla:Math puede ser cero, pero no ambos a la vez, por lo que se necesitan ambas cartas para recubrir la recta proyectiva. El atlas formado por estas dos cartas es el inverso multiplicativo. Como es una función diferenciable, e incluso un analítica (fuera de cero), la recta proyectiva real es tanto una variedad diferenciable como una variedad analítica.

La función inversa de la carta #1 es la carta

$x\mapsto [x:1].$

Define un embebido de la recta real en la recta proyectiva, cuyo complemento de la imagen es el punto Plantilla:Math. El par formado por este embebido y la recta proyectiva se denomina recta real extendida proyectivamente. Al identificar la recta real con su imagen mediante esta incrustación, se ve que la recta proyectiva puede considerarse como la unión de la recta real y el único punto Plantilla:Math, llamado punto del infinito de la recta real extendida proyectivamente y denotado como Plantilla:Math. Esta incrustación permite identificar el punto Plantilla:Math ya sea con el número real Plantilla:Math si es Plantilla:Math, o con Plantilla:Math en el otro caso.

La misma construcción se puede hacer con la otra carta. En este caso, el punto en el infinito es Plantilla:Math. Esto muestra que la noción de punto en el infinito no es intrínseca a la recta proyectiva real, sino que es relativa a la elección de una incrustación de la recta real en la recta proyectiva.

Estructura

La recta proyectiva real es un rango proyectivo completo que se encuentra en el plano proyectivo real y en la recta proyectiva compleja. Su estructura es así heredada de estas superestructuras. La principal de estas estructuras es la relación armónica entre los puntos del rango proyectivo.

La recta proyectiva real posee un orden cíclico que extiende el orden habitual de los números reales.

Automorfismos

El grupo lineal proyectivo y su acción

La multiplicación matriz-vector define una acción a la izquierda de Plantilla:Math en el espacio Plantilla:Math de vectores columna:

Explícitamente,

$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)\left(\begin{array}{c}x\\ y\end{array}\right)=\left(\begin{array}{c}ax+by\\ cx+dy\end{array}\right).$

Dado que cada matriz en Plantilla:Math fija el vector cero y aplica vectores proporcionales a vectores proporcionales, existe una acción inducida de Plantilla:Math en Plantilla:Math: explícitamente,

$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)[x:y]=[ax+by:cx+dy].$

Aquí y más adelante, la notación $[x:y]$ para coordenadas homogéneas denota la clase de equivalencia de la matriz columna $\left(\begin{array}{c}x\\ y\end{array}\right);$, que no debe confundirse con la matriz fila $[xy].$

Los elementos de Plantilla:Math que actúan trivialmente sobre Plantilla:Math son los múltiplos escalares distintos de cero de la matriz identidad, que forman un subgrupo denominado Plantilla:Math. El grupo lineal proyectivo se define como el grupo cociente Plantilla:Math. Por lo anterior, existe una acción fiel inducida de Plantilla:Math sobre Plantilla:Math, de manera que el grupo Plantilla:Math también puede denominarse grupo de automorfismos lineales de Plantilla:Math.

Transformaciones fraccionarias lineales

Utilizando la identificación Plantilla:Math enviando Plantilla:Math a Plantilla:Math y Plantilla:Math a Plantilla:Math, se obtiene una acción correspondiente de Plantilla:Math sobre Plantilla:Math, que lo es en términos de transformaciones fraccionarias lineales explícitamente, ya que:

$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)[x:1]=[ax+b:cx+d]\mathrm{a}\mathrm{n}\mathrm{d}\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)[1:0]=[a:c],$

la clase de $\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ en Plantilla:Math actúa como $x\mapsto \frac{ax+b}{cx+d}$ y $\mathrm{\infty }\mapsto \frac{a}{c}$, en el entendimiento de que cada fracción con denominador 0 debe interpretarse como Plantilla:Math.

Propiedades

• Dadas dos ternas ordenadas de puntos distintos en Plantilla:Math, existe un único elemento de Plantilla:Math haciendo corresponder la primera terna con la segunda; es decir, la acción es agudamente 3-transitiva. Por ejemplo, la transformación fraccionaria lineal que asigna Plantilla:Math a Plantilla:Math es la transformada de Cayley $x\mapsto \frac{x-1}{x+1}$.
• El estabilizador en Plantilla:Math del punto Plantilla:Math es el grupo afín de la recta real, formada por las transformaciones $x\mapsto ax+b$ para todo Plantilla:Math y Plantilla:Math.

Bibliografía

• Juan Carlos Alvarez (2000) The Real Projective Line Plantilla:Wayback, contenido del curso de la Universidad de Nueva York.
• Santiago Cañez (2014) Notas sobre geometría proyectiva de la Universidad del Noroeste.