nLab Urysohn's lemma




topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory



Urysohn’s lemma (prop. below) states that on a normal topological space disjoint closed subsets may be separated by continuous functions in the sense that a continuous function exists which takes value 0 on one of the two subsets and value 1 on the other (called an “Urysohn function”, def. ) below. In fact the existence of such functions is equivalent to a space being normal (remark below).

Urysohn’s lemma is a key ingredient for instance in the proof of the Tietze extension theorem and in the proof of the existence of partitions of unity on paracompact topological spaces. See the list of implications below.



(Urysohn function)

Let XX be a topological space, and let A,BXA,B \subset X be disjoint closed subsets. Then an Urysohn function for this situation is

to the closed interval equipped with its Euclidean metric topology, such that

  • it takes the value 0 on AA and the value 1 on BB:

    f(A)={0}AAAandAAAf(B)={1}. f(A) = \{0\} \phantom{AAA} \text{and} \phantom{AAA} f(B) = \{1\} \,.

(Urysohn’s lemma)

Assuming excluded middle then:

Let XX be a normal (or T 4T_4) topological space, and let A,BXA,B \subset X be two disjoint closed subsets of XX. Then there exists an Urysohn function (def. ).


Beware that the function in prop. may take the values 0 or 1 even outside of the two subsets. The condition that the function takes value 0 or 1, respectively, precisely on the two subsets corresponds to perfectly normal spaces.


It is immediate that, conversely, the existence of an Urysohn function (def. ) implies that the topological space is normal. For let A,BXA, B \subset X be disjoint closed subsets, and consider a continuous function f:X[0,1]f \colon X \to [0,1] with f(A)={0}f(A) = \{0\} and f(B)={1}f(B) = \{1\} then

U Af 1([0,1/3)AAAU Bf 1((2/3,1]) U_A \coloneqq f^{-1}([0,1/3) \phantom{AAA} U_B \coloneqq f^{-1}((2/3,1])

are disjoint open neighbourhoods of these subsets.

Hence Urysohn’s lemma shows that a topological space being normal is equivalent to it admitting Urysohn functions.



of Urysohn’s lemma, prop.


C 0AAAAU 1X\B. C_0 \coloneqq A \phantom{AAA} U_1 \coloneqq X \backslash B \,.

Since by assumption

AB=. A \cap B = \emptyset \,.

we have

C 0U 1. C_0 \subset U_1 \,.

Notice that (by this lemma) if a space is normal then every open neighbourhood UCU \supset C of a closed subset CC contains a smaller neighbourhood VV together with its closure Cl(V)Cl(V)

CVCl(V)U. C \subset V \subset Cl(V) \subset U \,.

Apply this fact successively to the above situation to obtain the following infinite sequence of nested open subsets U rU_r and closed subsets C rC_r

C 0 U 1 C 0 U 1/2 C 1/2 U 1 C 0 U 1/4 C 1/4 U 1/2 C 1/2 U 3/4 C 3/4 U 1 \array{ C_0 && && && &\subset& && && && U_1 \\ C_0 && &\subset& && U_{1/2} &\subset& C_{1/2} && &\subset& && U_1 \\ C_0 &\subset& U_{1/4} &\subset& C_{1/4} &\subset& U_{1/2} &\subset& C_{1/2} &\subset& U_{3/4} &\subset& C_{3/4} &\subset& U_1 }

and so on, labeled by the dyadic rational numbers dy\mathbb{Q}_{dy} \subset \mathbb{Q} within (0,1](0,1]

{U rX} r(0,1] dy \{ U_{r} \subset X \}_{r \in (0,1] \cap \mathbb{Q}_{dy}}

with the property

r 1,r 2(0,1] dy((r 1<r 2)(U r 1Cl(U r 1)U r 2)). \underset{r_1,r_2 \in (0,1] \cap \mathbb{Q}_{dy}}{\forall} \left( \left( r_1 \lt r_2 \right) \Rightarrow \left( U_{r_1} \subset Cl(U_{r_1}) \subset U_{r_2} \right) \right) \,.

Define then the function

f:X[0,1] f \;\colon\; X \longrightarrow [0,1]

to assign to a point xXx \in X the infimum of the labels of those open subsets in this sequence that contain xx:

f(x)limU r{x}r f(x) \coloneqq \underset{U_r \supset \{x\}}{\lim} r

Here the limit is over the directed set of those U rU_r that contain xx, ordered by reverse inclusion.

This function clearly has the property that f(A)={0}f(A) = \{0\} and f(B)={1}f(B) = \{1\}. It only remains to see that it is continuous.

To this end, first observe that

() (xCl(U r)) (f(x)r) () (xU r) (f(x)<r). \array{ (\star) && \left( x \in Cl(U_r) \right) &\Rightarrow& \left( f(x) \leq r \right) \\ (\star\star) && \left( x \in U_r \right) &\Leftarrow& \left( f(x) \lt r \right) } \,.

Here it is immediate from the definition that (xU r)(f(x)r)(x \in U_r) \Rightarrow (f(x) \leq r) and that (f(x)<r)(xU rCl(U r))(f(x) \lt r) \Rightarrow (x \in U_r \subset Cl(U_r)). For the remaining implication, it is sufficient to observe that

(xU r)(f(x)=r), (x \in \partial U_r) \Rightarrow (f(x) = r) \,,

where U rCl(U r)\U r\partial U_r \coloneqq Cl(U_r) \backslash U_r is the boundary of U rU_r.

This holds because the dyadic numbers are dense in \mathbb{R}. (And this would fail if we stopped the above decomposition into U a/2 nU_{a/2^n}-s at some finite nn.) Namely, in one direction, if xU rx \in \partial U_r then for every small positive real number ϵ\epsilon there exists a dyadic rational number rr' with r<r<r+ϵr \lt r' \lt r + \epsilon, and by construction U rCl(U r)U_{r'} \supset Cl(U_r) hence xU rx \in U_{r'}. This implies that limU r{x}=r\underset{U_r \supset \{x\}}{\lim} = r.

Now we claim that for all α[0,1]\alpha \in [0,1] then

  1. f 1((α,1])=r>α(X\Cl(U r))f^{-1}(\,(\alpha, 1]\,) = \underset{r \gt \alpha}{\cup} \left( X \backslash Cl(U_r) \right)

  2. f 1([0,α))=r<αU rf^{-1}(\,[0,\alpha)\,) = \underset{r \lt \alpha}{\cup} U_r

Thereby f 1((α,1])f^{-1}(\,(\alpha, 1]\,) and f 1([0,α))f^{-1}(\,[0,\alpha)\,) are exhibited as unions of open subsets, and hence they are open.

Regarding the first point:

xf 1((α,1]) f(x)>α r>α(f(x)>r) () r>α(xCl(U r)) xr>α(X\Cl(U r)) \begin{aligned} & x \in f^{-1}( \,(\alpha,1]\, ) \\ \Leftrightarrow\, & f(x) \gt \alpha \\ \Leftrightarrow\, & \underset{r \gt \alpha}{\exists} (f(x) \gt r) \\ \overset{(\star)}{\Rightarrow}\, & \underset{r \gt \alpha}{\exists} \left( x \notin Cl(U_r) \right) \\ \Leftrightarrow\, & x \in \underset{r \gt \alpha}{\cup} \left(X \backslash Cl(U_r)\right) \end{aligned}


xr>α(X\Cl(U r)) r>α(xCl(U r)) r>α(xU r) () r>α(f(x)r) f(x)>α xf 1((α,1]). \begin{aligned} & x \in \underset{r \gt \alpha}{\cup} \left(X \backslash Cl(U_r)\right) \\ \Leftrightarrow\, & \underset{r \gt \alpha}{\exists} \left( x \notin Cl(U_r) \right) \\ \Rightarrow\, & \underset{r \gt \alpha}{\exists} \left( x \notin U_r \right) \\ \overset{(\star \star)}{\Rightarrow}\, & \underset{r \gt \alpha}{\exists} \left( f(x) \geq r \right) \\ \Leftrightarrow\, & f(x) \gt \alpha \\ \Leftrightarrow\, & x \in f^{-1}(\, (\alpha,1] \,) \end{aligned} \,.

Regarding the second point:

xf 1([0,α)) f(x)<α r<α(f(x)<r) () r<α(xU r) xr<αU r \begin{aligned} & x \in f^{-1}(\, [0,\alpha) \,) \\ \Leftrightarrow\, & f(x) \lt \alpha \\ \Leftrightarrow\, & \underset{r \lt \alpha}{\exists}( f(x) \lt r ) \\ \overset{(\star \star)}{\Rightarrow}\, & \underset{r \lt \alpha}{\exists }( x \in U_r ) \\ \Leftrightarrow\, & x \in \underset{r \lt \alpha}{\cup} U_r \end{aligned}


xr<αU r r<α(xU r) r<α(xCl(U r)) () r<α(f(x)r) f(x)<α xf 1([0,α)). \begin{aligned} & x \in \underset{r \lt \alpha}{\cup} U_r \\ \Leftrightarrow\, & \underset{r \lt \alpha}{\exists }( x \in U_r ) \\ \overset{}{\Rightarrow}\, & \underset{r \lt \alpha}{\exists }( x \in Cl(U_r) ) \\ \overset{(\star)}{\Rightarrow}\, & \underset{r \lt \alpha}{\exists }( f(x) \leq r ) \\ \Leftrightarrow\, & f(x) \lt \alpha \\ \Leftrightarrow\, & x \in f^{-1}(\, [0,\alpha) \,) \end{aligned} \,.

(In these derivations we repeatedly use that (0,1] dy(0,1] \cap \mathbb{Q}_{dy} is dense in [0,1][0,1], and we use the contrapositions of ()(\star) and ()(\star \star), by excluded middle.)

Now since the subsets {[0,α),(α,1]} α[0,1]\{ [0,\alpha), (\alpha,1]\}_{\alpha \in [0,1]} form a sub-base for the Euclidean metric topology on [0,1][0,1], it follows that all pre-images of ff are open, hence that ff is continuous.


Urysohn’s lemma is key in the proof of many other theorems, for instance


Due to Pavel Urysohn.

Lectures notes include

  • Tarun Chitra, section 2.1 of The Stone-Cech Compactification 2009 pdf

Last revised on December 6, 2018 at 21:35:08. See the history of this page for a list of all contributions to it.