WikiDer > Egrilik shakli - Vikipediya

Yilda differentsial geometriya, egrilik shakli tasvirlaydi egrilik a ulanish a asosiy to'plam. Ga alternativa yoki umumlashtirish sifatida qaralishi mumkin egrilik tensori yilda Riemann geometriyasi.

Ta'rif

Ruxsat bering G bo'lishi a Yolg'on guruh bilan Yolg'on algebra ${ displaystyle { mathfrak {g}}}$va P → B bo'lishi a asosiy G- to'plam. $ A $ bo'lsin Ehresmann aloqasi kuni P (bu a ${ displaystyle { mathfrak {g}}}$- baholangan bitta shakl kuni P).

Keyin egrilik shakli bo'ladi ${ displaystyle { mathfrak {g}}}$-2-shakl bo'yicha baholangan P tomonidan belgilanadi

${ displaystyle Omega = d omega + {1 over 2} [ omega wedge omega].}$

Bu yerda ${ displaystyle d}$ degan ma'noni anglatadi tashqi hosila va ${ displaystyle [ cdot wedge cdot]}$ maqolasida belgilangan "Yolg'on algebra bilan baholanadigan shakl"Boshqa so'zlar bilan aytganda,^[1]

${ displaystyle , Omega (X, Y) = d omega (X, Y) + [ omega (X), omega (Y)]}$

qayerda X, Y ga teginuvchi vektorlar P.

Ω uchun yana bir ibora mavjud: if X, Y gorizontal vektor maydonlari P, keyin^[2]

${ displaystyle sigma Omega (X, Y) = - omega ([X, Y]) = - [X, Y] + h [X, Y]}$

qayerda hZ ning gorizontal komponentini anglatadi Z, o'ngda biz vertikal vektor maydonini va uni ishlab chiqaruvchi Lie algebra elementini aniqladik (asosiy vektor maydoni) va ${ displaystyle sigma in {1,2 }}$ uchun formulada konventsiya tomonidan qo'llaniladigan normallashtirish koeffitsientining teskari tomoni tashqi hosila.

Aloqa deyiladi yassi agar uning egriligi yo'qolsa: Ω = 0. Tarkibida, agar struktura guruhini bir xil asosiy guruhga qisqartirish mumkin bo'lsa, lekin diskret topologiya bilan tenglashtirilsa, ulanish tekis bo'ladi. Shuningdek qarang: yassi vektorli to'plam.

Vektorli to'plamdagi egrilik shakli

Agar E → B bu vektor to'plami, keyin $ f $ ni $ 1 $ -li matritsa deb hisoblash mumkin va yuqoridagi formula E. Cartanning tuzilish tenglamasiga aylanadi:

${ displaystyle , Omega = d omega + omega wedge omega,}$

qayerda ${ displaystyle wedge}$ bo'ladi xanjar mahsuloti. Aniqrog'i, agar ${ displaystyle omega _ { j} ^ {i}}$ va ${ displaystyle Omega _ { j} ^ {i}}$ ω va of tarkibiy qismlarini mos ravishda belgilang, (shuning uchun har biri ${ displaystyle omega _ { j} ^ {i}}$ odatdagi 1-shakl va har biri ${ displaystyle Omega _ { j} ^ {i}}$ odatdagi 2-shakl) keyin

${ displaystyle Omega _ { j} ^ {i} = d omega _ { j} ^ {i} + sum _ {k} omega _ { k} ^ {i} wedge omega _ { j} ^ {k}.}$

Masalan, uchun teginish to'plami a Riemann manifoldu, tuzilish guruhi O (n) va Ω - bu O (2) ning Lie algebrasida qiymatlari bo'lgan 2-shakl.n), ya'ni antisimetrik matritsalar. Bu holda Ω shakli - ning muqobil tavsifi egrilik tensori, ya'ni

${ displaystyle , R (X, Y) = Omega (X, Y),}$

Riemann egrilik tensori uchun standart yozuvlardan foydalangan holda.

Byankining o'ziga xosliklari

Agar ${ displaystyle theta}$ ramka to'plamidagi kanonik vektor bilan baholangan 1-shakl, burish ${ displaystyle Theta}$ ning ulanish shakli${ displaystyle omega}$ bu struktura tenglamasi bilan aniqlangan vektor bilan baholangan 2 shakl

${ displaystyle Theta = d theta + omega wedge theta = D theta,}$

qaerda yuqoridagi kabi D. belgisini bildiradi tashqi kovariant hosilasi.

Birinchi Byanki o'ziga xosligi shaklni oladi

${ displaystyle D Theta = Omega wedge theta.}$

Ikkinchi Byanki o'ziga xosligi shaklni oladi

${ displaystyle , D Omega = 0}$

va umuman boshqalar uchun amal qiladi ulanish a asosiy to'plam.

Izohlar

Adabiyotlar

• Shoshichi Kobayashi va Katsumi Nomizu (1963) Differentsial geometriya asoslari, Vol.I, 2.5-bob. Egrilik shakli va tuzilish tenglamasi, 75-bet, Wiley Interscience.

Shuningdek qarang

• Aloqa (asosiy to'plam)
• Egri fazoviy vaqt matematikasiga asosiy kirish
• Chern-Simons shakli
• Riemann manifoldlarining egriligi
• O'lchov nazariyasi