Fort Space is T0

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau_p}$ be a Fort space on an infinite set $S$.


Then $T$ is a $T_0$ (Kolmogorov) space.


Proof

Follows directly from:

Fort Space is $T_1$
$T_1$ (Fréchet) Space is $T_0$ (Kolmogorov) Space

$\blacksquare$