Proyecciones: De 4D a Nuestra Pantalla
Tecnicas matematicas para visualizar lo invisible. Cada proyeccion tiene una formula y preserva propiedades distintas.
1. El Problema de la Visualizacion
Los objetos en \(\mathbb{R}^4\) no caben en nuestro espacio tridimensional, y mucho menos en la pantalla bidimensional. Para ver un politopo 4D necesitamos un pipeline de proyecciones:
\(\mathbb{R}^4 \;\xrightarrow{\;\pi_1\;}\; \mathbb{R}^3 \;\xrightarrow{\;\pi_2\;}\; \mathbb{R}^2 \;\text{(pantalla)}\)
Consideremos la analogia descendente. Un ser bidimensional que vive en un plano no puede ver un cubo 3D directamente. Solo puede percibir:
- Sombras: la proyeccion del cubo sobre su plano, un hexagono o un cuadrado segun el angulo.
- Secciones transversales: la interseccion del cubo con su plano, que puede ser un cuadrado, un rectangulo, un triangulo o un hexagono.
Nosotros estamos en la misma situacion con respecto a \(\mathbb{R}^4\). La perdida de informacion es inevitable: una proyeccion de \(\mathbb{R}^n\) a \(\mathbb{R}^m\) con \(m < n\) no puede ser inyectiva (por el teorema de la dimension). Distintas proyecciones preservan distintas propiedades geometricas, y ninguna las preserva todas.
Estudiaremos cuatro herramientas fundamentales: la proyeccion ortogonal, la proyeccion perspectiva, la proyeccion estereografica, las secciones transversales, y los diagramas de Schlegel.
2. Proyeccion Ortogonal
La proyeccion mas simple: descartamos la coordenada \(w\).
Definicion
$$\pi_{\text{ort}} : \mathbb{R}^4 \to \mathbb{R}^3, \quad (x, y, z, w) \mapsto (x, y, z)$$Matricialmente, esto es la multiplicacion por la matriz \(3 \times 4\):
$$P_{\text{ort}} = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix}$$Ventaja: preserva las distancias en el hiperplano de proyeccion. Si dos puntos tienen las mismas coordenadas \((x,y,z)\), su distancia proyectada es exactamente su distancia real en esas tres coordenadas. Formalmente, para puntos \(\mathbf{p}, \mathbf{q}\) con \(w_p = w_q\):
$$\|\pi_{\text{ort}}(\mathbf{p}) - \pi_{\text{ort}}(\mathbf{q})\| = \|\mathbf{p} - \mathbf{q}\|$$Desventaja: toda informacion sobre la profundidad en \(w\) se pierde. Puntos con distinto \(w\) pero iguales \((x,y,z)\) colapsan al mismo punto.
Ejemplo concreto: el teseracto. Los 16 vertices del teseracto son todas las combinaciones de \((\pm 1, \pm 1, \pm 1, \pm 1)\). Bajo proyeccion ortogonal, los vertices se agrupan en 8 pares que se superponen:
| Vertice 4D | Proyeccion 3D |
|---|---|
| (1, 1, 1, +1) | (1, 1, 1) |
| (1, 1, 1, -1) | |
| (1, 1, -1, +1) | (1, 1, -1) |
| (1, 1, -1, -1) |
Y asi para los 8 pares. 16 vertices 4D colapsan en 8 puntos 3D.
El resultado visual es un "cubo dentro de un cubo" donde el cubo interior y el exterior se superponen perfectamente, produciendo la clasica imagen de un cubo con todas las diagonales.
3. Proyeccion Perspectiva
La proyeccion perspectiva simula un "ojo" ubicado a distancia \(d\) del origen a lo largo del eje \(w\). Objetos mas lejanos en \(w\) aparecen mas pequenos, exactamente como la perspectiva 3D habitual.
Definicion
$$\pi_{\text{persp}} : \mathbb{R}^4 \to \mathbb{R}^3, \quad (x, y, z, w) \mapsto \left(\frac{x \cdot d}{w + d},\; \frac{y \cdot d}{w + d},\; \frac{z \cdot d}{w + d}\right)$$donde \(d > 0\) es la distancia del punto de vista al origen, medida sobre el eje \(w\). El observador esta en \((0, 0, 0, -d)\) y mira hacia \(w\) creciente.
Derivacion por triangulos semejantes. Coloquemos el observador en \(O = (0,0,0,-d)\) y el plano de proyeccion en \(w = 0\). Un punto \(P = (x,y,z,w)\) se conecta con \(O\) mediante la recta:
$$\ell(t) = O + t(P - O) = (tx,\; ty,\; tz,\; -d + t(w+d))$$Buscamos el valor de \(t\) donde \(\ell\) interseca el hiperplano \(w=0\):
$$-d + t(w + d) = 0 \;\;\Longrightarrow\;\; t = \frac{d}{w + d}$$Sustituyendo en las tres primeras coordenadas:
$$\pi_{\text{persp}}(P) = \left(\frac{xd}{w+d},\; \frac{yd}{w+d},\; \frac{zd}{w+d}\right)$$El factor \(\frac{d}{w+d}\) es el factor de escala perspectivo. Cuando \(w\) es grande (punto lejano), el denominador crece y el punto proyectado se acerca al origen: aparece mas pequeno. Cuando \(w\) es negativo y cercano a \(-d\), el punto "explota" hacia el infinito.
Ejemplo: el teseracto con \(d = 3\). Los vertices con \(w = +1\) tienen factor de escala \(\frac{3}{1+3} = \frac{3}{4}\), y los vertices con \(w = -1\) tienen factor \(\frac{3}{-1+3} = \frac{3}{2}\). Asi, el "cubo interior" (\(w=+1\)) aparece con lado \(\frac{3}{2}\) y el "cubo exterior" (\(w=-1\)) con lado \(3\). El resultado es la imagen iconica del teseracto: un cubo pequeno centrado dentro de uno grande, conectados por aristas.
Limite: perspectiva tiende a ortogonal
Cuando \(d \to \infty\), el factor de escala se uniformiza:
$$\lim_{d \to \infty} \frac{d}{w+d} = \lim_{d \to \infty} \frac{1}{w/d + 1} = 1$$y la proyeccion perspectiva se reduce a la ortogonal: \((x,y,z,w) \mapsto (x,y,z)\).
4. Proyeccion Estereografica
La proyeccion estereografica opera sobre la 3-esfera \(S^3 \subset \mathbb{R}^4\), proyectando desde el "polo norte" \(N = (0,0,0,1)\) hacia el hiperplano ecuatorial \(\{x_4 = 0\} \cong \mathbb{R}^3\).
Definicion
$$\sigma : S^3 \setminus \{N\} \to \mathbb{R}^3, \quad (x_1, x_2, x_3, x_4) \mapsto \frac{(x_1,\, x_2,\, x_3)}{1 - x_4}$$Derivacion. El punto \(P = (x_1, x_2, x_3, x_4) \in S^3\) y el polo \(N = (0,0,0,1)\) determinan una recta:
$$\ell(t) = N + t(P - N) = (tx_1,\; tx_2,\; tx_3,\; 1 + t(x_4 - 1))$$Intersecamos con \(x_4 = 0\):
$$1 + t(x_4 - 1) = 0 \;\;\Longrightarrow\;\; t = \frac{1}{1 - x_4}$$Sustituyendo en las tres primeras coordenadas:
$$\sigma(P) = \left(\frac{x_1}{1-x_4},\; \frac{x_2}{1-x_4},\; \frac{x_3}{1-x_4}\right)$$Propiedad fundamental: conformalidad. La proyeccion estereografica es conforme: preserva angulos. Para verificarlo, calculamos la diferencial. Si \(P \in S^3\) con \(x_1^2 + x_2^2 + x_3^2 + x_4^2 = 1\), la jacobiana de \(\sigma\) en las coordenadas tangentes al punto es:
$$D\sigma_P = \frac{1}{1 - x_4}\left(I_3 + \frac{1}{1 - x_4}\,\mathbf{x}\,\mathbf{e}_4^T\right)$$donde \(\mathbf{x} = (x_1, x_2, x_3)^T\). Restringida al espacio tangente \(T_P S^3\), esta diferencial es proporcional a una isometria con factor de escala \(\frac{1}{1-x_4}\). Esto significa que el angulo entre dos curvas en \(S^3\) se preserva exactamente en \(\mathbb{R}^3\).
Consecuencia geometrica: los circulos maximos en \(S^3\) se transforman en circulos (o rectas) en \(\mathbb{R}^3\). Esto produce las imagenes mas esteticas de los politopos 4D: aristas curvas que fluyen suavemente, revelando la simetria interna de la estructura.
Para politopos que no viven en \(S^3\), primero proyectamos radialmente cada vertice sobre \(S^3\) (normalizando a norma 1) y luego aplicamos \(\sigma\). Alternativamente, inscribimos el politopo en \(S^3\) escalandolo adecuadamente.
5. Secciones Transversales
En lugar de proyectar, podemos cortar el objeto 4D con un hiperplano \(w = t\) y examinar la seccion resultante, que es un poliedro 3D que podemos ver completamente.
Definicion
Sea \(\mathcal{P} \subset \mathbb{R}^4\) un politopo. La seccion transversal a altura \(t\) es:
$$\mathcal{P}_t = \mathcal{P} \cap \{(x,y,z,w) : w = t\}$$Analogia en 3D. Cortemos un cubo \(\{(x,y,z) : \max(|x|,|y|,|z|) \leq 1\}\) con un plano perpendicular a la diagonal principal \((1,1,1)\). Cuando el plano avanza desde un vertice:
punto --> triangulo --> hexagono --> triangulo --> punto
El teseracto cortado diagonalmente. Consideremos el teseracto \(\{(x,y,z,w) : \max(|x|,|y|,|z|,|w|) \leq 1\}\) cortado por el hiperplano perpendicular a la diagonal principal \((1,1,1,1)\). Parametrizamos la posicion del corte con \(t = x+y+z+w\). Cuando \(t\) avanza desde \(-4\) (vertice \((-1,-1,-1,-1)\)) hasta \(+4\):
punto --> tetraedro --> octaedro --> tetraedro --> punto
Esto es profundamente bello: la seccion maxima del teseracto (el corte por la mitad) es un octaedro regular, un solido platonico 3D emergiendo de la geometria 4D.
Cortes simples con \(w = t\). Para el corte mas sencillo, intersecamos con \(w = t\) directamente:
$$\mathcal{T}_t = \{(x,y,z) : \max(|x|, |y|, |z|) \leq 1\} \quad \text{para } |t| \leq 1$$Cada seccion es simplemente un cubo unitario. Esto tiene sentido: el teseracto es el producto \([-1,1]^3 \times [-1,1]\), y fijar \(w = t\) deja el factor cubico intacto. La seccion solo existe cuando \(|t| \leq 1\); fuera de ese rango, la seccion es vacia.
6. Diagramas de Schlegel
El diagrama de Schlegel es una proyeccion perspectiva desde un punto ligeramente exterior al centro de una celda del politopo. El resultado es una representacion donde una celda grande contiene todas las demas.
Analogia 3D: el cubo. Si miramos un cubo transparente directamente a traves de una cara, vemos: un cuadrado grande (la cara frontal) que contiene un cuadrado mas pequeno (la cara trasera), conectados por cuatro trapezoides (las caras laterales). En total, 6 caras representadas en 2D.
Construccion matematica. Sea \(\mathcal{F}\) una celda del politopo \(\mathcal{P}\). Elegimos un punto \(O\) sobre la recta que une el centro de \(\mathcal{P}\) con el centro de \(\mathcal{F}\), pero ligeramente fuera de \(\mathcal{P}\). Proyectamos todos los vertices de \(\mathcal{P}\) desde \(O\) sobre el hiperplano que contiene \(\mathcal{F}\):
$$\pi_{\text{Schlegel}}(\mathbf{v}) = O + \frac{t^*}{1}\,({\mathbf{v} - O}), \quad \text{donde } t^* \text{ es tal que } \pi(\mathbf{v}) \in \text{aff}(\mathcal{F})$$Teseracto: diagrama de Schlegel. El teseracto tiene 8 celdas cubicas. Su diagrama de Schlegel muestra un cubo grande (la celda a traves de la cual proyectamos) que contiene 7 cubos distorsionados:
- 1 cubo pequeno en el centro (la celda opuesta)
- 6 cubos frustum que conectan las caras del cubo grande con las del cubo pequeno
Los 7 cubos interiores llenan exactamente el volumen del cubo grande sin solaparse, formando una particion del cubo exterior. Los diagramas de Schlegel son especialmente utiles para estudiar la estructura combinatoria (incidencia de vertices, aristas, caras, celdas) porque todas las relaciones de adyacencia son visibles en una sola imagen.
Ejercicios
Ejercicio 1
Aplica la proyeccion perspectiva con \(d = 3\) al vertice \((1, 1, 1, 1)\) del teseracto y al vertice \((1, 1, 1, -1)\). Calcula las coordenadas proyectadas de cada uno. Cual aparece mas cerca del origen (y por tanto mas "pequeno" en la proyeccion)? Explica geometricamente por que.
Ejercicio 2
Verifica que la proyeccion estereografica es conforme. Para ello, calcula la jacobiana de \(\sigma(x_1, x_2, x_3, x_4) = \frac{(x_1, x_2, x_3)}{1 - x_4}\) y muestra que, restringida al espacio tangente de \(S^3\), es proporcional a una isometria (es decir, \(D\sigma^T D\sigma = \lambda^2 \, I\) para algun escalar \(\lambda\)).
Ejercicio 3
Cuando cortamos el teseracto \(\{(x,y,z,w) : \max(|x|,|y|,|z|,|w|) \leq 1\}\) con el hiperplano \(w = 0\), que poliedro obtenemos? Describe sus vertices y aristas. Que ocurre con \(w = 0.5\)? Y con \(w = 1\)?
Ejercicio 4
Dibuja el diagrama de Schlegel del teseracto: un cubo grande conteniendo 7 cubos mas pequenos. Identifica las 8 celdas cubicas. Verifica que cada arista del teseracto aparece exactamente una vez en el diagrama.
Ejercicio 5
La 5-celda (simplejos 4D) tiene 5 vertices, 10 aristas, 10 caras triangulares y 5 celdas tetraedricas. Si cortamos la 5-celda con un hiperplano que pasa por su centro (equidistante de todos los vertices), que poliedro obtenemos como seccion transversal? Pista: piensa en la analogia con cortar un tetraedro por su centro.
LAB: Explorador de Proyecciones
Visualiza el teseracto y la 5-celda bajo distintos tipos de proyeccion. Arrastra para rotar en 3D. El politopo rota automaticamente en el plano XW.