Conway y Hart extendieron la idea de usar operadores, como el truncamiento según lo definido 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 una serie, estos operadores permiten generar muchos poliedros de orden superior. Conway definió los operadores a (ambo), b ( bisel ), d ( dual ), e (expandir), g (giro), j (unir), k (kis), m (meta), o (orto), s ( desviación ) y t ( truncar ), mientras que Hart agregó 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 de Arquímedes y de Catalan a partir de los sólidos platónicos . Algunas operaciones básicas pueden realizarse como compuestos de otras: por ejemplo, ambón aplicado dos veces es la operación de expansión ( aa = e ), mientras que un truncamiento después de ambón produce bisel ( ta = b ).
Los poliedros pueden estudiarse topológicamente, en términos de cómo se conectan entre sí sus vértices, aristas y caras, o geométricamente, en términos de la ubicación de esos elementos en el espacio. Diferentes implementaciones de estos operadores pueden crear poliedros que sean geométricamente diferentes 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. A menos que se especifique lo contrario, en este artículo (y en la literatura sobre operadores de Conway en general) la topología es la preocupación principal. Los poliedros con género 0 (es decir, topológicamente equivalentes a una esfera) a menudo se ponen 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 ambón , [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, y también lo es 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 grupo, los operadores aquirales corresponden a grupos diedros 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 reflexiva de los grupos diedros. Los operadores aquirales y quirales también se denominan operaciones de preservación de la simetría local (LSP) y operaciones locales que preservan las simetrías de preservación de la orientación (LOPSP), respectivamente. [7] [8] [9]
Las LSP deben entenderse como operaciones locales que preservan la simetría, no 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.
Dominios fundamentales de caras con lados
3 (triángulo)
4 (Cuadrado)
5 (Pentágono)
6 (Hexágono)
Los dominios fundamentales para los grupos de poliedros. Los grupos son para poliedros aquirales y para poliedros quirales.
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 preserva la orientación: la invierte, intercambiando las cámaras blanca y roja. r no tiene efecto sobre 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 además 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
incógnita
xd
Dx
Disculpa
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), y son 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 los dos operadores. 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 llama tasa de inflación o factor de arista. [7]
Dos operadores duales se cancelan; dd = S , y el cuadrado de es la matriz identidad . Cuando se aplica 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 de dual), dx (dual de operador) y dxd (conjugado de operador). En este artículo, solo se da la matriz para x , ya que las otras son reflexiones simples.
Número de operadores
El número de LSP para cada tasa de inflación es comenzando con la tasa de inflación 1. Sin embargo, no todos los LSP necesariamente producen un poliedro cuyas aristas y vértices forman un grafo 3-conectado y, como consecuencia del teorema de Steinitz, no necesariamente producen un poliedro convexo a partir de una semilla convexa. El número de LSP 3-conectados para cada tasa de inflación es . [8]
Operaciones originales
Estrictamente, semilla ( S ), aguja ( n ) y cremallera ( z ) no fueron incluidas por Conway, pero están relacionadas con las operaciones originales de Conway por dualidad, por lo que se incluyen aquí.
A partir de aquí, las operaciones se visualizan en las semillas del cubo, dibujadas en la superficie de ese cubo. Las caras azules cruzan los bordes de la semilla y las caras rosas se encuentran sobre los vértices de la semilla. Existe cierta flexibilidad en la ubicación exacta de los vértices, especialmente con los operadores quirales.
Operadores originales de Conway
Factor de borde
Matriz
incógnita
xd
Dx
Disculpa
Notas
1
Semilla : S
Doble : d
Semilla : dd = S
Dual reemplaza cada cara con un vértice y cada vértice con una cara.
2
Únete : j
Ambón : un
La unión crea caras cuadriláteras. Ambo crea vértices de grado 4 y también se denomina rectificación o gráfico medial en la teoría de grafos. [10]
3
Beso : k
Aguja : n
Código postal : z
Truncar : t
Kis levanta una pirámide en cada cara, y también se llama akización, Kleetope , acumulación, [11] acreción o aumento de pirámide . Truncar corta el poliedro en sus vértices pero deja una porción de las aristas originales. [12] Zip también se llama bitruncación .
4
Orto : o = jj
Expandir : e = aa
5
Giroscopio : g
Dios = rgr
sd = rsr
Desaire : s
Operadores quirales. Véase Snub (geometría) . Al contrario de Hart, [3] gd no es lo mismo que g : es su par quiral. [13]
Se trata de operaciones creadas a partir del conjunto original de Conway. Nótese que existen muchas más operaciones de las que se han nombrado; el hecho de que una operación no esté aquí no significa que no exista (o que no sea una LSP o una LOPSP). Para simplificar, en esta lista solo se incluyen operadores irreducibles: se pueden crear otros componiendo operadores juntos.
Operadores quirales. El operador de hélice fue desarrollado por George Hart. [15]
5
Desván : l
El último
DL
DLD (desordenado)
6
Quinto : q
día de verano
de
DQD
6
Unión de cordones : L 0
L 0 día
0 l
dL 0 días
Vea a continuación la explicación de la notación de unión.
7
Encaje : L
Señor
El L
LD
7
Estaca : K
Kd
es
dKd
7
Remolino : w
ancho de banda = dv
vd = dw
Voluta : v
Operadores quirales.
8
Únete-kis-kis :
A veces se denomina J . [4] Véase más abajo una explicación de la notación de unión. La forma sin unión, kk , no es irreducible.
10
Cruz : X
Xd
dX
dXd
Operaciones extendidas indexadas
Se pueden agrupar varios operadores según algunos criterios o modificar su comportamiento mediante un índice. [4] Estos se escriben como un operador con un subíndice: x n .
Aumento
Las operaciones de aumento conservan los bordes originales. Pueden aplicarse a cualquier subconjunto independiente de caras o pueden convertirse en una forma de unión eliminando los bordes originales. La notación de Conway admite un índice opcional para estos operadores: 0 para la forma de unión o 3 o más para la cantidad de lados que tienen las caras afectadas. Por ejemplo, k 4 Y 4 =O: si se toma una pirámide de base cuadrada y se pega otra pirámide a la base cuadrada, 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 un 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 achaflanado , 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 lofteado, lC es lo mismo que t 4 kC . Un quintododecaedro, 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 es la cantidad de vértices o caras que se agregan a lo largo de los bordes. Meta (en su forma no indexada) también se llama cantitruncation u omnitruncation . Tenga en cuenta que 0 aquí no significa lo mismo que para las operaciones de aumento: significa que se agregan cero vértices (o caras) a lo largo de los bordes. [4]
Operadores de meta/bisel
norte
Factor de borde
Matriz
incógnita
xd
Dx
Disculpa
0
3
k = m0
norte
z = b0
a
1
6
m = m1 = kj
b = b 1 = ta
2
9
metros cuadrados
metros cuadrados
el segundo 2
b2d
3
12
metros 3
m3d
B3
b 3 d
norte
3 y +3
m -n
hombre y mujer
bn
b y d
Medio
Medial es como 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 . Tenga en cuenta que o y e tienen sus propias formas indexadas, que se describen a continuación. Tenga en cuenta también que algunas implementaciones comienzan la indexación en 0 en lugar de 1. [4]
Operadores mediales
norte
Factor de borde
Matriz
incógnita
xd
Dx
Disculpa
1
4
M 1 = o = jj
y = aa
2
7
Medial : M = M 2
Maryland
dM
dMd
norte
3n + 1
M y
M y d
dMn
dM y d
Goldberg-Coxeter
Los operadores de Conway de Goldberg-Coxeter (GC) son dos familias infinitas de operadores que son una extensión de la construcción de Goldberg-Coxeter . [16] [17] La construcción GC puede considerarse 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 se pueden utilizar para producir los poliedros de Goldberg y los poliedros geodésicos : consulte la Lista de poliedros geodésicos y poliedros de Goldberg para obtener 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 y . Poseen muchas cualidades interesantes:
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 las aristas originales. Puede escribirse con el índice cero suprimido, p. ej. 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. Éstos 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 (gyro y snub). Meta y bevel ( m y b ) se pueden expresar en términos de un operador de la familia triangular y uno de la familia cuadrilátera.
Triangular
Operadores triangulares Goldberg-Coxeter
a
b
Clase
Factor de borde T = a 2 + ab + b 2
Matriz
Triángulo maestro
incógnita
xd
Dx
Disculpa
1
0
I
1
u1 = S
d
c1 = S
2
0
I
4
u 2 = u
corriente continua
tú
c2 = c
3
0
I
9
u3 = nn
en blanco
eso
c3 = zz
4
0
I
16
u 4 = uu
UUD = DCC
duu = ccd
c 4 = cc
5
0
I
25
tú 5
u 5 d = dc 5
tú 5 = c 5 d
c 5
6
0
I
36
u 6 = unn
Desconocido
CZT
u 6 = czz
7
0
I
49
u 7 = u 2,1 u 1,2 = vrv
vrvd = dwrw
dvrv = wrwd
c 7 = c 2,1 c 1,2 = wrw
8
0
I
64
tu 8 = tu 3
u 3 d = dc 3
tú 3 = c 3 d
c8 = c3
9
0
I
81
u9 = n4
n 3 k = kz 3
tn3 = z3t
c9 = z4
1
1
II
3
u 1,1 = n
a
a
c 1,1 = z
2
1
III
7
v = u 2,1
vd = dw
dv = ancho de banda
w = c 2,1
3
1
III
13
tú 3,1
u 3,1 d = dc 3,1
tú 3,1 = c 3,1 d
c3,1
3
2
III
19
tú 3,2
u 3,2 d = cc 3,2
de 3,2 = c 3,2 d
c3,2
4
3
III
37
tú 4,3
u 4,3 d = cc 4,3
de 4,3 = c 4,3 d
c 4,3
5
4
III
61
tú 5,4
u 5,4 d = cc 5,4
de 5,4 = c 5,4 d
c 5,4
6
5
III
91
u 6,5 = u 1,2 u 1,3
u 6,5 d = dc 6,5
de 6,5 = c 6,5 d
6,5 = 1,2 1,3
7
6
III
127
tú 7,6
u 7,6 d = dc 7,6
de 7,6 = c 7,6 d
c 7,6
8
7
III
169
u8,7 = u3,12
u 8,7 d = dc 8,7
de 8,7 = c 8,7 d
8,7 = 3,12
9
8
III
217
u 9,8 = u 2,1 u 5,1
u 9,8 d = dc 9,8
de 9,8 = c 9,8 d
9,8 = 2,1 5,1
Yo, II o III
...
tu a,b
u a,b d = dc a,b
de a,b = c a,b d
taxi
Yo o III
...
tu a,b
u a,b d = dc a,b
de a,b = c a,b d
taxi
Según la teoría básica de números, para cualquier valor de a y b , .
Cuadrilátero
Operadores cuadriláteros de Goldberg-Coxeter
a
b
Clase
Factor de borde T = a 2 + b 2
Matriz
Cuadrado maestro
incógnita
xd
Dx
Disculpa
1
0
I
1
o 1 = S
y 1 = d
o1 = dd = S
2
0
I
4
o2 = o = j2
e2 = e = a2
3
0
I
9
el 3
y 3
el 3
4
0
I
16
o 4 = oo = j 4
e 4 = ee = a 4
5
0
I
25
o 5 = o 2,1 o 1,2 = prp
y 5 = y 2,1 y 1,2
o 5 = dprpd
6
0
I
36
o6 = o2 o3
y6 = y2 y3
7
0
I
49
el 7
y 7
el 7
8
0
I
64
o 8 = o 3 = j 6
y 8 = y 3 = a 6
9
0
I
81
o 9 = o 3 2
y 9 = y 3 2
el 9
10
0
I
100
o 10 = o 2,1 o 1,2
y 10 = ee 2,1 y 1,2
1
1
II
2
o 1,1 = j
y 1,1 = a
2
2
II
8
o 2,2 = j 3
y 2,2 = a 3
1
2
III
5
o 1,2 = p
y 1,2 = dp = pd
pag
Yo, II o III
T incluso
...
o a,b
y a,b
Yo o III
T impar
...
o a,b
y a,b
o a,b
Ejemplos
Sólidos arquimedianos y catalanes
El conjunto original de operadores de Conway permite crear todos los sólidos de Arquímedes y los sólidos de Catalan , utilizando los sólidos platónicos como semillas. (Tenga en cuenta que el operador r no es necesario para crear ambas formas quirales).
^ ab George W. Hart (1998). "Notación de Conway para poliedros". Poliedros virtuales .
^ abcde Adrian Rossiter. "conway - Transformaciones de notación de Conway". Software de modelado de poliedros antiprismáticos .
^ Anselmo Levskaya. "polihedronismo".
^ ab Hart, George (1998). "Notación de Conway para poliedros". Poliedros virtuales .(Ver cuarta fila de la tabla, "a = ambo".)
^ abc Brinkmann, G.; Goetschalckx, P.; Schein, S. (2017). "Goldberg, Fuller, Caspar, Klug y Coxeter y un enfoque general para operaciones locales de preservación de la simetría". Actas de la Royal Society A: Ciencias Matemáticas, Físicas e Ingeniería . 473 (2206): 20170267. arXiv : 1705.02848 . Código Bibliográfico :2017RSPSA.47370267B. doi :10.1098/rspa.2017.0267. S2CID 119171258.
^ ab Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (12 de abril de 2020). "Generación de operaciones locales que preservan la simetría". arXiv : 1908.11622 [math.CO].
^ Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (11 de abril de 2020). "Operaciones de preservación de la orientación local que preservan la simetría en poliedros". arXiv : 2004.05501 [math.CO].
^ "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. pp. 61–70.
^ Deza, M. ; Dutour, M (2004). "Construcciones de Goldberg–Coxeter para grafos planos 3-y 4-valentes". 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. ISBN9788132224495.
Enlaces externos
poliedrónico: genera poliedros en el lienzo HTML5, tomando la notación Conway como entrada