##  [Urysohn's Lemma](/urysohns-lemma-1) 

 Definition

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

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

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

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

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

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

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

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

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.