Urysohn Lemma Overview

students, imagine trying to separate two closed sets in a space using a smooth “signal” that changes gradually from one set to the other 🌍. That is the big idea behind Urysohn’s lemma, one of the most important results in topology. It helps explain how well-behaved spaces can be studied using continuous functions, not just shapes and points.

What this lesson will help you do

By the end of this lesson, students, you should be able to:

• explain the main ideas and terms in Urysohn’s lemma,
• describe why it matters in topology,
• apply the idea to simple examples,
• connect it to separation properties and metrizability,
• summarize its place in further topics in topology.

Urysohn’s lemma is a bridge between set separation and continuous functions. That makes it a key tool in modern topology ✨.

The setting: separating closed sets

In topology, one common question is whether two sets can be separated in a space. The lemma concerns a normal topological space.

A topological space $X$ is normal if whenever $A$ and $B$ are disjoint closed subsets of $X$, there exist disjoint open sets $U$ and $V$ such that $A \subseteq U$ and $B \subseteq V$.

This is a strong separation property. It says closed sets that do not touch can be placed inside non-overlapping open “neighborhoods.” Think of $A$ and $B$ as two groups of students standing apart in a hallway, and $U$ and $V$ as safe zones around them that do not overlap 🚶‍♀️🚶‍♂️.

Urysohn’s lemma says that in a normal space, we can do something even more powerful: we can build a continuous function that assigns values near $0$ on one closed set and near $1$ on the other.

More precisely, if $X$ is normal and $A$ and $B$ are disjoint closed subsets of $X$, then there exists a continuous function $f : X \to [0,1]$ such that

$$f(x)=0 \text{ for all } x \in A$$

and

$$f(x)=1 \text{ for all } x \in B.$$

This function is often called a separating function.

What the lemma really means

The conclusion of Urysohn’s lemma is not just a technical statement. It tells us that a space has enough structure to turn geometric separation into numerical data.

Why is this useful? Because continuous functions are often easier to work with than open sets alone. If you can build a function $f : X \to [0,1]$ that is $0$ on $A$ and $1$ on $B$, then the sets

$$f^{-1}([0,1/3)) \quad \text{and} \quad f^{-1}((2/3,1])$$

act like open regions around $A$ and $B$.

This idea is powerful because it converts a topological problem into a function-based one. In many parts of topology and analysis, that is exactly what we want.

The interval $[0,1]$ matters because it gives a simple scale from one closed set to the other. You can imagine the function as a “temperature map” 🌡️: the first closed set is frozen at $0$, the second is hot at $1$, and everything else lies in between.

A closer look at the hypotheses

The word normal is essential. Urysohn’s lemma does not hold in every topological space.

The spaces we study in further topology often satisfy extra separation axioms such as $T_1$, Hausdorff, regular, and normal. These axioms tell us how well points and sets can be separated.

Urysohn’s lemma needs the space to be normal because the construction of the function relies on repeatedly separating closed sets by open sets. In fact, the proof builds a family of open sets indexed by rational numbers in $[0,1]$ and uses them to define the function.

That is one reason the lemma is so important: it shows how a strong separation axiom gives rise to a very flexible continuous function.

The main idea of the proof

You do not need every technical detail to understand the intuition. The proof starts with two disjoint closed sets $A$ and $B$ and uses normality to separate them by open sets. Then it keeps refining the separation in smaller and smaller steps.

A common way to describe the construction is:

1. choose open sets that separate $A$ from $B$,
2. then choose more open sets between them,
3. repeat this process using rational numbers in $[0,1]$,
4. define $f(x)$ from the pattern of these open sets.

The open sets are arranged so that if $r < s$, then the open set associated with $r$ lies inside the one associated with $s$. This creates a nested structure.

Eventually, for each point $x \in X$, the function value $f(x)$ is determined by where $x$ fits in this nested family. The careful arrangement ensures that $f$ is continuous.

This is a classic example of a topology proof: it uses open sets, order, and continuity together in a very elegant way 🧠.

Example: a simple space

Let’s look at a familiar case, students. Consider the real line $\mathbb{R}$ with its usual topology. This space is normal.

Take the closed sets

$$A = (-\infty,0] \quad \text{and} \quad B = [1,\infty).$$

These are disjoint and closed in $\mathbb{R}$.

A continuous function that separates them is

$$f(x)=

$\begin{cases}$

$0, & x \le 0,\\$

x, & 0 < x < 1,\\

$1, & x \ge 1.$

$\end{cases}$$$

Here, $f(x)=0$ on $A$ and $f(x)=1$ on $B$. The middle interval $0 < x < 1$ is where the function transitions continuously from one value to the other.

This is exactly the kind of behavior Urysohn’s lemma guarantees in general normal spaces.

Why Urysohn’s lemma matters

Urysohn’s lemma is not just an isolated result. It has major consequences throughout topology.

First, it leads to the Tietze extension theorem, which says that a continuous real-valued function defined on a closed subset of a normal space can be extended to the whole space. That theorem is one of the most useful applications of Urysohn’s lemma.

Second, the lemma helps connect topology with metric ideas. In metrizable spaces, continuous functions can often be built using distance-like arguments. Urysohn’s lemma shows that even without a metric, normal spaces can still support many of the same kinds of constructions.

Third, the lemma is part of the toolkit for proving that a space is “nice enough” for analysis. Many theorems in functional analysis and manifold theory rely on the ability to separate closed sets by continuous functions.

In short, Urysohn’s lemma is a gateway result. It turns a topological separation property into a functional one.

Connection to metrizability

students, this is where the lemma fits into the broader syllabus topic of further topology.

A metrizable space is a topological space whose topology comes from a metric. Metric spaces are normal, so Urysohn’s lemma automatically applies to them.

But the converse is not true: being normal does not mean a space is metrizable. Still, Urysohn’s lemma is important in metrizability theory because it gives a way to construct continuous real-valued functions, and many metrizability theorems use families of such functions.

So when you study metrizability, Urysohn’s lemma acts like a supporting tool. It helps you understand how separation properties and function spaces work together.

Key terminology to remember

Let’s define the main terms clearly:

• Topological space: a set with a collection of open sets.
• Closed set: the complement of an open set.
• Normal space: any two disjoint closed sets can be separated by disjoint open sets.
• Continuous function: a function where the preimage of every open set is open.
• Separation: the process of placing sets into non-overlapping open neighborhoods.

These words appear often in topology, and Urysohn’s lemma uses all of them together.

Conclusion

Urysohn’s lemma is one of the clearest examples of how topology turns set relationships into functions. In a normal space, disjoint closed sets can be separated by a continuous function $f : X \to [0,1]$ with values $0$ and $1$ on the two sets.

This result is important because it links separation axioms, continuous functions, and later theorems such as the Tietze extension theorem. It also supports the study of metrizability and shows how topology can be used to build flexible tools from simple assumptions.

If you remember one idea, students, remember this: normality lets you separate closed sets not only by open sets, but also by continuous real-valued functions 🎯.

Study Notes

• Urysohn’s lemma applies in a normal topological space.
• If $A$ and $B$ are disjoint closed subsets of $X$, then there exists a continuous function $f : X \to [0,1]$ such that $f(x)=0$ for $x \in A$ and $f(x)=1$ for $x \in B$.
• The lemma turns separation by open sets into separation by continuous functions.
• The proof uses nested open sets indexed by rational numbers in $[0,1]$.
• The lemma is a key tool for proving the Tietze extension theorem.
• Every metrizable space is normal, so Urysohn’s lemma applies to all metric spaces.
• Normality is stronger than being Hausdorff, but normality alone does not imply metrizability.
• Urysohn’s lemma is a central result in further topics in topology because it connects separation axioms with function construction.