Urysohn extension theorem
Let $X$ be a topological space^{}, and $C(X)$ and ${C}^{*}(X)$ the rings of continuous functions and bounded^{} continuous functions^{} respectively.
Urysohn Extension Theorem. A subset $A\mathrm{\subseteq}X$ is ${C}^{\mathrm{*}}$embedded (http://planetmath.org/CEmbedding) if and only if any two completely separated sets in $A$ are completely separated in $X$ as well.
Remarks.

•
Suppose that $X$ is a metric space and $A$ is closed in $X$. If $S,T$ are completely separated sets in $A$, then they are contained in disjoint zero sets^{} ${S}^{\prime}$ and ${T}^{\prime}$ in $A$. Since ${S}^{\prime}$ and ${T}^{\prime}$ are closed in $A$, and $A$ is closed in $X$, ${S}^{\prime}$ and ${T}^{\prime}$ are closed in $X$. Since $X$ is a metric space, ${S}^{\prime}$ and ${T}^{\prime}$ are zero sets in $X$. Since $S\subseteq {S}^{\prime}$ and $T\subseteq {T}^{\prime}$ and ${S}^{\prime}\cap {T}^{\prime}$ are disjoint, $S$ and $T$ are completely separated in $X$ as well. By Urysohn Extension Theorem, any bounded continuous function defined on $A$ can be extended to a continuous function on $X$, which is the statement of the metric space version of the Tietze extension theorem.

•
However, the above argument^{} does not generalize to normal spaces^{}, so can not be used to prove the generalized version of the Tietze extension theorem. Urysohn’s lemma is required to prove this more general result.
Title  Urysohn extension theorem 

Canonical name  UrysohnExtensionTheorem 
Date of creation  20130322 17:01:43 
Last modified on  20130322 17:01:43 
Owner  CWoo (3771) 
Last modified by  CWoo (3771) 
Numerical id  5 
Author  CWoo (3771) 
Entry type  Theorem 
Classification  msc 54C45 