Subbase - Subbase

Yilda topologiya, a subbase (yoki subbaza) uchun topologik makon X bilan topologiya T kichik to'plamdir B ning T ishlab chiqaradi T, bu ma'noda T tarkibidagi eng kichik topologiya B. Ba'zi mualliflar tomonidan biroz boshqacha ta'rif ishlatiladi va ta'rifning boshqa foydali ekvivalent formulalari mavjud; bular quyida muhokama qilinadi.

Ta'rif

Ruxsat bering X topologiyaga ega topologik makon bo'ling T. Subbase T odatda kichik to'plam sifatida aniqlanadi B ning T quyidagi ikkita teng shartlardan birini qondirish:

  1. Subcollection B hosil qiladi topologiya T. Bu shuni anglatadiki T tarkibidagi eng kichik topologiya B: har qanday topologiya T ' kuni X o'z ichiga olgan B shuningdek o'z ichiga olishi kerak T.
  2. Barcha cheklanganlardan tashkil topgan ochiq to'plamlar to'plami chorrahalar elementlari B, to'plam bilan birga X, hosil qiladi a asos uchun T. Bu shuni anglatadiki, har bir to'g'ri ochiq to'plam yilda T sifatida yozilishi mumkin birlashma elementlarining cheklangan kesishuvlari B. Aniq, bir nuqta berilgan x ochiq to'plamda U ? X, juda ko'p to'plamlar mavjud S1, ..., Sn ning B, bu to'plamlarning kesishishi o'z ichiga oladi x va tarkibida mavjud U.

(Agar biz ishlatsak nullar kesishishi konventsiya, keyin kiritishga hojat yo'q X ikkinchi ta'rifda.)

Uchun har qanday subcollection S ning quvvat o'rnatilgan P (X), noyob topologiya mavjud S subbase sifatida. Xususan, kesishish barcha topologiyalar X o'z ichiga olgan S ushbu shartni qondiradi. Ammo, umuman olganda, ma'lum bir topologiya uchun noyob subbaza mavjud emas.

Shunday qilib, biz belgilangan topologiyadan boshlashimiz va ushbu topologiyaning pastki bazalarini topishimiz mumkin, shuningdek, quvvat to'plamining o'zboshimchalik bilan pastki to'plamidan boshlashimiz mumkin. P (X) va ushbu to'plam tomonidan yaratilgan topologiyani shakllantirish. Yuqoridagi ikkala ekvivalent ta'rifdan erkin foydalanishimiz mumkin; haqiqatan ham, ko'p hollarda, ikkita shartning biri boshqasiga qaraganda foydaliroq.

Muqobil ta'rif

Ba'zan, subbase-ga biroz boshqacha ta'rif beriladi, bu subbase-ni talab qiladi ? qopqoq X.[1] Ushbu holatda, X tarkibidagi barcha to'plamlarning birlashishi ?. Bu shuni anglatadiki, ta'rifda nullar kesishmalaridan foydalanishda hech qanday chalkashlik bo'lishi mumkin emas.

Biroq, bu ta'rif har doim ham yuqoridagi ikkita ta'rifga teng kelavermaydi. Boshqacha qilib aytganda, topologik bo'shliqlar mavjud (X, ?) ichki to'plam bilan ? ? ?, shu kabi ? tarkibidagi eng kichik topologiya ?, hali ? qamrab olmaydi X (bunday misol quyida keltirilgan). Amalda bu juda kam uchraydigan hodisa; masalan. kamida ikkita nuqtaga ega bo'lgan va qanoatlantiradigan bo'shliqning pastki bazasi T1 ajratish aksiomasi bu makonning qopqog'i bo'lishi kerak.

Misollar

Har qanday kichik to'plam tomonidan yaratilgan topologiya ?? ? { ?, X } (shu jumladan bo'sh to'plam tomonidan ?? := ?) ahamiyatsiz topologiyaga teng { ?, X}.

Agar ? topologiyasi X va ? uchun asosdir ? keyin tomonidan yaratilgan topologiya ? bu ?. Shunday qilib har qanday asos ? topologiya uchun ? uchun subbaziy hisoblanadi ?. Agar ?? ning har qanday kichik qismi ? keyin tomonidan yaratilgan topologiya ?? ning pastki qismi bo'ladi ?.

Bo'yicha odatdagi topologiya haqiqiy raqamlar ? barchadan iborat pastki bazaga ega yarim cheksiz ikkala shaklning ham ochiq oraliqlari (??,a) yoki (b,?), qayerda a va b haqiqiy sonlar. Ular birgalikda odatdagi topologiyani hosil qiladi, chunki kesishgan joylar (a,b) = (??,b) ? (a,?) uchun a < b odatdagi topologiyani yaratish. Ikkinchi subbaza subfamilyani qaerga olib borish orqali hosil bo'ladi a va b bor oqilona. Ikkinchi pastki baza odatdagi topologiyani ham yaratadi, chunki ochiq vaqt oralig'ida (a, b) bilan a, b oqilona, ​​odatdagi Evklid topologiyasi uchun asosdir.

Shaklning barcha yarim cheksiz ochiq intervallaridan tashkil topgan pastki baza (??, a) yolg'iz, qaerda a haqiqiy son bo'lib, odatdagi topologiyani yaratmaydi. Olingan topologiya qoniqtirmaydi T1 ajratish aksiomasi, chunki barcha ochiq to'plamlar bo'sh bo'lmagan kesishishga ega.

The dastlabki topologiya kuni X funktsiyalar oilasi tomonidan belgilanadi fmen : X > Ymen, har birida Ymen topologiyaga ega, eng qo'pol topologiyadir X shunday qilib har biri fmen bu davomiy. Uzluksizlikni ochiq to'plamlarning teskari tasvirlari bo'yicha aniqlash mumkin bo'lganligi sababli, bu boshlang'ich topologiyani anglatadi X hammasini olish orqali beriladi fmen?1(U), qayerda U ning barcha ochiq kichik to'plamlari oralig'ida Ymen, subbaza sifatida.

Dastlabki topologiyaning ikkita muhim maxsus holatlari quyidagilardir mahsulot topologiyasi, bu erda funktsiyalar oilasi - mahsulotdan har bir omilga proektsiyalar to'plami va subspace topologiyasi, bu erda oila faqat bitta funktsiyadan iborat inklyuziya xaritasi.

The ixcham-ochiq topologiya dan uzluksiz funktsiyalar makonida X ga Y subbase uchun funktsiyalar to'plami mavjud

qayerda K ? X bu ixcham va U ning ochiq pastki qismi Y.

Aytaylik (X, ?) a Hausdorff bilan topologik makon X ikki yoki undan ortiq elementni o'z ichiga olgan (masalan, X = ? bilan Evklid topologiyasi ). Ruxsat bering Y ? ? har qanday bo'sh bo'lmagan bo'lishi ochiq pastki qismi (X, ?) (masalan, Y ichida bo'sh bo'lmagan chegaralangan ochiq oraliq bo'lishi mumkin ?) va ruxsat bering ? ni belgilang subspace topologiyasi kuni Y bu Y dan meros (X, ?) (shunday ? ? ?). Keyin tomonidan yaratilgan topologiya ? kuni X ittifoqqa teng { X } ? ? (izoh uchun ushbu izohga qarang),[1-eslatma] qayerda { X } ? ? ? ? (beri (X, ?) Hausdorff, agar shunday bo'lsa, tenglik bo'ladi Y = X). E'tibor bering, agar Y a to'g'ri to'plam ning X, keyin { X } ? ? eng kichik topologiya hisoblanadi kuni X o'z ichiga olgan ? hali ? qamrab olmaydi X (ya'ni birlashma ?V ? ? V = Y ning tegishli qismidir X).

Subbase yordamida natijalar

Subbaselar haqida bitta yaxshi fakt shu uzluksizlik funktsiyani faqat diapazonning pastki bazasida tekshirish kerak. Ya'ni, agar f  : X > Y topologik bo'shliqlar orasidagi xaritadir va agar ? uchun subbase hisoblanadi Y, keyin f  : X > Y uzluksiz agar va faqat agar f?1(B) ochiq X har bir kishi uchun B ? ?. A to'r (yoki ketma-ketlik) x = (xmen)men ? Men bir nuqtaga yaqinlashadi x agar va faqat har biri bo'lsa subasosiy mahalla x hammasini o'z ichiga oladi xmen etarlicha katta uchun men ? Men.

Aleksandr subbase teoremasi

Aleksandr pastki bazasi teoremasi, bu asosga bog'liq bo'lgan muhim natijadir Jeyms Vaddell Aleksandr II.[2] Asosiy (subbasik emas) ochiq qopqoqlarning tegishli natijasini isbotlash ancha oson.

Aleksandr subbase teoremasi:[2] Ruxsat bering (X, ?) topologik makon bo'ling. Agar X subbazaga ega ?? Shunday qilib, har bir qopqoq X elementlari bo'yicha ?? keyin cheklangan pastki qopqoqqa ega X bu ixcham.

Ushbu teoremaning teskari tomoni ham mavjud va u yordamida tasdiqlangan ?? = ? (chunki har bir topologiya o'zi uchun pastki bazadir).

Agar X ixcham va ?? uchun subbaza X, har bir qopqoq X elementlari bo'yicha ?? cheklangan subcoverga ega.
Isbot

Faraz qilaylik uchun makon deb faraz qilaylik X ixcham emas (shuning uchun X cheksiz to'plamdir), ammo har qanday subbasik qopqoq ?? cheklangan subcoverga ega. Ruxsat bering ?? ning barcha ochiq qopqoqlari to'plamini belgilang X hech qanday cheklangan subcoveriga ega bo'lmagan X. Qisman buyurtma ?? kichik to'plamni kiritish va ishlatish yo'li bilan Zornning lemmasi elementni topish ?? ? ?? bu maksimal element ??. Shunga e'tibor bering:

  1. Beri ?? ? ??, ta'rifi bo'yicha ??, ?? ning ochiq qopqog'i X va hech qanday cheklangan kichik to'plam mavjud emas ?? qamrab oladi X (shuning uchun, xususan, ?? cheksiz).
  2. Ning maksimalligi ?? yilda ?? shuni anglatadiki, agar V ochiq to'plamidir X shu kabi V ? ?? keyin ?? ? { V } cheklangan pastki muqovaga ega, bu albatta shakldagi bo'lishi kerak { V } ? ??V ba'zi bir cheklangan to'plam uchun ??V ning ?? (bu cheklangan ichki qism tanloviga bog'liq V).

Biz buni ko'rsatib boshlaymiz ?? ? ?? bu emas ning qopqog'i X. Aytaylik ?? ? ?? ning muqovasi edi X, bu shuni anglatadiki ?? ? ?? ning qopqog'i X elementlari bo'yicha ??. Teorema gipotezasi ?? ning cheklangan kichik to'plami mavjudligini anglatadi ?? ? ?? qamrab oladi X, bu bir vaqtning o'zida ham cheklangan subcover bo'lishi mumkin X elementlari bo'yicha ?? (beri ?? ? ?? ? ??). Ammo bu ziddir ?? ? ??buni tasdiqlaydi ?? ? ?? qamrab olmaydi X.

Beri ?? ? ?? qamrab olmaydi X, ba'zilari mavjud x ? X bilan qoplanmagan ?? ? ?? (anavi, x ning har qanday elementida mavjud emas ?? ? ??). Ammo beri ?? qamrab oladi X, ba'zilari ham mavjud U ? ?? shu kabi x ? U. Beri ?? subbaza hosil qiladi Xtomonidan yaratilgan topologiya ta'rifidan topologiya ??, subbasik ochiq to'plamlarning cheklangan to'plami bo'lishi kerak S1, ..., Sn ? ?? shu kabi

x ? S1 ? ··· ? Sn ? U.

Biz hozir buni qarama-qarshilik bilan ko'rsatamiz Smen ? ?? har bir kishi uchun men = 1, ..., n. Agar men shunday edi Smen ? ??, keyin ham Smen ? ?? ? ?? shuning uchun haqiqat x ? Smen keyin shuni anglatadiki x bilan qoplangan ?? ? ??, bu qanday qilib zid keladi x tanlandi (eslang x bilan qoplanmasligi uchun maxsus tanlangan ?? ? ??).

Avval aytib o'tganimizdek, ning maksimalligi ?? yilda ?? shuni anglatadiki, har bir kishi uchun men = 1, ..., n, cheklangan ichki to'plam mavjud ??Smen ning ?? shu kabi { Smen } ? ??Smen ning cheklangan qopqog'ini hosil qiladi X. Aniqlang

??F  :=  ??S1 ? ··· ? ??Sn.

ning cheklangan kichik qismidir ??. Shunga e'tibor bering men = 1, ..., n, { Smen } ? ??F ning cheklangan qopqog'i X shuning uchun har birini almashtiraylik ??Smen bilan ??F.

Ruxsat bering ? ??F barcha to'plamlarning birligini bildiradi ??F (bu ochiq pastki qism X) va ruxsat bering Z ning to‘ldiruvchisini bildiradi ? ??F yilda X. Har qanday kichik to'plam uchun buni kuzatib boring A ? X, { A } ? ??F qopqoqlar X agar va faqat agar Z ? A. Xususan, har bir kishi uchun men = 1, ..., n, haqiqat { Smen } ? ??F qopqoqlar X shuni anglatadiki Z ? Smen. Beri men o'zboshimchalik bilan edi, bizda Z ? S1 ? ··· ? Sn. Buni eslab S1 ? ··· ? Sn ? U, bizda shunday Z ? U, bu tengdir { U } ? ??F ning qopqog'i bo'lish X. Bundan tashqari, { U } ? ??F ning cheklangan qopqog'i X bilan { U } ? ??F ? ??. Shunday qilib ?? ning pastki chekkasiga ega X, bu haqiqatga zid keladi ?? ? ??. Shuning uchun asl taxmin X ixcham emasligi noto'g'ri bo'lishi kerak, buni tasdiqlaydi X ixchamdir. ?

Garchi bu dalildan foydalanilsa Zornning lemmasi, dalil tanlovning to'liq kuchiga muhtoj emas. Buning o'rniga, u qidiruv vositaga tayanadi Ultrafilter printsipi.[2]

For the subbase bilan ushbu teoremadan foydalanish ? Yuqorida, yopiq intervallarni chegaralanganligini juda oson isbotlash mumkin ? ixchamdir. Umuman olganda, Tixonof teoremasi, bo'sh bo'lmagan ixcham bo'shliqlar mahsuloti ixcham ekanligini ta'kidlaydigan, agar Aleksandr Subbase teoremasidan foydalanilsa, qisqa dalilga ega.

Isbot

Mahsulot topologiyasi yoqilgan ?men Xmen , ta'rifi bo'yicha, pastki bazaga ega silindr bitta omil bo'yicha ochiq to'plamning teskari proektsiyalari bo'lgan to'plamlar. Berilgan asosli oila C cheklangan ichki qoplamaga ega bo'lmagan mahsulotni biz ajratishimiz mumkin C = ?men Cmen berilgan omillar maydoniga mos keladigan silindr to'plamlaridan iborat subfamilalarga. Taxminlarga ko'ra, agar Cmen ? ? keyin Cmen qiladi emas cheklangan subcoverga ega bo'lish. Silindrlar to'plami bo'lib, bu ularning proektsiyalarini anglatadi Xmen cheklangan subcover yo'q va har biridan beri Xmen ixcham, biz bir nuqtani topishimiz mumkin xmen ? Xmen ning proektsiyalari bilan qoplanmagan Cmen ustiga Xmen. Ammo keyin (xmen)men ? ?men Xmen bilan qoplanmagan C. ?

E'tibor bering, oxirgi bosqichda biz to'g'ridan-to'g'ri ishlatganmiz tanlov aksiomasi (bu aslida tengdir Zorn lemmasi ) mavjudligini ta'minlash (xmen)men.

Shuningdek qarang

Izohlar

  1. ^ Beri ? topologiyasi Y va Y ning ochiq pastki qismi (X, ?), buni tekshirish oson { X } ? ? topologiyasi X. Beri ? topologiya emas X, { X } ? ? aniq eng kichik topologiya X o'z ichiga olgan ?).

Adabiyotlar

  1. ^ Merrifild, Richard E.; Simmons, Xovard E. (1989). Kimyo fanidan topologik usullar. John Wiley & Sons. p.17. ISBN  0-471-83817-9. Olingan 13 iyun 2013. To'plam S (i) mezoniga javob beradigan kichik to'plamlar a deb nomlanadi subbaza topologiya uchun X.
  2. ^ a b v Muger, Maykl (2020). Ishlaydigan matematik uchun topologiya.