«`html
La geometría proyectiva es una rama fascinante de las matemáticas que estudia las propiedades de las figuras geométricas que permanecen invariantes bajo proyecciones. A diferencia de la geometría euclidiana, que se centra en conceptos como distancias y ángulos, la geometría proyectiva se interesa por propiedades más fundamentales como la incidencia (puntos que yacen en líneas) y la relación de colinealidad.
Esta disciplina surgió históricamente del estudio de la perspectiva en el arte durante el Renacimiento, cuando artistas como Brunelleschi y Alberti buscaban representar objetos tridimensionales en superficies bidimensionales de manera realista. Matemáticos como Desargues, Pascal y Poncelet desarrollaron posteriormente los fundamentos teóricos de esta geometría.
La geometría proyectiva amplía el espacio euclidiano añadiendo «puntos en el infinito» donde las líneas paralelas se encuentran, creando así un marco más unificado y simétrico para el estudio de las formas geométricas. Este enfoque permite tratar muchos problemas geométricos de manera más elegante y general.
El espacio proyectivo se construye a partir del espacio vectorial subyacente. Para un espacio vectorial V de dimensión n+1, el espacio proyectivo asociado P(V) tiene dimensión n. Los puntos del espacio proyectivo corresponden a rectas vectoriales (subespacios de dimensión 1) del espacio vectorial.
Un concepto clave es el de razón doble (o razón cruzada), que es un invariante proyectivo fundamental. Para cuatro puntos colineales A, B, C, D, la razón doble se define como:
$$(A,B;C,D) = \frac{AC \cdot BD}{AD \cdot BC}$$
La geometría proyectiva también introduce el principio de dualidad, donde cualquier teorema sobre puntos y líneas sigue siendo válido si intercambiamos los conceptos de «punto» y «línea». Esta simetría no existe en la geometría euclidiana y es una de las características más notables del enfoque proyectivo.
El espacio proyectivo real de dimensión n, denotado como ℝPⁿ, puede visualizarse como el conjunto de todas las rectas que pasan por el origen en ℝⁿ⁺¹. Cada punto en ℝPⁿ corresponde a una de estas rectas, excluyendo el propio origen.
Para trabajar con coordenadas, utilizamos coordenadas homogéneas. Un punto en el espacio proyectivo se representa mediante una (n+1)-tupla (x₀, x₁, …, xₙ), donde no todos los xᵢ son cero, y dos tuplas representan el mismo punto si son proporcionales:
$$(x_0, x_1, …, x_n) \sim (\lambda x_0, \lambda x_1, …, \lambda x_n) \quad \text{para algún } \lambda \neq 0$$
Esta representación permite manejar de manera unificada los puntos finitos y los puntos en el infinito. Por ejemplo, en el plano proyectivo ℝP², los puntos con x₀ ≠ 0 corresponden a puntos del plano euclidiano, mientras que aquellos con x₀ = 0 representan «puntos en el infinito».
Las transformaciones proyectivas (o homografías) son las transformaciones lineales invertibles en coordenadas homogéneas. En el plano proyectivo, una homografía puede representarse mediante una matriz 3×3 invertible:
$$
\begin{pmatrix}
x’ \\ y’ \\ w’
\end{pmatrix}
=
\begin{pmatrix}
a & b & c \\
d & e & f \\
g & h & i
\end{pmatrix}
\begin{pmatrix}
x \\ y \\ w
\end{pmatrix}
$$
Estas transformaciones preservan la colinealidad y la razón doble, y son más generales que las transformaciones afines (que incluyen traslaciones, rotaciones, escalados y sesgados). Una homografía puede convertir círculos en elipses o incluso en parábolas o hipérbolas, dependiendo de cómo afecte a la línea en el infinito.
Consideremos la recta proyectiva ℝP¹. Un punto en ℝP¹ puede representarse como (x, y) ≠ (0,0), con la equivalencia (x,y) ∼ (λx,λy). Si y ≠ 0, podemos normalizar a (x/y, 1), identificando estos puntos con los números reales. El punto (1,0) representa el «punto en el infinito».
En ℝP², la ecuación de una recta es homogénea de grado 1: aX + bY + cW = 0. La intersección de dos rectas a₁X + b₁Y + c₁W = 0 y a₂X + b₂Y + c₂W = 0 se encuentra resolviendo el sistema:
$$
\begin{cases}
a_1X + b_1Y + c_1W = 0 \\
a_2X + b_2Y + c_2W = 0
\end{cases}
$$
Incluso rectas paralelas en el plano euclidiano (que tendrían la misma dirección) se intersectan en un punto en el infinito en el plano proyectivo.
Calculamos la razón doble de cuatro puntos en la recta proyectiva con coordenadas homogéneas A=(1,0), B=(1,1), C=(2,1), D=(3,1):
$$(A,B;C,D) = \frac{AC \cdot BD}{AD \cdot BC} = \frac{(2-1)(3-1)}{(3-1)(2-1)} = 1$$
Este valor se mantiene invariante bajo cualquier transformación proyectiva.
Aplicamos la transformación proyectiva dada por la matriz:
$$
\begin{pmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 2
\end{pmatrix}
$$
al punto (1,2,1):
$$
\begin{pmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 2
\end{pmatrix}
\begin{pmatrix}
1 \\ 2 \\ 1
\end{pmatrix}
=
\begin{pmatrix}
1 \\ 2 \\ 2
\end{pmatrix}
\sim
\begin{pmatrix}
0.5 \\ 1 \\ 1
\end{pmatrix}
$$
Esta transformación equivale a un escalado no uniforme en coordenadas afines.
En el plano proyectivo, el dual del teorema «por dos puntos distintos pasa exactamente una recta» es «dos rectas distintas se intersectan en exactamente un punto». Esto se ve claramente en coordenadas homogéneas donde una recta se representa como un vector (a,b,c) y la incidencia punto-recta se expresa como:
$$aX + bY + cW = 0$$
La intersección de dos rectas (a₁,b₁,c₁) y (a₂,b₂,c₂) es el punto cuyo vector de coordenadas homogéneas es el producto cruz de los vectores de las rectas.
Rectas por el origen en ℝⁿ⁺¹
(x₀,x₁,…,xₙ) ∼ (λx₀,λx₁,…,λxₙ)
Matrices invertibles actuando en ℙⁿ
La geometría proyectiva tiene numerosas aplicaciones en tecnología moderna:
¿Qué es un espacio proyectivo y cómo se relaciona con el espacio vectorial subyacente?
Respuesta: Un espacio proyectivo de dimensión n es el conjunto de todas las rectas vectoriales (subespacios de dimensión 1) de un espacio vectorial de dimensión n+1. Formalmente, para un espacio vectorial V, el espacio proyectivo asociado es P(V) = (V \ {0})/∼, donde ∼ es la relación de equivalencia que identifica vectores proporcionales.
Calcula la razón doble de los cuatro puntos colineales A=(1,0), B=(0,1), C=(1,1), D=(2,1) en la recta proyectiva.
Respuesta: Primero convertimos a coordenadas afines (considerando el segundo componente como 1 cuando sea posible): A=∞, B=0, C=1, D=2. La razón doble es:
$$(A,B;C,D) = \frac{AC \cdot BD}{AD \cdot BC} = \frac{(1-∞)(2-0)}{(2-∞)(1-0)} = \frac{(-∞)(2)}{(-∞)(1)} = 2$$
El cálculo formal con coordenadas homogéneas daría el mismo resultado.
Describe cómo se representa una recta en el plano proyectivo y cómo se calcula la intersección de dos rectas.
Respuesta: En el plano proyectivo ℝP², una recta se representa por una ecuación lineal homogénea en coordenadas homogéneas: aX + bY + cW = 0, donde (a,b,c) ≠ (0,0,0). Dos rectas (a₁,b₁,c₁) y (a₂,b₂,c₂) se intersectan en el punto cuyas coordenadas homogéneas son el producto cruz de los vectores (a₁,b₁,c₁) × (a₂,b₂,c₂). Esto siempre da un punto de intersección (posiblemente en el infinito), a diferencia del caso euclidiano donde rectas paralelas no se intersectan.
«`
