Лема Урисона

Лема Урисона — важливий результат в загальній топології. Теорема стверджує, для будь-яких двох неперетинних замкнутих множин А і В нормального простору X існує дійсна і неперервна в усіх точках цього простору функція f, що приймає у всіх точках множини А значення 0, у всіх точках множини В значення 1 і задовольняє у всіх точках нерівності ${\displaystyle 0⩽f(x)⩽1.}$ Дана лема описує не лише необхідні, але і достатні умова для того, щоб ${\displaystyle T_1}$-простір Х був нормальним.

• Нормальний простір
• Теорема Тітце про продовження

• Келли Дж. Л. Общая топология — М.: Наука, 1968

• PlanethMath: Proof of Urysohn's lemma [Архівовано 16 травня 2019 у Wayback Machine.] (англ.)