Urysohn’s Lemma
Separate closed sets by continuous functions.
Key idea
Separate closed sets by continuous functions.
In depth
In a normal space, any two disjoint closed sets A, B can be separated by a continuous function f: X → [0, 1] with f = 0 on A and f = 1 on B. It builds continuous functions in abstract settings.
Worked example
In a metric space, f(x) = d(x, A)/(d(x, A) + d(x, B)) does the job.
Real-world uses
- Constructing smooth functions that separate sets
- Used in measure theory and signal processing
Common mistake
Believing the function can be written explicitly in all normal spaces.
How to learn this
- Read the key idea and say it in your own words.
- Work through the worked example, then try a similar problem.
- Use the interactive lesson’s visual and mini-quiz to check the pattern.
Frequently asked questions
What is Urysohn’s Lemma?
Separate closed sets by continuous functions. It is a topic at the expert level in Analysis & Topology.
Where is Urysohn’s Lemma used in real life?
Real-world examples: Constructing smooth functions that separate sets; Used in measure theory and signal processing.
What should I learn before Urysohn’s Lemma?
Make sure you are comfortable with Separation Axioms, the previous topic in Analysis & Topology.
What is a common mistake with Urysohn’s Lemma?
Believing the function can be written explicitly in all normal spaces.
How can I practise Urysohn’s Lemma?
Open the interactive lesson, play with the visual, then answer the three-question mini-quiz. Getting two right marks the topic complete.
What comes after Urysohn’s Lemma?
Move on to Tychonoff’s Theorem next.
Related expert topics in Analysis & Topology
- Axioms of the Real Numbers – ℝ is a complete ordered field.
- Completeness and Supremum – Every nonempty bounded-above set has a least upper bound.
- Archimedean Property – For any real x there is an integer n > x.
- Density of Rationals – Between any two reals there is a rational.
- Sequences and Convergence (ε–N) – aₙ → L if for every ε>0 eventually |aₙ − L| < ε.
- Limit Theorems for Sequences – Algebra of limits and squeeze theorem.