Berdaq nomidagi Qaraqalpoq davlat unversiteti

3-§ Antidiskret topologik fazo
Antidiskret topologok fazo doim separable fazodir.

fazoning biror qismini olib, ushbu G } sistemasini tuzamiz. Ravshanki, topologik fazodir. Bu topologic fazo topologik fazoning qism fazosi deyiladi.Bu holda topologiyani τ topologiyaning qism to’plamga ko’chirilgan deyiladi.

Quydagi iboralar osongina isbotlanadi: y nuqtaning τ topologiyada U shartni qanoatlantiruvchi U atrofi mavjud bo’lishi zarur va kifoyadir;
2) fazodagi har bir yopiq to’plam X dagi biror yopiq to’plamning Y bilan kesishmasidan iborat;
3) Y dagi M to’plamning topologiyadagi yopilmasi M ning τ topologiyadagi yopilmasi bilan Y ning kesishmasidan iborat.


Tarif. Agar fazoda sanoqli va mutloq zich to’plam mavjud bo’lsa,u separable fazo deyiladi.
Separabel fazolarga muhim misol sifatida va fazolarni keltirish mumkin. fazoda barcha ratsional koordinatalarga ega bo’lgan nuqtalar to’plami , fazoda esa, ratsional koeffitsentli ko’phadlar sanoqli va mutloq zich to’plamlardir.

Separabel bo’lmagan fazoga ixtiyoriy sanoqli bo’lmagan to’plamdagi diskret fazo misol bo’ladi.

Teorema. Ixtiyoriy separable metrik fazolar ikkinchi sanoqlilik aksiomasini qanoatlantiradi. Isbot. Faraz qilaylik, sanoqli to’plam fazoda mutloq zich to’plam bo’lsin. fazo bazasi sifatida quydagi ochiq to’plamlar jamlanmasini olamiz: . Bu jamlanma fazo bazasini tashkil etadi .Haqiqatan ham, ning separabel ekanligidan ixtiyoriy nuqta va yetarlicha kichik son uchun shunday topiladiki, u uchun o’rinli . Bundan tashqari, shunday k nomer topiladiki, ( shartni qanoatlantiradigan qilib olish yetarli.

fazodagi ixtiyoriy ochiq to’plam ochiq sharlar birlashmasidan iboratdir. Har bir ochiq shar esa, ning to’plamlari birlashmasidir. Demak, jamlanma sanoqli baza ekan.

Tarif. Agar bo’lsa, topologik fazoning to’plamasi fazoda mutloq zich deyiladi, yani to’plamning tegish nuqtalari butun fazodan iborat. Agar to’plam uchun int tenglik o’rinli bo’lsa, to’plam hech qayerda zich (albatta, ning ) bo’lolmaydi. Boshqacha aytganda, hech qayerda zich bo’lmagan to’plamlar hech qanday ochiq to’plamda zich emasdir. Hech qayerda zich bo’lmagan to’plamlarga tekislikdagi ixtiyoriy to’g’ri chiziq, ixtiyoriy ikkinchi tartibli chiziqlar va ixtiyoriy algebraic chiziqlar kiradi. Mutloq zich to’plamlarga sonlar to’g’ri chizig’ida ratsional , irratsional sonlar to’plami kiradi. fazoda esa mutloq zich to’plamga hamma koordinatalariratsional sondan iborat bo’lgan to’plam kiradi. Shunu takidlash kerakki,agar to’plam da mutloq zich bo’lsa ,u holda to’plam albatta topologik fazo diskret fazo bo’lsa, uning yagona mutloq zich to’plami fazoning o’zidan iborat bo’ladi.
Tarif. topologik fazoda mutloq zich to’plamlarning eng kichik quvvatlisi uning zichligi deyiladi va ko’rinishta belgilanadi.
Tarifga ko’ra, bu yerda bilan to’plam quvvati belgilanadi.
Demak, topologik fazo separabel bo’lsa u holda uning zichligi ga teng ekan. Yani, uning zichligi sanoqli to’plam quvvatiga tengdir.
Diskret topologic fazolar uchun esa, o’rinli ekan .Ixtiyoriy topologic fazo uchun esa, tengsizlik doimo o’rinlidir.