Урысона лемма

для любых двух непересекающихся замкнутых множеств Аи Внормального пространства Xсуществует действительная и непрерывная во всех точках этого пространства функция f, принимающая во всех точках множества Азначение 0, во всех точках множества Взначение 1 и удовлетворяющая во всех точках [img: http://localhost:8080/file/052111-71.jpg] неравенству [img: http://localhost:8080/file/052111-72.jpg] Эта лемма выражает не только необходимое, но и достаточное условие для того, чтобы T1 -пространство Xбыло нормальным. П. С. Александров.