In a normal topological space, any two disjoint closed sets can be separated by a continuous real-valued function: there exists a continuous map f : X → [0,1] with f = 0 on one closed set and f = 1 on the other.

Principle

Normality supplies enough open neighborhoods to build a continuous function that interpolates prescribed constant values on two disjoint closed sets; the existence of such separating functions organizes separation properties by continuous maps.

Demonstration

In R with the usual topology (which is normal), for closed sets A = [−1,0] and B = [1,2] one can define a continuous piecewise-linear function f : R → [0,1] with f(x)=0 on A, f(x)=1 on B, and linear transition on [0,1], exhibiting the lemma concretely.

Misapplication

Applying the statement in a non-normal space (for example, a space failing T1 separation) and expecting to produce such a global continuous separator; or attempting to separate closed sets that intersect.

Consequence

Provides a toolbox of continuous functions that separate closed sets, enabling constructions such as partitions of unity, steps toward extension theorems, and methods to embed spaces into cubes of real functions.

Reversal

Viewed in reverse: if every pair of disjoint closed sets can be separated by a continuous [0,1]-valued function, then the space satisfies the separation axioms encoded in normality (equivalences hold under standard T1 hypotheses).

Boundary

Requires the ambient space to be normal and the sets to be closed and disjoint; it specifies maps into [0,1] (or R) and does not assert separation for nonclosed or intersecting sets or for spaces lacking normality.

Semantic Tension

Nearby results include the Tietze extension theorem: Urysohn produces a separating function between two closed sets, while Tietze extends an existing continuous function on a closed set. Confusion arises when these roles are conflated.

Synthesis

Urysohn's Lemma is the principle that normality permits construction of continuous [0,1]-valued functions taking prescribed constants on two disjoint closed sets, serving as a foundational device to separate closed sets functionally and to build richer continuous structures.