Topologia y la Esfera
La caracteristica de Euler como invariante topologico: por que \(\chi\) no depende de como subdivides, sino de la forma global de la superficie.
Homeomorfismo
A lo largo de este modulo hemos visto que \(V - E + F = 2\) vale para todo poliedro convexo: tetraedros, cubos, prismas, piramides — poliedros con cantidades muy distintas de vertices, aristas y caras. Que tienen en comun?
La respuesta es topologica. Dos superficies son homeomorfas si una puede deformarse continuamente en la otra — estirando, doblando, comprimiendo — sin cortar ni pegar. Un cubo puede "inflarse" hasta convertirse en una esfera. Un prisma hexagonal tambien. Cualquier poliedro convexo tambien.
La topologia estudia las propiedades que se preservan bajo homeomorfismos. Estas propiedades son invariantes topologicos: cantidades que no cambian al deformar la superficie. La caracteristica de Euler \(\chi\) es uno de los mas fundamentales.
Por Que \(\chi\) No Cambia
Afirmamos que \(\chi = V - E + F\) es un invariante topologico. Para entender esto, consideremos que pasa cuando refinamos una subdivision — es decir, cuando anadimos mas vertices, aristas y caras a una triangulacion existente.
Hay tres operaciones basicas de refinamiento:
1. Subdividir una arista
Insertar un vertice en medio de una arista existente. La arista se parte en 2, y cada cara adyacente gana una arista nueva.
\(\Delta V = +1, \quad \Delta E = +1+k, \quad \Delta F = +k\) donde \(k\) = caras adyacentes.
Para una arista interior (\(k=2\)): \(\Delta\chi = 1 - 3 + 2 = 0\).
2. Conectar dos vertices de una misma cara
Anadir una arista diagonal que divide una cara en dos.
\(\Delta V = 0, \quad \Delta E = +1, \quad \Delta F = +1\).
\(\Delta\chi = 0 - 1 + 1 = 0\).
3. Insertar un vertice dentro de una cara
Colocar un vertice nuevo en el interior de una cara y conectarlo a todos los vertices de esa cara.
Para un triangulo: \(\Delta V = +1, \quad \Delta E = +3, \quad \Delta F = +2\).
\(\Delta\chi = 1 - 3 + 2 = 0\).
En cada caso, \(\Delta\chi = 0\). Como cualquier refinamiento de una subdivision se puede descomponer en estas operaciones elementales, \(\chi\) es independiente de la subdivision elegida. Solo depende de la superficie subyacente.
Superficies Cerradas y Genero
Una superficie cerrada orientable es una superficie sin borde que tiene un "dentro" y un "fuera" bien definidos. El teorema de clasificacion de superficies dice que toda superficie cerrada orientable es homeomorfa a una esfera con \(g\) asas, donde \(g\) es el genero de la superficie.
Caracteristica de Euler por genero
\(\chi = 2 - 2g\)
2
\(g = 0\)
Esfera
0
\(g = 1\)
Toro
-2
\(g = 2\)
Doble toro
2-2g
\(g\) general
\(g\) asas
El Toro: \(\chi = 0\)
Verifiquemos con un ejemplo concreto. Un toro se puede construir a partir de un cuadrado identificando los lados opuestos: el borde superior con el inferior, y el izquierdo con el derecho.
Consideremos la triangulacion mas simple: dividir el cuadrado en una malla de \(m \times n\) rectangulos, cada uno partido en 2 triangulos. Al identificar los bordes:
\(V = mn\) (los vertices de los bordes se fusionan al identificar)
\(E = 3mn\) (\(mn\) horizontales + \(mn\) verticales + \(mn\) diagonales)
\(F = 2mn\) (2 triangulos por rectangulo)
\(\chi = mn - 3mn + 2mn = 0\)
Sin importar los valores de \(m\) y \(n\), el resultado es siempre \(\chi = 0\). Puedes refinar la malla tanto como quieras: la caracteristica de Euler no cambia. Esto confirma que \(\chi\) es una propiedad del toro, no de la triangulacion particular.
El Teorema de Gauss-Bonnet
En la Leccion 8 demostramos que el defecto angular total de un poliedro convexo es \(\sum \delta_v = 2\pi\chi\). Este resultado tiene una generalizacion profunda: el teorema de Gauss-Bonnet, que conecta la curvatura de una superficie suave con su topologia.
Teorema de Gauss-Bonnet
$$\int_S K \, dA = 2\pi\chi(S)$$
donde \(K\) es la curvatura gaussiana y la integral recorre toda la superficie \(S\)
La curvatura gaussiana \(K\) mide como se curva una superficie en cada punto. En una esfera de radio \(R\), \(K = 1/R^2\) en todas partes (curvatura positiva constante). En un plano, \(K = 0\). En una silla de montar, \(K < 0\).
Gauss-Bonnet dice que la curvatura total (la integral de \(K\) sobre toda la superficie) esta determinada por la topologia:
Esfera (\(g=0\))
\(\int K \, dA = 4\pi\)
Toda la curvatura es positiva
Toro (\(g=1\))
\(\int K \, dA = 0\)
Positiva fuera, negativa dentro: se cancela
Genero \(g\)
\(\int K \, dA = 2\pi(2-2g)\)
Cada asa resta \(4\pi\)
El defecto angular de Descartes (\(\sum \delta_v = 4\pi\)) es la version discreta de Gauss-Bonnet para la esfera. La formula de Euler (\(V-E+F=2\)) es la version combinatoria. Las tres expresan la misma verdad: la curvatura total de una superficie cerrada esta determinada por su topologia.
La Formula de Euler-Poincare
En dimensiones superiores, la alternancia de signos se extiende. Un politopo de dimension \(n\) tiene elementos de dimensiones \(0, 1, 2, \ldots, n-1\) (vertices, aristas, caras, celdas, ...). La formula de Euler-Poincare es:
\(\displaystyle\chi = \sum_{k=0}^{n-1} (-1)^k f_k = f_0 - f_1 + f_2 - f_3 + \cdots\)
donde \(f_k\) es el numero de elementos de dimension \(k\)
Para un poliedro 3D: \(\chi = f_0 - f_1 + f_2 = V - E + F\). Para un politopo 4D, aparece un termino mas: las celdas \(f_3\).
Ejemplo: el teseracto (hipercubo 4D)
\(f_0 = 16\) vertices, \(f_1 = 32\) aristas, \(f_2 = 24\) caras, \(f_3 = 8\) celdas cubicas
\(\chi = 16 - 32 + 24 - 8 = 0\)
La frontera del teseracto es una 3-esfera (\(S^3\)), que tiene \(\chi = 0\). En general, \(\chi(S^n) = 1 + (-1)^n\): las esferas de dimension par tienen \(\chi = 2\) y las de dimension impar tienen \(\chi = 0\).
Recapitulacion del Modulo
Este modulo construyo, pieza a pieza, una de las ideas mas profundas de la matematica:
El doble conteo (\(pF = 2E\), \(qV = 2E\)) revela la estructura combinatoria de los poliedros.
La formula de Euler \(V - E + F = 2\) unifica todos los poliedros convexos en una sola ecuacion.
La demostracion de Cauchy prueba la formula por eliminacion de triangulos.
Las formulas combinatorias derivan \(V, E, F\) de \(\{p, q\}\) usando Euler + doble conteo.
Exactamente 5: tres pruebas convergentes, necesidad vs existencia, dimensiones superiores.
\(\chi\) como invariante topologico: genero, Gauss-Bonnet, Euler-Poincare.
El hilo conductor: una simple observacion numerica de Euler en 1750 resulto ser la punta de un iceberg que conecta la combinatoria discreta con la topologia, la curvatura diferencial y la geometria en dimensiones arbitrarias. En el Modulo 3 usaremos la formula de Euler para estudiar la dualidad, la simetria mas elegante de los solidos platonicos.
Ejercicios
- Verifica que subdividir una arista interior (con 2 caras adyacentes) de una triangulacion da \(\Delta\chi = 0\). Cuenta cuidadosamente: \(\Delta V\), \(\Delta E\), \(\Delta F\).
- Triangula un toro usando una malla \(3 \times 4\) (con identificacion de bordes). Cuenta \(V\), \(E\), \(F\) y verifica que \(\chi = 0\). (Pista: dibuja el cuadrado, marca la malla, identifica que vertices y aristas se fusionan.)
- Una esfera de radio \(R\) tiene curvatura gaussiana \(K = 1/R^2\) y area \(4\pi R^2\). Verifica que \(\int K \, dA = 4\pi = 2\pi \chi\).
- El 24-celda \(\{3,4,3\}\) tiene \(f_0 = 24\), \(f_1 = 96\), \(f_2 = 96\), \(f_3 = 24\). Calcula \(\chi\). Es consistente con la formula \(\chi(S^3) = 0\)?
- Un poliedro tiene genero 2 (doble toro). Si tiene 24 aristas y 12 caras, cuantos vertices tiene? (Pista: usa \(\chi = 2 - 2g = V - E + F\).)
LAB: \(\chi\) es Invariante
Cambia la resolucion de la malla: \(V\), \(E\), \(F\) cambian, pero \(\chi\) permanece fijo. Cambia la superficie y observa como \(\chi\) salta.