Transport równoległy - Parallel transport
W geometrii , transport równoległy ( lub translacja równoległa ) jest sposobem transportu danych geometrycznych wzdłuż gładkich krzywych w rozmaitości . Jeżeli rozmaitość jest wyposażona w połączenie afiniczne ( pochodna kowariantna lub połączenie na wiązce stycznej ), to połączenie to umożliwia transportowanie wektorów rozmaitości wzdłuż krzywych tak, aby były one równoległe do połączenia.
Transport równoległy połączenia dostarcza zatem w pewnym sensie sposobu przemieszczania lokalnej geometrii rozmaitości po krzywej, to znaczy łączenia geometrii sąsiednich punktów. Dostępnych może być wiele koncepcji transportu równoległego, ale określenie jednego — jednego ze sposobów łączenia geometrii punktów na krzywej — jest równoznaczne z zapewnieniem połączenia . W rzeczywistości zwykłe pojęcie połączenia jest nieskończenie małym analogiem transportu równoległego. Lub odwrotnie , transport równoległy to lokalna realizacja połączenia.
Ponieważ transport równoległy zapewnia lokalną realizację połączenia, zapewnia również lokalną realizację krzywizny znanej jako holonomia . Twierdzenie Ambrose'a-Singera uwydatnia ten związek między krzywizną a holonomią.
Inne koncepcje połączeń są również wyposażone we własne systemy transportu równoległego. Na przykład połączenie Koszula w wiązce wektorowej pozwala również na równoległy transport wektorów w podobny sposób, jak w przypadku pochodnej kowariantnej. Połączenie Ehresmanna lub Cartana zapewnia podniesienie krzywych z kolektora do całkowitej przestrzeni wiązki głównej . Takie unoszenie krzywych może być czasami traktowane jako równoległy transport ramek odniesienia .
Transport równoległy na wiązce wektorowej
Niech M będzie gładką rozmaitością. Niech E → M być wiązka wektor z covariant pochodnej ∇ i y : I → M gładką krzywą parametryzowane otwartego przedziału I . Odcinek od wzdłuż y nazywa równolegle czy
Przykładowo, jeśli jest to przestrzeń styczna w wiązce stycznej do rozdzielacza wyrażenie to oznacza, że dla każdego z przedziału wektory stycznej są „stałe” (że znika pochodne), gdy przemieszczenie nieskończenie z w kierunku stycznej wektor jest gotowy.
Załóżmy, że otrzymaliśmy element e 0 ∈ E P w P = γ (0) ∈ M , a nie sekcję. Przeniesienie równoległe o e 0 wzdłuż y jest rozszerzenie e 0 do równoległego sekcji X w y . Dokładniej, X jest unikalnym odcinkiem E wzdłuż γ takim, że
Zauważ, że w dowolnym polu współrzędnych (1) definiuje równanie różniczkowe zwyczajne , z warunkiem początkowym podanym przez (2). Zatem twierdzenie Picarda-Lindelöfa gwarantuje istnienie i jednoznaczność rozwiązania.
Zatem połączenie ∇ określa sposób przesuwania elementów włókien po krzywej, a to zapewnia liniowe izomorfizmy między włóknami w punktach wzdłuż krzywej:
od przestrzeni wektorowej leżącej nad γ( s ) do tej nad γ( t ). Ten izomorfizm jest znany jako mapa transportu równoległego związana z krzywą. Uzyskane w ten sposób izomorfizmy między włóknami będą na ogół zależały od wyboru krzywej: jeśli tak nie jest, to transport równoległy wzdłuż każdej krzywej można wykorzystać do określenia równoległych odcinków E po całym M . Jest to możliwe tylko wtedy, gdy krzywizna ∇ wynosi zero.
W szczególności, transport równoległy wokół zamkniętej krzywej rozpoczynającej się w punkcie x definiuje automorfizm przestrzeni stycznej w punkcie x, który niekoniecznie jest trywialny. Automorfizmy transportu równoległego określone przez wszystkie zamknięte krzywe oparte na x tworzą grupę transformacji zwaną grupą holonomii ∇ w x . Istnieje ścisły związek między tą grupą a wartością krzywizny ∇ przy x ; to jest treść twierdzenia o holonomii Ambrose-Singera .
Odzyskiwanie połączenia z transportu równoległego
Mając pochodną kowariantną ∇, transport równoległy wzdłuż krzywej γ uzyskuje się przez całkowanie warunku . Odwrotnie, jeśli dostępne jest odpowiednie pojęcie transportu równoległego, odpowiednie połączenie można uzyskać przez różnicowanie. Podejście to jest zasadniczo zasługą Knebelmana (1951) ; patrz Guggenheimer (1977) . Lumiste (2001) również przyjmuje to podejście.
Rozważ przypisanie do każdej krzywej γ w rozmaitości zbioru odwzorowań
takie, że
- , transformacja tożsamościowa E γ(s) .
- Zależność Γ od γ, s i t jest „gładka”.
Pojęcie gładkości w warunku 3. jest nieco trudne do sprecyzowania (patrz omówienie poniżej transportu równoległego w wiązkach włókien). W szczególności współcześni autorzy, tacy jak Kobayashi i Nomizu, ogólnie postrzegają równoległy transport połączenia jako pochodzący z połączenia w pewnym innym sensie, w którym łatwiej jest wyrazić gładkość.
Niemniej jednak, biorąc pod uwagę taką regułę dla transportu równoległego, możliwe jest odzyskanie skojarzonego nieskończenie małego połączenia w E w następujący sposób. Niech γ będzie krzywą różniczkowalną w M z punktem początkowym γ(0) i początkowym wektorem stycznym X = γ′(0). Jeśli V jest odcinkiem E nad γ, to niech
Definiuje to skojarzone nieskończenie małe połączenie ∇ na E . Odzyskuje się ten sam transport równoległy Γ z tego nieskończenie małego połączenia.
Przypadek szczególny: wiązka styczna
Niech M będzie gładką rozmaitością. Potem połączenie w wiązce stycznej z M , zwany afinicznej połączenie wyróżnia klasę krzywych nazwie (afiniczne) geodezyjne ( Kobayashi i Nomizu , tom 1, rozdział III) . Gładka krzywa γ : I → M jest geodezją afiniczną, jeśli jest transportowana równolegle wzdłuż , czyli
Biorąc pochodną po czasie, przybiera to bardziej znaną formę
Transport równoległy w geometrii Riemanna
W ( pseudo- ) geometrii Riemanna , A połączenie metryka jest dowolny związek, którego równoległe mapowania transportu zachowania tensor metryczną . Zatem połączeniem metrycznym jest dowolne połączenie Γ takie, że dla dowolnych dwóch wektorów X , Y ∈ T γ(s)
Przyjmując pochodną w t = 0, powiązany operator różniczkowy ∇ musi spełniać regułę iloczynu w odniesieniu do metryki:
Geodezja
Jeżeli ∇ jest połączeniem metrycznym, to geodezje afiniczne są zwykłymi geodezjami geometrii riemannowskiej i są lokalnie krzywymi minimalizującymi odległość. Dokładniej, najpierw zauważ, że jeśli γ : I → M , gdzie I jest przedziałem otwartym, jest geodezyjne, to norma jest stała na I . Rzeczywiście,
Z zastosowania lematu Gaussa wynika, że jeśli A jest normą , to indukowana przez metrykę odległość między dwoma wystarczająco bliskimi punktami na krzywej γ , powiedzmy γ ( t 1 ) i γ ( t 2 ), jest dana wzorem
Powyższy wzór może nie być prawdziwy dla punktów, które nie są wystarczająco blisko, ponieważ geodezja może na przykład owijać się wokół rozmaitości (np. na kuli).
Uogólnienia
Transport równoległy można bardziej ogólnie zdefiniować dla innych typów połączeń, nie tylko tych zdefiniowanych w wiązce wektorowej. Jedno uogólnienie dotyczy głównych powiązań ( Kobayashi i Nomizu 1996 , Tom 1, Rozdział II). Niech P → M będzie wiązką główną nad rozmaitością M ze strukturą grupa Liego G i połączeniem głównym ω. Podobnie jak w przypadku wiązek wektorowych, połączenie główne ω na P określa, dla każdej krzywej γ w M , odwzorowanie
od włókna nad γ( s ) do tego nad γ( t ), co jest izomorfizmem przestrzeni jednorodnych : tj. dla każdego g ∈ G .
Możliwe są również dalsze uogólnienia transportu równoległego. W kontekście połączeń Ehresmanna , gdzie połączenie zależy od specjalnego pojęcia „ podnoszenia poziomego ” przestrzeni stycznych, można zdefiniować transport równoległy za pomocą podnośników poziomych . Połączenia kartanowe to połączenia Ehresmanna z dodatkową strukturą, która pozwala na myślenie o transporcie równoległym jako mapie „toczącej” pewną przestrzeń modelową wzdłuż krzywej w rozmaitości. To walcowanie nazywa się rozwojem .
Przybliżenie: Drabina Schilda
Transport równoległy można dyskretnie przybliżyć za pomocą drabiny Schilda , która wykonuje skończone kroki wzdłuż krzywej i przybliża równoległoboki Levi-Civita przez przybliżone równoległoboki .
Zobacz też
- Podstawowe wprowadzenie do matematyki zakrzywionej czasoprzestrzeni
- Połączenie (matematyka)
- Rozwój (geometria różnicowa)
- Połączenie afiniczne
- Pochodna kowariantna
- Geodezyjne (ogólna teoria względności)
- Faza geometryczna
- Kłamstwo pochodne
- Drabina Schilda
- Równoległobok Levi-Civita
- krzywa równoległa , podobnie nazwana, ale inne pojęcie
Uwagi
Cytaty
Bibliografia
- Guggenheimer, Heinrich (1977), Geometria różniczkowa , Dover, ISBN 0-486-63433-7
- Knebelman (1951), "Przestrzenie względnego równoległości", Annals of Mathematics , 2, The Annals of Mathematics, t. 53, nr 3, 53 (3): 387–399, doi : 10.2307/1969562 , JSTOR 1969562
- Kobayashi, Shoshichi; Nomizu, Katsumi (1996), Podstawy geometrii różniczkowej , tom 1 , Wiley-Interscience, ISBN 0-471-15733-3; Tom 2, ISBN 0-471-15732-5 .
- Lumiste, Ü. (2001) [1994], „Połączenia na rozmaitości” , Encyklopedia Matematyki , EMS Press
- Spivak, Michael (1999). Kompleksowe wprowadzenie do geometrii różniczkowej, tom. II . Publikuj lub znikaj Prasa . Numer ISBN 0914098713.
Linki zewnętrzne
- Demo geometrii sferycznej . Aplet demonstrujący równoległy transport wektorów stycznych na sferze.