Grupa obrotów

Grupa obrotów SO(n) – grupa izometrii w $n$-wymiarowej przestrzeni euklidesowej, zachowująca bez zmian jeden punkt, zwany środkiem obrotu. Grupie tej odpowiada w sposób wzajemnie jednoznaczny grupa macierzy obrotu wymiaru $n\times n.$

Grupa ortogonalna O(n)

Rozważmy przekształcenie ortogonalne w przestrzeni wektorowej $n$-wymiarowej, tj. przekształcenie, które zachowuje długości wektorów. Niech $R$ oznacza macierz tego przekształcenia. Z własności przekształceń ortogonalnych wynika, że macierz odwrotna macierzy ortogonalnej jest jej macierzą transponowaną, czyli $R^{-1}=R^T.$

W zbiorze macierzy ortogonalnych $O(n)$ są słuszne następujące własności:

• iloczyn dowolnych macierzy ortogonalnych $R$ i $S$ jest macierzą ortogonalną $U=RS,$
• istnieje element neutralny, który też jest macierzą ortogonalną, tj. $R=I,$
• dla każdej macierzy ortogonalnej istnieje macierz odwrotna, gdyż $R^{-1}=R^T.$

Zbiór macierzy ortogonalnych tworzy więc grupę.

Grupa obrotów SO(n)

Jeżeli spełniony jest dodatkowo warunek, że wyznacznik macierzy jest równy +1, to grupę nazywa się specjalną grupą ortogonalną SO(n) lub grupą obrotów właściwych SO(n). Macierze tej grupy opisują obroty. Grupa ta jest podgrupą grupy O(n), która oprócz obrotów zawiera też odbicia (tzw. obroty niewłaściwe), których macierze ortogonalne mają wyznacznik $-1.$ Podczas odbić zmienia się skrętność układu współrzędnych. Obroty zaś zachowują skrętność.

Grupa obrotów SO(3)

W przestrzeni euklidesowej 3-wymiarowej mamy grupę obrotów właściwych $SO(3),$ która jest podgrupą grupy $O(3)$ (zawierającej obroty niewłaściwe, czyli odbicia). Obroty reprezentowane są tu wzajemnie jednoznacznie przez macierze ortogonalne wymiaru $3\times 3,$ o wyznaczniku równym +1.

Parametry i generatory grupy SO(3)

Grupa obrotów $SO(3)$ jest grupą ciągłą, tzn. wszystkie elementy $R$ grupy są określone za pomocą funkcji różniczkowalnych i ciągłych zależnych od 3 parametrów $z_1,z_2,z_3$

$R(z_1,z_2,z_3)=\exp \left[i\sum _{a=1}^3{T}^a{z}_a\right],$

gdzie trzy macierze $T^a$ – zwane generatorami grupy obrotów – mają postać:

$T^1=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& -i\\ 0& i& 0\end{array}\right],T^2=\left[\begin{array}{ccc}0& 0& i\\ 0& 0& 0\\ -i& 0& 0\end{array}\right],T^3=\left[\begin{array}{ccc}0& -i& 0\\ i& 0& 0\\ 0& 0& 0\end{array}\right].$

Reguły komutacji generatorów

Generatory spełniają regułę komutacji:

$[T^1,T^2]=i{T}^3,$

$[T^2,T^3]=i{T}^1,$

$[T^3,T^1]=i{T}^2,$

gdzie $[T^a,T^b]=T^a{T}^b-T^b{T}^a$ – komutator.

Reguły komutacji można zapisać za pomocą wzoru

$[T^a,T^b]=i\sum _c{ϵ}_{abc}{T}^c,$

gdzie ${ϵ}_{abc}$ oznacza tzw. symbol antysymetryczny:

• ${ϵ}_{abc}=+1,$ gdy liczby $abc$ są parzystą permutacją liczb 123,
• ${ϵ}_{abc}=-1,$ gdy liczby $abc$ są nieparzystą permutacją liczb 123,
• ${ϵ}_{abc}=0,$ gdy dwie lub trzy liczby $a,b,c$ są takie same.

27 liczb postaci

$f_{abc}={ϵ}_{abc},a,b,c=1,2,3$

nazywa się stałymi struktury grupy, ponieważ (prawie) zupełnie determinują strukturą multiplikatywną grupy (tj. wyniki mnożenia generatorów grupy przez siebie). Stałe struktury (lub równoważnie – relacje komutacyjne) definiują też algebrę Liego $so(3)$ grupy $SO(3).$

Zwartość grupy SO(3)

Grupa $SO(3)$ jest grupą zwartą, tzn. parametry $z_1,z_2,z_3$ należą do zbioru zwartego $\mathrm{\Omega }\subset R^3,$ przy czym

$z^a={\omega }^a\psi ,$

gdzie:

${\omega }^1=\sin \theta \sin \varphi ,$ ${\omega }^2=\sin \theta \cos \varphi ,$ ${\omega }^3=\cos \theta$

– współrzędne kartezjańskie wektora jednostkowego, skierowanego wzdłuż osi obrotu,

$\psi$ – kąt obrotu wokół tej osi

oraz

$\theta \in ⟨0,\pi ⟩,\varphi \in ⟨0,2\pi ⟩,$ $\psi \in ⟨0,2\pi ⟩.$

Reprezentacja fundamentalna

(1) Macierze $T^1,T^2,T^3$ są generatorami specjalnych macierzy ortogonalnych wymiaru $3\times 3,$ tworzących tzw. reprezentację fundamentalną (definiującej) grupy Liego $SO(3).$ Nazwa pochodzi stąd, że relacje komutacyjne pomiędzy generatorami określają daną grupę.

(2) Wybór generatorów nie jest unikalny – można znaleźć inne macierze $3\times 3,$ które spełniają te same warunki komutacji.

Inne reprezentacje grupy SO(3)

Oprócz reprezentacji fundamentalnej istnieją inne reprezentacje grupy: generatory tych reprezentacji spełniają te same warunki komutacji, jak generatory reprezentacji fundamentalnej, ale są macierzami wymiaru $1,2,4,5,6$ itd.

Reprezentacja nakrywająca SU(2) grupy SO(3)

Istnieje też tzw. reprezentacja nakrywająca grupy $SO(3),$ której generatorami są macierze Pauliego mnożone przez $1/2,$ tj.

${\tau }^1=\frac{1}{2}{\sigma }^1=\left[\begin{array}{ccc}0& & 1\\ 1& & 0\end{array}\right],$ ${\tau }^2=\frac{1}{2}{\sigma }^2=\left[\begin{array}{ccc}0& & -i\\ i& & 0\end{array}\right],$ ${\tau }^3=\frac{1}{2}{\sigma }^3=\left[\begin{array}{ccc}1& & 0\\ 0& & -1\end{array}\right]$

Generatory te spełniają dokładnie takie same warunki komutacyjne, jak generatory $T^1,T^2,T^3$ grupy SO(3), tj.

$[{\tau }^a,{\tau }^b]=i\sum _c{ϵ}_{abc}{\tau }^c.$

Generatory te generują poprzez eksponentę grupę specjalnych macierzy unitarnych $SU(2)$ wymiaru $2\times 2,$ zależną od 3 parametrów rzeczywistych $z_1,z_2,z_3,$ tj.

$U(z_1,z_2,z_3)=\exp \left[i\sum _{a=1}^3{\tau }^a{z}_a\right],$

przy czym każdej macierzy ortogonalnej grupy $SO(3)$ odpowiadają jednoznacznie dwie macierze unitarne grupy $SU(2)$ – stąd nazwa „reprezentacja nakrywająca”.

Algebra Liego grupy SO(n)

Generatory grupy $SO(n)$ rozpinają algebrę Liego $so(n)$ z nawiasem Liego zadanym przez komutator

$[A,B]=AB-BA.$

Grupy obrotu a operatory mechaniki kwantowej

(1) Bardzo podobne reguły komutacyjne jak generatory grupy obrotu $SO(3)$ spełnia operator momentu pędu mechaniki kwantowej (z dokładnością do stałej Plancka $\hslash$)

$\hat{L}=[L_x,L_y,L_z],$

tj.

$[L_x,L_y]=i\hslash L_z\ne 0$ itd.

Składowym tego operatora nie da się przypisać macierzy – reprezentują je operatory różniczkowe, tworząc nieskończenie wiele wymiarową reprezentację algebry $so(3);$ funkcjami własnymi tych operatorów są funkcje całkowalne z kwadratem $L^2,$ tworzące przestrzeń wektorową.

Pomiary pokazały, że nie da się jednocześnie zmierzyć wszystkich 3 składowych momentu pędu (zasada nieoznaczoności pomiaru momentu pędu układu kwantowego) – faktowi temu odpowiada w opisie mechaniki kwantowej fakt teoretyczny: komutator dwóch dowolnych składowych tego operatora jest niezerowy.

(2) Identyczne reguły komutacyjne spełnia też operator spinu. Dlatego także nie jest możliwy jednoczesny pomiaru wszystkich składowych spinu.

Zobacz też

Grupy

• grupa obrotów SO(2)
• grupa unitarna SU(2)
• grupa unitarna SU(n)

Inne

• algebra Liego
• symetria unitarna
• symetria złamana
• macierz obrotu

Bibliografia

• Bronisław Średniawa, Mechanika kwantowa, Państwowe Wydawnictwo Naukowe, Warszawa 1978, s. 70–72, 166–171, 369–378.

Linki zewnętrzne

• Szablon:Otwarty dostęp Jerzy Juliusz Kijowski, Wszechnica CFT PAN — Grupa obrotów euklidesowych, kanał Centrum Fizyki Teoretycznej Polskiej Akademii Nauk na YouTube, 24 lutego 2020 [dostęp 2024-04-01].
• Szablon:Otwarty dostęp Orthogonal group Szablon:Lang, Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-10-05].