nLab Urysohn's lemma

Redirected from "Urysohn functions".
Contents

Context

Topology

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

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

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Idea

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.

Statement

Definition

(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\} \,.
Proposition

(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. ).

Remark

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.

Remark

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.

Proof

Proof

of Urysohn’s lemma, prop.

Set

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}

and

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}

and

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.

Implications

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

References

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.