Homotopiya printsipi - Homotopy principle

Gomotopiya printsipi Smalening isboti kabi natijalarni umumlashtiradi sohaning o'zgarishi.

Yilda matematika, homotopiya printsipi (yoki h-printsipi) hal qilishning juda umumiy usuli qisman differentsial tenglamalar (PDE) va umuman olganda qisman differentsial munosabatlar (PDR). H-printsipi yaxshi aniqlanmagan Immersiya muammosi, izometrik immersiya muammosi, suyuqlik dinamikasi va boshqa sohalarda yuzaga keladigan PDE yoki PDR.

Nazariya boshlandi Yakov Eliashberg, Mixail Gromov va Entoni V. Fillips. Bu qisman differentsial munosabatlarni kamaytiradigan oldingi natijalarga asoslangan edi homotopiya, ayniqsa, suvga cho'mish uchun. H-printsipining birinchi dalili Uitni-Grausteyn teoremasi. Buning ortidan Nash-Kuiper izometrik kuzatildi ${ displaystyle C ^ {1}}$ singdirish teoremasi va Smale-Xirsh Immersion teoremasi.

Taxminiy g'oya

Biz funktsiyani topmoqchimiz deb taxmin qiling ƒ kuni R^m darajaning qisman differentsial tenglamasini qondiradigan k, koordinatalarda ${ displaystyle (u_ {1}, u_ {2}, nuqtalar, u_ {m})}$. Uni shunday yozish mumkin

${ displaystyle Psi (u_ {1}, u_ {2}, nuqtalar, u_ {m}, J_ {f} ^ {k}) = 0}$

qayerda ${ displaystyle J_ {f} ^ {k}}$ ning barcha qisman hosilalarini anglatadi ƒ buyurtma bo'yichak. Keling, har bir o'zgaruvchini almashtiramiz ${ displaystyle J_ {f} ^ {k}}$ yangi mustaqil o'zgaruvchilar uchun ${ displaystyle y_ {1}, y_ {2}, nuqtalar, y_ {N}.}$U holda bizning asl tenglamamizni tizim sifatida o'ylash mumkin

${ displaystyle Psi _ {} ^ {} (u_ {1}, u_ {2}, nuqtalar, u_ {m}, y_ {1}, y_ {2}, nuqtalar, y_ {N}) = 0 }$

va quyidagi turdagi tenglamalar soni

${ displaystyle y_ {j} = { kısmi ^ {k} f ustidan qisman u_ {j_ {1}} ldots qisman u_ {j_ {k}}}.}$

Ning echimi

${ displaystyle Psi _ {} ^ {} (u_ {1}, u_ {2}, nuqtalar, u_ {m}, y_ {1}, y_ {2}, nuqtalar, y_ {N}) = 0 }$

deyiladi a holonomik bo'lmagan eritmava tizimning echimi, bu bizning asl PDE-ning echimi ham deyiladi holonomik echim.

Bizning asl tenglamamizga echim bor yoki yo'qligini tekshirish uchun, avval noaniq echim borligini tekshirish mumkin. Odatda bu juda oson va agar holonik bo'lmagan echim bo'lmasa, bizning asl tenglamamizda hech qanday echim yo'q edi.

PDE h tamoyilini qondiradi har qanday holonomik bo'lmagan echim bo'lishi mumkin bo'lsa deformatsiyalangan holonomik bo'lmagan echimlar sinfidagi holonomikka. Shunday qilib h-printsipi mavjud bo'lganda, differentsial topologik muammo algebraik topologik muammoga kamayadi. Aniqrog'i bu topologik obstruktsiyadan tashqari holonomik eritmaning mavjud bo'lishiga boshqa to'siq yo'qligini anglatadi. Topishning topologik muammosi holonomik bo'lmagan eritma bilan ishlash ancha oson va topologik to'plamlar uchun obstruktsiya nazariyasi bilan hal qilinishi mumkin.

Ko'pgina aniqlanmagan qisman differentsial tenglamalar h tamoyilini qondiradi. Shu bilan birga, h-printsipining yolg'onligi ham qiziqarli bayonotdir, intuitiv ravishda bu o'rganilayotgan ob'ektlar topologiyaga tushirib bo'lmaydigan geometriyaga ega ekanligini anglatadi. Misol tariqasida, ko'milgan Lagranjlar simpektik manifoldda h printsipini qondirmaydi, buni isbotlash uchun kelgan invariantlarni topish kerak psevdo-holomorfik egri chiziqlar.

Oddiy misollar

Monoton funktsiyalar

Ehtimol, eng sodda qisman differentsial munosabat lotinning yo'q bo'lib ketmasligi uchundir: ${ displaystyle f '(x) neq 0.}$ To'g'ri, bu oddiy differentsial munosabat, chunki bu bitta o'zgaruvchidagi funktsiya.

Ushbu munosabat uchun holonomik echim bu hosilasi hech qaerda yo'q bo'lib ketmaydigan funktsiya. Ya'ni, qat'iy monotonli farqlanadigan funktsiyalar, ko'payadigan yoki kamayadigan. Bunday funktsiyalarning maydoni ikkita bo'linishdan iborat qavariq to'plamlar: ortib borayotganlar va kamayayotganlar, va ikkita nuqta gomotopiya turiga ega.

Ushbu munosabat uchun holonomik bo'lmagan echim ikkita funktsiya ma'lumotlaridan iborat, ajralib chiqadigan funktsiya f (x) va doimiy funktsiya g (x), g (x) hech qaerda yo'qolmaydi. Holonomik eritma g (x) = f '(x) ni qabul qilib, holonik bo'lmagan echimni keltirib chiqaradi. Xolonomik bo'lmagan eritmalarning maydoni yana ikkita ajratilgan qavariq to'plamlardan iborat, chunki g (x) ijobiy yoki manfiydir.

Shunday qilib, holonomikni holonomik bo'lmagan echimlarga kiritish h tamoyilini qondiradi.

The Uitni-Grausteyn teoremasi aylananing tekislikka botirilishi h-tamoyilini qondirishini ko'rsatib beradi burilish raqami.

Ushbu ahamiyatsiz misol noan'anaviy umumlashmalarga ega: buni doiraning ichiga cho'mish uchun kengaytirish ularni buyurtma bo'yicha tasniflaydi (yoki o'rash raqami ), xaritani yuqoriga ko'tarish orqali universal qamrab oluvchi makon va natijada olingan monotonli xaritada yuqoridagi tahlilni qo'llash - chiziqli xarita ko'payish burchagiga to'g'ri keladi: ${ displaystyle theta mapsto n theta}$ (${ displaystyle z mapsto z ^ {n}}$ murakkab sonlarda). Shuni e'tiborga olingki, bu erda 0 buyrug'ining cho'milishi yo'q, chunki ular o'zlariga qaytib ketishlari kerak. Buni tekislikka botirilgan doiralarga kengaytirish - immersion sharti aynan shu hosilaning yo'q bo'lib ketmasligi shartidir - Uitni-Grausteyn teoremasi tomonidan tasniflangan burilish raqami ning homotopiya sinfini hisobga olgan holda Gauss xaritasi va bu h-printsipni qondirishini ko'rsatish; bu erda yana 0 buyurtma yanada murakkabroq.

Smale sferalarni immersiya guruhlarini gomotopiya guruhlari qatoriga kiritishi Stiefel kollektorlari, va Xirshning buni xaritalarning homotopiya sinflari deb tasniflangan manifoldlarning immersiyalariga umumlashtirishi. ramka to'plamlari umuman olganda yanada kengroq umumlashmalar mavjud va bundan ham ko'proq narsa mavjud, ammo printsipial jihatdan o'xshash - suvga cho'mish derivativning darajaga ega bo'lishini talab qiladi k, Bu har bir yo'nalish bo'yicha qisman hosilalarni yo'q bo'lib ketmasligini va chiziqli ravishda mustaqil bo'lishini talab qiladi va natijada Gauss xaritasining analogi Stiefel manifoldiga yoki umuman ramka to'plamlari orasidagi xaritadir.

Samolyotda mashina

Yana bir oddiy misol sifatida samolyotda harakatlanadigan mashinani ko'rib chiqing. Mashinaning tekislikdagi o'rni uchta parametr bilan belgilanadi: ikkita koordinat ${ displaystyle x}$ va ${ displaystyle y}$ joy uchun (yaxshi tanlov - bu orqa g'ildiraklar orasidagi o'rta nuqtaning joylashishi) va burchak ${ displaystyle alpha}$ bu avtomobilning yo'nalishini tavsiflovchi. Mashinaning harakati tenglamani qondiradi

${ displaystyle { nuqta {x}} sin alfa = { nuqta {y}} cos alfa.}$

chunki toymasin mashina g'ildiraklari yo'nalishi bo'yicha harakatlanishi kerak. Yilda robototexnika shartlar, vazifalar maydonidagi barcha yo'llar emas holonomik.

Xolonomik bo'lmagan yechim, bu holda, taxminan, tekislikda siljish orqali mashinaning harakatiga to'g'ri keladi. Bu holda holonomik bo'lmagan echimlar nafaqat homotopik holonomiklarga, shuningdek, holonomiklar tomonidan o'zboshimchalik bilan yaxshi yaqinlashishi mumkin (cheklangan maydonda parallel to'xtash joyi kabi, oldinga va orqaga qarab) - bu avtomobilning holatini ham, burchagini ham o'zboshimchalik bilan chambarchas yaqinlashishiga e'tibor bering. Bu nazariy jihatdan mashinangizning uzunligidan uzoqroq joyda har qanday joyda parallel to'xtash mumkin degan ma'noni anglatadi. Bundan tashqari, kontakt 3-manifoldda har qanday egri chiziq mavjudligini anglatadi ${ displaystyle C ^ {0}}$- a ga yaqin Afsonaviy egri.Bu oxirgi xususiyat umumiy h printsipidan kuchliroq; bunga deyiladi ${ displaystyle C ^ {0}}$-zich h printsipi.

Ushbu misol oddiy bo'lsa ham, bilan taqqoslang Nash qo'shish teoremasi, xususan Nash-Kuyper teoremasi, bu har qanday narsani aytadi qisqa silliq (${ displaystyle C ^ { infty}}$) joylashtirish yoki suvga cho'mish ${ displaystyle M ^ {m}}$ yilda ${ displaystyle mathbf {R} ^ {m + 1}}$ yoki undan kattaroq izometrik tomonidan o'zboshimchalik bilan yaqinlashishi mumkin ${ displaystyle C ^ {1}}$-qopish (mos ravishda suvga cho'mish). Bu h-ning zich printsipi bo'lib, uni samolyotda mashinaga nisbatan deyarli o'xshash "ajinlar" - aniqrog'i aylana - texnikasi bilan isbotlash mumkin, garchi u ko'proq ishtirok etsa.

H tamoyilini isbotlash usullari

• Gromov va Eliashberg tomonidan ishlab chiqilgan Singularities texnikasini olib tashlash
• Smale va Xirsh asarlariga asoslangan sheaf texnikasi.
• Nash va Kuiper asarlari asosida konveks integratsiyasi

Ba'zi paradokslar

Bu erda h printsipini qo'llash orqali isbotlanishi mumkin bo'lgan bir nechta qarshi intuitiv natijalar keltirilgan:

• Konusning o'zgarishi.^[1] Funktsiyalarni ko'rib chiqing f kuni R² kelib chiqishsiz f(x) = |x|. Keyin doimiy ravishda bitta parametrli funktsiyalar oilasi mavjud ${ displaystyle f_ {t}}$ shu kabi ${ displaystyle f_ {0} = f}$, ${ displaystyle f_ {1} = - f}$ va har qanday kishi uchun ${ displaystyle t}$, ${ displaystyle operator nomi {grad} (f_ {t})}$ har qanday nuqtada nolga teng emas.
• Har qanday ochiq manifold ijobiy (yoki salbiy) egrilikning (to'liq bo'lmagan) Riemen metrikasini tan oladi.
• Sfera evversiyasi burish yoki yirtilmasdan foydalanish mumkin ${ displaystyle C ^ {1}}$ ning izometrik joylashtirilishi ${ displaystyle S ^ {2}}$.
• Nash qo'shish teoremasi

Adabiyotlar

• Masaxisa Adachi, O'rnatish va suvga cho'mish, tarjima Kiki Xadson
• Y. Eliashberg, N. Mishachev, H-printsipiga kirish
• Gromov, M. (1986), Qisman differentsial munosabatlar, Springer, ISBN  3-540-12177-3
• M. V. Xirsh, ko'p qirrali immersiyalar. Trans. Amer. Matematika. Soc. 93 (1959)
• N. Kuiper, On ${ displaystyle C ^ {1}}$ Izometrik ko'milish I, II. Nederl. Akad. Vetensch. Proc. Ser A 58 (1955)
• Jon Nesh, ${ displaystyle C ^ {1}}$ Izometrik ko'mish. Ann. Matematika (2) 60 (1954)
• S. Smale, Evklid fazosidagi sferalarning immersiyalar tasnifi. Ann. matematika (2) 69 (1959)
• Devid Spring, Konveks integratsiyasi nazariyasi - geometriya va topologiyada h printsipiga echimlar, Matematikada monografiyalar 92, Birxauzer-Verlag, 1998