Proof That a Completely Regular Space is Regular


A completely regular space is regular.


A topological spaceis completely regular if, for any closed subsetofand anya continuous functionexists such that for every and

By hypothesis a continuous functionexists such thatandThe intervalis Hausdorff. Hence open disjoint subsetsandofexists such thatand sinceis continuousandare open andand

Henceis regular.