Urysohn lemma
This is an old revision of this page, as edited by DirkE (talk | contribs) at 20:41, August 26, 2008. It may differ significantly from current revision.
The Urysohn lemma states:
If A, B are two disjoint, closed subsets of a normal space X, then there exist a continuous function f : X â [0, 1], such that f(A) = 0 and f(B) = 1.
The converse of the Urysohn lemma also holds: if there is such a continuous function for any two disjoint closed sets A and B in X, then X is normal.