Párhuzamos átvitel
A párhuzamos fordítás egy sima köteg alapjának darabonkénti sima görbéjének végei feletti rétegek izomorfizmusa , amelyet valamilyen adott kapcsolat határoz meg a -n . Különösen a és érintőterek lineáris izomorfizmusa , amelyet egy görbe mentén határoz meg valamilyen affin kapcsolat , amely a -n adott .
![{\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)
Párhuzamos fordítás affin kapcsolat mentén
Adjunk meg egy affin kapcsolatot egy sima elosztón . Egy vektort úgy mondunk, hogy egy vektor párhuzamos transzlációjával kapunk egy sima görbe mentén önmetszéspontok nélkül, ha van egy sima vektormező a görbe közelében , amely a következő tulajdonságokkal rendelkezik:
![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)
- egyenlőségek és teljesülnek ;
![{\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)
- bármely értékre érvényes az egyenlőség , ahol a szimbólum a kovariáns deriváltot jelöli , és a sebességvektor .
![{\displaystyle t\in [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/31a5c18739ff04858eecc8fec2f53912c348e0e5)
![{\displaystyle \nabla _{{\pont {\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 {\pont {\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)
Megjegyzés. Mivel a helyi koordinátákban az egyenlőség igaz:
![{\displaystyle (\nabla _{\pont {\gamma }}X)^{i}={\frac {d}{dt}}X^{i}+\Gamma _{jk}^{i}\cdot X^{j}{\pont {\gamma }}^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e5ba2ff7aebae6c5d053fec2c847c234a4009c3)
,
és ebben a kifejezésben nincsenek parciális származékai a vektor komponenseinek, a párhuzamos transzláció definíciójában nem szükséges megkövetelni, hogy a vektormező az útvonal teljes szomszédságában legyen definiálva, elég, ha létezik és simán végig ezen az úton egyedül.
![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)
Egy darabonként sima görbe mentén történő párhuzamos fordítás (beleértve az önmetszéspontokkal rendelkező görbéket is) úgy definiálható, mint a párhuzamos fordítások szuperpozíciója a nem önmagát metsző sima darabok mentén.
Egy vektor párhuzamos transzlációjának koncepciója alapján definiáljuk egy tetszőleges vegyértékű
tenzor párhuzamos fordításának fogalmait.
Vektorok párhuzamos fordításának tulajdonságai
- A közönséges differenciálegyenletek elmélete szerint egy tetszőleges lineáris ODE Cauchy-probléma megoldása a végtelenségig folytatódik bármely sima görbe mentén, ezért a kezdeti pontban egy vektor megadásával és a párhuzamos transzláció útvonalának megadásával ez a vektor egyedi módon kerül átvitelre. ennek az útnak bármely pontjára.
- Ha vektorokat ugyanazon az útvonalon fordítunk le, a köztük lévő összes lineáris kapcsolat megmarad.
- A vektorok átvitele reverzibilis: elég a végvektorokat a visszatérési úton átvinni, hogy megkapjuk az eredeti vektorokat.
- Az előző két tulajdonság következtében kiderül, hogy a görbe mentén történő párhuzamos fordítás operátora a és a terek lineáris izomorfizmusa .
![\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)
- Ha egy affin kapcsolat konzisztens egy metrikus tenzorral egy Riemann-sokaságon ( a Levi-Civita kapcsolat ), akkor a fordítási operátor ortogonális, azaz megőrzi a vektorok pontszorzatait, azok hosszát és a köztük lévő szögeket.
- A párhuzamos fordítás fontos tulajdonsága az is, hogy a fordítási eredmény független az útvonalparaméterezéstől (az egyenértékű útvonalak ugyanazt az eredményt adják). Ugyanakkor a különböző görbék mentén történő párhuzamos fordítás általában eltérő eredményekhez vezet.
Kapcsolódó definíciók
- A geodetikus egy olyan sima út, amelynek érintővektorát minden pontban az érintővektor bármely más pontból történő párhuzamos transzlációjával kapjuk.
- A holonómiacsoport az érintőtér automorfizmusainak csoportja , amelyet zárt darabonként sima görbék mentén párhuzamos fordítások határoznak meg. Sőt, egy csatlakoztatott elosztó esetén, és mindig konjugáltak.
![{\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)
Történelem
A párhuzamos fordítás fogalmának kialakulása az euklideszi síkon szokásos párhuzamossággal kezdődött, amelyhez
Minding 1837-ben jelezte annak lehetőségét, hogy a felület esetére általánosítsák az általa bevezetett, a görbe egy felületre való kibontásának koncepciójával. sík . Mindingnek ez a jelzése szolgált kiindulópontul Levi-Civita számára, aki egy érintővektor felületen történő analitikusan párhuzamos transzportját formalizálva fedezte fel annak függését csak a felület metrikájától, és ennek alapján azonnal általánosította -dimenziós Riemann-tér esete (lásd Levi-Civita kapcsolat ) . E fogalom további általánosításai az általános összefüggéselmélet fejlődéséhez kapcsolódnak.
![{\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)
Irodalom
- Rashevsky PK Riemann geometria és tenzoranalízis. - Bármilyen kiadás.
- Kobayashi Sh., Nomizu K. A differenciálgeometria alapjai. — Novokuznyeck Fizikai és Matematikai Intézet. - T. 1. - 344 p. - ISBN 5-80323-180-0 .