Maxsus ta’lim vazirligi

Ta’rif. Agar X fazoning ixtiyoriy ikki bo‘sh bo‘lmagan

kesishmaydigan yopiq
F₁ va F₂
to‘plamlarining o‘zaro kesishmaydigan U (F₁) va

U (F₂ )
ochiq atroflari mavjud bo‘lsa, X topologik fazo T₄
fazo deyiladi.

Agar X topologik fazo bir vaqtda ham
T₁ , ham T₄
fazo bo‘lsa, bunday

topologik fazolarga normal topologik fazolar deyiladi.
Ta’rifdan ma’lum bo‘ladiki, normal topologik fazolar regulyar va to‘la
regulyar fazo bo‘ladi. Buning teskarisi o‘rinli bo‘lavermaydi. T₁ fazolar sinfi

ichidagi
^T3/ 2
fazolar sinfi T₃
fazolar sinfi bilan T₄
fazolar sinfi orasidagi oraliq

sinfdir. Shu sababli belgilashlarda ham butkul regulyar fazolar sinfi belgilanadi.
^T3/ 2
bilan

Yuqoridagi topologik fazolarga o‘xshab, normal fazolar sinfi nasliy
xususiyatga ega emas, ya’ni bu fazolarning ixtiyoriy to‘plamostisi normal fazo bo‘lavermaydi. Normal fazolar sinfida uzluksiz akslantirishlarning bir oilasi

mavjud bo‘lib, bu uzluksiz akslantirishlar o‘lcham nazariyasi va topologiyaning boshqa deyarli barcha jabhalarida figuralarning geometrik xossalari bilan bog‘liq muammolarida va funksiyalarni davomlashtirish masalalarini yechishda, fazoning gomologik o‘lchamini aniqlashda muhim ahamiyatga ega. Bu masalaning asosini Urison Teoremasi (Urison lemmasi) tashkil qiladi¹.