1. Planos de Rotacion, No Ejes
En 3D estamos acostumbrados a pensar en rotaciones alrededor de un eje. Una rotacion en \(\mathbb{R}^3\) fija una recta (el eje, un subespacio de dimension 1) y rota el plano ortogonal a esa recta. En general, en \(\mathbb{R}^n\), una rotacion simple fija un subespacio de dimension \(n - 2\) y rota el plano complementario de dimension 2.
En \(\mathbb{R}^4\), una rotacion simple fija un plano (subespacio de dimension 2) y rota el plano ortogonal complementario. La rotacion ocurre en un plano, no alrededor de un eje. Este cambio conceptual es fundamental.
En \(\mathbb{R}^4\) hay exactamente 6 planos coordenados independientes:
\(XY, \quad XZ, \quad XW, \quad YZ, \quad YW, \quad ZW\)
Este conteo se explica por la formula general para la dimension del grupo de rotaciones. El grupo especial ortogonal \(\text{SO}(n)\) tiene dimension:
$$\dim \text{SO}(n) = \frac{n(n-1)}{2}$$que corresponde al numero de planos coordenados independientes en \(\mathbb{R}^n\). Esto da:
| Grupo | Dimension | Parametros |
|---|---|---|
| SO(2) | \(2 \cdot 1 / 2 = 1\) | 1 angulo |
| SO(3) | \(3 \cdot 2 / 2 = 3\) | 3 angulos (Euler) |
| SO(4) | \(4 \cdot 3 / 2 = 6\) | 6 angulos |
Un resultado fundamental de algebra lineal garantiza que toda rotacion en \(\text{SO}(4)\) puede descomponerse en a lo sumo 2 rotaciones simples actuando en planos mutuamente ortogonales. Esta es la descomposicion en bloques de la forma normal de una matriz ortogonal.
2. Rotaciones Simples
Una rotacion simple en \(\mathbb{R}^4\) fija un plano de dimension 2 y rota su complemento ortogonal por un angulo \(\theta\). Consideremos la rotacion en el plano \(XW\), que fija el plano \(YZ\):
$$R_{XW}(\theta) = \begin{pmatrix} \cos\theta & 0 & 0 & -\sin\theta \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ \sin\theta & 0 & 0 & \cos\theta \end{pmatrix}$$Verificacion. Apliquemos esta matriz al vector base \(\mathbf{e}_1 = (1, 0, 0, 0)\):
$$R_{XW}(\theta) \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} \cos\theta \\ 0 \\ 0 \\ \sin\theta \end{pmatrix}$$El punto se mueve en el plano \(XW\) trazando un circulo, exactamente como esperamos. Mientras tanto, los vectores \(\mathbf{e}_2 = (0,1,0,0)\) y \(\mathbf{e}_3 = (0,0,1,0)\) permanecen fijos:
$$R_{XW}(\theta)\,\mathbf{e}_2 = \mathbf{e}_2, \qquad R_{XW}(\theta)\,\mathbf{e}_3 = \mathbf{e}_3$$El plano \(YZ\) completo queda invariante. Este es el analogo 4D del "eje" de rotacion en 3D, pero ahora el subespacio fijo tiene dimension 2 en lugar de 1.
De manera analoga, podemos escribir matrices de rotacion para cada uno de los 6 planos coordenados. La estructura es siempre la misma: una submatriz \(2 \times 2\) de rotacion en las posiciones correspondientes a los ejes del plano, y la identidad en las demas.
3. Rotaciones Dobles (Isoclinicas)
Lo verdaderamente extraordinario de \(\mathbb{R}^4\) es la posibilidad de realizar dos rotaciones simultaneas en planos ortogonales. Dado que \(\mathbb{R}^4\) se descompone como suma directa de dos planos ortogonales (por ejemplo, \(XY\) y \(ZW\)), podemos rotar ambos independientemente:
$$R(\theta_1, \theta_2) = \begin{pmatrix} \cos\theta_1 & -\sin\theta_1 & 0 & 0 \\ \sin\theta_1 & \cos\theta_1 & 0 & 0 \\ 0 & 0 & \cos\theta_2 & -\sin\theta_2 \\ 0 & 0 & \sin\theta_2 & \cos\theta_2 \end{pmatrix}$$Si \(\theta_1 \neq 0\) y \(\theta_2 \neq 0\), esta es una rotacion doble: ningun plano queda fijo. Los casos especiales reciben nombres propios:
- \(\theta_1 = \theta_2\): rotacion isoclinica izquierda. Ambos planos rotan a la misma velocidad y en el mismo sentido.
- \(\theta_1 = -\theta_2\): rotacion isoclinica derecha. Ambos planos rotan a la misma velocidad pero en sentidos opuestos.
Propiedad fundamental: en una rotacion doble con \(\theta_1, \theta_2 \neq 0\), ningun punto (salvo el origen) permanece fijo. Veamoslo: si \(R(\theta_1, \theta_2)\,\mathbf{v} = \mathbf{v}\), entonces las componentes \((v_1, v_2)\) satisfacen la ecuacion de rotacion por \(\theta_1\) y las componentes \((v_3, v_4)\) la de rotacion por \(\theta_2\). Si \(\theta_1 \neq 0\), la unica solucion es \(v_1 = v_2 = 0\); si \(\theta_2 \neq 0\), la unica solucion es \(v_3 = v_4 = 0\). Por tanto \(\mathbf{v} = \mathbf{0}\).
Contraste con 3D
En \(\mathbb{R}^3\), toda rotacion no trivial tiene un eje fijo (el teorema de Euler). En \(\mathbb{R}^4\), las rotaciones dobles no tienen ningun punto fijo salvo el origen. Esta es una propiedad genuinamente nueva que no tiene analogo en dimensiones inferiores.
Ejemplo concreto. Tomemos \(\theta_1 = \theta_2 = \pi/2\) (rotacion isoclinica izquierda). Aplicada al punto \((1, 0, 0, 0)\):
$$R\!\left(\frac{\pi}{2}, \frac{\pi}{2}\right) \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} \cos(\pi/2) \\ \sin(\pi/2) \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 0 \\ 1 \\ 0 \\ 0 \end{pmatrix}$$4. SO(4) y los Cuaterniones
Los cuaterniones, descubiertos por Hamilton en 1843, proporcionan la descripcion algebraica mas elegante de las rotaciones en 4D. Un cuaternion es un numero de la forma:
$$q = a + bi + cj + dk, \qquad a, b, c, d \in \mathbb{R}$$con las reglas de multiplicacion:
$$i^2 = j^2 = k^2 = ijk = -1$$de donde se derivan \(ij = k\), \(jk = i\), \(ki = j\), \(ji = -k\), \(kj = -i\), \(ik = -j\). La norma de un cuaternion es \(|q| = \sqrt{a^2 + b^2 + c^2 + d^2}\), y los cuaterniones unitarios (\(|q| = 1\)) forman la 3-esfera \(S^3 \subset \mathbb{R}^4\).
Rotaciones en 3D. Si identificamos \(\mathbb{R}^3\) con los cuaterniones puramente imaginarios \(\{bi + cj + dk\}\), toda rotacion en \(\text{SO}(3)\) se escribe como:
$$\mathbf{v} \mapsto q \mathbf{v} q^{-1}, \qquad q \in S^3$$donde \(q\) y \(-q\) producen la misma rotacion, dando el isomorfismo \(\text{SO}(3) \cong S^3 / \{\pm 1\}\).
Rotaciones en 4D. Si identificamos \(\mathbb{R}^4\) con el espacio de cuaterniones \(\mathbb{H}\), toda rotacion en \(\text{SO}(4)\) se escribe como:
Teorema fundamental
$$\mathbf{v} \mapsto q_1 \cdot \mathbf{v} \cdot q_2^{-1}, \qquad q_1, q_2 \in S^3$$donde \(q_1\) controla la rotacion "izquierda" y \(q_2\) la "derecha". Los pares \((q_1, q_2)\) y \((-q_1, -q_2)\) producen la misma rotacion, lo que da el isomorfismo:
$$\text{SO}(4) \cong (S^3 \times S^3) / \mathbb{Z}_2$$Este es el hecho algebraico clave de la geometria 4D. El grupo de rotaciones se factoriza como producto de dos copias de \(S^3 \cong \text{SU}(2)\), y esta factorizacion es la razon por la cual las rotaciones isoclinicas existen:
- Isoclinica izquierda: \(q_2 = 1\), solo actua \(q_1\). La transformacion es \(\mathbf{v} \mapsto q_1 \cdot \mathbf{v}\).
- Isoclinica derecha: \(q_1 = 1\), solo actua \(q_2\). La transformacion es \(\mathbf{v} \mapsto \mathbf{v} \cdot q_2^{-1}\).
La multiplicacion izquierda por un cuaternion unitario y la multiplicacion derecha conmutan entre si, reflejando la estructura de producto directo \(\text{SU}(2) \times \text{SU}(2)\).
5. El 24-celda: El Politopo sin Analogo
El 24-celda es el politopo regular mas extraordinario de la geometria 4D. No tiene analogo en ninguna otra dimension: su existencia depende fundamentalmente de la estructura algebraica de \(\mathbb{R}^4\), es decir, de los cuaterniones.
Sus 24 vertices son los 24 cuaterniones unitarios de Hurwitz, que forman dos familias:
8 cuaterniones basicos (vertices del hiperoctaedro):
$$\pm 1, \quad \pm i, \quad \pm j, \quad \pm k$$16 cuaterniones semi-enteros (vertices del teseracto dual):
$$\frac{\pm 1 \pm i \pm j \pm k}{2} \qquad \text{(las 16 combinaciones de signos)}$$Un hecho notable: estos 24 cuaterniones forman un grupo bajo la multiplicacion de cuaterniones, llamado el grupo binario tetraedral \(2T\), de orden 24. Esta es la unica vez que los vertices de un politopo regular forman un grupo multiplicativo.
Coordenadas alternativas. En coordenadas cartesianas, los 24 vertices del 24-celda se pueden describir como todas las permutaciones de:
$$(\pm 1, \pm 1, 0, 0)$$Hay \(\binom{4}{2} = 6\) formas de elegir las dos posiciones no nulas, y \(2^2 = 4\) combinaciones de signos para cada una, dando \(6 \times 4 = 24\) vertices en total. En esta representacion, cada vertice tiene norma \(\sqrt{1^2 + 1^2 + 0^2 + 0^2} = \sqrt{2}\).
6. Verificacion del 24-celda
Verifiquemos las propiedades combinatorias del 24-celda usando las coordenadas de permutaciones de \((\pm 1, \pm 1, 0, 0)\).
Distancia entre vertices adyacentes. Tomemos dos vertices, por ejemplo \((1, 1, 0, 0)\) y \((1, 0, 1, 0)\). La distancia es:
$$d = \sqrt{(1-1)^2 + (1-0)^2 + (0-1)^2 + (0-0)^2} = \sqrt{0 + 1 + 1 + 0} = \sqrt{2}$$Dos vertices son adyacentes si y solo si su distancia es \(\sqrt{2}\). Para cada vertice, se puede verificar que exactamente 8 vertices estan a distancia \(\sqrt{2}\). Esto da:
Conteo de aristas
$$E = \frac{24 \times 8}{2} = 96 \text{ aristas}$$Caras y celdas. El 24-celda tiene 96 caras triangulares y 24 celdas octaedricas. Cada celda es un octaedro regular. Verificamos la formula de Euler-Poincare para 4-politopos:
$$V - E + F - C = 24 - 96 + 96 - 24 = 0 \quad \checkmark$$Este es el valor correcto de la caracteristica de Euler para la 3-esfera \(S^3\), que es el borde del 4-politopo.
Autodualidad. El simbolo de Schlafli del 24-celda es \(\{3, 4, 3\}\), un palindromo. Esto indica que el 24-celda es autodual: su dual (obtenido intercambiando vertices y celdas) es otro 24-celda. Las simetrias numericas lo confirman:
| Elemento | Cantidad | Dual |
|---|---|---|
| Vertices (V) | 24 | Celdas (C) = 24 |
| Aristas (E) | 96 | Caras (F) = 96 |
| Caras (F) | 96 | Aristas (E) = 96 |
| Celdas (C) | 24 | Vertices (V) = 24 |
La simetria \(V = C = 24\) y \(E = F = 96\) es la firma de la autodualidad.
7. Por Que 4D Es Especial
La dimension 4 ocupa un lugar unico en la matematica por varias razones convergentes, todas ligadas a la existencia de los cuaterniones.
Algebras de division. Por el teorema de Hurwitz (1898), las unicas algebras de division con norma sobre \(\mathbb{R}\) son \(\mathbb{R}\) (dim 1), \(\mathbb{C}\) (dim 2), \(\mathbb{H}\) (dim 4) y \(\mathbb{O}\) (dim 8). Los cuaterniones \(\mathbb{H}\) dotan a \(\mathbb{R}^4\) de una estructura multiplicativa que no existe en \(\mathbb{R}^3\), \(\mathbb{R}^5\) ni ninguna otra dimension general.
Factorizacion de SO(4). El grupo de rotaciones se factoriza:
$$\text{SO}(4) \cong \frac{\text{SU}(2) \times \text{SU}(2)}{\mathbb{Z}_2}$$Esta descomposicion como producto de dos grupos simples no ocurre para \(\text{SO}(3)\) (que es simple) ni para \(\text{SO}(5)\) (que tambien es simple). La factorizacion permite las rotaciones isoclinicas y es la razon algebraica profunda de la riqueza geometrica de 4D.
Politopos regulares excepcionales. La riqueza de 4D se manifiesta en el numero de politopos regulares por dimension:
| Dimension | Politopos regulares |
|---|---|
| 2 | Infinitos (poligonos regulares) |
| 3 | 5 (solidos platonicos) |
| 4 | 6 (incluyendo 24-celda, 120-celda, 600-celda) |
| 5, 6, 7, ... | 3 (simplejo, hiperoctaedro, hipercubo) |
En dimension 5 o superior, solo sobreviven las tres familias infinitas: el simplejo \(\alpha_n\), el hiperoctaedro \(\beta_n\) y el hipercubo \(\gamma_n\). Los tres politopos excepcionales de 4D -- el 24-celda \(\{3,4,3\}\), el 120-celda \(\{5,3,3\}\) y el 600-celda \(\{3,3,5\}\) -- son consecuencias directas de la existencia de los cuaterniones y la factorizacion de \(\text{SO}(4)\).