Lección 13: Concepto de Dualidad | Matemáticas Visuales

La Construcción Dual

Dado un poliedro $P$, su dual $P^*$ se construye así:

Para cada cara de $P$, colocar un vértice de $P^*$ en su centroide.
Dos vértices de $P^*$ se conectan con una arista si las caras correspondientes de $P$ comparten una arista.
Las aristas de $P^*$ que rodean un vértice $v$ de $P$ forman una cara de $P^*$.

La dualidad intercambia el rol de caras y vértices mientras preserva las relaciones de adyacencia. Este intercambio tiene consecuencias algebraicas precisas.

Qué se Intercambia, Qué se Conserva

Si $P$ tiene parámetros de Schläfli $\{p, q\}$ con $V$ vértices, $E$ aristas y $F$ caras, su dual $P^*$ satisface:

$$ V^* = F, \quad E^* = E, \quad F^* = V $$

Las aristas se conservan. Cada arista de $P$ separa exactamente dos caras y conecta exactamente dos vértices. En $P^*$, esa misma arista conecta los centroides de esas dos caras (ahora vértices de $P^*$). Hay una biyección natural entre las aristas de $P$ y las de $P^*$.

En la notación de Schläfli, la dualidad simplemente invierte los parámetros:

$$ \{p, q\}^* = \{q, p\} $$

Esto es porque en $P^*$, cada cara rodea un vértice original donde concurrían $q$ caras, así que cada cara del dual tiene $q$ lados. Y en cada vértice del dual (centroide de una cara $p$-gonal), concurren $p$ caras.

Verificación con la Fórmula de Euler

Si $P$ satisface $V - E + F = 2$, ¿qué ocurre con $P^*$?

$$ V^* - E^* + F^* = F - E + V = V - E + F = 2 \quad \checkmark $$

La característica de Euler es invariante bajo dualidad. Esto no es coincidencia: la dualidad preserva la topología del poliedro (ambos son homeomorfos a la esfera).

Recordemos las fórmulas de conteo dual del Módulo 2:

$$ pF = 2E \quad \text{(conteo por caras)}, \qquad qV = 2E \quad \text{(conteo por vértices)} $$

En el dual $\{q, p\}$:

$$ qF^* = 2E^* \implies qV = 2E \quad \checkmark $$ $$ pV^* = 2E^* \implies pF = 2E \quad \checkmark $$

Las relaciones de conteo de $P$ y $P^*$ son la misma ecuación leída al revés.

Las Tres Familias Duales

Los 5 sólidos platónicos se organizan en tres familias bajo dualidad:

Sólido	$\{p,q\}$	V	E	F	Dual	$\{q,p\}$
Tetraedro	{3,3}	4	6	4	Tetraedro	{3,3}
Cubo	{4,3}	8	12	6	Octaedro	{3,4}
Octaedro	{3,4}	6	12	8	Cubo	{4,3}
Dodecaedro	{5,3}	20	30	12	Icosaedro	{3,5}
Icosaedro	{3,5}	12	30	20	Dodecaedro	{5,3}

Observa que $E$ es siempre igual en cada par. El tetraedro, con $p = q = 3$, es autodual: intercambiar no cambia nada.

El Dual del Dual: Involución

Aplicar dualidad dos veces recupera el poliedro original (salvo escala):

$$ (P^*)^* \cong P $$

Demostración: los vértices de $(P^*)^*$ son los centroides de las caras de $P^*$. Pero cada cara de $P^*$ rodea un vértice $v$ de $P$, y su centroide se sitúa sobre $v$ (no exactamente en $v$, sino a lo largo de la línea del centro al vértice). El resultado es un poliedro combinatoriamente idéntico a $P$, escalado hacia el centro.

Algebraicamente: $\{p,q\}^{**} = \{q,p\}^* = \{p,q\}$. La dualidad es una involución en el conjunto de sólidos platónicos.

La Midsphere: El Puente entre Duales

Existe una esfera especial, la midsphere (o esfera interescalar), que es tangente a todas las aristas de $P$. El punto de tangencia en cada arista es exactamente el punto donde la arista correspondiente de $P^*$ la cruza perpendicularmente.

Teorema de la midsphere:

Un poliedro convexo $P$ y su dual $P^*$ comparten la misma midsphere de radio $\rho$. Cada arista de $P$ cruza perpendicularmente la arista correspondiente de $P^*$, y el punto de cruce está sobre la midsphere.

Para un poliedro regular $\{p,q\}$ con arista $a$, el radio de la midsphere es:

$$ \rho = \frac{a}{2} \cdot \frac{\cos(\pi/q)}{\sin(\pi/h)} $$

donde $h$ es el número de Coxeter definido por $\frac{1}{h} = \frac{1}{2} - \frac{1}{p} - \frac{1}{q}$. Para el cubo: $h = 6$, así que $\rho = \frac{a}{2} \cdot \frac{\cos(\pi/3)}{\sin(\pi/6)} = \frac{a}{2}$. En efecto, la midsphere del cubo unitario tiene radio $\frac{1}{2}$.

La relación entre las esferas es: $r \le \rho \le R$, donde $r$ es el radio inscrito y $R$ el circunscrito. La midsphere está entre ambas.

Perpendicularidad de Aristas Duales

Cada arista de $P$ es perpendicular a la arista correspondiente de $P^*$. Verifiquémoslo para el cubo y el octaedro.

Cubo con vértices $(\pm 1, \pm 1, \pm 1)$. Tomemos la arista de $(1,1,-1)$ a $(1,1,1)$, con dirección $\vec{u} = (0,0,2)$.

Esta arista separa las caras en $y = 1$ (centroide $(0,1,0)$) y $x = 1$ (centroide $(1,0,0)$). La arista dual conecta estos centroides con dirección $\vec{v} = (1,-1,0)$.

$$ \vec{u} \cdot \vec{v} = (0)(1) + (0)(-1) + (2)(0) = 0 \quad \checkmark $$

Perpendiculares. Esto ocurre porque ambas aristas pasan por el punto de tangencia sobre la midsphere, y la esfera es localmente plana (perpendicular al radio) en ese punto.

Dualidad en el Mapa $\{p,q\}$

En la Lección 10 construimos el mapa de soluciones de $(p-2)(q-2) < 4$. La dualidad actúa como reflexión respecto a la diagonal $p = q$:

	q=3	q=4	q=5
p=3	T	O	I
p=4	C	--	--
p=5	D	--	--

El tetraedro T está en la diagonal ($p = q = 3$), por lo que es invariante. El cubo C en $(4,3)$ se refleja al octaedro O en $(3,4)$. El dodecaedro D en $(5,3)$ se refleja al icosaedro I en $(3,5)$.

La dualidad es un automorfismo de orden 2 del mapa $\{p,q\}$.

Dualidad y Simetrías

Toda simetría (rotación o reflexión) de $P$ es automáticamente una simetría de $P^*$, y viceversa:

$$ \text{Sym}(P) = \text{Sym}(P^*) $$

Argumento: si una rotación $R$ envía cada cara de $P$ a otra cara de $P$, entonces envía el centroide de cada cara al centroide de la imagen, preservando la adyacencia. Por tanto $R$ permuta los vértices de $P^*$ respetando aristas: es una simetría de $P^*$.

Esto explica por qué el cubo y el octaedro comparten el grupo $O_h$ (48 elementos), y el dodecaedro e icosaedro comparten $I_h$ (120 elementos). Exploraremos estos grupos en las Lecciones 17 y 18.

Ejercicios

1. Un poliedro convexo tiene $V = 10$, $E = 15$, $F = 7$. ¿Cuántos vértices, aristas y caras tiene su dual?

2. Demuestra que la dualidad preserva la fórmula de Euler: si $V - E + F = 2$, entonces $V^* - E^* + F^* = 2$.

3. ¿Bajo qué condición sobre $p$ y $q$ es $\{p,q\}$ autodual? Justifica que solo $\{3,3\}$ satisface la condición entre los sólidos platónicos.

4. Verifica la perpendicularidad de aristas duales para otra arista del cubo: toma la arista de $(1,-1,-1)$ a $(1,1,-1)$ y encuentra la arista dual correspondiente. Comprueba que el producto escalar es 0.

5. El mapa $\{p,q\}$ tiene 5 entradas válidas. La dualidad las refleja respecto a $p = q$. ¿Cuántas órbitas distintas tiene esta acción? ¿Cuáles son?

LAB: Construcción del Dual

Selecciona un sólido y observa cómo se construye su dual desde los centroides de las caras. Usa el slider para interpolar entre el sólido y su dual.

Dual: 0% Midsphere

V=4 E=6 F=4 | V*=4 E*=6 F*=4

Lección 13 — Concepto de Dualidad

Concepto de Dualidad