Achatado (geometría)

Los dos sólidos arquimedianos romos

Cubo romo o cuboctaedro romo

Dodecaedro romo o icosidodecaedro romo

Dos copias quirales del cubo romo, eliminando vértices alternados (rojos o verdes) de un cuboctaedro truncado

Un cubo romo se puede construir a partir de un rombicuboctaedro girando las 6 caras cuadradas azules hasta que las 12 caras cuadradas blancas se conviertan en pares de caras triangulares equiláteras

En geometría, el achatado es una operación que aplicada sobre un poliedro permite obtener a partir de él un poliedro romo. El término utilizado para denominar a esta operación en inglés (snub), tiene su origen en los nombres dados a dos sólidos arquimedianos (el cubo romo y el dodecaedro romo) por Johannes Kepler, quien los llamó Plantilla:Lang y Plantilla:Lang. En general, los poliedros romos presentan dos formas con simetría quiral: con orientación horaria o antihoraria. Según los nombres de Kepler, un poliedro romo puede verse como una expansión de un poliedro regular mediante el procedimiento siguiente: separando las caras, girándolas alrededor de sus centros, agregando nuevos polígonos centrados en los vértices originales y agregando pares de triángulos que se ajustan entre las aristas originales.

Harold Scott MacDonald Coxeter generalizó la terminología, con una definición ligeramente diferente, para un conjunto más amplio de politopos uniformes.

Achatado de Conway

John Conway exploró los operadores de poliedros generalizados, definiendo lo que ahora se llama notación de poliedros de Conway, que se puede aplicar a poliedros y teselados. Conway llama a la operación de Coxeter un "semi-achatado".

En esta notación, el achatado de Conway se define mediante los operadores dual y gyro, como s = dg, y es equivalente a la alternancia de un truncamiento de un ambo. La notación de Conway en sí misma evita la operación de (semi) alternancia de Coxeter, ya que solo se aplica a poliedros con caras de un número par de aristas.

Figuras regulares romas

Formas de achatado	Poliedros			Teselados euclídeos		Teselados hiperbólicos
Nombres	Tetraedro	Cubo u octaedro	Icosaedro o dodecaedro	Teselado cuadrado	Teselado hexagonal o teselado triangular	Teselado heptagonal o teselado triangular de orden-7
Imágenes
Forma roma Notación de Conway	sT	sC = sO	sI = sD	sQ	sH = sΔ	sΔ7
Imagen

En 4 dimensiones, Conway sugiere que el 24-celdas romo debería llamarse "24-celdas semirromo" porque, a diferencia de los poliedros achatados tridimensionales que son formas omnitruncadas alternadas, no es un 24-celdas omnitruncado alternado. En cambio, es en realidad un 24-celdas truncado alternado.

Formas romas de Coxeter, regulares y casi regulares

Cubo romo, derivado del cubo o cuboctaedro

	Semilla	Rectificado r	Truncado t	Alternado h
Nombre	Cubo	Cuboctaedro Cubo rectificado	Cuboctaedro truncado Cubo cantitruncado	Cuboctaedro romo Cubo romo rectificado
Notación de Conway	C	CO rC	tCO trC o trO	htCO = sCO htrC = srC
Símbolo de Schläfli	{4,3}	$\left\{\begin{array}{c}4\\ 3\end{array}\right\}$ o r{4,3}	$t\left\{\begin{array}{c}4\\ 3\end{array}\right\}$ o tr{4,3}	$ht\left\{\begin{array}{c}4\\ 3\end{array}\right\}=s\left\{\begin{array}{c}4\\ 3\end{array}\right\}$ htr{4,3} = sr{4,3}
Diagrama de Coxeter	Plantilla:DCD	Plantilla:DCD o Plantilla:DCD	Plantilla:DCD o Plantilla:DCD	Plantilla:DCD o Plantilla:DCD
Imagen

La terminología para el achatado de Harold Scott MacDonald Coxeter es ligeramente diferente, lo que significa alternado truncado, derivando cubo romo como "cuboctaedro achatado", y dodecaedro romo como "icosidodecaedro achatado". Esta definición se utiliza en la denominación de dos sólidos de Johnson: el biesfenoide romo y el antiprisma cuadrado romo, y de politopos de dimensiones superiores, como el 24-celdas romo de 4 dimensiones, con el símbolo de Schläfli extendido s{3,4,3} y el diagrama de Coxeter Plantilla:DCD.

Un poliedro regular (o teselado), con el símbolo de Schläfli $\left\{\begin{array}{c}p,q\end{array}\right\}$ y diagrama de Coxeter-Dynkin Plantilla:DCD, tiene un truncamiento definido como $t\left\{\begin{array}{c}p,q\end{array}\right\}$ y Plantilla:DCD, y tiene un achatamiento definido como un alternado truncado $ht\left\{\begin{array}{c}p,q\end{array}\right\}=s\left\{\begin{array}{c}p,q\end{array}\right\}$ y Plantilla:DCD. Esta construcción con un alternado requiere que q sea par.

Un poliedro cuasirregular, con el símbolo de Schläfli $\left\{\begin{array}{c}p\\ q\end{array}\right\}$ o r{p,q}, y el diagrama de Coxeter Plantilla:DCD o Plantilla:DCD, tiene un truncamiento cuasiregular definido como $t\left\{\begin{array}{c}p\\ q\end{array}\right\}$ o tr{p ,q} y Plantilla:DCD o Plantilla:DCD, y tiene un snub cuasiregular definido como una rectificación truncada alternada $ht\left\{\begin{array}{c}p\\ q\end{array}\right\}=s\left\{\begin{array}{c}p\\ q\end{array}\right\}$ o htr{p,q} = sr' '{p,q} y Plantilla:DCD o Plantilla:DCD.

Por ejemplo, el cubo romo de Kepler se deriva del cuboctaedro (un poliedro cuasirregular), con un símbolo de Schläfli $\left\{\begin{array}{c}4\\ 3\end{array}\right\}$ vertical y diagrama de Coxeter-Dynkin Plantilla:DCD, por lo que se denomina más explícitamente cuboctaedro romo, expresado por un símbolo vertical de Schläfli $s\left\{\begin{array}{c}4\\ 3\end{array}\right\}$ y diagrama de Coxeter Plantilla:DCD. El cuboctaedro romo es el alternado del cuboctaedro truncado, $t\left\{\begin{array}{c}4\\ 3\end{array}\right\}$ y Plantilla:DCD.

Los poliedros regulares con vértices de orden par también se pueden achatar como truncamientos alternados, como en el caso del octaedro romo, ya que $s\left\{\begin{array}{c}3,4\end{array}\right\}$, Plantilla:DCD, es el alternado del octaedro truncado, $t\left\{\begin{array}{c}3,4\end{array}\right\}$ y Plantilla:DCD. El octaedro romo representa el icosaedro, un icosaedro regular con simetría piritoedral.

El tetratetraedro romo, como $s\left\{\begin{array}{c}3\\ 3\end{array}\right\}$ y Plantilla:DCD, es el alternado de la forma de simetría tetraédrica truncada, $t\left\{\begin{array}{c}3\\ 3\end{array}\right\}$ y Plantilla:DCD.

	Semilla	Truncado t	Alternado h
Nombre	Octaedro	Octaedro truncado	Octaedro romo
Notación de Conway	O	tO	htO o sO
Símbolo de Schläfli	{3,4}	t{3,4}	ht{3,4} = s{3,4}
Diagrama de Coxeter	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD
Imagen

La operación de achatado de Coxeter también permite que los n-antiprismas se definan como $s\left\{\begin{array}{c}2\\ n\end{array}\right\}$ o $s\left\{\begin{array}{c}2,2n\end{array}\right\}$, en función de los n-prismas $t\left\{\begin{array}{c}2\\ n\end{array}\right\}$ o $t\left\{\begin{array}{c}2,2n\end{array}\right\}$, mientras que $\left\{\begin{array}{c}2,n\end{array}\right\}$ es un n-hosoedro regular, un poliedro degenerado, pero un mosaico válido en la esfera con caras en forma de dígonos o de lúnulas.

Hosoedro romo, {2,2p}

Imagen
Diagramas de Coxeter	Plantilla:DCD Plantilla:DCD	Plantilla:DCD Plantilla:DCD	Plantilla:DCD Plantilla:DCD	Plantilla:DCD Plantilla:DCD	Plantilla:DCD Plantilla:DCD	Plantilla:DCD Plantilla:DCD	Plantilla:DCD... Plantilla:DCD...	Plantilla:DCD Plantilla:DCD
Símbolos de Schläfli	s{2,4}	s{2,6}	s{2,8}	s{2,10}	s{2,12}	s{2,14}	s{2,16}...	s{2,∞}
	sr{2,2} $s\left\{\begin{array}{c}2\\ 2\end{array}\right\}$	sr{2,3} $s\left\{\begin{array}{c}2\\ 3\end{array}\right\}$	sr{2,4} $s\left\{\begin{array}{c}2\\ 4\end{array}\right\}$	sr{2,5} $s\left\{\begin{array}{c}2\\ 5\end{array}\right\}$	sr{2,6} $s\left\{\begin{array}{c}2\\ 6\end{array}\right\}$	sr{2,7} $s\left\{\begin{array}{c}2\\ 7\end{array}\right\}$	sr{2,8}... $s\left\{\begin{array}{c}2\\ 8\end{array}\right\}$...	sr{2,∞} $s\left\{\begin{array}{c}2\\ \mathrm{\infty }\end{array}\right\}$
Notación de Conway	A2 = T	A3 = O	A4	A5	A6	A7	A8...	A∞

El mismo proceso se aplica a las teselas romas:

Teselado triangular Δ	Teselado triangular truncado tΔ	Teselado triangular romo htΔ = sΔ
{3,6}	t{3,6}	ht{3,6} = s{3,6}
Plantilla:DCD	Plantilla:DCD	Plantilla:DCD

Ejemplos

Achatados basados en {p,4}

Espacio	Esférico		Euclídeo	Hiperbólico
Imagen
Diagrama de Coxeter	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	...Plantilla:DCD
Símbolo de Schläfli	s{2,4}	s{3,4}	s{4,4}	s{5,4}	s{6,4}	s{7,4}	s{8,4}	...s{∞,4}

Achatados cuasirregulares basados en r{p,3}

Notación de Conway	Esférico				Euclídeo	Hiperbólico
Imagen
Diagrama de Coxeter	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	...Plantilla:DCD
Símbolo de Schläfli	sr{2,3}	sr{3,3}	sr{4,3}	sr{5,3}	sr{6,3}	sr{7,3}	sr{8,3}	...sr{∞,3}
	$s\left\{\begin{array}{c}2\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}3\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}4\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}5\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}6\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}7\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}8\\ 3\end{array}\right\}$	$s\left\{\begin{array}{c}\mathrm{\infty }\\ 3\end{array}\right\}$
Notación de Conway	A3	sT	sC o sO	sD o sI	sΗ o sΔ

Achatados cuasirregulares basados en r{p,4}

Espacio	Esférico		Euclídeo	Hiperbólico
Imagen
Diagrama de Coxeter	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	Plantilla:DCD	...Plantilla:DCD
Símbolo de Schläfli	sr{2,4}	sr{3,4}	sr{4,4}	sr{5,4}	sr{6,4}	sr{7,4}	sr{8,4}	...sr{∞,4}
	$s\left\{\begin{array}{c}2\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}3\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}4\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}5\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}6\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}7\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}8\\ 4\end{array}\right\}$	$s\left\{\begin{array}{c}\mathrm{\infty }\\ 4\end{array}\right\}$
Conway notation	A4	sC o sO	sQ

Poliedros romos no uniformes

Los poliedros no uniformes con todos los vértices de valencia uniformemente dispuestos se pueden achatar, incluidos algunos conjuntos infinitos; por ejemplo:

Bipirámides romas sdt{2,p} Bipirámide cuadrada roma Bipirámide hexagonal roma

Bipirámides romas rectificadas srdt{2,p} Antiprismas romos s{2,2p} Imagen ... Símbolos de Schläfli ss{2,4} ss{2,6} ss{2,8} ss{2,10}... ssr{2,2} $ss\left\{\begin{array}{c}2\\ 2\end{array}\right\}$ ssr{2,3} $ss\left\{\begin{array}{c}2\\ 3\end{array}\right\}$ ssr{2,4} $ss\left\{\begin{array}{c}2\\ 4\end{array}\right\}$ ssr{2,5}... $ss\left\{\begin{array}{c}2\\ 5\end{array}\right\}$

Poliedros estrellados romos uniformes de Coxeter

Los poliedros estrellados romos se construyen por su triángulo de Schwarz (p q r), con ángulos especularmente simétricos ordenados racionalmente, y todos los espejos activos y alternados.

Poliedros estrellados uniformes romos

s{3/2,3/2} Plantilla:DCD	s{(3,3,5/2)} Plantilla:DCD	sr{5,5/2} Plantilla:DCD	s{(3,5,5/3)} Plantilla:DCD	sr{5/2,3} Plantilla:DCD
sr{5/3,5} Plantilla:DCD	s{(5/2,5/3,3)} Plantilla:DCD	sr{5/3,3} Plantilla:DCD	s{(3/2,3/2,5/2)}	s{3/2,5/3} Plantilla:DCD

Politopos y panales romos de dimensiones superiores de Coxeter

En general, un policoro regular con símbolo de Schläfli $\left\{\begin{array}{c}p,q,r\end{array}\right\}$ y diagrama de Coxeter-Dynkin Plantilla:DCD tiene un achatado con símbolo de Schläfli $s\left\{\begin{array}{c}p,q,r\end{array}\right\}$ y Plantilla:DCD.

Un policoro rectificado $\left\{\begin{array}{c}p\\ q,r\end{array}\right\}$ = r{p,q,r}, y Plantilla:DCD tiene el achatado de símbolos $s\left\{\begin{array}{c}p\\ q,r\end{array}\right\}$ = sr{p,q,r}, y Plantilla:DCD.

Ejemplos

Proyección ortogonal de un 24-celdas romo

Solo hay un achatado convexo uniforme en 4 dimensiones, el 24-celdas romo. El icositetracoron normal tiene símbolo de Schläfli, $\left\{\begin{array}{c}3,4,3\end{array}\right\}$ y diagrama de Coxeter-Dynkin Plantilla:DCD, y el 24-celdas romo está representado por $s\left\{\begin{array}{c}3,4,3\end{array}\right\}$, y el diagrama de Coxeter-Dynkin Plantilla:DCD. También tiene construcciones de simetría inferior de índice 6 como $s\left\{\begin{array}{c}3\\ 3\\ 3\end{array}\right\}$ o s{3^1,1,1} y Plantilla:DCD, y subsimetría de índice 3 como $s\left\{\begin{array}{c}3\\ 3,4\end{array}\right\}$ o sr{3,3,4} y Plantilla:DCD o Plantilla:DCD.

El panal de 24-celdas romo relacionado se puede ver como $s\left\{\begin{array}{c}3,4,3,3\end{array}\right\}$ o s{3,4,3,3}, y Plantilla:DCD, y la simetría inferior $s\left\{\begin{array}{c}3\\ 3,4,3\end{array}\right\}$ o sr{3,3,4,3} y Plantilla:DCD o Plantilla:DCD, y la forma de simetría inferior como $s\left\{\begin{array}{c}3\\ 3\\ 3\\ 3\end{array}\right\}$ o s{3^1,1,1,1} y Plantilla:DCD.

Un panal euclídeo es un panal de losa hexagonal alternada, s{2,6,3} y Plantilla:DCD o sr{2,3,6} y Plantilla:DCD o sr{2,3^[3]} y Plantilla:DCD.

Otro panal euclídeo (escaliforme) es un panal de losa cuadrada alternada, s{2,4,4} y Plantilla:DCD o sr{2,4^1,1} y Plantilla:DCD:

El único panal uniforme hiperbólico romo uniforme es el panal de losa hexagonal romo, como s{3,6,3} y Plantilla:DCD, que también se puede construir como panal de teselado hexagonal alternado, h{6,3,3}, Plantilla:DCD. También se construye como s{3^[3,3]} y Plantilla:DCD.

Otro panal hiperbólico (escaliforme) es el panal octaédrico de orden-4 romo, s{3,4,4} y Plantilla:DCD.

Véase también

• Poliedro romo

Bibliografía

• Plantilla:Cite journal
• Coxeter, H.S.M. Regular Polytopes, (3rd edition, 1973), Dover edition, Plantilla:Isbn (pp. 154–156 8.6 Partial truncation, or alternation)
• Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, Plantilla:Isbn [1], Googlebooks [2]
  • (Paper 17) Coxeter, The Evolution of Coxeter–Dynkin diagrams, [Nieuw Archief voor Wiskunde 9 (1991) 233–248]
  • (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380–407, MR 2,10]
  • (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559–591]
  • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3–45]
• Coxeter, The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, Plantilla:Isbn (Chapter 3: Wythoff's Construction for Uniform Polytopes)
• Norman Johnson Uniform Polytopes, Manuscript (1991)
  • N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D. Dissertation, University of Toronto, 1966
• John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, Plantilla:Isbn
• Plantilla:Mathworld
• Richard Klitzing, Snubs, alternated facetings, and Stott–Coxeter–Dynkin diagrams, Symmetry: Culture and Science, Vol. 21, No.4, 329–344, (2010) [3]