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

 g\left( x \right) = I\left( x \right) - f\left( x \right) = 1 - 0 = 1

And

 g\left( A \right) = I\left( A \right) - f\left( A \right) = 1 - 1 = 0

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.

Comments

comments