El Salto a la Cuarta Dimension
Fundamentar \(\mathbb{R}^4\) como espacio matematico. Construir el teseracto por extrusion sistematica.
1. La Escalera Dimensional
La geometria clasica trabaja en tres dimensiones, pero la matematica no tiene ninguna razon para detenerse ahi. El paso de una dimension a la siguiente sigue un patron sorprendentemente uniforme: extruir el objeto existente en una nueva direccion perpendicular a todas las anteriores.
Recorramos la escalera desde el principio. Un punto (dimension 0) no tiene extension alguna. Si lo desplazamos una distancia unitaria en una direccion, el punto barre un segmento (dimension 1). Si ahora extruimos ese segmento en una direccion perpendicular, obtenemos un cuadrado (dimension 2). Extruir el cuadrado perpendicularmente produce un cubo (dimension 3). Y aqui viene el salto conceptual: extruir el cubo en una cuarta direccion perpendicular, que llamaremos \(w\), genera un teseracto o hipercubo de dimension 4.
En cada paso, el numero de vertices se duplica. Si el objeto en dimension \(n\) tiene \(V_n\) vertices, al extruirlo obtenemos dos copias (la original y la desplazada), conectadas entre si. Esto da \(V_{n+1} = 2V_n\), con \(V_0 = 1\), de modo que:
$$ V_n = 2^n $$La siguiente tabla resume los elementos constituyentes en cada dimension:
| Dim | Nombre | V | E | F | C |
|---|---|---|---|---|---|
| 0 | Punto | 1 | -- | -- | -- |
| 1 | Segmento | 2 | 1 | -- | -- |
| 2 | Cuadrado | 4 | 4 | 1 | -- |
| 3 | Cubo | 8 | 12 | 6 | 1 |
| 4 | Teseracto | 16 | 32 | 24 | 8 |
La columna de vertices verifica \(2^n\) en cada fila. Las demas columnas siguen un patron que derivaremos formalmente en la seccion 4.
2. Coordenadas en \(\mathbb{R}^4\)
El espacio \(\mathbb{R}^4\) es el conjunto de todas las 4-tuplas de numeros reales. Un punto se escribe como:
$$ \mathbf{p} = (x,\, y,\, z,\, w) \in \mathbb{R}^4 $$La cuarta coordenada \(w\) es tan legitima como \(x\), \(y\) o \(z\). Que no podamos visualizarla fisicamente no reduce su rigor matematico. Todas las herramientas del algebra lineal funcionan sin modificacion: vectores, productos internos, normas y transformaciones lineales se definen igual que en \(\mathbb{R}^3\), simplemente con una componente adicional.
La distancia euclidiana entre dos puntos \(\mathbf{p}_1 = (x_1, y_1, z_1, w_1)\) y \(\mathbf{p}_2 = (x_2, y_2, z_2, w_2)\) es la extension natural de la formula conocida:
$$ d(\mathbf{p}_1, \mathbf{p}_2) = \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2 + (z_1 - z_2)^2 + (w_1 - w_2)^2} $$Un hiperplano en \(\mathbb{R}^4\) es el analogo del plano en \(\mathbb{R}^3\). Tiene dimension 3 y se define por una ecuacion lineal:
$$ ax + by + cz + dw = e $$Asi como un plano divide a \(\mathbb{R}^3\) en dos semiespacios, un hiperplano divide a \(\mathbb{R}^4\) en dos regiones. El producto interno se extiende de forma natural:
$$ \langle \mathbf{u}, \mathbf{v} \rangle = u_x v_x + u_y v_y + u_z v_z + u_w v_w $$Con estas herramientas podemos calcular angulos, distancias y ortogonalidad en \(\mathbb{R}^4\) con la misma precision que en dimensiones inferiores. No necesitamos "ver" el espacio para trabajar con el rigurosamente.
3. Construccion del Teseracto
Construyamos el teseracto paso a paso, con coordenadas explicitas. Partimos de un cubo con vertices en \((\pm 1, \pm 1, \pm 1)\) y lo extruimos a lo largo del eje \(w\). La copia original tiene \(w = -1\) y la desplazada tiene \(w = +1\). Los 16 vertices del teseracto son todas las combinaciones:
$$ (\pm 1,\, \pm 1,\, \pm 1,\, \pm 1) $$Cada vertice es una 4-tupla donde cada coordenada vale \(+1\) o \(-1\). Hay \(2^4 = 16\) combinaciones posibles, lo que confirma la formula \(V = 2^n\).
Dos vertices estan conectados por una arista si y solo si difieren en exactamente una coordenada. Por ejemplo, \((1,1,1,1)\) esta conectado a \((-1,1,1,1)\), \((1,-1,1,1)\), \((1,1,-1,1)\) y \((1,1,1,-1)\). Cada vertice tiene exactamente 4 vecinos (uno por cada coordenada que puede cambiar de signo).
El conteo de aristas sigue de un argumento de doble conteo. Hay 16 vertices, cada uno con 4 vecinos, y cada arista se cuenta dos veces (una por cada extremo):
$$ E = \frac{16 \cdot 4}{2} = 32 $$Las caras (2-caras) del teseracto son cuadrados. Un cuadrado aparece cuando fijamos dos coordenadas y variamos las otras dos. Para elegir cuales dos coordenadas fijar, tenemos \(\binom{4}{2} = 6\) formas. Para cada eleccion, las dos coordenadas fijas pueden tomar cada una el valor \(+1\) o \(-1\), dando \(2^2 = 4\) cuadrados. En total:
$$ F = \binom{4}{2} \cdot 2^2 = 6 \cdot 4 = 24 $$Las celdas (3-caras) del teseracto son cubos. Un cubo aparece cuando fijamos exactamente una coordenada al valor \(+1\) o \(-1\) y dejamos libres las otras tres. Hay \(\binom{4}{1} = 4\) coordenadas que fijar y \(2^1 = 2\) valores posibles, dando:
$$ C = \binom{4}{1} \cdot 2^1 = 4 \cdot 2 = 8 $$Resumen del teseracto:
V = 16 vertices E = 32 aristas F = 24 caras cuadradas C = 8 celdas cubicas
Las 8 celdas cubicas se pueden nombrar explicitamente: \(x = +1\), \(x = -1\), \(y = +1\), \(y = -1\), \(z = +1\), \(z = -1\), \(w = +1\) y \(w = -1\). Cada celda es un cubo genuino en \(\mathbb{R}^4\), contenido en un hiperplano distinto.
4. La Formula del \(n\)-Cubo
El patron que observamos para el teseracto se generaliza a cualquier dimension. El numero de \(k\)-caras del hipercubo \(n\)-dimensional (o \(n\)-cubo) es:
$$ f_k = \binom{n}{k} \cdot 2^{n-k} $$Derivacion: una \(k\)-cara del \(n\)-cubo \([-1,1]^n\) se obtiene eligiendo \(k\) coordenadas "libres" (que varian en \([-1,1]\)) y fijando las \(n-k\) restantes a \(+1\) o \(-1\). La eleccion de cuales coordenadas son libres da el factor \(\binom{n}{k}\), y las \(n-k\) coordenadas fijas contribuyen \(2^{n-k}\) opciones. Cada combinacion produce una \(k\)-cara distinta, y toda \(k\)-cara se obtiene de esta forma (pues las caras del hipercubo son siempre subespacios coordenados).
Verifiquemos para \(n = 3\) (el cubo ordinario):
$$ f_0 = \binom{3}{0} \cdot 2^3 = 1 \cdot 8 = 8 \;\text{ (vertices)} \quad \checkmark $$ $$ f_1 = \binom{3}{1} \cdot 2^2 = 3 \cdot 4 = 12 \;\text{ (aristas)} \quad \checkmark $$ $$ f_2 = \binom{3}{2} \cdot 2^1 = 3 \cdot 2 = 6 \;\text{ (caras)} \quad \checkmark $$Ahora para \(n = 4\) (teseracto):
$$ f_0 = \binom{4}{0} \cdot 2^4 = 16, \quad f_1 = \binom{4}{1} \cdot 2^3 = 32, \quad f_2 = \binom{4}{2} \cdot 2^2 = 24, \quad f_3 = \binom{4}{3} \cdot 2^1 = 8 $$Tambien correcto. Pero ahora notemos algo sorprendente. La formula de Euler para poliedros 3D dice \(V - E + F = 2\). Calculemos la suma alternante para el teseracto:
$$ V - E + F - C = 16 - 32 + 24 - 8 = 0 $$Observacion clave:
El resultado es 0, no 2. Esto no es un error: en dimension 4, la caracteristica de Euler-Poincare toma un valor distinto. De hecho, se puede demostrar que para el \(n\)-cubo, la suma alternante \(\sum_{k=0}^{n-1} (-1)^k f_k\) siempre es igual a \(1 + (-1)^{n-1}\), que vale 2 cuando \(n\) es impar y 0 cuando \(n\) es par. Estudiaremos esta generalizacion en la Leccion 21.
5. Mas Alla del Hipercubo: El Simplex 4D
El hipercubo no es el unico politopo regular en \(\mathbb{R}^4\). Asi como en \(\mathbb{R}^3\) el tetraedro es el simplex (la figura mas simple posible), en \(\mathbb{R}^4\) existe un 5-celda (o pentacoro): el simplex de dimension 4.
La idea es directa por analogia. En dimension 1, un segmento tiene 2 vertices equidistantes. En dimension 2, un triangulo equilatero tiene 3 vertices mutuamente equidistantes. En dimension 3, un tetraedro regular tiene 4 vertices mutuamente equidistantes. En dimension 4, necesitamos 5 puntos en \(\mathbb{R}^4\) que sean todos mutuamente equidistantes.
Una forma natural de construirlo es tomar los 4 vectores unitarios canonicos de \(\mathbb{R}^4\):
$$ \mathbf{e}_1 = (1,0,0,0), \quad \mathbf{e}_2 = (0,1,0,0), \quad \mathbf{e}_3 = (0,0,1,0), \quad \mathbf{e}_4 = (0,0,0,1) $$La distancia entre cualquier par de estos puntos es:
$$ d(\mathbf{e}_i, \mathbf{e}_j) = \sqrt{1^2 + 1^2} = \sqrt{2} \quad \text{para } i \neq j $$Estos 4 puntos son mutuamente equidistantes, pero necesitamos un quinto. El quinto vertice \(\mathbf{e}_5\) debe satisfacer \(d(\mathbf{e}_5, \mathbf{e}_i) = \sqrt{2}\) para todo \(i\). Por simetria, buscamos \(\mathbf{e}_5 = (a, a, a, a)\) con las cuatro componentes iguales. La condicion de distancia da:
$$ \sqrt{(a-1)^2 + a^2 + a^2 + a^2} = \sqrt{2} $$ $$ (a-1)^2 + 3a^2 = 2 $$ $$ a^2 - 2a + 1 + 3a^2 = 2 $$ $$ 4a^2 - 2a - 1 = 0 $$Resolviendo con la formula cuadratica:
$$ a = \frac{2 \pm \sqrt{4 + 16}}{8} = \frac{2 \pm \sqrt{20}}{8} = \frac{1 \pm \sqrt{5}}{4} $$Ambas soluciones dan un vertice valido (corresponden a las dos posiciones simetricas respecto al hiperplano que contiene a \(\mathbf{e}_1, \ldots, \mathbf{e}_4\)). Tomando \(a = \frac{1 + \sqrt{5}}{4}\), obtenemos el 5-celda con vertices:
$$ \left\{(1,0,0,0),\; (0,1,0,0),\; (0,0,1,0),\; (0,0,0,1),\; \left(\tfrac{1+\sqrt{5}}{4},\tfrac{1+\sqrt{5}}{4},\tfrac{1+\sqrt{5}}{4},\tfrac{1+\sqrt{5}}{4}\right)\right\} $$El 5-celda tiene 5 vertices, \(\binom{5}{2} = 10\) aristas (toda pareja de vertices esta conectada), 10 caras triangulares y 5 celdas tetraedricas. Es el analogo 4D del tetraedro, y como veremos en la Leccion 20, es uno de los seis politopos regulares en 4D.
6. Por Que Seis, No Cinco
En el Modulo 1, clasificamos los poliedros regulares en 3D y encontramos exactamente cinco: el tetraedro, el cubo, el octaedro, el dodecaedro y el icosaedro. En dimension 4 ocurre algo notable: hay seis politopos regulares convexos, uno mas que en 3D.
Tres de ellos son analogos directos de figuras 3D: el 5-celda (analogo del tetraedro), el 8-celda o teseracto (analogo del cubo) y el 16-celda (analogo del octaedro). Otros dos extienden los pares dodecaedro/icosaedro: el 120-celda y el 600-celda.
Pero el sexto, el 24-celda, no tiene analogo en ninguna otra dimension. Es una figura exclusiva de \(\mathbb{R}^4\), con 24 celdas octaedricas, 96 aristas y 24 vertices. Su existencia es una de las razones por las que la dimension 4 es matematicamente excepcional.
En dimensiones superiores, la situacion se simplifica drasticamente. En \(\mathbb{R}^5\) y todas las dimensiones posteriores, solo existen tres politopos regulares: el simplex, el hipercubo y el hiperoctaedro (ortoplex). La riqueza geometrica disminuye:
| Dimension | Politopos regulares |
|---|---|
| 2 (plano) | Infinitos (poligonos regulares) |
| 3 (espacio) | 5 (solidos platonicos) |
| 4 | 6 (incluye el 24-celda) |
| 5, 6, 7, ... | 3 (simplex, hipercubo, ortoplex) |
La dimension 4 es, en cierto sentido, la dimension mas rica para la geometria regular. En la Leccion 6 introdujimos la notacion de Schlafli \(\{p,q\}\) para poliedros; para 4-politopos, la notacion se extiende a \(\{p,q,r\}\), un tema que desarrollaremos en la Leccion 20.
Ejercicios
1. Calcula la distancia entre dos vertices adyacentes del teseracto con coordenadas \((\pm 1, \pm 1, \pm 1, \pm 1)\). Verifica que todas las aristas tienen la misma longitud. Pista: dos vertices adyacentes difieren en exactamente una coordenada.
2. Verifica la formula \(f_k = \binom{n}{k} \cdot 2^{n-k}\) para el cubo 3D (\(n=3\)). Calcula \(f_0, f_1, f_2\) y confirma que obtienes 8 vertices, 12 aristas y 6 caras.
3. Usa la formula del \(n\)-cubo para calcular los elementos del hipercubo 5D: vertices \(f_0\), aristas \(f_1\), 2-caras \(f_2\), 3-celdas \(f_3\) y 4-celdas \(f_4\). Luego calcula la suma alternante \(f_0 - f_1 + f_2 - f_3 + f_4\). Que valor obtienes?
4. Identifica las 8 celdas cubicas del teseracto. Para cada una, indica que coordenada esta fija y a que valor (\(+1\) o \(-1\)), y lista sus 8 vertices. Pista: la celda \(w = +1\) contiene todos los vertices de la forma \((\pm 1, \pm 1, \pm 1, +1)\).
5. Verifica que \(V - E + F - C = 0\) para el teseracto. Compara con \(V - E + F = 2\) para el cubo. Calcula tambien \(V - E\) para el segmento y \(V - E + F\) para el cuadrado. Que patron emerge en la suma alternante segun la paridad de la dimension?
LAB: Teseracto con Rotacion 4D
Visualizacion del teseracto proyectado de 4D a 3D mediante proyeccion perspectiva. La rotacion automatica en el plano XW produce el efecto caracteristico del hipercubo "abriendose" hacia afuera. Arrastra con el raton para rotar en 3D; el slider controla la velocidad de rotacion 4D. Los vertices se colorean segun su coordenada \(w\): azul para \(w\) negativo, rojo para \(w\) positivo.