Connected and regular Hausdorff with at least two points implies uncountable

From Topospaces
Jump to: navigation, search

Statement

Any connected regular Hausdorff space (a space that is both connected and regular Hausdorff) with at least two points is uncountable.

Proof

The proof is somewhat roundabout. We do it in two steps: