Parallell överföring
Parallell translation är en isomorfism av lager över ändarna av en bitvis jämn kurva av basen av en slät bunt , definierad av någon given anslutning på . I synnerhet en linjär isomorfism av tangentutrymmen och , definieras längs en kurva av någon affin anslutning ges på .
![{\displaystyle \eta :E\to B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1dca66170ea03bc61d6975d6dbbcbf5b93850d1)
![E](https://wikimedia.org/api/rest_v1/media/math/render/svg/4232c9de2ee3eec0a9c0a19b15ab92daa6223f9b)
![{\displaystyle T_{\gamma (0)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94ee96fd3e525dce25b14f5b59408a16aa43825d)
![{\displaystyle T_{\gamma (1)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d828e71ef848b686439e48808f65839cf43d69)
![{\displaystyle \gamma \in M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c9e4c574bcce05b99e8f917a3c0d50c9ca733922)
Parallell översättning längs en affin anslutning
Låt en affin anslutning ges på ett jämnt grenrör . En vektor sägs erhållas genom parallell translation från en vektor längs en jämn kurva utan självskärningar om det finns ett jämnt vektorfält i närheten av denna kurva med följande egenskaper:
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![{\displaystyle X_{1}\in T_{\gamma (1)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c41ec99bef71c69bc17030861c56a408c09f6cae)
![{\displaystyle X_{0}\in T_{\gamma (0)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/568b9efd7b09be483b2b56e0ffc8a01d38eb1754)
![{\displaystyle \gamma :[0,1]\to M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0066953642fb00abb394327531cea098815cd1c8)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
- jämlikheter och är uppfyllda ;
![{\displaystyle X(\gamma (0))=X_{0))](https://wikimedia.org/api/rest_v1/media/math/render/svg/e3bc52eb2c16690543388ac460a88340efbc1af1)
![{\displaystyle X(\gamma (1))=X_{1))](https://wikimedia.org/api/rest_v1/media/math/render/svg/14fcbc7dc8b81af85efa8c80faa126d165c0b072)
- för vilket värde som helst gäller likheten , där symbolen anger den kovarianta derivatan och är hastighetsvektorn .
![{\displaystyle t\in [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31a5c18739ff04858eecc8fec2f53912c348e0e5)
![{\displaystyle \nabla _{{\dot {\gamma }}(t)}X=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6ff760c6bab016b45e39cc7237a5d9b2d94a5977)
![\nabla](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3d0e93b78c50237f9ea83d027e4ebbdaef354b2)
![{\displaystyle {\dot {\gamma }}(t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9dc803b9b734185548ca3c18bb50e78bc44c1b35)
![\gamma](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
Kommentar. Eftersom i lokala koordinater är jämlikheten sann:
![{\displaystyle (\nabla _{\dot {\gamma }}X)^{i}={\frac {d}{dt}}X^{i}+\Gamma _{jk}^{i}\cdot X^{j}{\dot {\gamma }}^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e5ba2ff7aebae6c5d053fec2c847c234a4009c3)
,
och i detta uttryck finns det inga partiella derivator av komponenterna i vektorn , i definitionen av parallell translation är det inte nödvändigt att kräva att vektorfältet definieras i ett helt område av vägen , det räcker att det finns och är slät enbart längs denna väg.
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![X](https://wikimedia.org/api/rest_v1/media/math/render/svg/68baa052181f707c662844a465bfeeb135e82bab)
![\gamma (t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/54fa4a5d64e164410e4a18106677bebefe1a1f1b)
En parallell translation längs en bitvis jämn kurva (inklusive kurvor med självskärningar) definieras som en överlagring av parallella translationer längs dess icke-självkorsande jämna delar.
Baserat på konceptet parallell translation av en vektor, definieras begreppen parallell translation av en tensor av godtycklig valens.
Egenskaper för parallell translation av vektorer
- Enligt teorin om vanliga differentialekvationer fortsätter lösningen av Cauchy-problemet med en godtycklig linjär ODE i all oändlighet längs vilken jämn kurva som helst, därför, genom att specificera en vektor vid den initiala punkten och indikera en väg för parallell translation, överförs denna vektor unikt till någon punkt på denna väg.
- När vektorer översätts längs samma väg bevaras alla linjära relationer mellan dem.
- Överföringen av vektorer är reversibel: det räcker att överföra ändvektorerna längs returvägen för att få de ursprungliga vektorerna.
- Som en konsekvens av de två föregående egenskaperna visar det sig att operatorn för parallell translation längs en kurva är en linjär isomorfism av utrymmena och .
![\gamma](https://wikimedia.org/api/rest_v1/media/math/render/svg/a223c880b0ce3da8f64ee33c4f0010beee400b1a)
![{\displaystyle T_{\gamma (0)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94ee96fd3e525dce25b14f5b59408a16aa43825d)
![{\displaystyle T_{\gamma (1)}(M)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4d828e71ef848b686439e48808f65839cf43d69)
- Om en affin koppling överensstämmer med en metrisk tensor på en Riemann-manifold ( Levi-Civita-kopplingen ), är translationsoperatorn ortogonal, det vill säga den bevarar punktprodukterna av vektorer, deras längder och vinklarna mellan dem.
- En viktig egenskap hos parallell translation är också att translationsresultatet är oberoende av vägparametriseringen (ekvivalenta vägar ger samma resultat). Samtidigt leder parallell translation längs olika kurvor vanligtvis till olika resultat.
Relaterade definitioner
- En geodetisk är en jämn bana vars tangentvektor vid varje punkt erhålls genom parallell translation av tangentvektorn från vilken annan punkt som helst.
- Holonomigruppen är gruppen av automorfismer av tangentrymden som definieras av parallella översättningar längs stängda bitvis jämna kurvor. Dessutom, för en ansluten grenrör , och är alltid konjugerade.
![{\displaystyle \Phi _{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40af481870152429602be6feac604dee3161eaad)
![T_{x}M](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e9a02a3b6f9a6808be3b99d0b27d1b97b4bb025)
![{\displaystyle \Phi _{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40af481870152429602be6feac604dee3161eaad)
![{\displaystyle \Phi _{y))](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ebbf3ab35204b75a75045abe9daa2a23b00acdd)
Historik
Utvecklingen av begreppet parallellöversättning började med den vanliga parallellismen på det euklidiska planet, för vilket
Minding 1837 angav möjligheten att generalisera det till fallet med en yta med hjälp av det koncept han introducerade att veckla ut en kurva på en plan . Denna indikation på Minding fungerade som en utgångspunkt för Levi-Civita , som, genom att formalisera den analytiskt parallella transporten av en tangentvektor på en yta, upptäckte dess beroende endast av ytans metrik och, på grundval av denna, generaliserade den omedelbart till fallet med dimensionellt Riemannskt rum (se Levi-Civita-kopplingen ). Ytterligare generaliseringar av detta begrepp är kopplade till utvecklingen av den allmänna teorin om samband.
![{\displaystyle \gamma \in S}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec2e8910333957a110f6ab4c826676a934d2fd41)
![\mathbb {R} ^{2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e150115ab9f63023215109595b76686a1ff890fd)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Litteratur
- Rashevsky PK Riemann geometri och tensoranalys. - Vilken upplaga som helst.
- Kobayashi Sh., Nomizu K. Fundamentals of differential geometri. — Novokuznetsk Institutet för fysik och matematik. - T. 1. - 344 sid. - ISBN 5-80323-180-0 .