Grup de reflexie

În teoria grupurilor și geometrie un grup de reflexie este un grup discret care este generat de un set de reflexii într-un spațiu euclidian finit-dimensional. Grupul de simetrie al unui politop regulat sau al unei pavări a spațiului euclidian prin copii congruente ale unui politop regulat este în mod necesar un grup de reflexie. Grupurile de reflexie cuprind, de asemenea, Format:Ill-wd și grupurile Coxeter cristalografice. În timp ce grupul ortogonal este generat de reflexii (de către teorema Cartan–Dieudonné), el este un grup continuu (un grup Lie), nu un grup discret și este în general considerat separat.

Definiție

Fie E un spațiu euclidian. Un grup de reflexie finit este un subgrup al Format:Ill-wd al lui E care este generat de un set de reflexii ortogonale care trec prin hiperplane prin origine. Un grup de reflexie afin este un subgrup discret al Format:Ill-wd al lui E care este generat de un set de reflexii afine ale lui E (fără cerința ca hiperplanele de reflexie să treacă prin origine).

Noțiunile corespunzătoare pot fi definite peste alte corpuri, conducând la Format:Ill-wd și analogi ai grupurilor de reflexie pe un corp finit.

Exemple

În plan

În bidimensional grupurile de reflexie finite sunt grupurile diedrale, care sunt generate prin reflexiile în două axe care formează un unghi de $2\pi /n$ și corespund diagramei Coxeter $I_2(n).$ Invers, Format:Ill-wd ciclice nu sunt generate de reflexii și nu conțin reflexii – ele sunt totuși subgrupuri de Format:Ill-wd 2 ale unui grup diedral.

Grupurile de reflexie infinite cuprind grupurile de frize $*\mathrm{\infty }\mathrm{\infty }$ și $*22\mathrm{\infty }$ și Format:Ill-wd $**$, $*2222$, $*333$, $*442$ și $*632$. Dacă unghiul dintre două drepte este un multiplu irațional al lui Format:Math, grupul generat de reflexiile față de aceste drepte este infinit și nediscret, prin urmare, nu este un grup de reflexie.

În spațiu

Grupurile de reflexie finite sunt Format:Ill-wd C_nv, D_nh și grupurile de simetrie ale celor cinci poliedre platonice. Poliedre regulate duale (cubul cu octaedrul, precum și dodecaedrul cu icosaedrul) dau naștere la grupuri de simetrie izomorfe. Clasificarea grupurilor de reflexie finite ale lui R³ este un exemplu în Format:Ill-wd.

Relația cu grupurile Coxeter

Un grup de reflexie W admite o Format:Ill-wd de un tip special, descoperit și studiat de H.S.M. Coxeter. Reflexiile pe fețele unei „camere” fundamentale fixe sunt generatori r_i din W de ordinul 2. Toate relațiile dintre ele decurg formal din relațiile

$(r_i{r}_j{)}^{c_{ij}}=1,$

exprimând faptul că produsul reflexiilor r_i și r_j în două hiperplane H_i și H_j care se întâlnesc la un unghi $\pi /c_{ij}$ este o rotație cu unghiul $2\pi /c_{ij}$ care fixează subspațiul H_i ∩  H_j al codimensiunii 2. Astfel, privit ca un grup abstract, fiecare grup de reflexie este un grup Coxeter.

Generalizări

De asemenea, au fost luate în considerare grupurile de izometrie discrete ale Format:Ill-wd mai generale generate de reflexii. Cea mai importantă clasă apare din Format:Ill-wd de rang 1: n-sfera Sⁿ, corespunzătoare grupurilor de reflexie finite, spațiul euclidian Rⁿ, corespunzător grupurilor de reflexie afine și spațiul hiperbolic Hⁿ, unde grupurile corespunzătoare sunt numite grupuri de reflexie hiperbolice. În bidimensional, Format:Ill-wd cuprind grupuri de reflexie de toate cele trei tipuri.

Bibliografie

• Format:En icon Format:Citation
• Format:En icon Format:Citation
• Format:En icon Format:Citation
• Format:En icon Format:Citation
• Format:En icon Format:Citation

Legături externe

• Format:Commonscat-inline
• Format:En icon Reflection group la Enciclopedia Matematicii, EMS Press, 2001 [1994]