Finite Complement Topology is not Metrizable

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau}$ be a finite complement topology on an infinite set $S$.


Then $T$ is not a metrizable space.


Proof

We have:

Metrizable Space is Hausdorff
Finite Complement Space is not $T_2$ (Hausdorff)

$\blacksquare$


Sources