2.4. Bo'shliqlar va proyeksiyalar mahsulotlari
Ta'rif 17. X va Y topologiyalari mos ravishda X va Y topologik fazolar bo'lsin . Bu fazolarning topologik mahsuloti X to'plamdir X topologiyasi bilan Y Y shaklning barcha to'plamlari oilasi tomonidan hosil qilingan
U V = ,
va ularning barcha mumkin bo'lgan uyushmalari, bu erda U X , V Y va : X Y X , : X Y Y proyeksiyalar va ( x ; y ) = x va ( x ; y ) = y . U shaklidagi to'plamlar V = elementar (yoki asosiy) ochiq to'plamlar deyiladi .
Ta'rif 18. Xarita f : X → Y har bir ochiq O to'plam uchun agar ochiq deyiladi X tasviri f ( O ) Y dagi ochiq to‘plamdir.
Lemma 2.2. Prognozlar : X Y X Va : X Y Y doimiy ochiq xaritalardir.
Isbot. X da ixtiyoriy ochiq G to‘plamni olaylik. Ushbu to'plamning teskari tasviri = G Y mahsulot topologiyasi ta'rifi bo'yicha X da ochiq Y. _ Keyin proyeksiyalar doimiy xaritalash bo'ladi .
z nuqtasi bo'lsin X Y ; Oz uning ixtiyoriy mahallasidir (7-rasm). Asosiy mahallani toping
Рис. 7
Рис. 7.
Рис. 7.
z nuqtasi , bu erda U nuqtaning qo'shnisi , V nuqtaning qo'shnisi . Nuqta U to'plamning ichki nuqtasi va shuning uchun to'plamdir . Xuddi shunday, nuqta to'plamning ichki nuqtasidir . Shunday qilib, to'plamlar ham ochiq, ham proyeksiyalar va ochiq xaritalardir.
Do'stlaringiz bilan baham: |