Notația Conway a poliedrelor

În geometrie, notația Conway a poliedrelor, inventată de John Horton Conway și promovată de George W. Hart, este utilizată pentru a descrie poliedrele pe baza notației unui poliedru inițial („sămânța”) completată cu diverse prefixe ale operațiilor.^[1]^[2]

Conway și Hart au extins ideea utilizării operatorilor, așa cum trunchierea a fost definită de Kepler, pentru a construi poliedre înrudite cu aceeași simetrie. De exemplu, tC reprezintă un cub trunchiat, iar taC, înțeles ca $t(aC)$ , este (topologic) un cuboctaedru trunchiat. Cel mai simplu operator, dualul, interschimbă elementele vârfuri cu fețe; de exemplu, un cub dual este un octaedru: dC = O. Aplicați consecutiv, acești operatori permit generarea multor poliedre de ordin superior. Conway a definit operatorii abdegjkmost, în timp ce Hart a adăugat r și p.^[3] Implementările ulterioare au introdus și alți operatori, uneori denumiți operatori „extinși”.^[4]^[5] Operatorii Conway de bază sunt suficienți pentru a genera poliedrele arhimedice și cele Catalan din poliedrele platonice. Unele operații de bază pot fi realizate prin compunerea altora: de exemplu, ambo aplicat de două ori este operația de extindere: aa = e, în timp ce o trunchiere după ambo produce bont: ta =b.

Poliedrele pot fi studiate topologic cu privire la modul în care vârfurile, muchiile și fețele lor se conectează între ele, sau geometric cu privire la plasarea acestor elemente în spațiu. Implementări diferite ale acestor operatori pot crea poliedre care sunt geometric diferite, dar topologic echivalente. Aceste poliedre echivalente din punct de vedere topologic pot fi considerate ca fiind unul dintre multele încorporări ale unui graf poliedric pe sferă. Dacă nu se specifică altfel, în acest articol (și în literatura despre operatorii Conway în general) topologia este principala preocupare. Pentru a evita ambiguitatea, poliedrele de gen 0 (adică echivalente topologic cu sfera) sunt adesea puse în formă canonică.

Operatori

În notația Conway, operațiile pe poliedre sunt efectuate ca funcții, de la dreapta la stânga. De exemplu, un cuboctaedru este un cub ambo,^[6] adică $a(C)=aC$ , iar un cuboctaedru trunchiat este $t(a(C))=t(aC)=taC$ . Aplicarea repetată a unui operator poate fi notată cu un exponent: j² = o. În general, operatorii Conway nu sunt comutativi.

Operatorii individuali pot fi vizualizați în termeni de domenii fundamentale (sau camere), ca mai jos. Orice triunghi dreptunghic este un domeniu fundamental. Orice cameră albă este o versiune rotită a celorlalte, la fel și celelalte camere colorate. Pentru operatorii achirali, camerele colorate sunt reflexii ale camerelor albe și toate sunt tranzitive. În termeni de grup, operatorii achirali corespund grupurilor diedrale $D n$ unde n este numărul laturilor unei fețe, în timp ce operatorii chirali corespund grupurilor ciclice $C n$ lipsite de simetria reflexivă a grupurilor diedrale. Operatorii achirali și chirali sunt numiți și operații locale de conservare a simetriei (engleză local symmetry-preserving – LSP), respectiv operații locale care conservă simetriile de conservare a orientării (engleză local operations that preserve orientation-preserving symmetries – LOPSP).^[7]^[8]^[9] LSP-urile ar trebui înțelese ca operații locale care conservă simetria, nu ca operații care conservă simetria locală. Din nou, acestea sunt simetrii într-un sens topologic, nu în sens geometric: unghiurile exacte și lungimile muchiilor pot diferi.

Domenii fundamentale ale fețelor cu $n$ laturi
3 (Triunghi)	4 (Pătrat)	5 (Pentagon)	6 (Hexagon)

Domeniile fundamentale pentru grupurile poliedrelor. Grupurile sunt $D_{3},D_{4},D_{5},D_{6}$ pentru poliedre achirale și $C_{3},C_{4},C_{5},C_{6}$ pentru poliedre chirale.

Hart a introdus operatorul de reflexie r, care generează imaginea în oglindă a poliedrului.^[6] Acesta nu este strict un LOPSP, deoarece nu conservă orientarea: o inversează, interschimbând camerele albe și roșii. r nu are niciun efect asupra poliedrelor achirale, în afară de orientare, iar rr = S revine la sămânță (poliedrul inițial). Pentru a indica cealaltă formă chirală a unui operator se folosește o linie de suprabarare: s = rsr.

O operațiune este ireductibilă dacă nu poate fi exprimată printr-o compunere de operatori, în afară de d și r. Majoritatea operatorilor originali ai Conway sunt ireductibili: excepțiile sunt e, b, o și m.

Reprezentarea 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}$

Relația dintre numărul de vârfuri, muchii și fețe ale poliedrului inițial și a celui creat prin operațiile enumerate în acest articol poate fi exprimată ca o matrice $\mathbf {M} _{x}$ . Când x este operatorul, $v,e,f$ sunt vârfurile, muchiile și fețele poliedrului inițial iar $v',e',f'$ sunt vârfurile, muchiile și fețele poliedrului rezultat, atunci

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

.

Matricea pentru compunerea a doi operatori este chiar produsul matricilor celor doi operatori. Operatori diferiți pot avea aceeași matrice, de exemplu, p și l. Numărul de muchii al rezultatului este un multiplu întreg d al celui inițial: aceasta se numește rata de inflație sau coeficientul muchiilor.^[7]

Cei mai simpli operatori, funcția identitate S și operatorul dual d, au forme simple ale matricilor:

\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}}

Doi operatori duali se anulează reciproc: dd = S, iar pătratul $\mathbf {M} _{d}\,$ este matricea unitate. Atunci când este aplicat altor operatori, operatorul dual corespunde reflexiilor orizontale și verticale ale matricei. Operatorii pot fi grupați în grupuri de patru (sau mai puțini dacă unele forme sunt aceleași) prin identificarea operatorilor x, xd (x dual), dx (dualul lui x), și dxd (conjugatul lui x). În acest articol, este dată doar matricea pentru x, deoarece celelalte sunt simple reflexii.

Numărul operatorilor

Numărul de LSP-uri pentru fiecare rată a inflației este $2,2,4,6,6,20,28,58,82,\cdots$ începând cu rata inflației 1. Totuși, nu toate LSP-urile produc neapărat un poliedru, ale cărui muchii și vârfuri formează un graf 3-conectat și, ca o consecință a teoremei Steinitz, nu produc neapărat un poliedru convex dintr-o sămânță convexă. Numărul de LSP-uri 3-conectate pentru fiecare rată a inflației este $2,2,4,6,4,20,20,54,64,\cdots$ .^[8]

Operații originale

Strict, termenii „sămânță” (engleză Seed – S), nid (engleză needle – n) și zip (z) nu au fost introduși de Conway, dar sunt legați de operațiile Conway originale prin dualitate, așa că sunt tratați aici.

De aici înainte, operațiunile sunt vizualizate pe cubul sămânță, desenate pe suprafața acestui cub. Fețele albastre traversează marginile seminței, iar fețele roz se află deasupra vârfurilor seminței. Există o oarecare flexibilitate în plasarea exactă a vârfurilor, în special în cazul operatorilor chirali.

Operatorii Conway originali
Coeficientul muchiei	Matrice $\mathbf {M} _{x}$	x	xd	dx	dxd	Note
1	${\begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}}$	Sămânță: S	Dual: d		Sămânță: dd = S	Dualul înlocuiește fiecare față cu un vârf și fiecare vârf cu o față.
2	${\begin{bmatrix}1&0&1\\0&2&0\\0&1&0\end{bmatrix}}$	Jonc: j		Ambo: a		Joncțiunea creează fețe patrulatere. Ambo creează vârfuri de gradul 4 și se mai numește rectificare.^[10]
3	${\begin{bmatrix}1&0&1\\0&3&0\\0&2&0\end{bmatrix}}$	Kis: k	Nid: n	Zip: z	Trunchiat: t	Kis ridică o piramidă pe fiecare față.^[11] Trunchierea taie poliedrul la vârfurile sale, dar lasă o porțiune a muchiilor originale.^[12] Zip este numit și bitrunchiere.
4	${\begin{bmatrix}1&1&1\\0&4&0\\0&2&0\end{bmatrix}}$	Orto: o = jj		Expandat: e = aa
5	${\begin{bmatrix}1&2&1\\0&5&0\\0&2&0\end{bmatrix}}$	Giro: g	gd = rgr	sd = rsr	Snub: s	Operatori chirali. Contrar lui Hart,^[3] gd nu este același cu g: este perechea sa chirală.^[13]
6	${\begin{bmatrix}1&1&1\\0&6&0\\0&4&0\end{bmatrix}}$	Meta: m = kj		Bont: b = ta

Semințe

Orice poliedru poate servi ca sămânță, atâta timp cât operațiile pot fi executate pe acesta. Semințelor cunoscute li s-a atribuit o literă. Poliedrele platonice sunt notate cu prima literă a denumirii lor: (Tetraedru, Octaedru, Cub, Icosaedru, Dodecaedru). Celorlalte li s-au atribuit următoarele litere: prisme (P_n) pentru formele n-gonale; antiprisme (A_n); cupole (U_n); anticvpole (V_n); pyramide (Y_n). Orice poliedru Johnson poate fi notat cu J_n, pentru n = 1 ... 92.

Toate cele cinci poliedre regulate pot fi generate de la generatoare prismatice cu zero până la doi operatori:^[14]

Piramidă triunghiulară: Y₃ (Tetraedrul este o piramidă particulară)
- T = Y₃
- O = aT (tetraedru ambo)
- C = jT (tetraedru jonc)
- I = sT (tetraedru snub)
- D = gT (tetraedru giro)
Antiprismă triunghiulară: A₃ (Octaedrul este o antiprismă particulară)
- O = A₃
- C = dA₃
Prismă pătrată: P₄ (Cubul este o prismă particulară)
- C = P₄
Antiprismă pentagonală: A₅
- I = k₅A₅ (Caz particular de bipiramidă giroalungită)
- D = t₅dA₅ (Caz particular de trapezoedru trunchiat)

Pavările euclidiene regulate pot fi și ele folosite ca semințe:

Q = Q-dală = Pavare pătrată
H = H-dală = Pavare hexagonală = dΔ
Δ = D-dală = Pavare triunghiulară = dH

Operații extinse

Acestea sunt operații create după apariția setului original al lui Conway. Există mult mai multe operații decât au fost denumite; doar pentru că o operație nu este aici nu înseamnă că nu există (sau nu este o LSP sau LOPSP).

Meta/Bont

Meta adaugă vârfuri în centrul fețelor și de-a lungul muchiilor, în timp ce bont (teșirea) adaugă fețe în centrul fețelor și de-a lungul muchiilor semințelor. Indicele este numărul de vârfuri sau fețe adăugate de-a lungul marginilor. Meta (în forma sa neindexată) se mai numește cantitrunchiere sau omnitrunchiere. Indicele „0” înseamnă că se adaugă zero vârfuri (sau fețe) de-a lungul marginilor.^[4]

Operatorii Meta/Bont
n	Coeficientul muchiei	Matrice $\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

Exemple

Poliedre arhimedice și Catalan

Setul original de operatori Conway poate crea toate poliedrele arhimedice și Catalan, pornind de la poliedrele platonice ca semințe. (Operatorul r nu este necesar pentru a crea ambele forme chirale.)

Operatori compuși

Icosaedrul trunchiat, tI = zD, poate fi folosit ca sămânță pentru a crea niște poliedre plăcute vizual, deși acestea nu sunt tranzitive nici pe vârfuri nici pe fețe.

tI=zD
atI
ttI
ztI
etI
btI
stI

Dualele celor de mai sus
nI=kD
jtI
ntI
ktI
otI
mtI
gtI

În plan

Fiecare dintre pavările uniforme convexe poate fi creată prin aplicarea operatorilor Conway la pavările regulate Q, H și Δ.

Pe tor

Operatorii Conway pot fi aplicați și la poliedre toroidale și poliedre cu găuri multiple.

1x1 tor pătrat regulat, {4,4}_1,0
4x4 tor pătrat regulat, {4,4}_4,0
Pavare tQ24×12 pe tor
Pavare taQ24×12 pe tor
Pavare actQ24×8 pe tor
Pavare tH24×12 pe tor
Pavare taH24×8 pe tor
Pavare kH24×12 pe tor

Note

^ John Horton Conway; Heidi Burgiel; Chaim Goodman-Strauss (2008). „Chapter 21: Naming the Archimedean and Catalan polyhedra and Tilings”. The Symmetries of Things. ISBN 978-1-56881-220-5.
^ Eric W. Weisstein, Conway Polyhedron Notation la MathWorld.
^ ^a ^b en George W. Hart (1998). „Conway Notation for Polyhedra”. Virtual Polyhedra.
^ ^a ^b en Adrian Rossiter. „conway - Conway Notation transformations”. Antiprism Polyhedron Modelling Software.
^ en Anselm Levskaya. „polyHédronisme”.
^ ^a ^b en Hart, George (1998). „Conway Notation for Polyhedra”. Virtual Polyhedra. (See fourth row in table, "a = ambo".)
^ ^a ^b en 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. arXiv:1705.02848  . Bibcode:2017RSPSA.47370267B. doi:10.1098/rspa.2017.0267.
^ ^a ^b en Davoust, Emmanuel. "A hundred years of science at the Pic du Midi Observatory". arXiv:astro-ph/9707201
^ en Davoust, Emmanuel. "A hundred years of science at the Pic du Midi Observatory". arXiv:astro-ph/9707201
^ en Eric W. Weisstein, Rectification la MathWorld.
^ en Eric W. Weisstein, Cumulation la MathWorld.
^ en Eric W. Weisstein, Truncation la MathWorld.
^ en „Antiprism - Chirality issue in conway”.
^ en Livio Zefiro (2008). „Generation of an icosahedron by the intersection of five tetrahedra: geometrical and crystallographic features of the intermediate polyhedra”. Vismath.

Vezi și

Legături externe

Portal Matematică

Materiale media legate de notația Conway a poliedrelor la Wikimedia Commons
en polyHédronisme Arhivat în 25 aprilie 2012, la Wayback Machine.: generează poliedre în cadrul HTML5 pornind de la notația Conway.

[SoT-1] John Horton Conway; Heidi Burgiel; Chaim Goodman-Strauss (2008). „Chapter 21: Naming the Archimedean and Catalan polyhedra and Tilings”. The Symmetries of Things. ISBN 978-1-56881-220-5.

[2] Eric W. Weisstein, Conway Polyhedron Notation la MathWorld.

[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. (See fourth row in table, "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. arXiv:1705.02848  . Bibcode:2017RSPSA.47370267B. doi:10.1098/rspa.2017.0267.

[lsp-8] Davoust, Emmanuel. "A hundred years of science at the Pic du Midi Observatory". arXiv:astro-ph/9707201

[lopsp-9] Davoust, Emmanuel. "A hundred years of science at the Pic du Midi Observatory". arXiv:astro-ph/9707201

[10] Eric W. Weisstein, Rectification la MathWorld.

[11] Eric W. Weisstein, Cumulation la MathWorld.

[12] Eric W. Weisstein, Truncation la MathWorld.

[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.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]