Fort Space is Zero Dimensional

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \left({S, \tau_p}\right)$ be a Fort space on an infinite set $S$.


Then $T$ is a zero dimensional space.


Proof

Let $q \in S$ such that $q \ne p$.

Then from Clopen Points in Fort Space, $\left\{{q}\right\}$ is clopen.

So $\forall q \in S, q \ne p: \left\{{\left\{{q}\right\}}\right\}$ is a local basis for $q$.


If we take the open neighborhoods of $p$ we get a local basis $\mathcal{U}_p$ with the following property:

Since $p \in U \in \mathcal{U}_p$, its complement does not contain $p$ and so it is open.

This implies that $U$ is also closed.

The union of the local basis forms a basis for the topology.

This basis is formed with clopen sets.

So, by definition, $T$ is a zero dimensional space.

$\blacksquare$


Sources