Proof That The Class of All Real Valued Continuous Functions on a Completely Regular T1 Space Separates Points

Theorem

The class of of all real valued continuous functionson a completely regular t1 spaceseparates points.

Proof

Suppose we have a completely regular topological spaceand distinct pointsandofSinceis T1 the setis closed. Pointsandare distinct hence

The space (X,T) is completely regular hence a real valued continuous functiononexists such thatand

The function f separates a and b since

Add comment

Security code
Refresh