Proof That a totally Disconnected Space is Hausdorff
Theorem
A totally disconnected space
is Hausdorff.
Proof
Letbe totally disconnected and let
Since
is 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 setsexist such thatand
Henceis Hausdorff.