Leccion 20
Los Seis Politopos Regulares 4D
Clasificacion completa de los politopos regulares en cuatro dimensiones, sus coordenadas y propiedades.
1. Definicion Formal de Politopo Regular
Un politopo regular convexo en \(\mathbb{R}^4\) es una region acotada y convexa delimitada por un numero finito de celdas tridimensionales (poliedros) que satisface las siguientes condiciones:
- Cada celda (faceta 3D) es un poliedro regular congruente, es decir, un solido platonico \(\{p, q\}\).
- Cada arista del politopo pertenece exactamente a \(r\) celdas.
- La figura de vertice -- el politopo formado por los vecinos de cada vertice -- es un poliedro regular \(\{q, r\}\), identico en todos los vertices.
- Las celdas deben "cerrarse" alrededor de cada arista: la suma de angulos diedros de las \(r\) celdas incidentes debe ser estrictamente menor que \(2\pi\).
Estas condiciones definen completamente el simbolo de Schlafli del politopo como la terna:
$$ \{p, q, r\} $$donde \(\{p, q\}\) es el tipo de celda y \(\{q, r\}\) es la figura de vertice.
La regularidad en dimension 4 es por tanto una condicion extremadamente restrictiva: exige que el objeto sea "igual" visto desde cualquier vertice, arista, cara o celda. Esto reduce las posibilidades a exactamente seis politopos.
2. Clasificacion de Schlafli
La derivacion de los seis politopos regulares procede por eliminacion sistematica. Necesitamos:
Paso 1. La celda \(\{p, q\}\) debe ser un solido platonico existente. Las cinco opciones son:
\(\{3,3\}\)
Tetraedro
\(\{4,3\}\)
Cubo
\(\{3,4\}\)
Octaedro
\(\{5,3\}\)
Dodecaedro
\(\{3,5\}\)
Icosaedro
Paso 2. La figura de vertice \(\{q, r\}\) tambien debe ser un solido platonico. El valor de \(q\) queda fijado por la celda, y \(r\) debe elegirse para que \(\{q, r\}\) sea platonico.
Paso 3. Condicion angular. Si \(\theta_{p,q}\) es el angulo diedro del poliedro \(\{p, q\}\), entonces \(r\) celdas deben caber alrededor de cada arista:
$$ r \cdot \theta_{p,q} < 2\pi $$Los angulos diedros de los cinco solidos platonicos son:
| Poliedro | Schlafli | Angulo diedro |
|---|---|---|
| Tetraedro | \(\{3,3\}\) | \(\arccos(1/3) \approx 70.53^\circ\) |
| Cubo | \(\{4,3\}\) | \(90^\circ\) |
| Octaedro | \(\{3,4\}\) | \(\arccos(-1/3) \approx 109.47^\circ\) |
| Dodecaedro | \(\{5,3\}\) | \(\arctan(2) \approx 116.57^\circ\) |
| Icosaedro | \(\{3,5\}\) | \(\approx 138.19^\circ\) |
Ahora enumeramos las combinaciones \(\{p, q, r\}\) validas. Para cada celda \(\{p,q\}\), la figura de vertice es \(\{q, r\}\). Necesitamos que \(\{q,r\}\) exista como platonico y que \(r \cdot \theta_{p,q} < 360^\circ\):
Celda = tetraedro \(\{3,3\}\), \(\theta \approx 70.53^\circ\). Figura de vertice \(\{3,r\}\):
- \(r = 3\): \(\{3,3,3\}\) -- \(3 \times 70.53^\circ = 211.6^\circ < 360^\circ\). Valido: 5-celda.
- \(r = 4\): \(\{3,3,4\}\) -- \(4 \times 70.53^\circ = 282.1^\circ < 360^\circ\). Valido: 16-celda.
- \(r = 5\): \(\{3,3,5\}\) -- \(5 \times 70.53^\circ = 352.6^\circ < 360^\circ\). Valido: 600-celda.
Celda = cubo \(\{4,3\}\), \(\theta = 90^\circ\). Figura de vertice \(\{3,r\}\):
- \(r = 3\): \(\{4,3,3\}\) -- \(3 \times 90^\circ = 270^\circ < 360^\circ\). Valido: teseracto.
- \(r = 4\): \(4 \times 90^\circ = 360^\circ\). Teselacion plana, no convexo. Rechazado.
Celda = octaedro \(\{3,4\}\), \(\theta \approx 109.47^\circ\). Figura de vertice \(\{4,r\}\):
- \(r = 3\): \(\{3,4,3\}\) -- \(3 \times 109.47^\circ = 328.4^\circ < 360^\circ\). Valido: 24-celda.
Celda = dodecaedro \(\{5,3\}\), \(\theta \approx 116.57^\circ\). Figura de vertice \(\{3,r\}\):
- \(r = 3\): \(\{5,3,3\}\) -- \(3 \times 116.57^\circ = 349.7^\circ < 360^\circ\). Valido: 120-celda.
Celda = icosaedro \(\{3,5\}\), \(\theta \approx 138.19^\circ\). Figura de vertice \(\{5,r\}\):
- \(r = 3\): \(3 \times 138.19^\circ = 414.6^\circ > 360^\circ\). Rechazado. Ninguna combinacion funciona.
Resultado: exactamente seis politopos regulares convexos en \(\mathbb{R}^4\).
3. Tabla Maestra de los Seis Politopos
La tabla siguiente resume los datos combinatorios completos. Notemos que la relacion de Euler generalizada \(V - E + F - C = 0\) se satisface en cada caso.
| Politopo | \(\{p,q,r\}\) | V | E | F | C | Celdas |
|---|---|---|---|---|---|---|
| 5-celda | \(\{3,3,3\}\) | 5 | 10 | 10 | 5 | 5 tetraedros |
| Teseracto | \(\{4,3,3\}\) | 16 | 32 | 24 | 8 | 8 cubos |
| 16-celda | \(\{3,3,4\}\) | 8 | 24 | 32 | 16 | 16 tetraedros |
| 24-celda | \(\{3,4,3\}\) | 24 | 96 | 96 | 24 | 24 octaedros |
| 120-celda | \(\{5,3,3\}\) | 600 | 1200 | 720 | 120 | 120 dodecaedros |
| 600-celda | \(\{3,3,5\}\) | 120 | 720 | 1200 | 600 | 600 tetraedros |
Verificacion rapida de Euler-Poincare para el teseracto: \(V - E + F - C = 16 - 32 + 24 - 8 = 0\). Para la 600-celda: \(120 - 720 + 1200 - 600 = 0\).
4. La 16-celda: El Cross-Politopo
La 16-celda \(\{3,3,4\}\) es el analogo 4D del octaedro. Sus 8 vertices son las permutaciones de los vectores unitarios con signo en \(\mathbb{R}^4\):
$$ V = \{\pm e_1, \pm e_2, \pm e_3, \pm e_4\} $$Explicitamente:
Dos vertices \(v_i\) y \(v_j\) estan conectados por una arista si y solo si son perpendiculares:
$$ v_i \cdot v_j = 0 $$La distancia entre dos vertices adyacentes es:
$$ \|v_i - v_j\| = \sqrt{1^2 + 1^2} = \sqrt{2} $$Conteo de elementos:
- Aristas (24): Cada vertice \(e_i\) es perpendicular a los 6 vertices \(\pm e_j\) con \(j \neq i\). Como cada vertice contribuye 6 aristas y cada arista conecta 2 vertices: \(E = 8 \times 6 / 2 = 24\).
- Caras triangulares (32): Un triangulo se forma por tres vertices mutuamente perpendiculares, es decir, tres vectores \(\pm e_i, \pm e_j, \pm e_k\) con indices distintos. El numero de ternas de indices es \(\binom{4}{3} = 4\), y cada terna admite \(2^3 = 8\) combinaciones de signos: \(F = 4 \times 8 = 32\).
- Celdas tetraedricas (16): Un tetraedro requiere 4 vertices mutuamente adyacentes, uno por cada eje. Elegimos un signo por eje: \(C = 2^4 = 16\).
Dualidad con el teseracto:
La 16-celda es el dual del teseracto. La dualidad intercambia vertices y celdas (\(V \leftrightarrow C\)) y aristas y caras (\(E \leftrightarrow F\)). El teseracto tiene \((V, E, F, C) = (16, 32, 24, 8)\) y la 16-celda tiene \((8, 24, 32, 16)\): exactamente los mismos numeros en orden invertido. Esto es analogo a la dualidad cubo \(\leftrightarrow\) octaedro en 3D.
5. El Misterioso 24-celda
El 24-celda \(\{3,4,3\}\) es el unico politopo regular 4D que no tiene analogo en tres dimensiones. Sus 24 celdas son octaedros regulares.
Auto-dualidad. El simbolo de Schlafli \(\{3,4,3\}\) es un palindromo. Esto implica que el 24-celda es auto-dual: su dual es un politopo congruente a si mismo. La dualidad intercambia \(V \leftrightarrow C\) y \(E \leftrightarrow F\), y en efecto \(V = C = 24\) y \(E = F = 96\).
Los 24 vertices del 24-celda son todas las permutaciones de coordenadas de:
$$ (\pm 1, \pm 1, 0, 0) $$Hay \(\binom{4}{2} = 6\) formas de elegir cuales dos coordenadas son no nulas, y \(2^2 = 4\) combinaciones de signos, dando \(6 \times 4 = 24\) vertices. Cada vertice tiene norma:
$$ \|v\| = \sqrt{1^2 + 1^2 + 0^2 + 0^2} = \sqrt{2} $$Estructura combinatoria:
- Cada vertice es adyacente a exactamente 8 otros vertices.
- Aristas: \(E = 24 \times 8 / 2 = 96\).
- Tres celdas octaedricas se encuentran en cada arista (\(r = 3\)).
- La figura de vertice es un cubo \(\{4,3\}\): los 8 vecinos de cada vertice forman un cubo.
Anticipacion: conexion con cuaterniones.
Los 24 vertices del 24-celda corresponden a los 24 cuaterniones de Hurwitz, el grupo de unidades del anillo de enteros de Hurwitz en \(\mathbb{H}\). Esta conexion profunda entre el 24-celda y la aritmetica de cuaterniones sera explorada en la Leccion 23.
6. 120-celda y 600-celda: Los Gigantes
Los dos politopos mas grandes son duales entre si y estan profundamente ligados al numero aureo \(\varphi = (1 + \sqrt{5})/2\), del mismo modo que el icosaedro y el dodecaedro en 3D.
120-celda \(\{5,3,3\}\)
- 120 celdas dodecaedricas
- 600 vertices, 1200 aristas, 720 caras
- 4 dodecaedros en cada vertice
- 3 dodecaedros alrededor de cada arista
- Coordenadas involucran \(\varphi, \varphi^{-1}, \varphi^2\)
600-celda \(\{3,3,5\}\)
- 600 celdas tetraedricas
- 120 vertices, 720 aristas, 1200 caras
- 20 tetraedros en cada vertice
- 5 tetraedros alrededor de cada arista
- Figura de vertice: icosaedro \(\{3,5\}\)
La dualidad se manifiesta en el intercambio:
$$ V_{120} = C_{600} = 600, \qquad C_{120} = V_{600} = 120 $$ $$ E_{120} = F_{600} = 1200, \qquad F_{120} = E_{600} = 720 $$Los 120 vertices de la 600-celda pueden expresarse como la union de varios conjuntos que involucran \(\varphi\). Una descripcion compacta (normalizada a radio 2) utiliza:
- Las 8 permutaciones de \((\pm 2, 0, 0, 0)\)
- Los 16 puntos \((\pm 1, \pm 1, \pm 1, \pm 1)\)
- Las 96 permutaciones pares de \((\pm \varphi, \pm 1, \pm \varphi^{-1}, 0)\)
Total: \(8 + 16 + 96 = 120\) vertices.
El numero aureo \(\varphi\) aparece de manera constitutiva en estas coordenadas, reflejando la simetria icosaedrica subyacente, que es la huella inconfundible del grupo de simetria \(H_4\) de orden 14400.
Ejercicios
Ejercicio 1.
Verifica que los 8 vertices de la 16-celda -- \((\pm 1, 0, 0, 0)\), \((0, \pm 1, 0, 0)\), \((0, 0, \pm 1, 0)\), \((0, 0, 0, \pm 1)\) -- tienen distancias iguales entre vertices adyacentes (aquellos con producto escalar 0). Calcula explicitamente \(\|e_i - e_j\|\) para \(i \neq j\) y para \(\|e_i - (-e_j)\|\) con \(i \neq j\). Confirma que la distancia es \(\sqrt{2}\) en todos los casos.
Ejercicio 2.
Escribe explicitamente las 16 celdas tetraedricas de la 16-celda. Cada celda es un conjunto de 4 vertices mutuamente adyacentes. Muestra que se obtiene una celda eligiendo un signo (\(+\) o \(-\)) para cada uno de los 4 ejes, y que las \(2^4 = 16\) elecciones producen 16 tetraedros distintos.
Ejercicio 3.
La 5-celda (pentatopo) tiene 5 vertices. Demuestra que el numero de aristas es \(\binom{5}{2} = 10\) y el numero de caras triangulares es \(\binom{5}{3} = 10\), utilizando el hecho de que en el simplejo regular, todo subconjunto de vertices determina una cara del politopo.
Ejercicio 4.
Observa en la tabla maestra que el 24-celda satisface \(F = E = 96\) y \(V = C = 24\). Explica por que esta simetria es consecuencia directa de la auto-dualidad \(\{3,4,3\}\). Bajo la operacion de dualidad, que elementos se intercambian?
Ejercicio 5.
Identifica los tres pares duales entre los seis politopos regulares 4D. Para cada par, verifica que el numero de vertices del original coincide con el numero de celdas del dual, y viceversa. Cuales politopos son auto-duales?
LAB: Los 6 Politopos
Visualizacion interactiva de los seis politopos regulares 4D proyectados a 3D. Selecciona un politopo, arrastra para rotar en 3D, y observa la rotacion automatica en el plano XW.
Nombre
5-celda
Schlafli
{3,3,3}
V
5
E
10
F
10
C
5
Arrastra con el raton para rotar en 3D. Color por profundidad en W (azul = cerca, rojo = lejos).