Definition:Fort Space

Definition

Let $p \in S$ be a particular point of $S$.

Let $\tau_p \subseteq \powerset S$ be a subset of the power set of $S$ defined as:

$\tau_p = \leftset {U \subseteq S: p \in \relcomp S U} \text { or } \set {U \subseteq S: \relcomp S U}$ is finite$\rightset{}$

That is, $\tau_p$ is the set of all subsets of $S$ whose complement in $S$ either contains $p$ or is finite.

Then $\tau_p$ is a Fort topology on $S$, and the topological space $T = \struct {S, \tau_p}$ is a Fort space.

Then $\tau_p$ is a countable Fort topology, and $\struct {S, \tau_p}$ is a countable Fort space.

Let $S$ be uncountable.

Then $\tau_p$ is an uncountable Fort topology, and $\struct {S, \tau_p}$ is an uncountable Fort space.

This entry was named for Marion Kirkland Fort, Jr.