dreapta|miniatura|408x408px| Un tetraedru este invariant în raport cu 12 rotații distincte, excluzând reflexiile. Acestea sunt ilustrate aici în formatul , împreună cu rotațiile în jurul muchiei de 180 ° (săgeți albastre) și 120° (săgeți roșii), care permută tetraedru prin poziții. Cele 12 rotații formează grupul de rotație (simetrie) din figură. În teoria grupurilor, grupul de simetrie al unui obiect geometric este grupul tuturor transformărilor în raport cu care obiectul este invariant, dotat cu operația de . O astfel de transformare este o aplicație inversabilă a spațiului ambiant care transformă obiectul în sine însuși și care păstrează toată structura relevantă a obiectului.
Pentru un obiect într-un spațiu metric, simetriile sale formează un subgrup al grupului de izometrie al spațiului ambiant. Acest articol ia în considerare, în principal, grupurile de simetrie În geometria euclidiană, dar conceptul poate fi studiat și pentru tipuri mai generale de structură geometrică.
Generalități Considerăm că „obiectele” care posedă simetrie sunt figuri geometrice, imagini și forme, cum ar fi un . Pentru simetria obiectelor fizice, se poate lua și componența lor fizică ca parte a modelului. (Un model poate fi specificat formal ca un câmp scalar, o funcție de poziție cu valori într-o mulțime de culori sau substanțe, ca un câmp vectorial sau ca o funcție mai generală de obiect). Grupul de izometrii ale spațiului induce o asupra obiectelor din el, iar grupul de simetrie constă din acele izometrii care transformă pe în el însuși (și care transformă oricărui altă formă în ea însăși). Spunem că este invariant la o astfel de transformare, iar transformarea este o simetrie a lui .
Cele de mai sus sunt uneori numite grupul de simetrie completă pentru a sublinia că include izometrii care inversează orientarea (reflexii, reflexii translate și rotații improprii). Subgrupul simetriilor care conservă orientarea (translațiile, rotațiile și compozițiile acestora) se numește grupul propriu de simetrie. Un obiect este chiral când nu are nici o simetrie care inversează , astfel încât grupul propriu de simetrie să fie egal cu grupul său complet de simetrie.
Orice grup de simetrie ale cărui elemente au un punct fix comun, ceea ce este adevărat dacă grupul este finit sau figura este mărginită, poate fi reprezentată ca un subgrup al grupului ortogonal prin alegerea originoi ca punct fix. Grupul de simetrie propriu-zis este apoi un subgrup al grupului ortogonal special , și se numește grupul de rotație al figurii.
Într-un grup de simetrie discret, punctele simetrice cu un punct dat nu se acumulează către un punct limită. Adică, orice a grupului (imaginile unui anumit punct în raport cu toate elementele grupului) formează o mulțime discretă. Toate grupurile de simetrie finite sunt discrete.
Grupele de simetrie discrete sunt de trei tipuri: (1) grupuri de puncte finite, care includ numai rotații, reflexii, inversiuni și inversări rotative adică subgrupurile finite ale lui ; (2) grupuri infinite de rețele, care includ doar translații; și (3) infinite care conțin elemente de ambele tipuri anterioare și, probabil, și transformări suplimentare precum și reflexii translate. Există, de asemenea, grupuri de simetrie continuă (grupuri Lie), care conțin rotații de unghiuri arbitrar de mici sau translații pe distanțe arbitrar de mici. Un exemplu este O(3), grupul de simetrie al unei sfere. Grupuri de simetrie ale obiectelor euclidiene pot fi complet clasificate ca (grupul de izometrii al lui .
Două figuri geometrice au același tip de simetrie atunci când grupurile lor de simetrie sunt subgrupuri ale grupului euclidian: adică, atunci când subgrupurile , sunt legate prin pentru un din . De exemplu:
două figuri tridimensionale au o simetrie în oglindă, dar în raport cu plane diferite de oglindire. două figuri tridimensionale au o simetrie de rotație triplă, dar în raport cu axe diferite. două modele bidimensionale au simetrie de translație, fiecare câte o direcție; cei doi vectori de translație au aceeași lungime, dar direcție diferită.
În secțiunile următoare, luăm în considerare numai grupurile de izometrii ale căror sunt închise topologic, incluzând toate grupurile de izometrii discrete și continue. Totuși, aceasta exclude, de exemplu, grupul 1D de translații cu un număr rațional; o astfel de figură neînchisă nu poate fi trasată cu o precizie rezonabilă din cauza detaliilor sale arbitrar de fine.
O dimensiune Grupurile de izometrii într-o singură dimensiune sunt:
grupul trivial grupurile de două elemente generate de o reflexie; ele sunt izomorfe cu grupurile discrete infinite generate de o translație; ele sunt izomorfe cu , grupul aditiv al numerelor întregi grupurile discrete infinite generate de o translație și o reflexie; ele sunt izomorfe cu grupul diedral generalizat al lui , (care este un al lui cu ). grupul generat de toate translațiile (izomorf cu grupul aditiv al numerelor reale ); acest grup nu poate fi grupul de simetrie al unei figuri euclidiene, chiar dotată cu un model: un astfel de model ar fi omogen, deci ar putea fi și el reflectat. Totuși, un câmp vectorial constant unidimensional are acest grup de simetrie. grupul generat de toate translațiile și reflexiile în jurul unor puncte; ele sunt izomorfe cu grupul diedral generalizat.
Două dimensiuni Până la conjugare, grupurile de puncte discrete în spațiul bidimensional sunt următoarele clase:
, , , , ... unde constă din toate rotațiile în jurul unui punct fix prin multipli ai unghiului de grupurile diedrale , , <span typeof="mw:Transclusion" data-mw="{"parts":[{"template":{"target":{"href":"Format:Math","wt":"Math"},"params":{"1":{"wt":"D<sub>3</sub>"}}}}]}"></span>, <span typeof="mw:Transclusion" data-mw="{"parts":[{"template":{"target":{"href":"Format:Math","wt":"Math"},"params":{"1":{"wt":"D<sub>4</sub>"}}}}]}"></span>, ..., unde (de ordin ) constă din rotațiile în împreună cu reflexiile după axe care trec prin punctul fix.
este grupul trivial care conține numai operația de identitate, care apare când figura este asimetrică, de exemplu litera „F”. este grupul de simetrie al literei „Z”, al unui , al unei zvastici și , etc. sunt grupurile de simetrie ale unor figuri asemănătoare cu zvastica, dar cu cinci, șase, etc brațe în loc de patru.
este grupul cu 2 elemente care conține operația de identitate și o singură reflecție, care apare atunci când figura are doar o singură axă de simetrie bilaterală, de exemplu litera „A”.
, care este izomorf cu patru-grupul Klein, este grupul de simetrie al unui dreptunghi neechilateral. Această figură are patru operații de simetrie: operația de identitate, o axă de rotație dublă și două planuri neechivalente de oglindire.
, etc. sunt grupurile de simetrie ale poligoanelor regulate.
În cadrul fiecăruia dintre aceste tipuri de simetrie, există două grade de libertate pentru centrul de rotație, iar în cazul grupurilor diedrale, încă unul pentru pozițiile planelor de oglindire.
Restul grupurilor de izometrii rămase în două dimensiuni cu un punct fix sunt:
grupul ortogonal special constând din toate rotațiile în jurul unui punct fix; se mai numește , grupul multiplicativ al numerelor complexe de valoare absolută 1. Este grupul propriu de simetrie al unui cerc și echivalentul continuu al lui . Nu există o figură geometrică care are ca grup de simetrie completă grupul cerc, dar pentru un câmp vectorial se poate aplica (vezi cazul tridimensional de mai jos). grupul ortogonal constând din toate rotațiile în jurul unui punct fix și reflexiile în raport cu orice axă trecând prin acel punct fix. Acesta este grupul de simetrie al unui cerc. Se mai numește și grupul diedral generalizat al lui .
Figurile nemărginite pot avea și ele grupuri de izometrii de translație; acestea sunt:
cele 7 grupuri de frize cele 17 pentru fiecare dintre grupele de simetrie dintr-o dimensiune, combinația tuturor simetriilor din acel grup într-o singură direcție și grupul tuturor translațiilor în direcția perpendiculară la fel cu reflexiile în raport cu o dreaptă în prima direcție.
Trei dimensiuni Până la conjugare, mulțimea de grupuri de puncte tridimensionale este formată din 7 serii infinite și 7 alte grupuri individuale. În cristalografie sunt considerate doar acele grupuri de puncte care conservă o rețea cristalină (deci rotațiile lor pot avea doar ordinul 1, 2, 3, 4 sau 6). Această a familiilor infinite de grupuri de puncte generale produce 32 de grupuri de puncte cristalografice (27 grupuri individuale din cele 7 serii și 5 din cele 7 individuale).
Printre grupurile de simetrie continuă cu un punct fix se numără:
simetria cilindrică fără plan de simetrie perpendicular pe axă, aceasta se aplică, de exemplu, pentru o sticlă de bere simetrie cilindrică cu un plan de simetrie perpendicular pe axă simetrie sferică
Pentru obiectele cu modele de câmp scalar, simetria cilindrică implică și simetria de reflexie verticală. Totuși, acest lucru nu este valabil pentru șabloanele de câmp vectorial: de exemplu, în coordonate cilindrice în raport cu o anumită axă, câmpul vectorialare simetrie cilindrică în raport cu axa ori de câte ori , și au această simetrie (nici o dependență de ); și are simetrie de reflecție numai atunci când .
Pentru simetria sferică, nu există o astfel de distincție: orice obiect modelat are planuri de simetrie de reflexie.
Grupurile de simetrie continue fără punct fix sunt cele cu o , cum ar fi o helicoidă infinită.
Grupurile de simetrie în general În contexte mai largi, un grup de simetrie poate fi orice tip de grup de transformare sau grup de automorfisme. Fiecare tip de structură matematică are aplicații inversibile care îi păstrează structura. În schimb, specificarea grupului de simetrie poate defini structura sau cel puțin clarifica sensul congruenței sau invarianței geometrice; aceasta un fel de a privi .
De exemplu, obiectele dintr-o geometrie neeuclidiană hiperbolică au , care sunt subgrupurile discrete ale grupului de izometrii ale planului hiperbolic, care conservă distanța hiperbolică, nu pe cea euclidiană. (Unele sunt ilustrate în desene ale lui Escher.) În mod similar, grupurile de automorfism ale unor păstrează familii de mulțimi de puncte (subspații discrete) în loc de subspații, distanțe sau produse scalare euclideene. Ca și în cazul figurilor euclidiene, obiectele din orice spațiu geometric au grupuri de simetrie care sunt subgrupuri ale simetriilor spațiului ambiant.
Un alt exemplu de grup de simetrie este acela al unui graf combinatoric: o simetrie a grafului este o permutare a vârfurilor care transformă muchiile în muchii. Orice este grupul de simetrie al ; este grupul de simetrie al unui graf arbore infinit.
Structura grupului în termeni de simetrii afirmă că orice grup abstract este un subgrup al permutărilor unei anumite mulțimi , deci poate fi considerat grupul de simetrie al lui cu o structură suplimentară. În plus, multe trăsături abstracte ale grupului (definite pur în termeni de operație a grupului) pot fi interpretate în termeni de simetrie.
De exemplu, fie grupul finit de simetrie al unei figuri într-un spațiu euclidian, și un subgrup. Atunci poate fi interpretat ca grupul de simetrie al lui , o versiune „decorată” a lui . O astfel de decorare poate fi construită după cum urmează. Se adaugă anumite șabloane, cum ar fi săgeți sau culori, la , pentru a rupe orice simetrie, obținând o figură al cărei grup de simetrie este subgrupul trivial; adică, pentru orice netrivial. Acum primim:
satisface condiția ca să fie grup de simetrie al lui