Notación de poliedros de Conway

En geometría, la notación de poliedros de Conway, inventada por John Horton Conway y promovida por George W. Hart, se usa para describir poliedros basándose en un poliedro semilla modificado mediante distintas operaciones prefijadas.^[1]^[2]

Conway y Hart ampliaron la idea de utilizar operadores, como el truncamiento definido por Johannes Kepler, para construir poliedros relacionados con 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 más simple, la conjugación intercambia elementos vértices y caras para obterner figuras duales; por ejemplo, el dual de un cubo 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$ (giro), $j$ (unir), $k$ (kis), $m$ (meta), $o$ (orto), $s$ (achatar) y $t$ (truncar), mientras que Hart agregó $r$ (reflejar) y $p$ (hélice).^[3] En versiones posteriores se 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 los sólidos de Catalan a partir de los sólidos platónicos. Algunas operaciones básicas se pueden realizar como compuestos de otras: por ejemplo, el ambo aplicado dos veces es la operación de expansión ( $aa = e$ ), mientras que un truncamiento después del ambo produce un bisel ( $ta = b$ ).

Los poliedros se pueden estudiar 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 formas de estos operadores pueden generar poliedros que son geométricamente diferentes pero topológicamente equivalentes. Estos poliedros topológicamente equivalentes se pueden considerar como uno de los muchos grafos poliédricos embebidos en la esfera. A menos que se especifique lo contrario, en este artículo (y en la literatura sobre los operadores de Conway en general) la topología fija el criterio principal. Los poliedros con genus 0 (es decir, topológicamente equivalentes a una esfera) a menudo se colocan en forma canónica para evitar ambigüedades.

Operadores

En la notación de Conway, los operadores sobre poliedros se aplican como funciones, de derecha a izquierda. Por ejemplo, un cuboctaedro es el ambo de un cubo,^[6] es decir, $1=a(C)=aC$ , y un cuboctaedro truncado se representa como $1=t(a(C))=t(aC)=taC$ . La aplicación repetida de un operador se puede denotar con un exponente: j² = o. En general, los operadores de Conway no son conmutativos.

Los operadores individuales se pueden visualizar en términos de dominios fundamentales (o recintos), como se muestra a continuación. Cada triángulo rectángulo es un dominio fundamental. Cada recinto blanco es una versión rotada de los demás, al igual que cada recinto de color. Para los operadores quirales, los recintos de colores son un reflejo de los recintos blancos y todos son transitivos. En términos de grupo, los operadores aquirales corresponden a los grupos diédricos $D n$ donde n es el número de aristas 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 diédricos. Los operadores aquiral y quiral también se denominan operaciones locales que preservan la simetría (LSP) y operaciones locales que preservan las simetrías y que preservan la orientación (LOPSP), respectivamente.^[7]^[8]^[9]

Los 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 en un sentido geométrico: los ángulos exactos y las longitudes de los bordes pueden diferir.

Dominios fundamentales de caras con $n$ aristas
3 (Triángulo)	4 (Cuadrado)	5 (Pentágono)	6 (Hexágono)

Dominios fundamentales de los grupos poliédricos. Los grupos son $D_{3},D_{4},D_{5},D_{6}$ para poliedros aquirales y $C_{3},C_{4},C_{5},C_{6}$ 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 conserva la orientación: la invierte, intercambiando recintos blancos y rojos. r no tiene ningún efecto sobre los poliedros aquirales aparte de la orientación, y rr = S devuelve el poliedro original. Se puede utilizar 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

x	${\begin{bmatrix}a&b&c\\0&d&0\\a'&b'&c'\end{bmatrix}}=\mathbf {M} _{x}$
xd	${\begin{bmatrix}c&b&a\\0&d&0\\c'&b'&a'\end{bmatrix}}=\mathbf {M} _{x}\mathbf {M} _{d}$
dx	${\begin{bmatrix}a'&b'&c'\\0&d&0\\a&b&c\end{bmatrix}}=\mathbf {M} _{d}\mathbf {M} _{x}$
dxd	${\begin{bmatrix}c'&b'&a'\\0&d&0\\c&b&a\end{bmatrix}}=\mathbf {M} _{d}\mathbf {M} _{x}\mathbf {M} _{d}$

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 $\mathbf {M} _{x}$ . Cuando x es el operador, $v,e,f$ son los vértices, aristas y caras de la semilla (respectivamente), y $v',e',f'$ son los vértices, aristas y caras del resultado, entonces

\mathbf {M} _{x}{\begin{bmatrix}v\\e\\f\end{bmatrix}}={\begin{bmatrix}v'\\e'\\f'\end{bmatrix}}

.

La matriz de 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 recuento de aristas del resultado es un múltiplo entero d del de la semilla: esto se denomina tasa de inflación o factor de arista.^[7]

Los operadores más simples, la función identidad S y el operador dual d, tienen formas matriciales simples:

\mathbf {M} _{S}={\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}=\mathbf {I} _{3}

,

\mathbf {M} _{d}={\begin{bmatrix}0&0&1\\0&1&0\\1&0&0\end{bmatrix}}

Dos operadores duales se cancelan; dd = S, y el cuadrado de $\mathbf {M} _{d}$ 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 (un operador de una dualidad), dx (la dualidad de un operador) y dxd (la dualidad de un operador de una dualidad). En este artículo, solo se da la matriz para x, ya que las demás son simples reflexiones.

Números de los operadores

El número de LSPs para cada tasa de inflación es $2,2,4,6,6,20,28,58,82,\cdots$ a partir de 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 conexo y, como consecuencia del teorema de Steinitz, no necesariamente producen un poliedro convexo a partir de una semilla convexa. El número de LSP de elementos 3-conexos para cada tasa de inflación es $2,2,4,6,4,20,20,54,64,\cdots$ .^[8]

Operadores originales

Estrictamente, Conway no incluyó los operadores semilla ("seed" S), aguja ("niddle" n) y cremallera ("zip" z), aunque están relacionados con las operaciones originales de Conway por dualidad, motivo por el que se incluyen en este artículo.

A partir de aquí, las operaciones se visualizan en semillas de cubo, y se dibujan en la superficie de ese cubo. Las caras azules cruzan los bordes de la semilla y las caras rosadas se encuentran sobre los vértices de la semilla. Existe cierta flexibilidad en la ubicación exacta de los vértices, especialmente con operadores quirales.

Operadores de Conway originales
Factor de arista	Matriz $\mathbf {M} _{x}$	x	xd	dx	dxd	Notas
1	${\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}$	Seed: S	dual: d		Seed: dd = S	El operador dual reemplaza cada cara por un vértice y cada vértice por una cara. El politopo original se denomina Seed (semilla). El dual del dual es el politopo original.
2	${\begin{bmatrix}1&0&1\\0&2&0\\0&1&0\end{bmatrix}}$	join ("unir"): j		ambo ("rectificar"): a		Unir ("join") crea caras cuadriláteras. La operación "ambo" crea vértices de grado 4, y también se llama rectificación, o el gráfico medial en la teoría de grafos.^[10]
3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$	kis ("n-plicado"): k	needle ("aguja"): n	zip ("cremallera"): z	truncado: t	Kis levanta una pirámide en cada cara, y también se le llama akización, kleetopo, acumulación,^[11] acreción o aumento piramidal. El truncado corta el poliedro en sus vértices pero deja una porción de los bordes originales.^[12] El operador Zip también se denomina bitruncamiento.
4	${\begin{bmatrix}1&1&1\\0&4&0\\0&2&0\end{bmatrix}}$	orto: o = jj		expansión: e = aa
5	${\begin{bmatrix}1&2&1\\0&5&0\\0&2&0\end{bmatrix}}$	gyro ("giro"): g	gd = rgr	sd = rsr	snub ("romo"): s	Operadores quirales. Véase achatado. Al contrario de lo que establece Hart,^[3] gd no es lo mismo que g: es su par quiral.^[13]
6	${\begin{bmatrix}1&1&1\\0&6&0\\0&4&0\end{bmatrix}}$	meta: m = kj		bevel ("bisel"): b = ta

Semillas

Cualquier poliedro puede servir como semilla, siempre que sobre él se puedan ejecutar las operaciones. 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, Icosaedro, Dodecaedro); los prismas (P_n) para formas n-gonales; antiprismas (A_n); cupulas (U_n); anticúpulas (V_n); y pyrámide (Y_n). Cualquier sólido de Johnson puede referenciarse como J_n, para n=1,...,92.

Los cinco sólidos platónicos se pueden generar a partir de generadores prismáticos con entre cero y dos operadores:^[14]

Pirámide triangular: Y₃ (un tetraedro es una pirámide especial)
- T = Y₃
- O = aT (ambotetraedro)
- C = jT (tetraedro unido)
- I = sT (tetraedro achatado)
- D = gT (girotetraedro)

Antiprisma triangular: A₃ (un octaedro es un antiprisma especial)
- O = A₃
- C = dA₃
Prisma cuadrado: P₄ (un cubo es un prisma especial)
- C = P₄

Antiprisma pentagonal: A₅
- I = k₅A₅ (una bipirámide giroelongada especial)
- D = t₅dA₅ (un trapezoedro truncado especial)

Las teselaciones euclídeas regulares también se pueden usar como semillas:

Q = Cuadrilla = Teselado cuadrado
H = Hextilla = Teselado hexagonal = dΔ
Δ = Deltilla = Teselado triangular = dH

Operadores extendidos

Estas son operaciones creadas después del conjunto original de Conway. Téngase en cuenta que existen muchos más operadores de los que se han nombrado. El hecho de que un operador no esté aquí no significa que no exista (o que no sea un LSP o LOPSP). Para simplificar, solo se han incluido los operadores irreducibles en esta lista: se pueden crear más componiendo otros operadores.

Operadores extendidos irreducibles
Factor de arista	Matriz $\mathbf {M} _{x}$	x	xd	dx	dxd	Notas
4	${\begin{bmatrix}1&2&0\\0&4&0\\0&1&1\end{bmatrix}}$	chaflán: c	cd= du	dc= ud	subdivisión: u	Chaflán es la forma conjunta de l ("desván"). Véase chaflán.
5	${\begin{bmatrix}1&2&0\\0&5&0\\0&2&1\end{bmatrix}}$	propeller ("hélice"): p	dp= pd		dpd= p	Operadores quirales. El operador propeller ("hélice") fue desarrollado por George Hart.^[15]
5	${\begin{bmatrix}1&2&0\\0&5&0\\0&2&1\end{bmatrix}}$	loft: ("desván") l	ld	dl	dld
6	${\begin{bmatrix}1&3&0\\0&6&0\\0&2&1\end{bmatrix}}$	quinto: q	qd	dq	dqd
6	${\begin{bmatrix}1&2&0\\0&6&0\\0&3&1\end{bmatrix}}$	join-Lace: ("encaje") L₀	L₀d	dL₀	dL₀d	Consúltese la explicación de la notación de combinación que figura a continuación.
7	${\begin{bmatrix}1&2&0\\0&7&0\\0&4&1\end{bmatrix}}$	Lace: (cordón) L	Ld	dL	dLd
7	${\begin{bmatrix}1&2&1\\0&7&0\\0&4&0\end{bmatrix}}$	staKe: ("poste") K	Kd	dK	dKd
7	${\begin{bmatrix}1&4&0\\0&7&0\\0&2&1\end{bmatrix}}$	whirl: ("remolino") w	wd= dv	vd= dw	volute: ("voluta") v	Operadores quirales
8	${\begin{bmatrix}1&2&1\\0&8&0\\0&5&0\end{bmatrix}}$	Join-kis-kis: ("unión-nplicado-nplicado")				En ocasiones denotado^[4] como J. Consúltese la explicación de la notación de combinación que figura a continuación. La forma de no unión, kk, no es irreducible.
10	${\begin{bmatrix}1&3&1\\0&10&0\\0&6&0\end{bmatrix}}$	cross: ("cruz") X	Xd	dX	dXd

Operadores extendidos indexados

Se pueden agrupar varios operadores según algún criterio determinado, o bien se puede modificar su comportamiento mediante un índice.^[4] Se escriben como un operador con un subíndice: x_n.

Aumentado

Las operaciones de aumentado 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 más por las aristas que tienen las caras afectadas. Por ejemplo, k₄Y₄=O: tomando una pirámide de base cuadrada y pegando otra pirámide a la base cuadrada se obtiene un octaedro.

Operador	k	l	L	K	(kk)
x
x₀	$k_{0}=j$	$l_{0}=c$	$L_{0}$	$K_{0}=jk$	$1=(kk)_{0}$
Aumentado	Pirámide	Prisma	Antiprisma

El operador truncado t también tiene una forma de índice t_n, lo que indica que solo se truncan los vértices de cierto grado. Es equivalente a dk_nd.

Algunos de los operadores extendidos se pueden crear en casos especiales con los operadores k_n y t_n. Por ejemplo, un cubo achaflanado, cC, se puede construir como t₄daC, como un rombododecaedro, daC o jC, con sus vértices de grado 4 truncado. Un cubo alabeado, lC es lo mismo que t₄kC. Un quinto-dodecaedro, qD se puede construir como t₅daaD o t₅deD o t₅oD, un hexecontaedro deltoidal, deD o oD, con sus vértices de grado 5 truncados.

Meta/bisel

El operador meta agrega vértices en el centro y en los bordes, mientras que el operador bevel ("bisel") agrega caras en el centro, en los vértices de la semilla y en las aristas. Su índice indica cuántos vértices o caras se agregan en las aristas. Meta (en su forma no indexada) también se llama omnitruncado o cantitruncado. Téngase en cuenta que 0 aquí no significa lo mismo que para las operaciones de aumento: significa que se agregan cero vértices (o caras) en las aristas.^[4]

Operadores meta/bisel
n	Factor de arista	Matriz $\mathbf {M} _{x}$	x	xd	dx	dxd
0	3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$	k= m₀	n	z= b₀	t
1	6	${\begin{bmatrix}1&1&1\\0&6&0\\0&4&0\end{bmatrix}}$	m= m₁= kj		b= b₁= ta
2	9	${\begin{bmatrix}1&2&1\\0&9&0\\0&6&0\end{bmatrix}}$	m₂	m₂d	b₂	b₂d
3	12	${\begin{bmatrix}1&3&1\\0&12&0\\0&8&0\end{bmatrix}}$	m₃	m₃d	b₃	b₃d
n	3n+3	${\begin{bmatrix}1&n&1\\0&3n+3&0\\0&2n+2&0\end{bmatrix}}$	m_n	m_nd	b_n	b_nd

Medial

El operador medial es como meta, excepto en que no agrega aristas desde el centro a cada vértice de la semilla. La forma del índice 1 es idéntica a los operadores orto y de expansión de Conway: expandir también se denomina canteado y expansión. Téngase en cuenta que o y e tienen sus propias formas indexadas, que se describen a continuación. También debe tenerse en cuenta que en algunas aplicaciones se comienza a indexar en 0 en lugar de en 1.^[4]

Operadores con medial
n	Factor de arista	Matriz $\mathbf {M} _{x}$	x	xd	dx	dxd
1	4	${\begin{bmatrix}1&1&1\\0&4&0\\0&2&0\end{bmatrix}}$	M₁= o= jj		e= aa
2	7	${\begin{bmatrix}1&2&1\\0&7&0\\0&4&0\end{bmatrix}}$	Medial: M= M₂	Md	dM	dMd
n	3n+1	${\begin{bmatrix}1&n&1\\0&3n+1&0\\0&2n&0\end{bmatrix}}$	M_n	M_nd	dM_n	dM_nd

Goldberg-Coxeter

Los operadores de Goldberg-Coxeter (GC) son dos familias infinitas de operadores definidos como una extensión de la construcción de Goldberg-Coxeter.^[16]^[17] Se puede pensar que el operador GC consiste en realizar una trisección angular de una red triangular, o una sección cuadrada de una red cuadrada, colocándola sobre cada cara del poliedro. Esta construcción se puede extender a cualquier cara identificando los recintos del triángulo o cuadrado (el "polígono maestro"). Los operadores^[7] de la familia triangular se pueden utilizar para producir poliedros de Goldberg y poliedros geodésicos: consúltese Anexo:Poliedros geodésicos y poliedros de Goldberg para conocer las fórmulas.

Las dos familias son la familia triangular GC, c_a,b y u_a,b, y la familia cuadrilátera GC, e_a,b y o_a,b. Ambas familias de GC están indexadas por dos números enteros $a\geq 1$ y $b\geq 0$ . Poseen muchas cualidades particulares:

Los índices de las familias tienen relación con determinados dominios euclídeos sobre los números complejos: el entero de Eisenstein para la familia triangular GC, y el entero gaussiano para la familia cuadrilátera GC.
Los operadores en las columnas x y dxd dentro de la misma familia se conmutan entre sí.

Los operadores se dividen en tres clases (los ejemplos se escriben en términos de c pero se aplican a los 4 operadores):

Clase I: . Aquiral, conserva las aristas originales. Se puede escribir con el índice cero suprimido, como por ejemplo c_a,0 = c_a.
Clase II: . También aquiral. Se puede descomponer como c_a,a = c_ac_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 los operadores de Conway originales, los únicos que no pertenecen a la familia GC son g y s (giro y achatado). Meta y bisel (m y b) se pueden expresar en términos de un operador de la familia triangular y uno de la familia cuadrilátera.

Triangulares

Operadores de Goldberg-Coxeter triangulares
a	b	Clase	Factor de arista T= a² + ab + b²	Matriz $\mathbf {M} _{x}$	Triángulo maestro	x	xd	dx	dxd
1	0	I	1	${\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}$		u₁= S	d		c₁= S
2	0	I	4	${\begin{bmatrix}1&1&0\\0&4&0\\0&2&1\end{bmatrix}}$		u₂= u	dc	du	c₂= c
3	0	I	9	${\begin{bmatrix}1&2&1\\0&9&0\\0&6&0\end{bmatrix}}$		u₃= nn	nk	zt	c₃= zz
4	0	I	16	${\begin{bmatrix}1&5&0\\0&16&0\\0&10&1\end{bmatrix}}$		u₄= uu	uud= dcc	duu= ccd	c₄= cc
5	0	I	25	${\begin{bmatrix}1&8&0\\0&25&0\\0&16&1\end{bmatrix}}$		u₅	u₅d= dc₅	du₅= c₅d	c₅
6	0	I	36	${\begin{bmatrix}1&11&1\\0&36&0\\0&24&0\end{bmatrix}}$		u₆= unn	unk	czt	u₆= czz
7	0	I	49	${\begin{bmatrix}1&16&0\\0&49&0\\0&32&1\end{bmatrix}}$		u₇= u_2,1u_1,2= vrv	vrvd= dwrw	dvrv= wrwd	c₇= c_2,1c_1,2= wrw
8	0	I	64	${\begin{bmatrix}1&21&0\\0&64&0\\0&42&1\end{bmatrix}}$		u₈= u³	u³d= dc³	du³= c³d	c₈= c³
9	0	I	81	${\begin{bmatrix}1&26&1\\0&81&0\\0&54&0\end{bmatrix}}$		u₉= n⁴	n³k= kz³	tn³= z³t	c₉= z⁴
1	1	II	3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$		u_1,1= n	k	t	c_1,1= z
2	1	III	7	${\begin{bmatrix}1&2&0\\0&7&0\\0&4&1\end{bmatrix}}$		v= u_2,1	vd= dw	dv= wd	w= c_2,1
3	1	III	13	${\begin{bmatrix}1&4&0\\0&13&0\\0&8&1\end{bmatrix}}$		u_3,1	u_3,1d= dc_3,1	du_3,1= c_3,1d	c_3,1
3	2	III	19	${\begin{bmatrix}1&6&0\\0&19&0\\0&12&1\end{bmatrix}}$		u_3,2	u_3,2d= dc_3,2	du_3,2= c_3,2d	c_3,2
4	3	III	37	${\begin{bmatrix}1&12&0\\0&37&0\\0&24&1\end{bmatrix}}$		u_4,3	u_4,3d= dc_4,3	du_4,3= c_4,3d	c_4,3
5	4	III	61	${\begin{bmatrix}1&20&0\\0&61&0\\0&40&1\end{bmatrix}}$		u_5,4	u_5,4d= dc_5,4	du_5,4= c_5,4d	c_5,4
6	5	III	91	${\begin{bmatrix}1&30&0\\0&91&0\\0&60&1\end{bmatrix}}$		u_6,5= u_1,2u_1,3	u_6,5d= dc_6,5	du_6,5= c_6,5d	c_6,5=c_1,2c_1,3
7	6	III	127	${\begin{bmatrix}1&42&0\\0&127&0\\0&84&1\end{bmatrix}}$		u_7,6	u_7,6d= dc_7,6	du_7,6= c_7,6d	c_7,6
8	7	III	169	${\begin{bmatrix}1&56&0\\0&169&0\\0&112&1\end{bmatrix}}$		u_8,7= u_3,1²	u_8,7d= dc_8,7	du_8,7= c_8,7d	c_8,7= c_3,1²
9	8	III	217	${\begin{bmatrix}1&72&0\\0&217&0\\0&144&1\end{bmatrix}}$		u_9,8= u_2,1u_5,1	u_9,8d= dc_9,8	du_9,8= c_9,8d	c_9,8= c_2,1c_5,1
$a\equiv b$ $\ (\mathrm {mod} \ 3)$		I, II, o III	$T\equiv 0\$ $(\mathrm {mod} \ 3)$	${\begin{bmatrix}1&{\frac {T}{3}}-1&1\\0&T&0\\0&{\frac {2}{3}}T&0\end{bmatrix}}$	...	u_a,b	u_a,bd= dc_a,b	du_a,b= c_a,bd	c_a,b
$a\not \equiv b$ $\ (\mathrm {mod} \ 3)$		I o III	$T\equiv 1$ $\ (\mathrm {mod} \ 3)$	${\begin{bmatrix}1&{\frac {T-1}{3}}&0\\0&T&0\\0&2{\frac {T-1}{3}}&1\end{bmatrix}}$	...	u_a,b	u_a,bd= dc_a,b	du_a,b= c_a,bd	c_a,b

Por teoría básica de números, para cualquier valor de a y b, $T\not \equiv 2\ (\mathrm {mod} \ 3)$ .

Cuadrilátero

Operadores de Goldberg-Coxeter cuadriláteros
a	b	Clase	Factor de arista T= a² + b²	Matriz $\mathbf {M} _{x}$	Cuadrado maestro	x	xd	dx	dxd
1	0	I	1	${\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}$		o₁= S	e₁= d		o₁= dd= S
2	0	I	4	${\begin{bmatrix}1&1&1\\0&4&0\\0&2&0\end{bmatrix}}$		o₂= o= j²		e₂= e= a²
3	0	I	9	${\begin{bmatrix}1&4&0\\0&9&0\\0&4&1\end{bmatrix}}$		o₃	e₃		o₃
4	0	I	16	${\begin{bmatrix}1&7&1\\0&16&0\\0&8&0\end{bmatrix}}$		o₄= oo= j⁴		e₄= ee= a⁴
5	0	I	25	${\begin{bmatrix}1&12&0\\0&25&0\\0&12&1\end{bmatrix}}$		o₅= o_2,1o_1,2= prp	e₅= e_2,1e_1,2		o₅= dprpd
6	0	I	36	${\begin{bmatrix}1&17&1\\0&36&0\\0&18&0\end{bmatrix}}$		o₆= o₂o₃		e₆= e₂e₃
7	0	I	49	${\begin{bmatrix}1&24&0\\0&49&0\\0&24&1\end{bmatrix}}$		o₇	e₇		o₇
8	0	I	64	${\begin{bmatrix}1&31&1\\0&64&0\\0&32&0\end{bmatrix}}$		o₈= o³= j⁶		e₈= e³= a⁶
9	0	I	81	${\begin{bmatrix}1&40&0\\0&81&0\\0&40&1\end{bmatrix}}$		o₉= o₃²	e₉= e₃²		o₉
10	0	I	100	${\begin{bmatrix}1&49&1\\0&100&0\\0&50&0\end{bmatrix}}$		o₁₀= oo_2,1o_1,2		e₁₀= ee_2,1e_1,2
1	1	II	2	${\begin{bmatrix}1&0&1\\0&2&0\\0&1&0\end{bmatrix}}$		o_1,1= j		e_1,1= a
2	2	II	8	${\begin{bmatrix}1&3&1\\0&8&0\\0&4&0\end{bmatrix}}$		o_2,2= j³		e_2,2= a³
1	2	III	5	${\begin{bmatrix}1&2&0\\0&5&0\\0&2&1\end{bmatrix}}$		o_1,2= p	e_1,2= dp= pd		p
$a\equiv b$ $\ (\mathrm {mod} \ 2)$		I, II, o III	T par	${\begin{bmatrix}1&{\frac {T}{2}}-1&1\\0&T&0\\0&{\frac {T}{2}}&0\end{bmatrix}}$	...	o_a,b		e_a,b
$a\not \equiv b$ $\ (\mathrm {mod} \ 2)$		I o III	T impar	${\begin{bmatrix}1&{\frac {T-1}{2}}&0\\0&T&0\\0&{\frac {T-1}{2}}&1\end{bmatrix}}$	...	o_a,b	e_a,b		o_a,b

Ejemplos

Véase también Anexo:Poliedros geodésicos y poliedros de Goldberg.

Sólidos de Arquímedes y sólidos de Catalan

El conjunto original de operadores de Conway puede crear todos los sólidos arquimedianos y los sólidos de Catalan, usando sólidos platónicos como semillas. Debe tenerse en cuenta que el operador r no es necesario para crear ambas formas quirales.

Operadores compuestos

El icosaedro truncado, tI, se puede utilizar como semilla para crear algunos poliedros visualmente más agradables, aunque no son ni isogonales ni isoedrales.

tI
atI
ttI
ztI= ttD
etI
btI
stI

Duales
dtI= nI= kD
jtI
ntI= kkD
ktI
otI
mtI
gtI

En el plano

Cada uno de los teselados uniformes convexos se puede 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
Tetraquis teselado cuadrado
kQ= mQ
Teselado cuadrado achatado
sQ
Teselación de El Cairo
gQ

En un toro

Los operadores de Conway también se pueden aplicar a poliedros toroidales y poliedros con múltiples agujeros.

Toroide cuadrado regular de orden 1x1, {4,4}_1,0
Toroide cuadrado regular de orden 4x4,, {4,4}_4,0
tQ24×12 proyectado sobre un toro
taQ24×12 proyectado sobre un toro
actQ24×8 proyectado sobre un toro
tH24×12 proyectado sobre un toro
taH24×8 proyectado sobre un toro
kH24×12 proyectado sobre un toro

Véase también

Referencias

↑ Conway, John; Burgiel, Heidi; Goodman-Strauss, Chaim (2008). «Chapter 21: Naming Archimedean and Catalan polyhedra and tilings». The Symmetries of Things. AK Peters. p. 288. ISBN 978-1-56881-220-5.
↑ Weisstein, Eric W. «Conway Polyhedron Notation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
↑ ^a ^b George W. Hart (1998). «Conway Notation for Polyhedra». Virtual Polyhedra.
↑ ^a ^b ^c ^d ^e Adrian Rossiter. «conway - Conway Notation transformations». Antiprism Polyhedron Modelling Software.
↑ Anselm Levskaya. «polyHédronisme».
↑ ^a ^b Hart, George (1998). «Conway Notation for Polyhedra». Virtual Polyhedra. (véase la cuarta fila en la tabla, "a=ambo".)
↑ ^a ^b ^c Brinkmann, G.; Goetschalckx, P.; Schein, S. (2017). «Goldberg, Fuller, Caspar, Klug and Coxeter and a general approach to local symmetry-preserving operations». Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2206): 20170267. Bibcode:2017RSPSA.47370267B. S2CID 119171258. arXiv:1705.02848. doi:10.1098/rspa.2017.0267.
↑ ^a ^b Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (2020-04-12). «Generation of Local Symmetry-Preserving Operations». arXiv:1908.11622 [math.CO].
↑ Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (2020-04-11). «Local Orientation-Preserving Symmetry Preserving Operations on Polyhedra». arXiv:2004.05501 [math.CO].
↑ Weisstein, Eric W. «Rectification». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
↑ Weisstein, Eric W. «Cumulation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
↑ Weisstein, Eric W. «Truncation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
↑ «Antiprism - Chirality issue in conway».
↑ Livio Zefiro (2008). «Generation of an icosahedron by the intersection of five tetrahedra: geometrical and crystallographic features of the intermediate polyhedra». Vismath.
↑ George W. Hart (August 2000). Sculpture based on Propellorized Polyhedra. Proceedings of MOSAIC 2000. Seattle, WA. pp. 61-70.
↑ Deza, M.; Dutour, M (2004). «Goldberg–Coxeter constructions for 3-and 4-valent plane graphs». The Electronic Journal of Combinatorics 11: #R20. doi:10.37236/1773.
↑ Deza, M.-M.; Sikirić, M. D.; Shtogrin, M. I. (2015). «Goldberg–Coxeter Construction and Parameterization». Geometric Structure of Chemistry-Relevant Graphs: Zigzags and Central Circuits. Springer. pp. 131-148. ISBN 9788132224495.

Enlaces externos

Wikimedia Commons alberga una galería multimedia sobre Notación de poliedros de Conway.
polyHédronisme: genera poliedros en lienzo HTML5, tomando la notación de Conway como entrada

Datos: Q3890115
Multimedia: Conway polyhedra / Q3890115

[SoT-1] Conway, John; Burgiel, Heidi; Goodman-Strauss, Chaim (2008). «Chapter 21: Naming Archimedean and Catalan polyhedra and tilings». The Symmetries of Things. AK Peters. p. 288. ISBN 978-1-56881-220-5.

[2] Weisstein, Eric W. «Conway Polyhedron Notation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

[Hart-3] George W. Hart (1998). «Conway Notation for Polyhedra». Virtual Polyhedra.

[Antiprism-4] Adrian Rossiter. «conway - Conway Notation transformations». Antiprism Polyhedron Modelling Software.

[Levskaya-5] Anselm Levskaya. «polyHédronisme».

[hart-6] Hart, George (1998). «Conway Notation for Polyhedra». Virtual Polyhedra. (véase la cuarta fila en la tabla, "a=ambo".)

[Brinkmann-7] Brinkmann, G.; Goetschalckx, P.; Schein, S. (2017). «Goldberg, Fuller, Caspar, Klug and Coxeter and a general approach to local symmetry-preserving operations». Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 473 (2206): 20170267. Bibcode:2017RSPSA.47370267B. S2CID 119171258. arXiv:1705.02848. doi:10.1098/rspa.2017.0267.

[lsp-8] Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (2020-04-12). «Generation of Local Symmetry-Preserving Operations». arXiv:1908.11622 [math.CO].

[lopsp-9] Goetschalckx, Pieter; Coolsaet, Kris; Van Cleemput, Nico (2020-04-11). «Local Orientation-Preserving Symmetry Preserving Operations on Polyhedra». arXiv:2004.05501 [math.CO].

[10] Weisstein, Eric W. «Rectification». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

[11] Weisstein, Eric W. «Cumulation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

[12] Weisstein, Eric W. «Truncation». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.

[13] «Antiprism - Chirality issue in conway».

[14] Livio Zefiro (2008). «Generation of an icosahedron by the intersection of five tetrahedra: geometrical and crystallographic features of the intermediate polyhedra». Vismath.

[Hart2000-15] George W. Hart (August 2000). Sculpture based on Propellorized Polyhedra. Proceedings of MOSAIC 2000. Seattle, WA. pp. 61-70.

[Deza2004-16] Deza, M.; Dutour, M (2004). «Goldberg–Coxeter constructions for 3-and 4-valent plane graphs». The Electronic Journal of Combinatorics 11: #R20. doi:10.37236/1773.

[Deza2015-17] Deza, M.-M.; Sikirić, M. D.; Shtogrin, M. I. (2015). «Goldberg–Coxeter Construction and Parameterization». Geometric Structure of Chemistry-Relevant Graphs: Zigzags and Central Circuits. Springer. pp. 131-148. ISBN 9788132224495.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]