Ulanish (affine to'plami) - Connection (affine bundle) - Wikipedia

Ruxsat bering YX bo'lish afin to'plami vektor to'plami ustida modellashtirilgan YX. A ulanish Γ kuni YX deyiladi affine ulanish agar bu bo'lim sifatida bo'lsa Γ: Y → J1Y ning jet to'plami J1YY ning Y affin to'plami morfizmi X. Xususan, bu affine ulanish ustida teginish to'plami TX a silliq manifold X. (Ya'ni, affin to'plamidagi ulanish affin aloqasining namunasidir; ammo bu affin aloqasining umumiy ta'rifi emas. Bular afsuski "affine" sifatidan foydalangan holda o'zaro bog'liq, ammo alohida tushunchalardir.)

Afinaviy to'plam koordinatalariga nisbatan (xλ, ymen) kuni Y, affine aloqasi Γ kuni YX tomonidan berilgan tangens qiymatli ulanish shakli

Affin to'plami - a bilan tola to'plami umumiy afine tuzilish guruhi GA (m, ℝ) uning odatdagi tolasining afinaviy transformatsiyalari V o'lchov m. Shuning uchun affine aloqasi a bilan bog'lanadi asosiy aloqa. Bu har doim mavjud.

Har qanday affine aloqasi uchun Γ: Y → J1Y, mos keladigan chiziqli hosila Γ : Y → J1Y afin morfizmi Γ noyobni belgilaydi chiziqli ulanish vektor to'plamida YX. Chiziqli to'plam koordinatalariga nisbatan (xλ, ymen) kuni Y, bu ulanish o'qiladi

Har bir vektor to'plami affin to'plami bo'lgani uchun, har qanday vektor to'plami ham affin aloqasi hisoblanadi.

Agar YX bu vektor to'plami, ikkalasi ham affine aloqasi Γ va bog'liq chiziqli ulanish Γ bir xil vektorli to'plamdagi birikmalar YXva ularning farqlari asosiy lehim shaklidir

Shunday qilib, vektor to'plamidagi har qanday affine aloqasi YX - bu chiziqli aloqa va asosiy lehim shaklining yig'indisi YX.

Kanonik vertikal bo'linish tufayli VY = Y × Y, ushbu lehim shakli a ga keltiriladi vektor bilan baholanadigan shakl

qayerda emen uchun tolaning asosidir Y.

Affine aloqasi berilgan Γ vektor to'plamida YX, ruxsat bering R va R bo'lishi egriliklar ulanish Γ va bog'liq chiziqli ulanish Γnavbati bilan. Bu osonlikcha kuzatilmoqda R = R + T, qayerda

bo'ladi burish ning Γ asosiy lehim shakliga nisbatan σ.

Xususan, tegonli to'plamni ko'rib chiqing TX ko'p qirrali X tomonidan muvofiqlashtiriladi (xm, m). Kanonik lehim shakli mavjud

kuni TX bilan mos keladi tavtologik bir shakl

kuni X kanonik vertikal bo'linish tufayli VTX = TX × TX. Ixtiyoriy chiziqli aloqa berilgan Γ kuni TX, tegishli affin aloqasi

kuni TX bo'ladi Karton aloqasi. Kartan ulanishining burilishi A lehim shakliga nisbatan θ ga to'g'ri keladi burish chiziqli ulanish Γ, va uning egriligi yig'indidir R + T egrilik va burilish Γ.

Shuningdek qarang

Adabiyotlar

  • Kobayashi, S .; Nomizu, K. (1996). Differentsial geometriya asoslari. 1–2. Wiley-Intertersience. ISBN  0-471-15733-3.
  • Sardanashvili, G. (2013). Nazariyotchilar uchun rivojlangan differentsial geometriya. Elyaf to'plamlari, reaktiv manifoldlar va Lagranjiya nazariyasi. Lambert akademik nashriyoti. arXiv:0908.1886. Bibcode:2009arXiv0908.1886S. ISBN  978-3-659-37815-7.