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	2013-03-22 17:01:43
Last modified on	2013-03-22 17:01:43
Owner	CWoo (3771)
Last modified by	CWoo (3771)
Numerical id	5
Author	CWoo (3771)
Entry type	Theorem
Classification	msc 54C45