Expansión (geometría)

En geometría, la expansión es una operación sobre un politopo en la que las facetas se separan y se mueven radialmente para forma nuevas facetas entre los elementos separados (vértices, aristas y otros elementos de dimensiones superiores). De manera equivalente, esta operación se puede imaginar manteniendo las facetas en la misma posición pero reduciendo su tamaño.

Animación mostrando la expansión de un cubo y de un octaedro

La expansión de un politopo regular crea un politopo uniforme, pero la operación se puede aplicar a cualquier politopo convexo, como se demuestra para los poliedros en la notación de Conway (que representa la expansión con la letra $e$ ). Para los poliedros, un poliedro expandido conserva todas las caras del poliedro original, y añade todas las caras del poliedro conjugado y una serie de nuevas caras cuadradas en lugar de las aristas originales.

Expansión de politopos regulares

Según Harold Scott MacDonald Coxeter, este término multidimensional fue definido por Alicia Boole Stott^[1] para crear nuevos politopos, específicamente a partir de politopos regulares con el fin de construir nuevos politopos uniformes.

La operación de expansión es simétrica con respecto a un politopo regular y su dual. La figura resultante contiene las facetas tanto del politopo original como de su dual, junto con varias facetas prismáticas que llenan los espacios creados entre los elementos dimensionales intermedios.

Tiene significados algo diferentes por dimensión. En una construcción de Wythoff, se genera una expansión por los reflejos del primer y del último espejo. En dimensiones superiores, las expansiones de dimensiones inferiores se pueden escribir con un subíndice, por lo que e₂ es lo mismo que t_0,2 en cualquier dimensión.

Por dimensiónes:

Un {p} polígono regular se expande hasta convertirse en un 2n-gono regular.
- La operación es idéntica al truncamiento para los polígonos; así, e{p} = e₁{p} = t_0,1{p} = t{p} y tiene diagrama de Coxeter-Dynkin .
Un poliedro {p,q} (3-politopo) regular se expande formando un poliedro con figura de vértice p.4.q.4.
- Esta operación para poliedros también se llama canteado; y así, e{p,q} = e₂{p,q} = t_0,2{p,q} = rr{p,q}, y tiene el diagrama de Coxeter .
  
  Por ejemplo, un rombicuboctaedro puede denominarse cubo expandido, octaedro expandido, así como cubo canteado u octaedro canteado.
Un polícoro {p,q,r} (4-politopo) regular se expande a un nuevo 4-politopo con las celdas {p,q} originales, nuevas celdas {r,q} en lugar de los vértices antiguos, prismas p-gonales en lugar de las caras antiguas y prismas r-gonales en lugar de las aristas antiguas.
- Esta operación para 4-politopos también se llama runcinado; y así e{p,q,r} = e₃{p,q,r} = t_0,3{p,q,r}, y tiene el diagrama de Coxeter .
De manera similar, un 5-politopo {p,q,r,s} regular se expande en un nuevo 5-politopo con facetas {p,q,r}, {s,r,q}, {p,q}×{ } prismas, {s,r}×{ } prismas y {p}×{s} duoprismas.
- Esta operación se llama estericación; de manera que e{p,q,r,s} = e₄{p,q,r,s} = t_0,4{p,q,r,s} = 2r2r{p,q,r,s } y tiene diagrama de Coxeter .

El operador general para la expansión de un n-politopo regular es t_0,n-1{p,q,r,...}. Se agregan nuevas facetas regulares en cada vértice, y se agregan nuevos politopos prismáticos en cada arista dividida, cara,... faceta, etc.

Véase también

Notación de poliedros de Conway

Notas

↑ Coxeter, Regular Polytopes (1973), p. 123. p.210

Referencias

Weisstein, Eric W. «Expansion». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
Coxeter, H. S. M., Regular Polytopes. 3ª edición, Dover, (1973) ISBN 0-486-61480-8.
Norman Johnson Politopos uniformes, Manuscrito (1991)
- N.W. Johnson: La teoría de los politopos uniformes y los panales, Ph.D. Disertación, Universidad de Toronto, 1966

Operadores de poliedros
Semilla	Truncamiento	Rectificación	Bitruncamiento	Dual	Expansión	Omnitruncamiento	Alternaciones


$t 0 {p, q} {p, q}$	$t 01 {p, q} t{p, q}$	$t 1 {p, q} r{p, q}$	$t 12 {p, q} 2t{p, q}$	$t 2 {p, q} 2r{p, q}$	$t 02 {p, q} rr{p, q}$	$t 012 {p, q} tr{p, q}$	$ht 0 {p, q} h{q, p}$	$ht 12 {p, q} s{q, p}$	$ht 012 {p, q} sr{p, q}$

Datos: Q5420776

[1] Coxeter, Regular Polytopes (1973), p. 123. p.210

[1]