# General Topology — Part 4 (Urysohn’s Lemma)

# What is Urysohn’s Lemma ?

From previous article, we have learnt many essential topological concepts. Now, you have a fair amount of topology under your belt, you are ready to tackle a deep theorem in topology**:**

**Urysohn’s lemma**

A topological space (X, τ) is a **Normal Space** iff for every two disjoint nonempty closed subsets A, B ⊆ X there is a **continuous function** f: X → [0,1] s.t. f(A)=0 and f(B)=1

The **Normal Space** is defined as the topological space (X, τ) that for every two disjoint closed subsets A, B ⊆ X having disjoint open neighbourhoods:

∀A,B⊆ X, Ac, Bc ∈ τ, A⋂B=ø ⇒∃o1, o2 ∈ τ s.t. A ⊆ o1 and B ⊆ o2 and o1⋂o2=ø

This lemma is named after the Russian mathematician Pavel Samuilovich Urysohn. This lemma is famous and widely used since it can be used to construct continuous function. One application example is in the proof of Riesz representation theorem, which is another famous theorem in functional analysis.

# Long proof of Urysohn’s Lemma

Yes, the proof is pretty long and it is a test of your patience. But, it is beautiful and I assure that you will get aha moment after reading Urysohn’s proof. Let’s start our journey from the ‘if’ part of this lemma.

**‘If’ part-**

∀A,B ⊆ X, Ac,Bc ∈ τ, A⋂B=ø

⇒ there is a continuous function f: X→[0,1] s.t. f(A)=0 and f(B)=1

[0,1] is a subspace of **R** **[ See ****Part 1**** ]**

⇒ [0,0.5) and (0.5,1] are open sets of [0,1] **[ See ****Part 1**** ]**

⇒ o1=f-1([0,0.5)), o2=f-1((0.5,1]) where o1,o2∈τ **[ By f is continuous, see ****Part 2**** ]** and

A ⊂ o1 and B ⊂ o2 **[ By f-1(0)=A, f-1(1)=B ]**

[0,0.5)⋂(0.5,1]=ø

⇒ o1⋂o2 = f-1([0,0.5))⋂f-1((0.5,1]) = f-1([0,0.5)⋂(0.5,1]) = f-1(ø) = ø **[ See ****Part 1 Set Theory Review**** ]**

⇒ (X,τ) is a Normal Space

For the ‘Only if’ part, we need to prove it by constructing a continuous function. OK, then how? This is what attracts me to study this lemma since it seems impossible to construct a function without given any basis function! What we know is that the topological space τ is a **Normal** one, f(A)=0 and f(B)=1 for every two disjoint closed subsets A, B.

# Construction of Urysohn Function

Urysohn cleverly defines the function as follows:

f(x) = inf{p ∈ D⋂[0,1]| x ∈ o[p]} when x ∈ X\B

= 1 otherwise

where D is the **dyadic rational number **set, o[ ] is a family of nesting open sets in topological space (X, τ) indexed by a **dyadic rational number** and inf denotes the **infimum**. Before I explain how these nesting open sets can be created, I explain the following lemma first:

**Lemma A**

For any closed set A ⊆ X and an open set C ∈ τ where A ⊆ C, there is an open set o∈τ s.t. A ⊆ o ⊆ Cl(o) ⊆ C

**Proof-**

C ∈ τ

⇒ Cc is closed

⇒ A⋂Cc = A\C = ø **[ By A⊂C, see ****Part 1****]**

⇒ ∃o1, o2 ∈ τ s.t. A ⊆ o1 and Cc ⊆ o2 and o1⋂o2=ø **[ By definition of Normal Space ]**

⇒ ∃o1, o2 ∈ τ s.t. A ⊆ o1 and o2c ⊆ C and o1 ⊆ o2c **[ See ****Part 1 Set Theory Review**** ]**

o2c is closed and o1 ⊆ o2c

⇒ Cl(o1) ⊆ o2c **[ By Cl2, see ****Part 3**** ]**

⇒ o1 ⊆ Cl(o1) ⊆ C **[ By o2c ⊂ C and Cl4, see ****Part 3**** ]**

⇒ ∃o1 ∈ τ s.t. A ⊆ o1 ⊆ Cl(o1) ⊆ C

This means that in Normal Space, for any open set B containing a closed set A, we can find another smaller open set o to contain A and do this **recursively**. Just like the Russian dolls, you can find a smaller one contained inside. In this way, a family of nesting open sets can be created. Then, we index these open sets by **Dyadic rational number****.**

# What is **dyadic rational number ?**

**Dyadic rational number** is a number in the form of m/2^n where m is an integer and n is a positive integer. Define a subset of this number within [0,1] as follows:

D(n) = {m/2^n | m, n ∈ N and 0 ≤m≤2^n-1 and n≥0}

We index the open set by D(n) and the following property is found hold:

∀p, q∈D(n) p<q ⇒ Cl(o[p]) ⊆ o[q] for n=0,1,2… — — — (Δ)

Now, we index open set X\B by 1:

A ⊆ o[1]

Apply the **Lemma A**, we get:

A ⊆ o[0] ⊆ Cl(o[0]) ⊆ o[1]

Apply the **Lemma A** again, we get:

A ⊆ o[0] ⊆ Cl(o[0]) ⊆ o[1/2] ⊆ Cl(o[1/2]) ⊆ o[1]

A ⊆ o[0] ⊆ Cl(o[0]) ⊆ o[1/4] ⊆ Cl(o[1/4]) ⊆ o[1/2] ⊆ Cl(o[1/2]) ⊆ o[3/4] ⊆ Cl(o[3/4]) ⊆ o[1]

and so on….

Let us prove this property Δ is true by induction.**Proof-**

When n = 0;

A ⊆ o[0] ⊆ Cl(o[0]) ⊆ o[1]

⇒ So the statement is true for n = 0

Suppose the statement is true for n = k:

∀p,q∈D(k) p<q⇒ Cl(o[p]) ⊆ o[q]

When n = k+1:

Cl(o[m/2^k]) ⊆ o ⊆ Cl(o) ⊆ o[(m+1)/2^k] **[By lemma A ]**

Index o by (2m+1)/2^(k+1)∈D(k+1):

⇒ Cl(o[m/2^k]) ⊆ o[(2m+1)/2^(k+1)]

⊆ Cl((2m+1)/2^(k+1)) ⊆ o[(m+1)/2^k]

⇒ Cl(o[2m/2^(k+1)]) ⊆ o[(2m+1)/2^(k+1)]

⊆ Cl((2m+1)/2^(k+1)) ⊆ o[(2m+2)/2^(k+1)]

⇒ Statement is true when p and q are consecutive numbers in D(k+1)

When p=2m/2^(k+1) and q=2n/2^(k+1)

⇒ p,q ∈ D(k)

⇒ Statement is also true when p and q are in form 2m/2^(k+1)

⇒ Statement is true when p and q ∈ D(k+1)

Hence, by induction, the statement is true for n=0,1,..

Now, by using Lemma A and let n goes to infinity, we can construct a family of nesting open sets:

A ⊆ o[0] ⊆ Cl(o[0]) ⊆ .. ⊆ o[1/4] ⊆ Cl(o[1/4]) ⊆ .. ⊆ o[1/2] ⊆ Cl(o[1/2]) ⊆ ..⊆ o[3/4] ⊆ Cl(o[3/4]) ⊆ ..⊆ o[1]

D(n) approaches to D⋂[0,1] when n approaches to ∞. If n does not approach to ∞, the range of Urysohn Function will be discrete numbers. The set D⋂[0,1] actually is a Dense Set in [0, 1], that is, for any real number in [0, 1], there exists a number in D⋂[0,1] which is close to this real number. Please refer to my previous article to recap the definition of a Dense Set.

**Proof-**

∀x ∈ [0,1]

⇒ x ∈ [(m-1)/2^n, m/2^n] for some m∈N

∀ε>0

Choose n∈N s.t. ε > 1/2^n or n > -log2(ε)

x + ε > (m-1)/2^n + 1/2^n = m/2^n

⇒ x + ε > m/2^n >= x

x — ε < m/2^n — 1/2^n = (m-1)/2^n

⇒ x — ε < (m-1)/2^n <= x

⇒ (x-ε, x+ε)⋂D ≠ ø

⇒ D⋂[0,1] is dense in [0,1] **[ By DS3 ]**

**‘Only If’ part-**

For any x∈X, the set {p ∈ D| x ∈ o[p]} is bounded below by 0 and the set is not empty, infimum exists by **Greatest Lower Bound Axiom**. (Actually, this can be proved by using **Dedekind cut**) Also, the infimum is unique and f(x) is defined for all x∈X, f(x) is thus a well-defined function.

OK. We are now at the final stage. What we need to prove is f(x) satisfies the following 2 conditions:

1. f(A)=0 and f(B)=1

2. f(x) is continuous

**Proof-**

1. f(A)=0 and f(B)=1:

∀x∈A, x∈o(0) **[ By A ⊂ o[0]]**

⇒ f(x) = inf{p∈D| x∈o(p)} = 0

∀x∈B, f(x) = 1 **[ By defintion of f ]**

2. f is continuous:

∀x ∈ Cl(o[p]) ⇒ x ∈ o[q] for all q > p ⇒ f(x) ≤ p — — — (*)

∀x ∉ o[p] ⇒ x ∉ o[q] for all q < p ⇒ f(x) ≥ p — — — (**)

For subspace [0, 1] of R, its sub-bases is [0, b) and (a, 1] where 0<a<b<1. Please refer to my previous article to recap the definition of sub-basis.

∀x∈f-1([0, b))

⇒ 0 ≤ f(x) < b

⇒ ∃p∈D s.t. f(x)<p<b **[ D is dense in [0,1] ]**

⇒ x∈o[p] where p<b **[ By ****contrapositive**** of **]**

⇒ x∈⋃{o[p]| p∈D and p<b}

∀x∈⋃{o[p]| p∈D and p<b}

⇒ ∃p∈D s.t. x∈o[p] and p < b

⇒ inf{p∈D| x∈o[p]} ≤ p < b **[ Since inf is a lower bound of p ]**

⇒ 0 ≤ f(x) < b **[ Since f(x) is bounded below by 0 ]**

⇒ x∈f-1([0, b))

⇒ f-1([0, b)) = ⋃{o[p]| p∈D and p<b} ∈ τ **[ By topology axiom T2 ]**

∀x∈f-1((a, 1])

⇒ a < f(x) ≤ 1

⇒ ∃p∈D s.t. a < p < f(x) **[ D is dense in [0,1] ]**

⇒ x∈X\Cl(o[p]) where p > a **[ By ****contrapositive** **of * ]**

⇒ x∈⋃{X\Cl(o[p])| p∈D and p>a}

∀x∈⋃{X\Cl(o[p])| p∈D and p>a}

⇒ ∃p∈D s.t. x∉Cl(o[p]) and p > a

⇒ ∃q∈D s.t. a < p < q and Cl(o[p]) ⊆ o[q] and x∈o[q] **[ By Δ ]**

⇒ a < inf{q∈D| x∈o(q)} **[ Since inf is the greatest lower bound ]**

⇒ a < f(x) ≤ 1 **[ Since f(x) is bounded above by 1 ]**

⇒ x∈f-1((a, 1])

⇒ f-1((a, 1]) = ⋃{X\Cl(o(p))| p∈D and p>a} ∈ τ **[ By topology axiom T2 ]**

Since f-1([0, b)) and f-1((a, 1]) are open set, f is continuous. Please refer to my previous article to recap the definition of continuous function.

The Urysohn’s lemma is finally **proved** !!

# Conclusion

The Urysohn’s lemma is discussed in this article. The proof of this lemma is quite long but we have seen how the topological concepts that we learnt in previous articles can be applied altogether to prove this lemma. I hope that you enjoy this journey even if it is quite brain intensive.😄

# Your feedback is highly appreciated and will help me to continue my articles.

# Please give this post a clap if you like this post. Thanks!!

Reference

“https://en.wikipedia.org/wiki/Dense_set"

“https://en.wikipedia.org/wiki/Dyadic_rational"

“https://en.wikipedia.org/wiki/Infimum_and_supremum"

“https://en.wikipedia.org/wiki/Least-upper-bound_property"

“https://en.wikipedia.org/wiki/Normal_space"

“https://en.wikipedia.org/wiki/Proof_by_contrapositive"

“https://en.wikipedia.org/wiki/Urysohn%27s_lemma"

“Topology (2nd edition) by James Munkres”