Izchil topologiya - Coherent topology

Yilda topologiya, a izchil topologiya a topologiya bu yagona oila tomonidan belgilanadi subspaces. Erkin gapirish, a topologik makon subspaces oilasi bilan izchil bo'lsa, agar u a topologik birlashma o'sha subspaces. Ba'zan uni zaif topologiya subspaces oilasi tomonidan hosil qilingan, xaritalar to'plami tomonidan yaratilgan zaif topologiya tushunchasidan ancha farq qiladigan tushuncha.^[1]

Ta'rif

Ruxsat bering X bo'lishi a topologik makon va ruxsat bering C = {C_a : a ∈ A} bo'lishi a oila ning pastki to'plamlari X subspace topologiyasi bilan. (odatda C bo'ladi a qopqoq ning X). Keyin X deb aytilgan bilan izchil C (yoki tomonidan belgilanadi C)^[2] agar topologiyasi X dan keladigan biri sifatida tiklanadi yakuniy topologiya bilan birlashtirilgan inklyuziya xaritalari

${displaystyle i_ {alfa}: C_ {alfa} o X dagi alfa alfa.}$

Ta'rifga ko'ra, bu eng yaxshi topologiya yoqilgan (asosiy to'plam) X shu jumladan inklyuziya xaritalari davomiy.Agar C ning qopqog'i X, keyin X bilan izchil C agar quyidagi ikkita teng shartlardan biri bajarilsa:

• Ichki to‘plam U bu ochiq yilda X agar va faqat agar U ∩ C_a ochiq C_a har bir a ∈ uchun A.
• Ichki to‘plam U bu yopiq yilda X agar va faqat agar U ∩ C_a yopiq C_a har bir a ∈ uchun A.

Yuqorida aytilganlar to'g'ri emas C qamrab olmaydi X

Topologik makon berilgan X va har qanday subspaces oilasi C noyob topologiya mavjud (asosiy to'plam) X bilan izchil C. Ushbu topologiya, umuman olganda, bo'ladi nozikroq berilgan topologiyadan X.

Misollar

• Topologik makon X har biriga mos keladi ochiq qopqoq ning X.
• Topologik makon X har biriga mos keladi mahalliy cheklangan yopiq qopqoq X.
• A diskret bo'shliq subspaces-ning har bir oilasi bilan izchil (shu jumladan bo'sh oila ).
• Topologik makon X bilan mos keladi bo'lim ning X agar va faqat X bu gomeomorfik uchun uyushmagan birlashma bo'lim elementlari.
• Tugallangan bo'shliqlar barchaning oilasi tomonidan belgilanadiganlardir cheklangan pastki bo'shliqlar.
• Ixcham yaratilgan bo'shliqlar barchaning oilasi tomonidan belgilanadiganlardir ixcham pastki bo'shliqlar.
• A CW kompleksi X oilasi bilan uyg'undir n- skeletlari topildi X_n.

Topologik birlashma

Ruxsat bering ${displaystyle {X_ {alfa}, alfa alifbosi}}$ oila bo'lishi (albatta shart emas) ajratish ) topologik bo'shliqlar induktsiya qilingan topologiyalar har birida kelishib oling kesishish X_a ∩ X_β. Buni yana taxmin qiling X_a ∩ X_β yopiq X_a har bir a, b uchun. Keyin topologik birlashmaX bo'ladi nazariy birlashma

${displaystyle X ^ {set} = igcup _ {alfa A} X_ {alfa}} da$

inklyuziya xaritalarida topilgan yakuniy topologiya bilan ta'minlangan ${displaystyle i_ {alfa}: X_ {alfa} o X ^ {set}}$. Keyin inklyuziya xaritalari bo'ladi topologik ko'milishlar va X pastki bo'shliqlar bilan izchil bo'ladi {X_a}.

Aksincha, agar X pastki bo'shliqlar oilasiga mos keladi {C_a} bu qopqoq X, keyin X bu gomeomorfik oilaning topologik birlashmasiga {C_a}.

Yuqoridagi kabi o'zboshimchalik bilan topologik bo'shliqlar oilasining topologik birlashmasini tashkil qilish mumkin, ammo agar topologiyalar kesishmalar bo'yicha kelishmasa, qo'shimchalar ko'milgan bo'lishi shart emas.

Shuningdek, topologik birlashmani uyushmagan birlashma. Xususan, agar X bu oilaning topologik birlashmasi {X_a}, keyin X ga homomorfdir miqdor oilaning buzilgan ittifoqi {X_a} tomonidan ekvivalentlik munosabati

${displaystyle (x, alfa) sim (y, eta) Leftrightrow x = y}$

hamma a, b in uchun A. Anavi,

${displaystyle Xcong coprod _ {alfa in A} X_ {alpha} / sim.}$

Agar bo'shliqlar {X_a} barchasi ajralgan bo'lsa, topologik birlashma shunchaki ajralgan birlashma.

Endi A to'plami bor deb taxmin qiling yo'naltirilgan, qo'shilish bilan mos keladigan tarzda: ${displaystyle alfa leq eta}$ har doim ${displaystyle X_ {alfa} subset X_ {eta}}$. Keyin noyob xarita mavjud ${displaystyle varinjlim X_ {alfa}}$ ga X, bu aslida gomomorfizmdir. Bu yerda ${displaystyle varinjlim X_ {alfa}}$ bo'ladi to'g'ridan-to'g'ri (induktiv) chegara (kolimit ) ning {X_a} toifasida Yuqori.

Xususiyatlari

Ruxsat bering X pastki bo'shliqlar oilasi bilan uyg'un bo'ling {C_a}. Xarita f : X → Y bu davomiy agar va faqat cheklovlar bo'lsa

${displaystyle f | _ {C_ {alfa}}: C_ {alfa} o Y,}$

har bir a ∈ uchun uzluksizdir A. Bu universal mulk bo'shliq ma'nosida izchil topologiyalarni tavsiflaydi X bilan izchil C agar va faqat ushbu xususiyat barcha bo'shliqlarga tegishli bo'lsa Y va barcha funktsiyalar f : X → Y.

Ruxsat bering X a tomonidan belgilanadi qopqoq C = {C_a}. Keyin

• Agar C a takomillashtirish qopqoqning D., keyin X tomonidan belgilanadi D..
• Agar D. takomillashtirish hisoblanadi C va har biri C_a barchaning oilasi tomonidan belgilanadi D._β tarkibida C_a keyin X tomonidan belgilanadi D..

Ruxsat bering X tomonidan belgilanadi {C_a} va ruxsat bering Y ochiq yoki yopiq bo'ling subspace ning X. Keyin Y tomonidan belgilanadi {Y ∩ C_a}.

Ruxsat bering X tomonidan belgilanadi {C_a} va ruxsat bering f : X → Y bo'lishi a kvant xaritasi. Keyin Y {f (bilan belgilanadi)C_a)}.

Ruxsat bering f : X → Y bo'lishi a surjective xaritasi va taxmin qiling Y tomonidan belgilanadi {D._a : a ∈ A}. Har bir a ∈ uchun A ruxsat bering

${displaystyle f_ {alfa}: f ^ {- 1} (D_ {alfa}) o D_ {alfa},}$

ning cheklanishi bo'lishi f ga f⁻¹(D._a). Keyin

• Agar f doimiy va har biri f_a bu kvota xaritasi, keyin f kvota xaritasi.
• f a yopiq xarita (resp. xaritani oching ) agar va faqat har biri bo'lsa f_a yopiq (resp. ochiq).

Izohlar

Adabiyotlar

• Tanaka, Yoshio (2004). "Tarkibiy bo'shliqlar va ajralishlar". K.P.da Xart; J. Nagata; J.E Vaughan (tahrir). Umumiy topologiya ensiklopediyasi. Amsterdam: Elsevier Science. 43-46 betlar. ISBN  0-444-50355-2.
• Uillard, Stiven (1970). Umumiy topologiya. Reading, Massachusets: Addison-Uesli. ISBN  0-486-43479-6 (Dover nashri).