WikiDer > Aloqa (kompozit to'plam)

Kompozit to'plamlar ${ displaystyle Y to Sigma to X}$ ichida muhim rol o'ynaydi o'lchov nazariyasi bilan simmetriya buzilishimasalan, tortishish nazariyasi, avtonom bo'lmagan mexanika qayerda ${ displaystyle X = mathbb {R}}$ vaqt o'qi, masalan, vaqtga bog'liq parametrlarga ega bo'lgan mexanika va boshqalar. O'rtasida muhim munosabatlar mavjud ulanishlar kuni tolalar to'plamlari ${ displaystyle Y to X}$, ${ displaystyle Y to Sigma}$ va ${ displaystyle Sigma to X}$.

Kompozit to'plam

Yilda differentsial geometriya tomonidan a kompozit to'plam tarkibi nazarda tutilgan

${ displaystyle pi: Y to Sigma to X qquad qquad (1)}$

tola to'plamlari

${ displaystyle pi _ {Y Sigma}: Y to Sigma, qquad pi _ { Sigma X}: Sigma to X}.$

U to'plam koordinatalari bilan ta'minlangan ${ displaystyle (x ^ { lambda}, sigma ^ {m}, y ^ {i})}$, qayerda ${ displaystyle (x ^ { lambda}, sigma ^ {m})}$ tolalar to'plamidagi to'plam koordinatalari ${ displaystyle Sigma to X}$, ya'ni koordinatalarning o'tish funktsiyalari ${ displaystyle sigma ^ {m}}$ koordinatalardan mustaqil ${ displaystyle y ^ {i}}$.

Quyidagi fakt kompozit to'plamlarning yuqorida aytib o'tilgan jismoniy dasturlarini taqdim etadi. Kompozit to'plamni (1) hisobga olgan holda, ruxsat bering ${ displaystyle h}$ tola to'plamining global bo'limi bo'ling ${ displaystyle Sigma to X}$agar mavjud bo'lsa. Keyin orqaga tortish to'plami ${ displaystyle Y ^ {h} = h ^ {*} Y}$ ustida ${ displaystyle X}$ tolalar to'plamining pastki to'plami ${ displaystyle Y to X}$.

Kompozit asosiy to'plam

Masalan, ruxsat bering ${ displaystyle P dan X} gacha$ bo'lishi a asosiy to'plam yolg'on guruhi bilan ${ displaystyle G}$ qaysi kamaytirilishi mumkin uning yopiq kichik guruhiga ${ displaystyle H}$. Kompozit to'plam mavjud ${ displaystyle P to P / H to X}$ qayerda ${ displaystyle P to P / H}$ tuzilish guruhiga ega bo'lgan asosiy to'plamdir ${ displaystyle H}$ va ${ displaystyle P / H to X}$ bilan bog'liq bo'lgan tolalar to'plami ${ displaystyle P dan X} gacha$. Global bo'lim berilgan ${ displaystyle h}$ ning ${ displaystyle P / H to X}$, orqaga tortish to'plami ${ displaystyle h ^ {*} P}$ ning qisqartirilgan asosiy pastki to'plami ${ displaystyle P}$ tuzilish guruhi bilan ${ displaystyle H}$. Yilda o'lchov nazariyasi, bo'limlari ${ displaystyle P / H to X}$ kabi muomala qilinadi klassik Xiggs maydonlari.

Kompozit to'plamning reaktiv manifoldlari

Kompozit to'plamni hisobga olgan holda ${ displaystyle Y to Sigma to X}$ (1), ni ko'rib chiqing reaktiv manifoldlar ${ displaystyle J ^ {1} Sigma}$, ${ displaystyle J _ { Sigma} ^ {1} Y}$va ${ displaystyle J ^ {1} Y}$ tola to'plamlaridan ${ displaystyle Sigma to X}$, ${ displaystyle Y to Sigma}$va ${ displaystyle Y to X}$navbati bilan. Ular moslashtirilgan koordinatalar bilan ta'minlangan ${ displaystyle (x ^ { lambda}, sigma ^ {m}, sigma _ { lambda} ^ {m})}$, ${ displaystyle (x ^ { lambda}, sigma ^ {m}, y ^ {i}, { widehat {y}} _ { lambda} ^ {i}, y_ {m} ^ {i}) ,}$va ${ displaystyle (x ^ { lambda}, sigma ^ {m}, y ^ {i}, sigma _ { lambda} ^ {m}, y _ { lambda} ^ {i}).}$

Kanonik xarita mavjud

${ displaystyle J ^ {1} Sigma times _ { Sigma} J _ { Sigma} ^ {1} Y to _ {Y} J ^ {1} Y, qquad y _ { lambda} ^ {i } = y_ {m} ^ {i} sigma _ { lambda} ^ {m} + { widehat {y}} _ { lambda} ^ {i}}$.

Kompozit ulanish

Ushbu kanonik xarita tolalar to'plamidagi ulanishlar o'rtasidagi munosabatlarni aniqlaydi ${ displaystyle Y to X}$, ${ displaystyle Y to Sigma}$ va ${ displaystyle Sigma to X}$. Ushbu ulanishlar mos keladigan tomonidan berilgan tangens-qiymatli ulanish shakllari

${ displaystyle gamma = dx ^ { lambda} otimes ( kısalt _ { lambda} + gamma _ { lambda} ^ {m} kısalt _ {m} + gamma _ { lambda} ^ { i} qisman _ {i}),}$

${ displaystyle A _ { Sigma} = dx ^ { lambda} otimes ( kısalt _ { lambda} + A _ { lambda} ^ {i} qismli _ {i}) + d sigma ^ {m} otimes ( kısalt _ {m} + A_ {m} ^ {i} qisman _ {i}),}$

${ displaystyle Gamma = dx ^ { lambda} otimes ( kısalt _ { lambda} + Gamma _ { lambda} ^ {m} qismli _ {m}).}$

Aloqa ${ displaystyle A _ { Sigma}}$ tolalar to'plamida ${ displaystyle Y to Sigma}$va ulanish ${ displaystyle Gamma}$ tolalar to'plamida ${ displaystyle Sigma to X}$ ulanishni aniqlang

${ displaystyle gamma = dx ^ { lambda} otimes ( kısalt _ { lambda} + Gamma _ { lambda} ^ {m} kısalt _ {m} + (A _ { lambda} ^ {i } + A_ {m} ^ {i} Gamma _ { lambda} ^ {m}) qisman _ {i})}$

kompozit to'plamda ${ displaystyle Y to X}$. Bunga deyiladi kompozit ulanish. Bu noyob ulanishdir, shunday qilib gorizontal ko'tarish ${ displaystyle gamma tau}$ ustiga ${ displaystyle Y}$ vektor maydonining ${ displaystyle tau}$ kuni ${ displaystyle X}$ kompozitsion birikma yordamida ${ displaystyle gamma}$ kompozitsiyasiga to'g'ri keladi ${ displaystyle A _ { Sigma} ( Gamma tau)}$ gorizontal ko'targichlari ${ displaystyle tau}$ ustiga ${ displaystyle Sigma}$ aloqa vositasida ${ displaystyle Gamma}$ va keyin ustiga ${ displaystyle Y}$ aloqa vositasida ${ displaystyle A _ { Sigma}}$.

Vertikal kovariant differentsiali

Kompozit to'plamni hisobga olgan holda ${ displaystyle Y}$ (1), quyidagilar mavjud aniq ketma-ketlik vektor to'plamlari tugadi ${ displaystyle Y}$:

${ displaystyle 0 to V _ { Sigma} Y to VY to Y times _ { Sigma} V Sigma to 0, qquad qquad (2)}$

qayerda ${ displaystyle V _ { Sigma} Y}$ va ${ displaystyle V _ { Sigma} ^ {*} Y}$ ular vertikal teginish to'plami va vertikal kotangens to'plami ning ${ displaystyle Y to Sigma}$. Har qanday aloqa ${ displaystyle A _ { Sigma}}$ tolalar to'plamida ${ displaystyle Y to Sigma}$ bo'linishni beradi

${ displaystyle A _ { Sigma}: TY supset VY ni { nuqta {y}} ^ {i} qismli _ {i} + { nuqta { sigma}} ^ {m} qismli _ {m } to ({ nuqta {y}} ^ {i} -A_ {m} ^ {i} { nuqta { sigma}} ^ {m}) qisman _ {i}}$

aniq ketma-ketlikning (2). Ushbu bo'linishdan foydalanib, birinchi tartibni qurish mumkin differentsial operator

${ displaystyle { widetilde {D}}: J ^ {1} Y to T ^ {*} X otimes _ {Y} V _ { Sigma} Y, qquad { widetilde {D}} = dx ^ { lambda} otimes (y _ { lambda} ^ {i} -A _ { lambda} ^ {i} -A_ {m} ^ {i} sigma _ { lambda} ^ {m}) qisman _ {i},}$

kompozit to'plamda ${ displaystyle Y to X}$. Bunga deyiladi vertikal kovariant differentsiali.U quyidagi muhim xususiyatga ega.

Ruxsat bering ${ displaystyle h}$ tola to'plamining bo'limi bo'ling ${ displaystyle Sigma to X}$va ruxsat bering ${ displaystyle h ^ {*} Y kichik to'plam Y}$ orqaga tortish to'plami bo'ling ${ displaystyle X}$. Har qanday aloqa ${ displaystyle A _ { Sigma}}$ undaydi orqaga tortish aloqasi

${ displaystyle A_ {h} = dx ^ { lambda} otimes [ kısalt _ { lambda} + ((A_ {m} ^ {i} circ h) qisman _ { lambda} h ^ {m } + (A circ h) _ { lambda} ^ {i}) qisman _ {i}]}$

kuni ${ displaystyle h ^ {*} Y}$. Keyin vertikal kovariant differentsialining cheklanishi ${ displaystyle { widetilde {D}}}$ ga ${ displaystyle J ^ {1} h ^ {*} Y kichik to'plam J ^ {1} Y}$ tanish bilan bir vaqtga to'g'ri keladi kovariant differentsiali ${ displaystyle D ^ {A_ {h}}}$kuni ${ displaystyle h ^ {*} Y}$ orqaga tortish aloqasiga nisbatan ${ displaystyle A_ {h}}$.

Adabiyotlar

• Sonders, D., Jet to'plamlarining geometriyasi. Kembrij universiteti matbuoti, 1989 y. ISBN 0-521-36948-7.
• Mangiarotti, L., Sardanashvili, G., Klassik va kvantli maydon nazariyasidagi aloqalar. World Scientific, 2000 yil. ISBN 981-02-2013-8.

Tashqi havolalar

• Sardanashvili, G., Nazariyotchilar uchun rivojlangan differentsial geometriya. Elyaf to'plamlari, reaktiv manifoldlar va Lagranjiya nazariyasi, Lambert akademik nashriyoti, 2013 yil. ISBN 978-3-659-37815-7; arXiv:0908.1886

Shuningdek qarang

• Aloqa (matematika)
• Ulanish (tolali manifold)