Algebra Liego

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, wyszukiwania

Algebra Liego – w matematyce, struktura algebraiczna z określonym działaniem dwuargumentowym zwanym nawiasem Liego. Algebry Liego mają swoje zastosowanie m.in. podczas studiowania grup Liego, rozwiązywania układów nieliniowych etc.

Definicja[edytuj | edytuj kod]

Algebra Liego nad ciałem K (zwykle K = \mathbb C lub K = \mathbb R) to przestrzeń liniowa X nad ciałem K z określonym działaniem dwuargumentowym [\cdot, \cdot]\colon X \times X \to X, nazywanym nawiasem Liego lub komutatorem, spełniającym dla dowolnych x, y, z \in X i \alpha, \beta \in K następujące warunki:

Przykłady[edytuj | edytuj kod]

Przemienna algebra Liego[edytuj | edytuj kod]

Dowolna przestrzeń liniowa, w której zdefiniujemy nawias Liego dowolnych dwóch elementów jako równy zero, jest algebrą Liego. Taką algebrę Liego nazywamy przemienną lub abelową.

Iloczyn wektorowy[edytuj | edytuj kod]

Nawias Liego w przestrzeni \mathbb R^3 definiujemy jako iloczyn wektorowy elementów. Łatwo sprawdzić, że takie działanie spełnia warunki z definicji algebry Liego.

Komutator[edytuj | edytuj kod]

Algebrą Liego jest dowolna algebra łączna, w której definiujemy nawias Liego jako komutator, czyli

[a, b] = ab - ba.

Komutator automatycznie spełnia wszystkie trzy warunki z definicji nawiasu Liego.

Szczególnymi przypadkami tego rodzaju algebr Liego są:

algebra \mathfrak l(n, \mathbb C) 
zbiór wszystkich macierzy kwadratowych wymiaru n o elementach zespolonych:
algebra \mathfrak{sl}(n, \mathbb C) 
podalgebra \mathfrak l(n, \mathbb C) macierzy o śladzie równym zeru;
algebra \mathfrak u(n, \mathbb C) 
podalgebra \mathfrak l(n, \mathbb C) macierzy antyhermitowskich;
algebra \mathfrak{su}(n, \mathbb C) 
podalgebra \mathfrak l(n, \mathbb C) będąca przecięciem dwóch powyższych;
algebra \mathfrak{so}(n, \mathbb R) 
algebra antysymetrycznych macierzy kwadratowych wymiaru n o elementach rzeczywistych, w szczególności z antysymetryczności wynika, że ślad tych macierzy jest równy zeru.

Generatory[edytuj | edytuj kod]

Istnieje pewne podobieństwo definicji zbioru generatorów grupy do definicji bazy przestrzeni liniowej.

Algebra Liego rozpięta jest na zbiorze liniowo niezależnych elementów (zbioru generatorów) X = x^i e_i . Jest ona zdefiniowana przez wszystkie możliwe komutatory generatorów

[e_i, e_j] = \sum_k f_{i, j, k} e_k.

Współczynniki f_{i, j, k} nazywamy stałymi strukturalnymi. Jeżeli wszystkie komutatory są równe zeru, to algebra (grupa) jest nazywana abelową lub przemienną.

Przykłady[edytuj | edytuj kod]

Przesunięcia w przestrzeni trójwymiarowej[edytuj | edytuj kod]

Zbiór generatorów ma trzy elementy: przesunięcie jednostkowe w kierunku osi Ox, Oy i Oz. Oznaczmy je przez X, Y, Z. Algebra Liego tej grupy to

[X, Y] = [Y, Z] = [Z, X] = 0.

Jest to więc grupa przemienna.

Obroty w przestrzeni trójwymiarowej[edytuj | edytuj kod]

Zbiór generatorów ma trzy elementy: obrót jednostkowy w prawo wokół osi Ox, Oy i Oz. Oznaczmy je przez e_1, e_2, e_3. Algebra Liego tej grupy:

[e_1, e_2] = e_3,
[e_2, e_3] = e_1 ,
[e_3, e_1] = e_2.

Stałe strukturalne f_{i, j, k} = \epsilon_{i, j, l} określone są przez symbol Leviego-Civity w następujący sposób:

  • f_{i, j, k} = 1, gdy permutacja (1 2 3) jest parzysta,
  • f_{i, j, k} = -1, gdy permutacja ta jest nieparzysta,
  • f_{i, j, k} = 0, gdy któryś ze wskaźników się powtarza.

Jeżeli obrócimy układ o 90^\circ w prawo wokół osi Ox oraz 90^\circ w prawo wokół osi Oy, a następnie 90^\circ w lewo wokół osi Ox i 90^\circ w lewo wokół osi Oy, to nie wrócimy do punktu wyjścia – układ będzie obrócony o 90^\circ w lewo wokół osi Oz oraz 90^\circ w lewo wokół osi Oy w stosunku do układu początkowego. Nie jest to więc grupa abelowa.

algebra \mathfrak{su}(2)[edytuj | edytuj kod]

Zbiór bezśladowych macierzy wymiaru 2 \times 2 rozpięty jest na trzech macierzach Pauliego \sigma_i (macierze te używane są także do opisu cząstek ze spinem połówkowym). Generatorami algebry \mathfrak{su}(2)

e_i = -\tfrac{1}{2}i \sigma_i

Algebra \mathfrak{su}(2) jest algebrą Liego grupy SU(2) oraz grupy grupy SO(3) – grupy obrotów w przestrzeni trójwymiarowej.

Zobacz też[edytuj | edytuj kod]