Urysohn's Lemma

Topology · Axiom Academy

The famous theorem that separates closed sets with continuous functions One of the most fundamental questions in topology is: When can we separate two closed sets with a continuous function? Imagine you have two disjoint closed sets in a topological space . Urysohn's Lemma tells us that in "nice enough" spaces, we can always find a continuous function that equals 0 on one set and 1 on the other. Let be a normal topological space, and let be disjoint closed sets. Then there exists a continuous function such that: Normal Spaces: The Key Hypothesis Urysohn's Lemma requires the space to be normal . But what does that mean? A topological space is called normal if it satisfies two conditions: T₁ axiom: Every singleton set is closed Separation: For any two disjoint closed sets , there exist disjoint open sets such that In other words, a normal space allows us to "wrap" disjoint closed sets in disjoint open sets. The proof of Urysohn's Lemma is a beautiful example of a constructive proof . We don't just show the function exists—we build it explicitly! Visualizing the Urysohn Function Let's see what the Urysohn function actually looks like. It provides a smooth "gradient" from 0 to 1 as we move from set A to set B. The function has several important properties: Continuous everywhere: No jumps or breaks Maps to [0,1]: The entire range is contained in the unit interval Constant on closed sets: on A, on B Monotone-like behavior: Generally increases from A to B

This is the written version of the interactive lesson above. See the full Topology course.