
En geometría y topología , la notación de poliedros de Conway , inventada por John Horton Conway y promovida por George W. Hart , se utiliza para describir poliedros basados en un poliedro semilla modificado mediante diversas operaciones de prefijo . [ 1 ] [ 2 ]
Conway y Hart extendieron la idea de usar operadores, como la truncación definida por Kepler , para construir poliedros relacionados de la misma simetría. Por ejemplo, tC representa un cubo truncado , y taC , analizado como t ( aC ) , es ( topológicamente ) un cuboctaedro truncado . El operador dual más simple intercambia elementos de vértice y cara ; por ejemplo, un cubo dual es un octaedro : dC = O. Aplicados en serie, estos operadores permiten generar muchos poliedros de orden superior . Conway definió los operadores a (ambo), b ( bisel ), d ( dual ), e (expandir), g (giróscopo), j (unir), k (kis), m (meta), o (orto), s ( achatado ) y t ( truncar ), mientras que Hart añadió r ( reflejar ) y p (hélice). [ 3 ] Implementaciones posteriores nombraron operadores adicionales, a veces denominados operadores "extendidos". [ 4 ] [ 5 ] Las operaciones básicas de Conway son suficientes para generar los sólidos arquimedianos y catalanes a partir de los sólidos platónicos . Algunas operaciones básicas pueden hacerse como compuestos de otras: por ejemplo, ambo aplicado dos veces es la operación de expansión ( aa = e ), mientras que una truncación después de ambo produce el bisel ( ta = b ).
Los poliedros pueden estudiarse topológicamente, analizando cómo se conectan sus vértices, aristas y caras, o geométricamente, considerando la ubicación de estos elementos en el espacio. Diferentes implementaciones de estos operadores pueden generar poliedros geométricamente distintos pero topológicamente equivalentes. Estos poliedros topológicamente equivalentes pueden considerarse como una de las muchas incrustaciones de un grafo poliédrico en la esfera. Salvo que se indique lo contrario, en este artículo (y en la literatura sobre operadores de Conway en general) la topología es el aspecto principal. Los poliedros de género 0 (es decir, topológicamente equivalentes a una esfera) suelen expresarse en forma canónica para evitar ambigüedades.
Operadores
En la notación de Conway, las operaciones sobre poliedros se aplican como funciones, de derecha a izquierda. Por ejemplo, un cuboctaedro es un cubo ambo , [ 6 ] es decir , y un cuboctaedro truncado es . La aplicación repetida de un operador se puede denotar con un exponente: j 2 = o . En general, los operadores de Conway no son conmutativos .
Los operadores individuales pueden visualizarse en términos de dominios fundamentales (o cámaras), como se muestra a continuación. Cada triángulo rectángulo es un dominio fundamental . Cada cámara blanca es una versión rotada de las demás, al igual que cada cámara coloreada. Para los operadores aquirales , las cámaras coloreadas son un reflejo de las cámaras blancas, y todas son transitivas. En términos de grupos, los operadores aquirales corresponden a grupos diedrales D n donde n es el número de lados de una cara, mientras que los operadores quirales corresponden a grupos cíclicos C n que carecen de la simetría reflectiva de los grupos diedrales. Los operadores aquirales y quirales también se denominan operaciones locales que preservan la simetría (LSP) y operaciones locales que preservan las simetrías que preservan la orientación (LOPSP), respectivamente. [ 7 ] [ 8 ] [ 9 ] Las LSP deben entenderse como operaciones locales que preservan la simetría, no como operaciones que preservan la simetría local. Nuevamente, estas son simetrías en un sentido topológico, no geométrico: los ángulos exactos y las longitudes de los bordes pueden diferir.
Hart introdujo el operador de reflexión r , que da la imagen especular del poliedro. [ 6 ] Esto no es estrictamente un LOPSP, ya que no conserva la orientación: la invierte, intercambiando las cámaras blancas y rojas. r no tiene efecto en los poliedros aquirales aparte de la orientación, y rr = S devuelve el poliedro original. Se puede usar una línea superior para indicar la otra forma quiral de un operador: s = rsr .
Una operación es irreducible si no puede expresarse como una composición de operadores aparte de d y r . La mayoría de los operadores originales de Conway son irreducibles: las excepciones son e , b , o y m .
Representación matricial
La relación entre el número de vértices, aristas y caras de la semilla y el poliedro creado por las operaciones enumeradas en este artículo se puede expresar como una matriz.. Cuando x es el operador,son los vértices, aristas y caras de la semilla (respectivamente), yson los vértices, aristas y caras del resultado, entonces
- .
La matriz para la composición de dos operadores es simplemente el producto de las matrices de ambos operadores. Dos operadores distintos pueden tener la misma matriz, por ejemplo, p y l . El número de aristas del resultado es un múltiplo entero d del de la semilla: esto se denomina tasa de inflación o factor de aristas. [ 7 ]
Los operadores más simples, el operador identidad S y el operador dual d , tienen formas matriciales simples:
- ,
Dos operadores duales se cancelan; dd = S , y el cuadrado dees la matriz identidad . Al aplicarse a otros operadores, el operador dual corresponde a reflexiones horizontales y verticales de la matriz. Los operadores se pueden agrupar en grupos de cuatro (o menos si algunas formas son iguales) identificando los operadores x , xd (operador dual), dx (dual del operador) y dxd (conjugado del operador). En este artículo, solo se proporciona la matriz para x , ya que las demás son simples reflexiones.
Número de operadores
El número de LSP para cada tasa de inflación escomenzando con una tasa de inflación de 1. Sin embargo, no todos los LSP producen necesariamente un poliedro cuyos bordes y vértices formen un grafo 3-conexo , y como consecuencia del teorema de Steinitz, no producen necesariamente un poliedro convexo a partir de una semilla convexa. El número de LSP 3-conexos para cada tasa de inflación es. [ 8 ] El número de LOPSPs (quirales) conectados a 3 para cada tasa de inflación es. [ 10 ]
Operaciones originales
Estrictamente hablando, Seed ( S ), Needle ( n ) y Zip ( z ) no fueron incluidos por Conway, pero están relacionados con las operaciones originales de Conway por dualidad, por lo que se incluyen aquí.
A partir de ahora, las operaciones se visualizan en cubos semilla, dibujados sobre la superficie del cubo. Las caras azules cruzan las aristas del cubo semilla, y las caras rosas se sitúan sobre sus vértices. Existe cierta flexibilidad en la ubicación exacta de los vértices, especialmente con operadores quirales.
Semillas
Cualquier poliedro puede servir como semilla, siempre que se puedan ejecutar las operaciones sobre él. A las semillas comunes se les ha asignado una letra. Los sólidos platónicos están representados por la primera letra de su nombre (Tetraedro , Octaedro , Cubo , Isoaedro , Dodecaedro ) ; los prismas ( P n ) para formas n - gonales ; los antiprismas ( A n ) ; las cúpulas ( U n ) ; las anticúpulas ( V n ); y las pirámides ( Y n ) . Cualquier sólido de Johnson puede referenciarse como J n , para n = 1..92.
Todos los cinco sólidos platónicos se pueden generar a partir de generadores prismáticos con cero a dos operadores: [ 15 ]
- Pirámide triangular : Y3 ( Un tetraedro es una pirámide especial)
- Antiprisma triangular : A 3 (Un octaedro es un antiprisma especial)
- O = A 3
- C = dA 3
- Prisma cuadrado : P 4 (Un cubo es un prisma especial)
- C = P 4
- Antiprisma pentagonal : A 5
- I = k 5 A 5 (Una bipirámide giroelongada especial )
- D = t 5 dA 5 (Un trapezoedro truncado especial )
Los teselados euclidianos regulares también pueden utilizarse como semillas:
- Q = Cuadrilla = Teselado cuadrado
- H = Hextille = Teselado hexagonal = dΔ
- Δ = Deltille = Teselado triangular = dH
Operaciones ampliadas
Estas son operaciones creadas después del conjunto original de Conway. Cabe destacar que existen muchas más operaciones de las que se han nombrado; el hecho de que una operación no aparezca aquí no significa que no exista (o que no sea un LSP o LOPSP). Además, en esta lista solo se incluyen operadores irreducibles; muchos otros pueden crearse mediante la combinación de operadores.
Operaciones extendidas indexadas
Varios operadores pueden agruparse según ciertos criterios o modificarse su comportamiento mediante un índice. [ 4 ] Estos se escriben como un operador con un subíndice: x n .
Aumento
Las operaciones de aumento conservan las aristas originales. Se pueden aplicar a cualquier subconjunto independiente de caras o se pueden convertir en una forma de unión eliminando las aristas originales. La notación de Conway admite un índice opcional para estos operadores: 0 para la forma de unión, o 3 o superior para la cantidad de lados que tienen las caras afectadas. Por ejemplo, k₄Y₄ = 0 : al unir una pirámide de base cuadrada a otra pirámide se obtiene un octaedro.
El operador de truncamiento t también tiene una forma de índice t n , que indica que solo se truncan los vértices de cierto grado. Es equivalente a dk n d .
Algunos de los operadores extendidos se pueden crear en casos especiales con operadores k n y t n . Por ejemplo, un cubo chaflán , cC , se puede construir como t 4 daC , como un dodecaedro rómbico , daC o jC , con sus vértices de grado 4 truncados. Un cubo loft, lC, es lo mismo que t 4 kC . Un quinto-dodecaedro, qD, se puede construir como t 5 daaD o t 5 deD o t 5 oD , un hexecontaedro deltoidal , deD o oD , con sus vértices de grado 5 truncados.
Meta/Bisel
Meta agrega vértices en el centro y a lo largo de los bordes, mientras que Bevel agrega caras en el centro, vértices semilla y a lo largo de los bordes. El índice indica cuántos vértices o caras se agregan a lo largo de los bordes. Meta (en su forma no indexada) también se denomina cantitruncación u omnitruncación . Nótese que 0 aquí no significa lo mismo que para las operaciones de aumento: significa que no se agregan vértices (o caras) a lo largo de los bordes. [ 4 ]
Medio
Medial es similar a meta, excepto que no agrega aristas desde el centro a cada vértice semilla. La forma de índice 1 es idéntica a los operadores orto y expand de Conway: expand también se denomina cantelación y expansión . Nótese que o y e tienen sus propias formas indexadas, descritas a continuación. También tenga en cuenta que algunas implementaciones comienzan la indexación en 0 en lugar de 1. [ 4 ]
Goldberg-Coxeter
Los operadores de Goldberg-Coxeter (GC) de Conway son dos familias infinitas de operadores que son una extensión de la construcción de Goldberg-Coxeter . [ 17 ] [ 18 ] La construcción GC puede pensarse como tomar una sección triangular de una red triangular, o una sección cuadrada de una red cuadrada, y colocarla sobre cada cara del poliedro. Esta construcción puede extenderse a cualquier cara identificando las cámaras del triángulo o cuadrado (el "polígono maestro"). [ 7 ] Los operadores de la familia triangular pueden usarse para producir los poliedros de Goldberg y los poliedros geodésicos : véase la Lista de poliedros geodésicos y poliedros de Goldberg para las fórmulas.
Las dos familias son la familia GC triangular, c a,b y u a,b , y la familia GC cuadrilátera, e a,b y o a,b . Ambas familias GC están indexadas por dos números enteros.yPoseen muchas cualidades agradables:
- Los índices de las familias guardan relación con ciertos dominios euclidianos sobre los números complejos: los enteros de Eisenstein para la familia GC triangular y los enteros gaussianos para la familia GC cuadrilátera.
- Los operadores en las columnas x y dxd dentro de la misma familia conmutan entre sí.
Los operadores se dividen en tres clases (los ejemplos están escritos en términos de c , pero se aplican a los 4 operadores):
- Clase I : . Aquiral, conserva los bordes originales. Se puede escribir con el índice cero suprimido, por ejemplo c a ,0 = c a .
- Clase II: . También aquiral. Se puede descomponer como c a,a = c a c 1,1
- Clase III: Todos los demás operadores. Estos son quirales, y c a,b y c b,a son pares quirales entre sí.
De las operaciones originales de Conway, las únicas que no pertenecen a la familia GC son g y s (giroscopio y snub). Meta y bevel ( m y b ) se pueden expresar en términos de un operador de la familia triangular y otro de la familia cuadrilátera.
Triangular
Según la teoría básica de números, para cualquier valor de a y b ,.
Cuadrilátero
Ejemplos
Sólidos arquimedianos y catalanes
El conjunto original de operadores de Conway permite crear todos los sólidos arquimedianos y catalanes , utilizando los sólidos platónicos como base. (Cabe destacar que el operador r no es necesario para crear ambas formas quirales).
- Arquímedes

Cuboctaedro aC = aO = eT
Octaedro truncado tO = bT
Rombicúboctaedro eC = eO
cuboctaedro truncado bC = bO
cubo truncado sC = sO
icosidodecaedro aD = aI


icosidodecaedro truncado bD = bI
dodecaedro truncado sD = sI
- catalán

Dodecaedro rómbico jC = jO = oT
Hexaedro tetrakis kC = mT
icositetraedro deltoidal oC = oO
Dodecaedro de Disdyakis mC = mO
Icositetraedro pentagonal gC = gO
Triacontaedro rómbico jD = jI

Hexcontaedro deltoidal oD = oI
Triacontaedro de Disdyakis mD = mI
Hexecontaedro pentagonal gD = gI
Operadores compuestos
El icosaedro truncado , tI , puede usarse como semilla para crear poliedros visualmente más agradables, aunque estos no son transitivos ni en vértices ni en caras .
yo
enI
ttI
ztI = ttD
y yo
pero yo
stI
- Duales
dtI = nI = kD
jtI
ntI = kkD
ktI
otI
mtI
gtI
En el avión
Cada uno de los teselados uniformes convexos y sus duales se pueden crear aplicando operadores de Conway a los teselados regulares Q , H y Δ .
Teselado cuadrado Q = dQ = aQ = eQ = jQ = oQ
Teselado cuadrado truncado tQ = bQ
Teselado cuadrado de Tetrakis kQ = mQ

Mosaico hexagonal H = dΔ = tΔ
Teselado trihexagonal aH = aΔ
Teselado rombitrihexagonal eH = eΔ
Teselado trihexagonal truncado bH = bΔ
Teselado trihexagonal truncado sH = sΔ
Teselado triangular Δ = dH = kH
Teselado de rombos jΔ = jH
Teselado trihexagonal deltoidal oΔ = oH
Teselado de kisrómbille mΔ = mH
Mosaico pentagonal de florete gΔ = gH
En un toroide
Los operadores de Conway también se pueden aplicar a poliedros toroidales y poliedros con múltiples agujeros.
Un toro cuadrado regular de 1x1, {4,4} 1,0
Un toro cuadrado regular de 4x4, {4,4} 4,0
tQ24×12 proyectado al toro
taQ24×12 proyectado al toro
actQ24×8 proyectado al toro
tH24×12 proyectado al toro
taH24×8 proyectado al toro
kH24×12 proyectado al toro
Véase también
Referencias
- ↑ Conway, John ; Burgiel, Heidi; Goodman-Strauss, Chaim (2008). «Capítulo 21: Nomenclatura de poliedros y teselaciones arquimedianas y catalanas». Las simetrías de las cosas . AK Peters. pág. 288. ISBN 978-1-56881-220-5.
- ↑ Weisstein, Eric W. "Notación de poliedros de Conway" . MathWorld .
- 1 2 George W. Hart (1998). "Notación de Conway para poliedros" . Poliedros virtuales .
- 1 2 3 4 5 Adrian Rossiter. "conway - Transformaciones de la notación de Conway" . Software de modelado de poliedros antiprisma .
- ↑ Anselmo Levskaya. "polihedronisme" .
- 1 2 Hart, George (1998). "Notación de Conway para poliedros" . Poliedros virtuales .(Véase la cuarta fila de la tabla, "a = ambo".)
- 1 2 3 Brinkmann, G.; Goetschalckx, P.; Schein, S. (2017). "Goldberg, Fuller, Caspar, Klug y Coxeter y un enfoque general para operaciones locales que preservan la simetría". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences . 473 (2206) 20170267. arXiv : 1705.02848 . Bibcode : 2017RSPSA.47370267B . doi : 10.1098/rspa.2017.0267 . S2CID 119171258 .
- 1 2 Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (2020-04-12). "Generación de operaciones locales que preservan la simetría". arXiv : 1908.11622 [ math.CO ].
- ↑ Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (2020-04-11). "Operaciones locales que preservan la simetría y la orientación en poliedros". arXiv : 2004.05501 [ math.CO ].
- ↑ Van den Camp, Heidi; McKay, Brendan (2024). "Generación de cuadrangulaciones planas y operaciones que preservan la simetría en mapas". Matemáticas discretas e informática teórica . 26 (3).
- ↑ Weisstein, Eric W. "Rectificación" . MathWorld .
- ↑ Weisstein, Eric W. "Acumulación" . MathWorld .
- ↑ Weisstein, Eric W. "Truncación" . MathWorld .
- ↑ "Antiprisma - Problema de quiralidad en Conway" .
- ↑ Livio Zefiro (2008). "Generación de un icosaedro por la intersección de cinco tetraedros: características geométricas y cristalográficas de los poliedros intermedios" . Vismath .
- ↑ George W. Hart (agosto de 2000). Escultura basada en poliedros propulsados . Actas de MOSAIC 2000. Seattle, WA. págs. 61–70 .
- ↑ Deza, M. ; Dutour, M (2004). "Construcciones de Goldberg-Coxeter para grafos planos de 3 y 4 valencias" . The Electronic Journal of Combinatorics . 11 : #R20. doi : 10.37236/1773 .
- ↑ Deza, M.-M.; Sikirić, MD; Shtogrin, MI (2015). «Construcción y parametrización de Goldberg-Coxeter» . Estructura geométrica de grafos relevantes para la química: zigzags y circuitos centrales . Springer. págs. 131-148 . ISBN 978-81-322-2449-5.
Enlaces externos
- polyHédronisme : genera poliedros en un lienzo HTML5, tomando como entrada la notación de Conway.
- Geometría elemental
- Poliedros
- Notación matemática
- John Horton Conway