Z Wikipedii

Spinor to obiekt geometryczny o specyficznych własnościach transformacyjnych. Spinory transformują się względem reprezentacji spinorowej (ułamkowej) grupy przekształceń.

[edytuj] Reprezentacje

W przestrzeni egzystują różne obiekty geometryczne. Aby opisać obiekty geometryczne, wprowadzamy układ współrzędnych, pozwalający na wyrażenie składowych obiektów geometrycznych. Układ współrzędnych można wybrać na wiele sposobów. Składowe obiektów geometrycznych są inne w każdym układzie współrzędnych.

Aby przeprowadzić jeden układ współrzędnych w drugi, podaje się transformację zamieniającą wektory bazowe pierwszego układu współrzędnych na wektory bazowe drugiego. Transformacje układów tworzą grupę.

Reprezentacja grupy, jest to taki zbiór macierzy, że każdemu elementowi grupy odpowiada jakaś macierz i elementowi będącemu wynikiem działania grupowego elementów A i B odpowiada macierz będąca iloczynem macierzy odpowiadającej elementowi A i macierzy odpowiadającej elementowi B. Reprezentacja jest więc homomorfizmem grupy w algebrę macierzy z mnożeniem.

Macierz odpowiadającą elementowi A oznaczać będziemy symbolem D(A). Gwiazdka oznacza działanie grupowe.

D(A * B) = D(A)D(B)

Termin macierz może się czasem odnosić do trywialnej macierzy 1x1, którą można utożsamić ze zwykłą liczbą.

Czasami zamiast mnożenia macierzy bierze się jakieś inne proste działanie na macierzach. Przykładowo, może to być 'mnożenie odwrotne' (jak wiadomo, mnożenie macierzy nie jest przemienne). Działanie to musi być łączne. W takim wypadku reprezentacja jest więc antyhomomorfizmem grupy w algebrę macierzy.

D(A * B) = D(B)D(A)

[edytuj] Przykłady reprezentacji

Najprostszą, trywialną reprezentacją każdej grupy jest przyporządkowanie każdemu elementowi liczby 1.

D(A) = 1

Z inną trywialną reprezentacją mamy do czynienia, jeżeli wyjściowa grupa sama jest grupą macierzy. Możemy wtedy za reprezentację przyjąć samą tę grupę.

D(A) = A

D(AB) = AB = D(A)D(B)

Nietrywialną reprezentacją może być reprezentacja pseudowektorowa. Macierz reprezentacji jest macierzą odwrotną do macierzy wyjściowej pomnożoną przez jej wyznacznik. Zamiast mnożenia macierzy bierzemy 'mnożenie odwrotne'.

D(A) = det(A)A ^{− 1}

D(AB) = det(B)B ^{− 1}det(A)A ^{− 1} = D(B)D(A)

[edytuj] Reprezentacja spinorowa

Każdy obiekt geometryczny przekształca się względem jakiejś reprezentacji. Więcej na ten temat w artykule Tensor.

Spinory przekształcają się względem następującej reprezentacji. Wyprowadzenie to dotyczy tylko trójwymiarowej przestrzeni euklidesowej. Rozważamy wyłącznie izometryczne przekształcenia układów współrzędnych, czyli obroty i odbicia.

Każdemu wektorowi [a,b,c] przyporządkujmy macierz 2x2 o składowych zespolonych:

Macierze te spełniają równanie: (I - macierz jednostkowa, | v | - długość wektora)

S(v)S(v) = | v | ²I

Dla każdego odbicia zdefiniujmy jednostkowy wektor prostopadły do płaszczyzny odbicia. Każdemu odbiciu przyporządkowujemy macierz S odpowiadającą temu wektorowi. (R(u) - odbicie względem płaszczyzny prostopadłej do jednostkowego wektora u)

D(R(u)) = S(u)

Każdy obrót można przedstawić jako złożenie dwóch odbić. Każdemu obrotowi O = R(u)R(v) przyporządkowujemy więc macierz będącą iloczynem macierzy S odpowiadających tym odbiciom:

D(O) = D(R(u)R(v)) = S(u)S(v)

Tak zdefiniowany zbiór macierzy D speÅ‚nia wszystkie zaÅ‚ożenia bycia reprezentacjÄ…. W szczególnoÅ›ci w każdej reprezentacji przeksztaÅ‚ceniu tożsamoÅ›ciowemu powinna odpowiadać macierz jednostkowa. Każde odbicie zÅ‚ożone samo ze sobÄ… daje przeksztaÅ‚cenie tożsamoÅ›ciowe. Na mocy równania S(v)S(v) = | v | ²I macierz odpowiadajÄ…ca przeksztaÅ‚ceniu tożsamoÅ›ciowemu jest macierzÄ… jednostkowÄ….

[edytuj] Spinory

Dla każdej reprezentacji istnieją obiekty geometryczne, których składowe przekształcają się zgodnie z nią. Dla reprezentacji spinorowej obiekty te nazywamy spinorami.

Spinor jest to wektor kolumnowy o składowych zespolonych taki, że jeżeli jeden układ współrzędnych przekształca się w drugi pod wpływem transformacji T, to składowe spinora w tych układach wiąże wzór:

gdzie D(T) jest macierzÄ… zdefiniowanÄ… w poprzednim akapicie.

Spinory posiadają kilka mało intuicyjnych własności. M.in. jeżeli poddamy spinor obrotowi o 360 stopni, to zmieni on znak na przeciwny.

[edytuj] Zastosowania

Spinory pojawiają się w fizyce, w szczególności w mechanice kwantowej, np. funkcje falowe cząstek o ułamkowym spinie jak elektron lub inne fermiony, są opisywane właśnie za pomocą spinorów. Powoduje to pojawienie się szeregu doniosłych i często sprzecznych z intuicją efektów jak np. zakaz Pauliego.

Spinory istnieją w przestrzeniach o dowolnej liczbie wymiarów, jednak dla każdej liczby wymiarów trzeba osobno definiować macierze reprezentacji spinorowej. Jest to sytuacja inna niż w przypadku zwykłych tensorów, gdzie istnieje jeden ogólny schemat definiowania macierzy reprezentacji dla dowolnej liczby wymiarów. Reprezentacja spinorowa ma wyraźnie inną postać w przestrzeniach o parzystej liczbie wymiarów w porównaniu do przestrzeni nieparzyście wymiarowych. Jedną z konsekwencji takiego stanu rzeczy jest fakt, że w pewnych konkretnych przestrzeniach spinory wykazują pewne dodatkowe własności, których nie mają w innej liczbie wymiarów. Kiedy odkryto teorię strun, zauważono, że jest matematycznie spójna tylko w przestrzeni dziesięcio- lub dwudziestosześciowymiarowej. Jest to właśnie odbicie szczególnych własności spinorów w tych przestrzeniach.

[edytuj] Zobacz też

• przeglÄ…d zagadnieÅ„ z zakresu matematyki.