Simetrie icosaedrică
Simetrie involutivă Cs, (*) [ ] = |
Simetrie ciclică Cnv, (*nn) [n] = |
Simetrie diedrală Dnh, (*n22) [n,2] = | |
Grup poliedric, [n,3], (*n32) | |||
---|---|---|---|
Simetrie tetraedrică Td, (*332) [3,3] = |
Simetrie octaedrică Oh, (*432) [4,3] = |
Simetrie icosaedrică Ih, (*532) [5,3] = |
Simetria icosaedrică este cea a icosaedruui regulat, care are 60 de simetrii de rotație (care conservă orientarea) și 120 de simetrii în total. Acestea includ transformări care combină o reflexie și o rotație. Un dodecaedru are același set de simetrii, deoarece este dualul icosaedrului.
Grupul de simetrie completă (inclusiv reflexiile) este cunoscut sub numele de grupul Coxeter H3 și este reprezentat prin notația Coxeter [5,3] și diagrama Coxeter . Setul de simetrii care conservă orientarea formează un subgrup care este izomorf cu grupul A5 (grupul altern de 5 elemente).
Ca grup punctual
modificareÎn afară de cele două serii infinite de simetrie prismatică și antiprismatică, simetria icosaedrică de rotație sau simetria icosaedrică chirală a obiectelor chirale și simetria icosaedrică completă sau simetria icosaedrică achirală sunt simetrii de puncte discrete (sau, echivalent, simetrii pe sferă) cu cele mai mari grupuri de simetrie.
Simetria icosaedrică nu este compatibilă cu simetria de translație, așa că nu există grupuri de puncte cristalografice sau grupuri spațiale(d) asociate.
Schoenflies | Coxeter | Orbifold | Structură abstractă |
Ordin | |
---|---|---|---|---|---|
I | [5,3]+ | 532 | A5 | 60 | |
Ih | [5,3] | *532 | A5×2 | 120 |
Prezentările(d) corespunzătoare celor de mai sus sunt:
Acestea corespund grupurilor icosaedrice (de rotație și complete) fiind grupurile triunghiului(d) (2,3,5).
Prima prezentare a fost făcută de William Rowan Hamilton în 1856, în lucrarea sa despre calculul icosian.[1]
Sunt posibile și alte prezentări, de exemplu ca grup altern (pentru I).
Vizualizări
modificareSchoe. (Orb.) |
Coxeter | Elemente | Diagrame de oglindiri | |||
---|---|---|---|---|---|---|
Ortogonal | Proiecție stereografică | |||||
Ih (*532) |
[5,3] |
Drepte de oglindire: 15 |
||||
I (532) |
[5,3]+ |
Puncte de girație: 125 203 302 |
|
|
|
Structura grupului
modificareLaturile unui compus de cinci octaedre sferic reprezintă cele 15 plane de oglindire ca cercuri mari colorate. Fiecare octaedru poate reprezenta 3 plane de oglindire ortogonale care conțin laturile sale. | |
Simetria piritoedrică este un subgrup cu indice 5 de simetrie icosaedrică, cu 3 linii de reflexie ortogonale verzi și 8 puncte de rotație de ordinul 3 roșii. Există 5 orientări diferite ale simetriei piritoedrice. |
Grupul de rotație icosaedric I este de ordinul 60. Grupul I este izomorf cu A5, grupul altern al permutărilor pare a cinci obiecte. Acest izomorfism poate fi realizat prin I care acționează asupra diverșilor compuși, în special compusul de cinci cuburi (care se înscrie în dodecaedru), compusul de cinci octaedre, sau oricare dintre cei doi compuși de cinci tetraedre (care sunt enantiomorfi, și se înscriu în dodecaedru).
Grupul conține 5 versiuni de Th cu 20 de versiuni de D3 (10 axe, 2 pe axă) și 6 versiuni de D5.
Grupul icosaedric complet Ih are ordinul 120. Are I ca subgrup normal(d) de indice(d) 2. Grupul Ih este izomorf la I × Z2 sau A5 × Z2, cu inversiunea față de centru corespunzătoare elementului (identitate, −1), unde Z2 se scrie multiplicativ.
Ih acționează asupra compusului de cinci cuburi și compusului de cinci octaedre, dar −1 acționează ca identitate (deoarece cuburile și octaedrele au simetrie față de centru). Acționează asupra compusului de zece tetraedre: I acționează asupra celor două jumătăți chirale (compușii de cinci tetraedre), iar −1 interschimbă cele două jumătăți. De remarcat că el nu acționează ca S5, iar aceste grupuri nu sunt izomorfe.
Grupul conține 10 versiuni de D3d și 6 versiuni de D5d (simetrii ca ale antiprismelor).
I este izomorf și cu PSL2(5), dar Ih nu este izomorf cu SL2(5).
Izomorfismul lui I cu A5
modificareEste util să se descrie explicit cum arată izomorfismul dintre I și A5. În tabelul următor permutările Pi și Qi acționează asupra a 5 și respectiv 12 elemente, în timp ce matricile de rotație Mi sunt elementele I. Dacă Pk este produsul permutării Pi cu aplicarea Pj, atunci pentru aceleași valori ale lui i, j și k este adevărat și că Qk este produsul Qi cu aplicarea Qj, și că înmulțirea unui vector cu Mk este același lucru cu înmulțirea acelui vector cu Mi și apoi înmulțirea acelui rezultat cu Mj, adică Mk = Mj × Mi. Deoarece permutările Pi sunt toate cele 60 de permutări pare ale lui 1 2 3 4 5, corespondența unu-la-unu este explicită, deci și izomorfismul.
Matrice de rotație | Permutare de 5 pe 1 2 3 4 5 |
Permutare de 12 pe 1 2 3 4 5 6 7 8 9 10 11 12 |
---|---|---|
= () | = () | |
= (3 4 5) | = (1 11 8)(2 9 6)(3 5 12)(4 7 10) | |
= (3 5 4) | = (1 8 11)(2 6 9)(3 12 5)(4 10 7) | |
= (2 3)(4 5) | = (1 12)(2 8)(3 6)(4 9)(5 10)(7 11) | |
= (2 3 4) | = (1 2 3)(4 5 6)(7 9 8)(10 11 12) | |
= (2 3 5) | = (1 7 5)(2 4 11)(3 10 9)(6 8 12) | |
= (2 4 3) | = (1 3 2)(4 6 5)(7 8 9)(10 12 11) | |
= (2 4 5) | = (1 10 6)(2 7 12)(3 4 8)(5 11 9) | |
= (2 4)(3 5) | = (1 9)(2 5)(3 11)(4 12)(6 7)(8 10) | |
= (2 5 3) | = (1 5 7)(2 11 4)(3 9 10)(6 12 8) | |
= (2 5 4) | = (1 6 10)(2 12 7)(3 8 4)(5 9 11) | |
= (2 5)(3 4) | = (1 4)(2 10)(3 7)(5 8)(6 11)(9 12) | |
= (1 2)(4 5) | = (1 3)(2 4)(5 8)(6 7)(9 10)(11 12) | |
= (1 2)(3 4) | = (1 5)(2 7)(3 11)(4 9)(6 10)(8 12) | |
= (1 2)(3 5) | = (1 12)(2 10)(3 8)(4 6)(5 11)(7 9) | |
= (1 2 3) | = (1 11 6)(2 5 9)(3 7 12)(4 10 8) | |
= (1 2 3 4 5) | = (1 6 5 3 9)(4 12 7 8 11) | |
= (1 2 3 5 4) | = (1 4 8 6 2)(5 7 10 12 9) | |
= (1 2 4 5 3) | = (1 8 7 3 10)(2 12 5 6 11) | |
= (1 2 4) | = (1 7 4)(2 11 8)(3 5 10)(6 9 12) | |
= (1 2 4 3 5) | = (1 2 9 11 7)(3 6 12 10 4) | |
= (1 2 5 4 3) | = (2 3 4 7 5)(6 8 10 11 9) | |
= (1 2 5) | = (1 9 8)(2 6 3)(4 5 12)(7 11 10) | |
= (1 2 5 3 4) | = (1 10 5 4 11)(2 8 9 3 12) | |
= (1 3 2) | = (1 6 11)(2 9 5)(3 12 7)(4 8 10) | |
= (1 3 4 5 2) | = (2 5 7 4 3)(6 9 11 10 8) | |
= (1 3 5 4 2) | = (1 10 3 7 8)(2 11 6 5 12) | |
= (1 3)(4 5) | = (1 7)(2 10)(3 11)(4 5)(6 12)(8 9) | |
= (1 3 4) | = (1 9 10)(2 12 4)(3 6 8)(5 11 7) | |
= (1 3 5) | = (1 3 4)(2 8 7)(5 6 10)(9 12 11) | |
= (1 3)(2 4) | = (1 12)(2 6)(3 9)(4 11)(5 8)(7 10) | |
= (1 3 2 4 5) | = (1 4 10 11 5)(2 3 8 12 9) | |
= (1 3 5 2 4) | = (1 5 9 6 3)(4 7 11 12 8) | |
= (1 3)(2 5) | = (1 2)(3 5)(4 9)(6 7)(8 11)(10 12) | |
= (1 3 2 5 4) | = (1 11 2 7 9)(3 10 6 4 12) | |
= (1 3 4 2 5) | = (1 8 2 4 6)(5 10 9 7 12) | |
= (1 4 5 3 2) | = (1 2 6 8 4)(5 9 12 10 7) | |
= (1 4 2) | = (1 4 7)(2 8 11)(3 10 5)(6 12 9) | |
= (1 4 3 5 2) | = (1 11 4 5 10)(2 12 3 9 8) | |
= (1 4 3) | = (1 10 9)(2 4 12)(3 8 6)(5 7 11) | |
= (1 4 5) | = (1 5 2)(3 7 9)(4 11 6)(8 10 12) | |
= (1 4)(3 5) | = (1 6)(2 3)(4 9)(5 8)(7 12)(10 11) | |
= (1 4 5 2 3) | = (1 9 7 2 11)(3 12 4 6 10) | |
= (1 4)(2 3) | = (1 8)(2 10)(3 4)(5 12)(6 7)(9 11) | |
= (1 4 2 3 5) | = (2 7 3 5 4)(6 11 8 9 10) | |
= (1 4 2 5 3) | = (1 3 6 9 5)(4 8 12 11 7) | |
= (1 4 3 2 5) | = (1 7 10 8 3)(2 5 11 12 6) | |
= (1 4)(2 5) | = (1 12)(2 9)(3 11)(4 10)(5 6)(7 8) | |
= (1 5 4 3 2) | = (1 9 3 5 6)(4 11 8 7 12) | |
= (1 5 2) | = (1 8 9)(2 3 6)(4 12 5)(7 10 11) | |
= (1 5 3 4 2) | = (1 7 11 9 2)(3 4 10 12 6) | |
= (1 5 3) | = (1 4 3)(2 7 8)(5 10 6)(9 11 12) | |
= (1 5 4) | = (1 2 5)(3 9 7)(4 6 11)(8 12 10) | |
= (1 5)(3 4) | = (1 12)(2 11)(3 10)(4 8)(5 9)(6 7) | |
= (1 5 4 2 3) | = (1 5 11 10 4)(2 9 12 8 3) | |
= (1 5)(2 3) | = (1 10)(2 12)(3 11)(4 7)(5 8)(6 9) | |
= (1 5 2 3 4) | = (1 3 8 10 7)(2 6 12 11 5) | |
= (1 5 2 4 3) | = (1 6 4 2 8)(5 12 7 9 10) | |
= (1 5 3 2 4) | = (2 4 5 3 7)(6 10 9 8 11) | |
= (1 5)(2 4) | = (1 11)(2 10)(3 12)(4 9)(5 7)(6 8) |
Grupuri frecvent confundate
modificareToate grupurile următoare sunt de ordinul 120, dar nu sunt izomorfe:
- S5, grupul simetric de 5 elemente;
- Ih, grupul icosaedric complet (subiectul acestui articol, cunoscut și ca H3);
- 2I, grupul icosaedric binar(d).
Acestea corespund următoarelor secvențe:
- ;
- ;
- .
În cuvinte,
- este subgrupul normal al ;
- este factorul lui , care este produsul direct(d);
- este grupul factor al
De observat că are o reprezentare tridimensională ireductibilă obiect excepțional(d) (ca grupul icosaedric de rotație), dar nu are o reprezentare tridimensională ireductibilă, corespunzătoare grupului icosaedric complet nefiind grupul simetric.
De asemenea, acestea pot fi legate de grupuri liniare peste corpuri finite cu cinci elemente, care prezintă subgrupurile și grupurile de acoperire direct; niciunul dintre acestea nu este grupul icosaedric complet:
- grup proiectiv liniar(d) special;
- grupul proiectiv liniar general;
- grupul liniar special(d).
Clase de conjugare
modificareCele 120 de simetrii se încadrează în 10 clase de conjugare.
I | clase suplimentare ale Ih |
---|---|
|
|
Subgrupuri ale grupului de simetrie icosaedrică completă
modificareFiecare linie din următorul tabel reprezintă o clasă de subgrupuri conjugate (adică, echivalente geometric). Coloana „Mult.” (multiplicitatea) dă numărul de subgrupuri diferite din clasa de conjugare.
Legenda culorilor: verde = grupurile care sunt generate de reflexii, roșu = grupurile chirale (care conservă orientarea), care conțin doar rotații.
Grupurile sunt descrise geometric în termeni de dodecaedru. Abrevierea „j.î.s.(latură)” înseamnă „jumătate de întoarcere interschimbând această latură cu latura opusă ei” și, similar, pentru „față” și „vârf”.
Schoe. | Coxeter | Orb. | H-M | Structură | Ciclic | Ordin | Index | Mult. | Descriere | |
---|---|---|---|---|---|---|---|---|---|---|
Ih | [5,3] | *532 | 532/m | A5×Z2 | 120 | 1 | 1 | grup complet | ||
D2h | [2,2] | *222 | mmm | D4×D2=D23 | 8 | 15 | 5 | menținând fixe două laturi opuse, eventual interschimbându-le | ||
C5v | [5] | *55 | 5m | D10 | 10 | 12 | 6 | menținând fixă o față | ||
C3v | [3] | *33 | 3m | D6=S3 | 6 | 20 | 10 | menținând fix un vârf | ||
C2v | [2] | *22 | 2mm | D4=D22 | 4 | 30 | 15 | menținând fixă o față | ||
Cs | [ ] | * | 2 or m | D2 | 2 | 60 | 15 | reflexie interschimbând capetele unei laturi | ||
Th | [3+,4] | 3*2 | m3 | A4×Z2 | 24 | 5 | 5 | grup piritoedric | ||
D5d | [2+,10] | 2*5 | 10m2 | D20=Z2×D10 | 20 | 6 | 6 | menținând fixe două laturi opuse, eventual interschimbându-le | ||
D3d | [2+,6] | 2*3 | 3m | D12=Z2×D6 | 12 | 10 | 10 | menținând fixe două vârfuri opuse, eventual interschimbându-le | ||
D1d = C2h | [2+,2] | 2* | 2/m | D4=Z2×D2 | 4 | 30 | 15 | jumătate de rotație în jurul punctului din mijloc, plus inversiune față de centru | ||
S10 | [2+,10+] | 5× | 5 | Z10=Z2×Z5 | 10 | 12 | 6 | rotație a unei fețe, plus inversiune față de centru | ||
S6 | [2+,6+] | 3× | 3 | Z6=Z2×Z3 | 6 | 20 | 10 | rotație în jurul unui vârf, plus inversiune față de centru | ||
S2 | [2+,2+] | × | 1 | Z2 | 2 | 60 | 1 | inversiune față de centru | ||
I | [5,3]+ | 532 | 532 | A5 | 60 | 2 | 1 | toate rotațiile | ||
T | [3,3]+ | 332 | 332 | A4 | 12 | 10 | 5 | rotații ale unui tetraedru conținut | ||
D5 | [2,5]+ | 522 | 522 | D10 | 10 | 12 | 6 | rotații în jurul centrului unei fețe și j.î.s.(față) | ||
D3 | [2,3]+ | 322 | 322 | D6=S3 | 6 | 20 | 10 | rotații în jurul unui vârf, și j.î.s.(vârf) | ||
D2 | [2,2]+ | 222 | 222 | D4=Z22 | 4 | 30 | 15 | jumătate de întoarcere în jurul punctului de mijloc al laturii și j.î.s.(latură) | ||
C5 | [5]+ | 55 | 5 | Z5 | 5 | 24 | 6 | rotații în jurul centrului unei fețe | ||
C3 | [3]+ | 33 | 3 | Z3=A3 | 3 | 40 | 10 | rotații în jurul unui vârf | ||
C2 | [2]+ | 22 | 2 | Z2 | 2 | 60 | 15 | jumătate de întoarcere în jurul punctului de mijloc al laturii | ||
C1 | [ ]+ | 11 | 1 | Z1 | 1 | 120 | 1 | grup trivial |
Stabilizatori de vârfuri
modificareStabilizatorii unei perechi opuse de vârfuri pot fi interpretați ca stabilizatori ai axei pe care o generează. generate.
- stabilizatorii de vârfuri din I generează grupuri ciclice C3;
- stabilizatorii de vârfuri din Ih generează grupuri diedrale D3;
- stabilizatorii unei perechi de vârfuri opuse din I generează grupuri diedrale D3;
- stabilizatorii unei perechi de vârfuri opuse din Ih generează .
Stabilizatori de laturi
modificareStabilizatorii unei perechi opuse de laturi pot fi interpretați ca stabilizatori ai dreptunghiului pe care îl generează.
- stabilizatorii de laturi din I generează grupuri ciclice Z2;
- stabilizatorii de laturi din Ih generează grupuri Klein de patru ;
- stabilizatorii unei perechi de laturi din I generează grupuri Klein de patru ; există 5 dintre acestea, generate prin rotații de 180° în 3 axe perpendiculare;
- stabilizatorii unei perechi de laturi din Ih generează ; există 5 dintre acestea, generate prin reflexii în 3 axe perpendiculare.
Stabilizatori de fețe
modificareStabilizatorii unei perechi opuse de fețe pot fi interpretați ca stabilizatori ai antiprismei pe care o generează.
- stabilizatorii de fețe din I generează grupuri ciclice C5
- stabilizatorii de fețe din Ih generează grupuri diedrale D5
- stabilizatorii unei perechi de fețe opuse din I generează grupuri diedrale D5
- stabilizatorii unei perechi de fețe opuse din Ih generează .
Stabilizatori de poliedre
modificarePentru fiecare dintre acestea există 5 copii conjugate, iar acțiunea de conjugare dă o aplicație care este un izomorfism, .
- stabilizatorii tetraedrelor înscrise din I sunt o copie a T
- stabilizatorii tetraedrelor înscrise din Ih sunt o copie a T
- stabilizatorii cuburilor înscrise (sau perechi opuse de tetraedre sau octaedre) din I sunt o copie a T
- stabilizatorii cuburilor înscrise (sau perechi opuse de tetraedre sau octaedre) din Ih sunt o copie a Th
Generatorii grupului Coxeter
modificareGrupul de simetrie icosaedrică completă [5,3] ( ) de ordinul 120 are generatorii reprezentați de matricile de reflexie R0, R1, R2 mai jos în relațiile R02 = R12 = R22 = (R0×R1)5 = (R1×R2)3 = (R0×R2)2 = identitatea. Grupul [5,3]+ ( ) de ordinul 60 este generat de oricare două dintre rotațiile S0,1, S1,2, S0,2. O rotație improprie de ordinul 10 este generată de V0,1,2, produsul tuturor celor 3 reflexii. Aici este secțiunea de aur.
Reflexii | Rotații | Rotații improprii | |||||
---|---|---|---|---|---|---|---|
Nume | R0 | R1 | R2 | S0,1 | S1,2 | S0,2 | V0,1,2 |
Grup | |||||||
Ordin | 2 | 2 | 2 | 5 | 3 | 2 | 10 |
Matrice | |||||||
(1,0,0)n | n | (0,1,0)n | axis | axis | axis |
Domeniu fundamental
modificareDomeniile fundamentale pentru grupul icosaedric de rotație și grupul icosaedric complet sunt date de:
Grupul icosaedric de rotație I |
Grupul icosaedric complet Ih |
Fețele triacontaedrului disdiakis sunt domeniul fundamental |
În tricontaedrul disdiakis o singură față este un domeniu fundamental; alte poliedre cu aceeași simetrie pot fi obținute prin ajustarea orientării fețelor, de exemplu aplatizarea subseturilor selectate de fețe pentru a combina fiecare subset într-o singură față sau înlocuirea fiecărei fețe cu mai multe fețe sau cu o suprafață curbată.
Poliedre cu simetrie icosaedrică
modificarePoliedre chirale
modificareClasa | Simboluri | Imagine |
---|---|---|
Arhimedic | sr{5,3} |
|
Catalan | V3.3.3.3.5 |
Poliedre cu simetrie completă
modificarePoliedru platonic | Poliedre Kepler–Poinsot | Poliedre arhimedice | |||||
---|---|---|---|---|---|---|---|
{5,3} |
{5/2,5} |
{5/2,3} |
t{5,3} |
t{3,5} |
r{3,5} |
rr{3,5} |
tr{3,5} |
Poliedru platonic | Poliedre Kepler–Poinsot | Poliedre Catalan | |||||
{3,5} = |
{5,5/2} = |
{3,5/2} = |
V3.10.10 |
V5.6.6 |
V3.5.3.5 |
V3.4.5.4 |
V4.6.10 |
Note
modificare- ^ William Rowan Hamilton (), „Memorandum respecting a new System of Roots of Unity” (PDF), Philosophical Magazine, 12: 446
Bibliografie
modificare- en Klein, F. (). „Ueber die Transformation siebenter Ordnung der elliptischen Functionen” [On the order-seven transformation of elliptic functions]. Mathematische Annalen. 14 (3): 428–471. doi:10.1007/BF01677143. Translated in Levy, Silvio, ed. (). The Eightfold Way. Cambridge University Press. ISBN 978-0-521-66066-2. MR 1722410.
- en Klein, F. (), „Ueber die Transformation elfter Ordnung der elliptischen Functionen (On the eleventh order transformation of elliptic functions)”, Mathematische Annalen, 15 (3–4): 533–555, doi:10.1007/BF02086276, collected as pp. 140–165 in Oeuvres, Tome 3
- en Klein, Felix (), Lectures on the Icosahedron and the Solution of Equations of the Fifth Degree, Trübner & Co., ISBN 0-486-49528-0trans. George Gavin Morrice
- en Tóth, Gábor (), Finite Möbius groups, minimal immersions of spheres, and moduli
- en Peter R. Cromwell, Polyhedra (1997), p. 296
- en John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss (2008), The Symmetries of Things, ISBN: 978-1-56881-220-5
- en 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, ISBN: 978-0-471-01003-6 [1]
- en Norman Johnson, Geometries and Transformations, (2018) ISBN: 978-1-107-10340-5 Chapter 11: Finite symmetry groups, 11.5 Spherical Coxeter groups
Vezi și
modificareLegături externe
modificare- en Eric W. Weisstein, Icosahedral group la MathWorld.
- en THE subGROUPS OF W(H3) Arhivat în , la Wayback Machine. (Subgroups of other Coxeter groups Arhivat în , la Wayback Machine.) Gotz Pfeiffer