Gavayi sirg'asi - Hawaiian earring

Ushbu maqolada a foydalanilgan adabiyotlar ro'yxati, tegishli o'qish yoki tashqi havolalar, ammo uning manbalari noma'lum bo'lib qolmoqda, chunki u etishmayapti satrda keltirilgan. Iltimos yordam bering takomillashtirish tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2017 yil iyun) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Gavayi sirg'asi. Faqat o'nta eng katta doiralar ko'rsatilgan.

Yilda matematika, Gavayi sirg'asi ${ displaystyle mathbb {H}}$ bo'ladi topologik makon bilan belgilanadi birlashma doirasidagi doiralar Evklid samolyoti ${ displaystyle mathbb {R} ^ {2}}$ markaz bilan ${ displaystyle chap ({ tfrac {1} {n}}, 0 o'ng)}$ va radius ${ displaystyle { tfrac {1} {n}}}$ uchun ${ displaystyle n = 1,2,3, ldots}$ bilan ta'minlangan subspace topologiyasi:

${ displaystyle mathbb {H} = bigcup _ {n = 1} ^ { infty} left {(x, y) in mathbb {R} ^ {2} mid left (x- { frac {1} {n}} o'ng) ^ {2} + y ^ {2} = chap ({ frac {1} {n}} o'ng) ^ {2} o'ng }}$

Bo'sh joy ${ displaystyle mathbb {H}}$ bu gomeomorfik uchun bir nuqtali kompaktlashtirish ajraladigan hisoblanadigan oilaning birlashmasi ochiq intervallar.

Gavayi sirg'asi a bir o'lchovli, ixcham, mahalliy yo'l bilan bog'liq o'lchovli maydon. Garchi ${ displaystyle mathbb {H}}$ mahalliy sifatida gomomorfik xususiyatga ega ${ displaystyle mathbb {R}}$ kelib chiqishi bo'lmagan barcha nuqtalarda, ${ displaystyle mathbb {H}}$ emas yarim mahalliy darajada bog'langan da ${ displaystyle (0,0)}$. Shuning uchun, ${ displaystyle mathbb {H}}$ oddiy bog'langan qoplama maydoniga ega emas va odatda bu asorat bilan bo'shliqning eng oddiy namunasi sifatida berilgan.

Gavayi sirg'asi juda o'xshash xanjar summasi cheksiz ko'p doiralarning; ya'ni atirgul cheksiz ko'p barglari bilan, lekin bu ikki bo'shliq gomomorf emas. Ularning topologiyalari orasidagi farq shundan ko'rinib turibdiki, Gavayi sirg'asida aylanalarning kesishish nuqtasining har bir ochiq mahallasi cheklangan doiralaridan tashqari hamma doiralarni o'z ichiga oladi (an ε- atrofida to'p (0, 0) radiusi kichik bo'lgan har bir doirani o'z ichiga oladi ε/2); atirgulda kesishish nuqtasi mahallasi hech qanday doirani o'z ichiga olmaydi. Bundan tashqari, atirgul ixcham emas: ajratilgan nuqtani to'ldiruvchisi - bu ochiq oraliqlarning cheksiz birlashmasi; an olish uchun taniqli nuqtaning kichik ochiq mahallasini qo'shadiganlarga ochiq qopqoq cheklangan subcoversiz.

Asosiy guruh

Gavayi sirg'asi shunchaki bog'lanmagan va yarim ma'noda shunchaki bog'langan emas, chunki hamma uchun ${ displaystyle n geq 1,}$ halqa ${ displaystyle ell _ {n}}$ parametrlash nth doirasi ahamiyatsiz tsikl uchun homotopik emas. Shunday qilib, ${ displaystyle mathbb {H}}$ nontrivialga ega asosiy guruh   ${ displaystyle G = pi _ {1} ( mathbb {H}, (0,0)),}$ ba'zida Gavayi sirg'alari guruhi. Gavayi sirg'alari guruhi ${ displaystyle G}$ hisoblash mumkin emas va u erkin guruh emas. Biroq, ${ displaystyle G}$ har bir cheklangan tarzda yaratilgan kichik guruh ma'nosida mahalliy darajada bepul ${ displaystyle G}$ bepul.

Shaxsiy ko'chadanlarning homotopiya sinflari ${ displaystyle ell _ {n}}$ yaratish bepul guruh ${ displaystyle langle [ ell _ {n}] mid n geq 1 rangle}$ tegishli kichik guruhni tashkil etadigan generatorlarning son-sanoqsiz sonida ${ displaystyle G}$. Ning boshqa ko'plab elementlari ${ displaystyle G}$ tasviri gavayi sirg'alarining ko'p sonli doiralarida bo'lmagan ilmoqlardan kelib chiqadi; aslida, ularning ba'zilari sur'ektivdir. Masalan, intervalgacha bo'lgan yo'l ${ displaystyle [2 ^ {- n}, 2 ^ {- n + 1}]}$ atrofida aylanib chiqadi ndoira. Umuman olganda, ilmoqlarning cheksiz mahsulotlarini yaratish mumkin ${ displaystyle ell _ {n}}$ har biri uchun berilgan har qanday hisoblanadigan chiziqli tartib bo'yicha indekslangan ${ displaystyle n geq 1}$, pastadir ${ displaystyle ell _ {n}}$ va uning teskari tomoni mahsulot ichida faqat ko'p marta paydo bo'ladi.

Bu natijadir Jon Morgan va Yan Morrison buni ${ displaystyle G}$ joylashadi ichiga teskari chegara ${ displaystyle varprojlim F_ {n}}$ bilan bepul guruhlarning n generatorlar, ${ displaystyle F_ {n}}$, bog'lash xaritasi qaerdan ${ displaystyle F_ {n}}$ ga ${ displaystyle F_ {n-1}}$ ning so'nggi generatorini o'ldiradi ${ displaystyle F_ {n}}$. Biroq, ${ displaystyle G}$ har bir ko'chadan beri teskari chegaraning tegishli kichik guruhi ${ displaystyle mathbb {H}}$ ning har bir doirasini kesib o'tishi mumkin ${ displaystyle mathbb {H}}$ juda ko'p marta. Ning elementiga mos kelmaydigan teskari limit elementiga misol ${ displaystyle G}$ kommutatorlarning cheksiz mahsulidir ${ displaystyle prod _ {n = 2} ^ { infty} [ ell _ {1} ell _ {n} ell _ {1} ^ {- 1} ell _ {n} ^ {- 1 }]}$, rasmiy ravishda ketma-ketlik sifatida paydo bo'ladi ${ displaystyle left (1, [ ell _ {1}] [ ell _ {2}] [ ell _ {1}] ^ {- 1} [ ell _ {2}] ^ {- 1} , [ ell _ {1}] [ ell _ {2}] [ ell _ {1}] ^ {- 1} [ ell _ {2}] ^ {- 1} [ ell _ {1} ] [ ell _ {3}] [ ell _ {1}] ^ {- 1} [ ell _ {3}] ^ {- 1}, nuqta o'ng)}$ teskari chegarada ${ displaystyle varprojlim F_ {n}}$.

Birinchi singular homologiya

Katsuya Eda va Kazuxiro Kavamura isbotladi abelianizatsiya ning ${ displaystyle G,}$ va shuning uchun birinchi singular homologiya guruhi ${ displaystyle H_ {1} ( mathbb {H})}$ guruh uchun izomorfdir

${ displaystyle left ( prod _ {i = 1} ^ { infty} mathbb {Z} right) oplus left ( prod _ {i = 1} ^ { infty} mathbb {Z} { Big /} bigoplus _ {i = 1} ^ { infty} mathbb {Z} o'ng)}$.

Birinchi chaqiriq ${ displaystyle prod _ {i = 1} ^ { infty} mathbb {Z},}$ bo'ladi to'g'ridan-to'g'ri mahsulot ning cheksiz ko'p nusxalari cheksiz tsiklik guruh (the Baer-Specker guruhi ). Ushbu koeffitsient o'rash raqamiga ega bo'lmagan tsikllarning singular gomologiya sinflarini anglatadi ${ displaystyle 0}$ ning har bir doirasi atrofida ${ displaystyle mathbb {H}}$ va aniq birinchisi Cech singular homologiya guruhi ${ displaystyle { check {H}} _ {1} ( mathbb {H})}$. Qo'shimcha ravishda, ${ displaystyle prod _ {i = 1} ^ { infty} mathbb {Z},}$ deb hisoblash mumkin cheksiz abelizatsiya ning ${ displaystyle G}$, chunki tabiiy homomorfizm yadrosidagi har bir element ${ displaystyle G to prod _ {i = 1} ^ { infty} mathbb {Z}}$ komutatorlarning cheksiz mahsuloti bilan ifodalanadi. Ning ikkinchi chaqiruvi ${ displaystyle H_ {1} ( mathbb {H})}$ gomologiya darslaridan iborat bo'lib, ularning soni aylana atrofida joylashgan ${ displaystyle mathbb {H}}$ nolga teng, ya'ni tabiiy homomorfizm yadrosi ${ displaystyle H_ {1} ( mathbb {H}) to prod _ {i = 1} ^ { infty} mathbb {Z}}$. Bilan izomorfizmning mavjudligi ${ displaystyle prod _ {i = 1} ^ { infty} mathbb {Z} { Big /} bigoplus _ {i = 1} ^ { infty} mathbb {Z}}$ cheksiz abeliya guruhlari nazariyasi yordamida mavhum ravishda isbotlangan va geometrik talqinga ega emas.

Yuqori o'lchamlar

Ma'lumki ${ displaystyle mathbb {H}}$ bu asferik bo'shliq, ya'ni barcha yuqori homotopiya va homologiya guruhlari ${ displaystyle mathbb {H}}$ ahamiyatsiz.

Gavayi sirg'asini yuqori o'lchamlarda umumlashtirish mumkin. Bunday umumlashtirish Maykl Barratt tomonidan ishlatilgan va Jon Milnor ixcham namunalarni taqdim etish, cheklangan o'lchovli noan'anaviy singular gomologik guruhlari bilan bo'shliqdan kattaroq o'lchamdagi bo'shliqlar. The ${ displaystyle k}$- o'lchovli Gavayi sirg'asi sifatida aniqlanadi

${ displaystyle mathbb {H} _ {k} = bigcup _ {n in mathbb {N}} left {(x_ {0}, x_ {1}, ldots, x_ {k}) ichida mathbb {R} ^ {k + 1}: chap (x_ {0} - { frac {1} {n}} o'ng) ^ {2} + x_ {1} ^ {2} + cdots + x_ {k} ^ {2} = { frac {1} {n ^ {2}}} o'ng }.}$

Shuning uchun, ${ displaystyle mathbb {H} _ {k}}$ a hisoblanadigan ittifoqi k- umumiy bitta nuqta bo'lgan sohalar va topologiya a tomonidan berilgan metrik unda sharning diametrlari nolga yaqinlashadi]] uchun ${ displaystyle n to infty.}$ Shu bilan bir qatorda, ${ displaystyle mathbb {H} _ {k}}$ kabi tuzilishi mumkin Aleksandrovni ixchamlashtirish kelishmovchiliklarning hisoblanadigan birlashmasi ${ displaystyle mathbb {R} ^ {k}}$s. Rekursiv ravishda, bunga ega ${ displaystyle mathbb {H} _ {0}}$ konvergent ketma-ketlikdan iborat, ${ displaystyle mathbb {H} _ {1}}$ asl Gavayi sirg'asi va ${ displaystyle mathbb {H} _ {k + 1}}$ ga homomorfdir qisqartirilgan to'xtatib turish ${ displaystyle Sigma mathbb {H} _ {k}}$.

Uchun ${ displaystyle k geq 1}$, ${ displaystyle k}$- o'lchovli Gavayi sirg'asi ixcham, ${ displaystyle (k-1)}$- ulangan va mahalliy ${ displaystyle (k-1)}$- ulangan. Uchun ${ displaystyle k geq 2}$, bu ma'lum ${ displaystyle pi _ {k} ( mathbb {H} _ {k})}$ Baer-Specker guruhi uchun izomorfdir ${ displaystyle prod _ {i = 1} ^ { infty} mathbb {Z}.}$

Uchun ${ displaystyle q equiv 1 { bmod {(}} k-1)}$ va ${ displaystyle q> 1,}$ Barratt va Milnor buni ko'rsatdilar singular homologiya guruhlari ${ displaystyle H_ {q} ( mathbb {H} _ {k}; mathbb {Q})}$ nrivrivialdir - aslida, sanoqsiz.^[1]

Shuningdek qarang

• Topologiyalar ro'yxati

Adabiyotlar

Qo'shimcha o'qish

• Kannon, Jeyms V.; Conner, Gregori R. (2000), "Katta fundamental guruh, katta Gavayi sirg'alari va katta erkin guruhlar", Topologiya va uning qo'llanilishi, 106 (3): 273–291, doi:10.1016 / S0166-8641 (99) 00104-2, JANOB  1775710.
• Konner, Gregori; Spenser, K. (2005), "Gavayi sirg'alar guruhining g'ayritabiiy xatti-harakatlari", Guruh nazariyasi jurnali, 8 (2): 223–227, doi:10.1515 / jgth.2005.8.2.223, JANOB  2126731.
• Eda, Katsuya (2002), "Bir o'lchovli yovvoyi bo'shliqlarning asosiy guruhlari va Gavayi sirg'asi" (PDF), Amerika matematik jamiyati materiallari, 130 (5): 1515–1522, doi:10.1090 / S0002-9939-01-06431-0, JANOB  1879978.
• Eda, Katsuya; Kavamura, Kazuxiro (2000), "Gavayi sirg'asining singular homologiyasi", London Matematik Jamiyati jurnali, 62 (1): 305–310, doi:10.1112 / S0024610700001071, JANOB  1772189.
• Fabel, Pol (2005), "Gavayi siropi topologik guruhi erkin guruhlarning teskari chegarasiga kirmaydi", Algebraik va geometrik topologiya, 5 (4): 1585–1587, arXiv:matematik / 0501482, Bibcode:2005 yil ... ..... 1482F, doi:10.2140 / agt.2005.5.1585, JANOB  2186111.
• Morgan, Jon V.; Morrison, Yan (1986), "Kuchsiz qo'shilish uchun van Kampen teoremasi", London Matematik Jamiyati materiallari, 53 (3): 562–576, doi:10.1112 / plms / s3-53.3.562, JANOB  0868459.