Xakan ko'p qirrali - Haken manifold
Yilda matematika, a Xakan ko'p qirrali a ixcham, P² - qisqartirilmaydi 3-manifold anavi etarlicha katta, bu uning tarkibiga to'g'ri o'rnatilganligini anglatadi ikki tomonlama siqilmaydigan sirt. Ba'zan faqat yo'naltirilgan Haken manifoldlarini ko'rib chiqadi, bu holda Haken kollektori ixcham, yo'naltiriladigan, kamaytirilmaydigan 3-manifold bo'lib, u yo'naltiriladigan, siqilmaydigan sirtni o'z ichiga oladi.
Haken manifoldi bilan chegaralangan 3-manifold deyiladi deyarli Xaken. The Deyarli Haken gumoni cheksiz fundamental guruhga ega bo'lgan har bir ixcham, kamaytirilmaydigan 3-manifold deyarli Haken ekanligini ta'kidlaydi. Ushbu gipoteza isbotlangan Yan Agol.[1]
Haken manifoldlari tomonidan kiritilgan Vofgang Xaken (1961 ). Xaken (1962) Haken manifoldlarida a borligini isbotladi ierarxiya, bu erda ular siqilmaydigan yuzalar bo'ylab 3 ta to'pga bo'linishi mumkin. Xaken shuningdek, agar 3-manifoldda bo'lsa, siqilmaydigan sirtni topish uchun cheklangan protsedura mavjudligini ko'rsatdi. Uilyam Jako va Ulrix Oertel (1984 ) 3-manifoldning Haken ekanligini aniqlash algoritmini berdi.
Oddiy yuzalar Haken manifoldlari nazariyasida hamma joyda uchraydi va ularning sodda va qat'iy tuzilishi tabiiy ravishda algoritmlarga olib keladi.
Haken ierarxiyasi
Biz faqat ishni ko'rib chiqamiz yo'naltirilgan Haken manifoldlari, chunki bu munozarani soddalashtiradi; a doimiy mahalla yo'naltirilgan yuzaning yo'naltirilgan 3-manifoldidagi yuzaning shunchaki "qalinlashgan" versiyasi, ya'ni ahamiyatsiz Men- to'plam. Shunday qilib, odatdagi mahalla - bu ikki o'lchovli yuza, chegarasi bo'lgan uch o'lchovli submanifold.
Yo'naltirilgan Haken manifoldu berilgan M, ta'rifi bo'yicha u yo'naltirilgan, siqilmaydigan sirtni o'z ichiga oladi S. Ning muntazam mahallasini oling S va uning ichki qismini o'chirib tashlang M, ni natijasida M ' . Aslida biz qisqartirdik M sirt bo'ylab S. (Bu kichik o'lchamlarda, aylana yoki yoy bo'ylab sirtni kesishga o'xshashdir.) Bu shar bo'lmagan chegara komponentli har qanday yo'naltirilgan ixcham ko'p qirrali cheksiz birinchi homologik guruhga ega, bu uni nazarda tutadi to'g'ri joylashtirilgan 2 tomonlama ajratilmagan siqilmaydigan yuzaga ega va yana Haken manifoldu. Shunday qilib, biz yana bir siqilmaydigan sirtni tanlashimiz mumkin M ' va shu bilan kesib tashlang. Agar oxir-oqibat ushbu kesish ketma-ketligi uning qismlari (yoki tarkibiy qismlari) atigi 3 ta shar bo'lgan manifoldga olib kelsa, biz bu ketma-ketlikni ierarxiya deb ataymiz.
Ilovalar
Ierarxiya Haken manifoldlari haqidagi ayrim teoremalarni isbotlash masalasini keltirib chiqaradi. Ulardan biri 3 ta to'p uchun teoremani isbotlaydi. Keyinchalik, agar teorema Haken manifoldining kesilishi natijasida hosil bo'lgan qismlar uchun to'g'ri bo'lsa, demak u Haken manifoldiga to'g'ri kelishini isbotlaydi. Bu erda asosiy narsa shundaki, kesish juda "yoqimli", ya'ni siqib bo'lmaydigan sirt bo'ylab sodir bo'ladi. Bu ko'p holatlarda induksiya bosqichini isbotlashga imkon beradi.
Xaken ikkita Haken manifoldining gomomorfik yoki yo'qligini tekshirish uchun algoritmni isbotini tuzdi. Uning kontseptsiyasi tomonidan jiddiy sa'y-harakatlar bilan to'ldirildi Fridxelm Valdxauzen, Klaus Johannson, Geoffrey Hemion, Sergeĭ Matveev va boshqalar. 3-manifoldning Xaken ekanligini tekshirish algoritmi mavjud bo'lganligi sababli (qarama-qarshi Jako-Oertel), 3-manifoldni tanib olishning asosiy muammosi Haken manifoldlari uchun echilgan deb hisoblanishi mumkin.
Valdxauzen (1968 ) yopiq Haken manifoldlari ekanligini isbotladi topologik jihatdan qattiq: taxminan, Haken manifoldlarining har qanday homotopik ekvivalenti gomeomorfizm uchun homotopikdir (chegara uchun periferik tuzilishga shart kerak). Shunday qilib, bu uch manifold ularning asosiy guruhi tomonidan to'liq aniqlanadi. Bundan tashqari, Valdxauzen Haken manifoldlarining asosiy guruhlarida so'zlar muammosi echimini topishini isbotladi; bu deyarli Haken manifoldlari uchun ham amal qiladi.
Ierarxiya hal qiluvchi rol o'ynadi Uilyam Thurston "s giperbolizatsiya teoremasi Haken manifoldlari uchun, uning 3-manifoldlari uchun inqilobiy geometrizatsiya dasturining bir qismi.
Johannson (1979) buni isbotladi atoroidal, ananular, chegara kamaytirilmaydigan, Haken uchta ko'p qirrali sonli sinf guruhlarini xaritalash. Ushbu natijani kombinatsiyasidan tiklash mumkin Qattiqlikni ta'minlang Thurstonning geometrizatsiya teoremasi bilan.
Haken manifoldlarining namunalari
E'tibor bering, ba'zi bir misollar oilalari boshqalarida mavjud.
- Yilni ixcham, kamaytirilmaydigan 3-manifoldlar, birinchi navbatda ijobiy Betti raqami
- Doira bo'ylab sirt to'plamlari, bu yuqoridagi misolning alohida hodisasidir.
- Havola to'ldiradi
- Ko'pchilik Seifert tolasi bo'shliqlari juda ko'p siqilmaydigan tori bor
Shuningdek qarang
Adabiyotlar
- ^ Agol, Yan (2013). "Virtual Xaken gipotezasi. Agol, Deniel Grouz va Jeyson Menning qo'shimchalari bilan" (PDF). Matematika hujjatlari. 18: 1045–1087. JANOB 3104553.
- Xaker, Volfgang (1961). "Theorie der Normalflächen. Ein Isotopiekriterium für den Kreisknoten". Acta Mathematica. 105 (3–4): 245–375. doi:10.1007 / BF02559591. ISSN 0001-5962. JANOB 0141106.
- Xaker, Volfgang (1968). "Ba'zi natijalar 3-manifolddagi sirtlarda". Yilda Xilton, Piter J. (tahrir). Zamonaviy topologiya bo'yicha tadqiqotlar. Amerikaning Matematik Uyushmasi (Prentice-Hall, Englewood Cliffs, N.J. tomonidan tarqatilgan). 39-98 betlar. ISBN 978-0-88385-105-0. JANOB 0224071.
- Xaker, Volfgang (1962). "Über das Homöomorphieproblem der 3-Mannigfaltigkeiten. Men". Mathematische Zeitschrift. 80: 89–120. doi:10.1007 / BF01162369. ISSN 0025-5874. JANOB 0160196.
- Gempel, Jon (1976). 3-manifoldlar. Matematik tadqiqotlar yilnomalari. 86. Prinston universiteti matbuoti. ISBN 978-0-8218-3695-8. JANOB 0415619.
- Jako, Uilyam; Oertel, Ulrich (1984). "3-manifold Haken kollektori ekanligi to'g'risida qaror qabul qilish algoritmi". Topologiya. 23 (2): 195–209. doi:10.1016/0040-9383(84)90039-9. ISSN 0040-9383. JANOB 0744850.
- Johannson, Klaus (1979). "Oddiy 3-manifoldlarning xaritalash klassi guruhi to'g'risida". Fennda Rojer A. (tahrir). Past o'lchovli manifoldlarning topologiyasi (Prok. Ikkinchi Sasseks Konf., Chelvud Geyt, 1977). Matematikadan ma'ruza matnlari. 722. Berlin, Nyu-York: Springer-Verlag. 48-66 betlar. doi:10.1007 / BFb0063189. ISBN 978-3-540-09506-4. JANOB 0547454.
- Valdxauzen, Fridxelm (1968). "Etarli darajada katta bo'lgan kamaytirilmaydigan 3-manifoldlarda". Matematika yilnomalari. Ikkinchi seriya. 87 (1): 56–88. doi:10.2307/1970594. ISSN 0003-486X. JSTOR 1970594. JANOB 0224099.