Euler-Poincare y Dualidad
La topologia explica por que \(V - E + F - C = 0\): la frontera de un politopo 4D es \(S^3\), y \(\chi(S^3) = 0\).
1. De \(V - E + F = 2\) a \(V - E + F - C = 0\)
En la Leccion 20 verificamos que los seis politopos regulares 4D satisfacen \(V - E + F - C = 0\). Pero, por que siempre da cero? No es una coincidencia numerica: es un teorema topologico profundo, el mismo que en dimension 3 nos da la formula de Euler \(V - E + F = 2\).
Recordemos el argumento en 3D. Todo poliedro convexo tiene como frontera una superficie homeomorfa a la esfera \(S^2\). La caracteristica de Euler de \(S^2\) es 2, lo que fuerza \(V - E + F = 2\) para cualquier triangulacion (y, por tanto, para cualquier poliedro convexo).
En 4D, un politopo convexo es una region acotada de \(\mathbb{R}^4\). Su frontera -- la "superficie" que lo envuelve -- es una variedad tridimensional cerrada. Si el politopo es convexo, esta frontera es homeomorfa a la esfera \(S^3\). Y aqui reside la clave: la caracteristica de Euler de \(S^3\) es cero.
La suma alternante de las componentes de la frontera computa la caracteristica de Euler del espacio frontera:
$$ \chi(\partial P) \;=\; V - E + F - C $$Para un politopo 4D convexo, \(\partial P \cong S^3\), y \(\chi(S^3) = 0\). Por tanto:
$$ V - E + F - C \;=\; 0 $$Verifiquemos esta identidad para los seis politopos regulares de dimension 4:
| Politopo | \(\{p,q,r\}\) | \(V\) | \(E\) | \(F\) | \(C\) | \(V{-}E{+}F{-}C\) |
|---|---|---|---|---|---|---|
| 5-celda | {3,3,3} | 5 | 10 | 10 | 5 | 0 |
| Teseracto | {4,3,3} | 16 | 32 | 24 | 8 | 0 |
| 16-celda | {3,3,4} | 8 | 24 | 32 | 16 | 0 |
| 24-celda | {3,4,3} | 24 | 96 | 96 | 24 | 0 |
| 120-celda | {5,3,3} | 600 | 1200 | 720 | 120 | 0 |
| 600-celda | {3,3,5} | 120 | 720 | 1200 | 600 | 0 |
La columna final confirma universalmente \(V - E + F - C = 0\). No es aritmetica accidental: es la topologia de \(S^3\) haciendose presente en la combinatoria.
2. La Caracteristica de Euler-Poincare
La formula \(V - E + F = 2\) en 3D y \(V - E + F - C = 0\) en 4D son casos particulares de un patron general. La caracteristica de Euler-Poincare de la esfera \(n\)-dimensional \(S^n\) viene dada por:
Esta formula se demuestra en topologia algebraica a traves de los grupos de homologia de \(S^n\). Los unicos grupos no triviales son \(H_0(S^n) \cong \mathbb{Z}\) y \(H_n(S^n) \cong \mathbb{Z}\), de modo que los numeros de Betti son \(\beta_0 = 1\), \(\beta_n = 1\), y \(\beta_k = 0\) para \(0 < k < n\). La caracteristica de Euler es la suma alternante de los numeros de Betti:
Evaluemos para las primeras dimensiones:
| Esfera | Descripcion | \(\chi\) | Frontera de politopo en dim... |
|---|---|---|---|
| \(S^0\) | Dos puntos | 2 | 1 (segmento) |
| \(S^1\) | Circulo | 0 | 2 (poligono) |
| \(S^2\) | Esfera usual | 2 | 3 (poliedro) |
| \(S^3\) | Hiperesfera | 0 | 4 (politopo 4D) |
| \(S^4\) | 4-esfera | 2 | 5 (politopo 5D) |
Patron. Un politopo convexo en \(\mathbb{R}^n\) tiene como frontera la esfera \(S^{n-1}\). Por tanto, la suma alternante de sus \(k\)-caras satisface:
$$ \sum_{k=0}^{n-1} (-1)^k f_k \;=\; \chi(S^{n-1}) \;=\; 1 + (-1)^{n-1} $$Casos concretos:
- \(n = 3\): \(\;V - E + F = 1 + (-1)^2 = 2\) (formula de Euler clasica)
- \(n = 4\): \(\;V - E + F - C = 1 + (-1)^3 = 0\) (Euler-Poincare 4D)
- \(n = 5\): \(\;V - E + F - C + H = 1 + (-1)^4 = 2\) (dimension 5, con \(H\) = hiperceldas)
La alternancia entre 0 y 2 refleja una propiedad topologica fundamental: las esferas de dimension par tienen \(\chi = 2\), y las de dimension impar tienen \(\chi = 0\). Esto esta intimamente ligado al teorema de la bola peluda (Hairy Ball Theorem): en \(S^{2k}\) no existe un campo vectorial tangente que nunca se anule, mientras que en \(S^{2k+1}\) si existe.
3. Formulas Combinatorias desde \(\{p,q,r\}\)
El simbolo de Schlafli \(\{p,q,r\}\) codifica toda la informacion combinatoria del politopo. Las relaciones de incidencia permiten deducir \(V, E, F, C\) a partir de \(p, q, r\) y la restriccion \(V - E + F - C = 0\).
Cada celda es un poliedro \(\{p,q\}\) con su propio numero de vertices \(v_c\), aristas \(e_c\) y caras \(f_c\). La figura de vertice es el poliedro \(\{q,r\}\) con \(v_f\) vertices, \(e_f\) aristas y \(f_f\) caras. Estas cantidades generan cuatro ecuaciones de doble conteo:
Ecuacion 1 (conteo de aristas por vertices). Cada vertice toca \(v_f\) aristas (una por cada vertice de la figura de vertice \(\{q,r\}\)), y cada arista tiene 2 extremos:
$$ 2E = V \cdot v_f $$Ecuacion 2 (conteo de aristas por caras). Cada cara es un \(p\)-gono con \(p\) aristas, y cada arista pertenece a exactamente 2 caras:
$$ 2E = p \cdot F $$Ecuacion 3 (conteo de caras por celdas). Cada celda \(\{p,q\}\) tiene \(f_c\) caras, y cada cara pertenece a exactamente 2 celdas:
$$ 2F = f_c \cdot C $$Ecuacion 4 (Euler-Poincare):
$$ V - E + F - C = 0 $$Con estas cuatro ecuaciones y cuatro incognitas \((V, E, F, C)\), el sistema queda completamente determinado. Veamos el calculo explicito para el teseracto \(\{4,3,3\}\).
Ejemplo: Teseracto \(\{4,3,3\}\)
Celda = cubo \(\{4,3\}\): tiene \(v_c = 8\) vertices, \(e_c = 12\) aristas, \(f_c = 6\) caras.
Figura de vertice = tetraedro \(\{3,3\}\): tiene \(v_f = 4\) vertices, \(e_f = 6\) aristas, \(f_f = 4\) caras.
De la ecuacion 1: \(2E = V \cdot 4\), es decir, \(E = 2V\).
De la ecuacion 2: \(2E = 4F\), es decir, \(F = E/2 = V\).
De la ecuacion 3: \(2F = 6C\), es decir, \(C = F/3 = V/3\).
De Euler-Poincare: \(V - 2V + V - V/3 = 0\), lo que da \(-V/3 = 0\)...
Esto parece contradictorio, pero falta una restriccion adicional: el numero de celdas que inciden en cada arista es \(r = 3\). Por el conteo de aristas por celdas:
$$ r \cdot E = e_c \cdot C \quad \Longrightarrow \quad 3E = 12C \quad \Longrightarrow \quad E = 4C $$Combinando \(E = 2V\) y \(E = 4C\) obtenemos \(C = V/2\).
De \(2F = 6C = 3V\), obtenemos \(F = 3V/2\).
Euler-Poincare: \(V - 2V + 3V/2 - V/2 = 0\). Esto da \(0 = 0\), que es consistente pero no fija \(V\).
Para fijar \(V\), usamos que cada vertice pertenece a \(f_f = 4\) celdas y cada celda tiene \(v_c = 8\) vertices:
$$ V \cdot f_f = v_c \cdot C \quad \Longrightarrow \quad 4V = 8C = 4V \quad \checkmark $$El valor concreto de \(V\) se obtiene del conteo alternativo: cada vertice esta en \(f_f = 4\) celdas, y cada celda tiene 8 vertices. Como \(C = V/2\), esto es consistente. Fijamos \(C = 8\) (hay 8 cubos que envuelven al teseracto), y entonces:
$$ C = 8, \quad V = 2C = 16, \quad E = 4C = 32, \quad F = 3C = 24 $$Verificacion: \(16 - 32 + 24 - 8 = 0\). Correcto.
4. Dualidad en 4D
La dualidad es una de las simetrias mas profundas de la geometria regular. En 3D, ya sabemos que el dual de un poliedro \(\{p,q\}\) es \(\{q,p\}\): el cubo \(\{4,3\}\) es dual del octaedro \(\{3,4\}\), el dodecaedro \(\{5,3\}\) es dual del icosaedro \(\{3,5\}\), y el tetraedro \(\{3,3\}\) es autodual.
En 4D, la regla se extiende de forma natural: el dual del politopo \(\{p,q,r\}\) es el politopo \(\{r,q,p\}\). Se invierte el simbolo de Schlafli.
Construccion geometrica del dual. Dado un politopo \(P\), su dual \(P^*\) se construye asi:
- Colocar un vertice de \(P^*\) en el centro de cada celda de \(P\).
- Conectar dos vertices de \(P^*\) con una arista si las celdas correspondientes de \(P\) comparten una cara.
- Las caras de \(P^*\) corresponden a las aristas de \(P\).
- Las celdas de \(P^*\) corresponden a los vertices de \(P\).
El efecto sobre los vectores-f es una reflexion: si \(P\) tiene vector-f \((V, E, F, C)\), entonces \(P^*\) tiene vector-f \((C, F, E, V)\). Los elementos se intercambian simetricamente:
Notese que vertices y celdas se intercambian, y tambien aristas y caras. Este segundo intercambio no tiene analogo en 3D (donde aristas se intercambian consigo mismas).
Los pares duales en 4D son:
Teseracto \(\{4,3,3\}\)
↔
16-celda \(\{3,3,4\}\)
120-celda \(\{5,3,3\}\)
↔
600-celda \(\{3,3,5\}\)
5-celda \(\{3,3,3\}\)
Autodual: \(\{3,3,3\} = \{3,3,3\}\)
24-celda \(\{3,4,3\}\)
Autodual: \(\{3,4,3\} = \{3,4,3\}\)
La autodualidad del 24-celda es particularmente notable: no tiene analogo en dimension 3 (el tetraedro es el unico poliedro regular autodual) ni en dimensiones superiores. El 24-celda \(\{3,4,3\}\) es el unico politopo regular en cualquier dimension que es autodual sin ser un simplejo.
5. La Dualidad en Numeros
Comparemos lado a lado los vectores-f de cada par dual para observar concretamente como operan los intercambios \(V \leftrightarrow C\) y \(E \leftrightarrow F\).
Par dual: Teseracto y 16-celda
| \(V\) | \(E\) | \(F\) | \(C\) | |
|---|---|---|---|---|
| Teseracto | 16 | 32 | 24 | 8 |
| 16-celda | 8 | 24 | 32 | 16 |
Observese: \(V_{\text{tes}} = 16 = C_{\text{16c}}\), \(E_{\text{tes}} = 32 = F_{\text{16c}}\), \(F_{\text{tes}} = 24 = E_{\text{16c}}\), \(C_{\text{tes}} = 8 = V_{\text{16c}}\).
Par dual: 120-celda y 600-celda
| \(V\) | \(E\) | \(F\) | \(C\) | |
|---|---|---|---|---|
| 120-celda | 600 | 1200 | 720 | 120 |
| 600-celda | 120 | 720 | 1200 | 600 |
De nuevo, la correspondencia \(V \leftrightarrow C\) y \(E \leftrightarrow F\) se verifica numero a numero.
Autoduales: 5-celda y 24-celda
| \(V\) | \(E\) | \(F\) | \(C\) | |
|---|---|---|---|---|
| 5-celda | 5 | 10 | 10 | 5 |
| 24-celda | 24 | 96 | 96 | 24 |
La autodualidad exige \(V = C\) y \(E = F\). Ambos politopos lo satisfacen: \((5, 10, 10, 5)\) y \((24, 96, 96, 24)\).
Proposicion. La dualidad preserva la caracteristica de Euler.
Si el politopo \(P\) tiene \(\chi = V - E + F - C\), su dual \(P^*\) tiene:
$$ \chi^* = V^* - E^* + F^* - C^* = C - F + E - V = -(V - E + F - C) = -\chi $$Pero como \(\chi = 0\), se tiene \(\chi^* = -0 = 0\). La dualidad preserva \(\chi\) en 4D. Notese que en 3D, donde \(\chi = 2\), tambien se verifica: \(\chi^* = F - E + V = V - E + F = 2\), ya que la expresion es la misma reordenada.
6. Derivacion Alternativa: Sumando Euler por Celdas
Hay una forma elegante de derivar \(V - E + F - C = 0\) sin usar topologia algebraica, partiendo unicamente de la formula de Euler en 3D. La idea es sumar la formula \(V - E + F = 2\) sobre cada celda del politopo.
Sea \(P\) un politopo 4D convexo con \(C\) celdas. Cada celda \(c_i\) es un poliedro convexo 3D que satisface:
Sumando sobre las \(C\) celdas:
$$ \sum_{i=1}^{C} V_i \;-\; \sum_{i=1}^{C} E_i \;+\; \sum_{i=1}^{C} F_i \;=\; 2C $$Ahora debemos relacionar estas sumas con las cantidades globales \(V, E, F\) del politopo. Cada elemento de la frontera del politopo pertenece a varias celdas:
Vertices. Cada vertice global pertenece a \(n_v\) celdas (el numero depende del politopo). Por tanto:
$$ \sum_{i=1}^{C} V_i = \sum_{v \in \text{vertices}} n_v $$Aristas. Cada arista global pertenece a \(r\) celdas (el tercer indice de Schlafli). Por tanto:
$$ \sum_{i=1}^{C} E_i = r \cdot E $$Caras. Cada cara global es compartida por exactamente 2 celdas (propiedad de las variedades). Por tanto:
$$ \sum_{i=1}^{C} F_i = 2F $$Para los vertices, usamos que cada vertice pertenece a \(f_f\) celdas (donde \(f_f\) es el numero de caras de la figura de vertice \(\{q,r\}\)). Ademas, sabemos que \(f_f \cdot V = v_c \cdot C\) por doble conteo. Entonces \(\sum V_i = f_f \cdot V\).
La ecuacion sumada queda:
Para el caso del teseracto \(\{4,3,3\}\): \(f_f = 4\) (caras del tetraedro), \(r = 3\). La ecuacion da \(4(16) - 3(32) + 2(24) = 64 - 96 + 48 = 16 = 2(8) = 2C\). Correcto.
De forma mas general, combinando esta ecuacion con las relaciones de incidencia de la Seccion 3, se puede demostrar que siempre se reduce a \(V - E + F - C = 0\). La demostracion completa procede asi: las relaciones \(2E = V \cdot v_f\), \(rE = e_c \cdot C\), y \(2F = f_c \cdot C\) permiten expresar todo en terminos de una sola variable, y la consistencia del sistema fuerza la identidad de Euler-Poincare.
Ejercicios
1. Verifica \(V - E + F - C = 0\) para el 24-celda directamente: \(24 - 96 + 96 - 24\). Luego, usando que la celda del 24-celda es el octaedro \(\{3,4\}\) con \(v_c = 6, e_c = 12, f_c = 8\), y la figura de vertice es el cubo \(\{4,3\}\) con \(v_f = 8\), verifica las relaciones de doble conteo \(2E = V \cdot v_f\) y \(2F = f_c \cdot C\).
2. Usando \(\chi(S^n) = 1 + (-1)^n\), determina el valor de la suma alternante \(V - E + F - C + H\) para un politopo convexo en \(\mathbb{R}^5\), donde \(H\) es el numero de hiperceldas (facetas 4D). Verifica tu prediccion con el 5-simplejo, que tiene \(V = 6, E = 15, F = 20, C = 15, H = 6\).
3. Si un politopo \(\{p,q,r\}\) es autodual, entonces \(\{p,q,r\} = \{r,q,p\}\). Demuestra que esto implica \(p = r\). Deduce que \(V = C\) y \(E = F\). De los seis politopos 4D regulares, cuales satisfacen \(p = r\)?
4. La figura de vertice del teseracto \(\{4,3,3\}\) es el tetraedro \(\{3,3\}\) con \(v_f = 4\) vertices. Verifica que \(2E = V \cdot v_f\) da \(2(32) = 16 \cdot 4 = 64\). Luego haz lo mismo para la 16-celda \(\{3,3,4\}\), cuya figura de vertice es el octaedro \(\{3,4\}\) con \(v_f = 6\): verifica \(2(24) = 8 \cdot 6 = 48\).
5. Demuestra algebraicamente que la dualidad preserva la caracteristica de Euler en 4D. Si \(P\) tiene vector-f \((V, E, F, C)\) y su dual \(P^*\) tiene \((V^*, E^*, F^*, C^*) = (C, F, E, V)\), calcula \(V^* - E^* + F^* - C^*\) y muestra que es igual a \(V - E + F - C\). Generaliza: funciona este argumento en dimension \(n\) impar? Y en dimension \(n\) par?
LAB: Euler-Poincare Interactivo
Visualizacion de politopos 4D con verificacion de la formula de Euler-Poincare. Selecciona un politopo, observa su proyeccion 4D a 3D y comprueba que \(V - E + F - C = 0\). Activa "Mostrar dual" para superponer el politopo dual en cian. Arrastra para rotar en 3D; la rotacion en el plano XW es automatica.