Geometrik hisob - Geometric calculus - Wikipedia

Yilda matematika, geometrik hisob kengaytiradi geometrik algebra qo'shmoq farqlash va integratsiya. Rasmiylik kuchli va boshqa matematik nazariyalarni qamrab olishi mumkin differentsial geometriya va differentsial shakllar.[1]

Differentsiya

Berilgan geometrik algebra bilan, ruxsat bering va bo'lishi vektorlar va ruxsat bering bo'lishi a multivektor -vektorning qiymatli funktsiyasi. The yo'naltirilgan lotin ning birga da sifatida belgilanadi

chegara hamma uchun mavjud bo'lishi sharti bilan , bu erda skalar uchun chegara olinadi . Bu yo'naltirilgan lotinning odatdagi ta'rifiga o'xshaydi, lekin uni skalyar sifatida baholanmaydigan funktsiyalarga tarqatadi.

Keyin, to'plamini tanlang asosiy vektorlar va belgilangan operatorlarni ko'rib chiqing yo'nalishlari bo'yicha yo'naltiruvchi hosilalarni bajaradigan :

Keyin Eynshteyn yig'indisi yozuvi, operatorni ko'rib chiqing:

bu degani

bu erda geometrik mahsulot yo'naltirilgan hosiladan keyin qo'llaniladi. Ko'proq so'zma-so'z:

Ushbu operator ramka tanlovidan mustaqil bo'lib, shunday qilib uni aniqlash uchun ishlatilishi mumkin geometrik lotin:

Bu odatdagi ta'rifga o'xshaydi gradient, lekin u ham, albatta, skalar bilan baholanmaydigan funktsiyalarga ham taalluqlidir.

Yo'naltiruvchi lotin uning yo'nalishi bo'yicha chiziqli, ya'ni:

Bundan kelib chiqadiki, yo'naltiruvchi hosila uning yo'nalishining geometrik hosilasi bilan ichki hosilasi hisoblanadi. Hamma narsani kuzatish kerak - bu yo'nalish yozilishi mumkin , Shuning uchun; ... uchun; ... natijasida:

Shu sababli, tez-tez qayd etiladi .

Standart operatsiyalar tartibi chunki geometrik lotin faqat uning o'ng o'ng tomoniga yaqin bo'lgan funktsiya bo'yicha ishlaydi. Ikki funktsiya berilgan va , keyin masalan bizda

Mahsulot qoidasi

Garchi qisman lotin a mahsulot qoidasi, geometrik lotin bu xususiyatni qisman meros qilib oladi. Ikki funktsiyani ko'rib chiqing va :

Geometrik mahsulot bunday emasligi sababli kommutativ bilan umuman olganda, davom etish uchun bizga yangi yozuv kerak. Qarorni qabul qilishdir haddan oshdi yozuv, unda haddan tashqari nuqta bo'lgan geometrik lotin doirasi bir xil haddan oshiqni baham ko'rgan ko'p vektorli funktsiyadir. Bunday holda, agar biz aniqlasak

u holda geometrik lotin uchun mahsulot qoidasi

Ichki va tashqi lotin

Ruxsat bering bo'lish - yuqori darajali multivektor. Keyin biz qo'shimcha operatorlar juftligini, ichki va tashqi hosilalarini,

Xususan, agar bu 1-darajadir (vektorli funktsiya), keyin biz yozishimiz mumkin

va aniqlash kelishmovchilik va burish kabi

Geometrik hosiladan farqli o'laroq, ichki hosila operatori ham, tashqi hosila operatori ham qaytarib berilmaydi.

Integratsiya

Ruxsat bering ga teng bo'lgan asosiy vektorlar to'plami bo'lishi - o'lchovli vektor maydoni. Geometrik algebradan biz izohlaymiz psevdoskalar bo'lish imzolangan hajm ning -parallelotop ushbu asosli vektorlar tomonidan ajratilgan. Agar asos vektorlari bo'lsa ortonormal, keyin bu pseudoscalar birligi.

Umuman olganda, biz o'zimizni bir qism bilan cheklashimiz mumkin asosiy vektorlarning, qaerda , uzunlikni, maydonni yoki boshqa umumiy narsalarni davolash uchun - umumiy maydonda subspace hajmi - o'lchovli vektor maydoni. Ushbu tanlangan asosiy vektorlarni quyidagicha belgilaymiz . Umumiy - hajmi -parallelotop bu asosli vektorlar tomonidan berilgan darajadir multivektor .

Umuman olganda, biz yangi vektorlar to'plamini ko'rib chiqishimiz mumkin ga mutanosib asosiy vektorlar, bu erda har biri asosiy vektorlardan birini o'lchamaydigan komponentdir. Biz nolga teng bo'lib qolguncha komponentlarni xohlagancha cheksiz kichik tanlashda erkinmiz. Ushbu atamalarning tashqi mahsuloti a sifatida talqin qilinishi mumkinligi sababli -jild, a ni aniqlashning tabiiy usuli o'lchov bu

Shuning uchun o'lchov har doim $ a $ psevdoskalari birligiga mutanosibdir -vektor makonining o'lchovli kichik maydoni. Bilan solishtiring Riemann hajmining shakli differentsial shakllar nazariyasida. Ushbu o'lchov bo'yicha integral olinadi:

Rasmiy ravishda, ba'zi yo'naltirilgan hajmlarni ko'rib chiqing pastki bo'shliqning Ushbu jildni yig'indisiga bo'lishimiz mumkin sodda. Ruxsat bering tepaliklarning koordinatalari bo'ling. Har bir tepada biz o'lchovni tayinlaymiz tepalikni baham ko'radigan oddiyliklarning o'rtacha o'lchovi sifatida. Keyin integralning munosabat bilan ushbu hajmdan kichik hajmdagi sodda qismlarga ajratish chegarasida olinadi:

Geometrik hisoblashning asosiy teoremasi

Geometrik lotin va integralni yuqoridagi kabi aniqlashning sababi shundaki, ular kuchli umumlashtirishga imkon beradi Stoks teoremasi. Ruxsat bering ning ko'p vektorli funktsiyasi bo'lishi - yuqori darajadagi kirish va umumiy pozitsiya , birinchi argumentida chiziqli. Shunda geometrik hisoblashning asosiy teoremasi lotinning hajmi bo'yicha integralini bog'laydi uning chegarasidagi integralga:

Misol tariqasida, ruxsat bering vektorli funktsiya uchun va () - yuqori darajali multektor . Biz buni topamiz

Xuddi shunday,

Shunday qilib biz divergensiya teoremasi,

Kovariant lotin

Etarli darajada silliq - er osti yuzasi o'lchovli bo'shliq deb hisoblanadi a ko'p qirrali. Kollektordagi har bir nuqtaga biz biriktiramiz - pichoq bu manifoldga tegishlidir. Mahalliy, ning psevdoskalar vazifasini bajaradi - o'lchovli bo'shliq. Ushbu pichoq a ni belgilaydi proektsiya kollektorga vektorlarning soni:

Xuddi geometrik lotin kabi umuman aniqlanadi - o'lchovli bo'shliq, biz an belgilashni xohlashimiz mumkin ichki hosila , manifoldda mahalliy ravishda aniqlangan:

(Izoh: Yuqoridagilarning o'ng tomoni manifoldga teguvchi bo'shliqda yotmasligi mumkin. Shuning uchun bu xuddi shunday emas , bu albatta teginansli bo'shliqda yotadi.)

Agar manifoldga teginuvchi vektor bo'lib, demak, geometrik lotin ham, ichki hosila ham bir xil yo'naltirilgan hosilani beradi:

Ushbu operatsiyani bajarish to'liq kuchga ega bo'lsa ham, har doim ham foydali emas, chunki o'zi manifoldda bo'lishi shart emas. Shuning uchun biz kovariant hosilasi ichki lotinni qaytarib manifoldga majburiy proektsiyasi bo'lish:

Har qanday umumiy multivektor proektsiya va rad etish yig'indisi sifatida ifodalanishi mumkin bo'lganligi sababli, bu holda

biz yangi funktsiyani joriy qilamiz shakl tensori , bu qondiradi

qayerda bo'ladi kommutator mahsuloti. Mahalliy koordinata asosida tangens sirtini qamrab olgan holda shakl tenzori tomonidan berilgan

Muhimi, umumiy manifoldda kovariant lotin almashinmaydi. Xususan, komutator shakli tensori bilan bog'liq

Shubhasiz muddat qiziqish uyg'otadi. Biroq, u ichki lotin kabi, ko'p qirrali bo'lishi shart emas. Shuning uchun biz Riemann tensori yana manifoldga proektsiya bo'lish:

Va nihoyat, agar sinfga mos keladi , keyin ichki va tashqi kovariant hosilalarini quyidagicha aniqlashimiz mumkin

va shunga o'xshash ichki lotin uchun.

Differentsial geometriya bilan bog'liqlik

Kollektorda biz mahalliy vektorlar to'plami bilan tegib turgan sirtni belgilashimiz mumkin . A tarkibiy qismlarini bog'lashimiz mumkin metrik tensor, Christoffel ramzlari, va Riemann egriligi tensori quyidagicha:

Ushbu munosabatlar differentsial geometriya nazariyasini geometrik hisoblash doirasiga kiritdi.

Differentsial shakllarga aloqadorlik

A mahalliy koordinatalar tizimi (), koordinata differentsiallari , ..., ichida bir shakllarning asosiy to'plamini tashkil qiladi koordinata jadvali. Berilgan ko'p ko'rsatkichli bilan uchun , biz a ni aniqlay olamiz -form

Shu bilan bir qatorda biz - yuqori darajali multivektor kabi

va o'lchov

Vektorlarga nisbatan tashqi mahsulotga nisbatan tashqi mahsulotga nisbatan differentsial shakllarga nisbatan tashqi mahsulotning ma'nosidagi nozik farqdan tashqari o'sish kvektorlar, ikkinchisida ular skalararni ifodalaydi), biz differentsial shaklning yozishmalarini ko'ramiz

uning hosilasi

va uning Hodge dual

geometrik hisoblashda differentsial shakllar nazariyasini singdirish.

Tarix

Quyida geometrik hisoblash tarixini umumlashtiruvchi diagramma keltirilgan.

Geometrik hisoblash tarixi.

Adabiyotlar va qo'shimcha o'qish

  1. ^ Devid Xestenes, Garrett Sobchik: Klefford algebrasi geometrik hisob, matematika va fizika uchun yagona til (Dordrext / Boston: G.Reidel Publ.Co., 1984, ISBN  90-277-2561-6