# Completely Regular Space

A topological space $X$ is said to be completely regular space, if every closed set $A$ in $X$ and a point $x \in X$, $x \notin A$, then there exist a continuous function $f:X \to \left[ {0,1} \right]$, such that $f\left( x \right) = 0$ and $f\left( A \right) = \left\{ 1 \right\}$.

In other words, a topological space $X$ is said to be a completely regular space if for any $x \in X$ and a closed set $C$ not containing $x$, there exist a continuous function $f:X \to \left[ {0,1} \right]$ such that $f\left( x \right) = 0$ and $f\left( C \right) = 1$.

Remark:

Let us consider a continuous function $g:X \to \left[ {0,1} \right]$ defined as $g\left( x \right) = 1$ and $g\left( A \right) = 0$. Since constant function is continuous therefore taking the function $g\left( x \right) = I\left( x \right) - f\left( x \right)$, where $I\left( x \right) = 1,{\text{ }}\forall x \in X$.

Now

And

Moreover the continuous function defined in the condition for completely regular space is said to be separate the point $x$ form the set $A$.

Tychonoff Space:

A completely regular ${T_1}$ space is said to be a Tychonoff space or a ${T_{3\frac{1}{2}}}$-space.

Note: It may be noted that since product of ${T_1}$ space is ${T_1}$ space and product of completely regular space is completely regular space, so product of Tychonoff space is Tychonoff space.

Theorems:
• Every completely regular space is a regular space as well.
• Every completely regular ${T_1}$ space is Hausdorff space or ${T_2}$ space.
• Every subspace of a completely regular space is completely regular space.
• Product of completely regular space is a completely regular space.
• Every subspace of Tychonoff space is Tychonoff space.
• Every Tychonoff space is Hausdorff space.