Theorem
A totally disconnected spaceis Hausdorff.
Proof
Letbe totally disconnected and let
Sinceis totally disconnected, disjoint open sets
exist such that
and
Henceis Hausdorff.
Theorem
A totally disconnected spaceis Hausdorff.
Proof
Letbe totally disconnected and let
Sinceis totally disconnected, disjoint open sets
exist such that
and
Henceis Hausdorff.