Definition:Modified Fort Space

From ProofWiki
Jump to navigation Jump to search

Definition

Let $N$ be an infinite set.

Let $\set a$ and $\set b$ be singleton sets such that $a \ne b$ and $a, b \notin N$.

Let $S = N \cup \set a \cup \set b$.


Let $\tau_{a, b}$ be the set of subsets of $S$ defined as:

$\tau_{a, b} = \set {H \subseteq N} \cup \set {H \subseteq S: \paren {a \in H \lor b \in H} \land N \setminus H \text { is finite} }$


That is, a subset $H$ of $S$ is in $\tau_{a, b}$ if and only if either:

$(1): \quad H$ is any subset of $N$

or:

$(2): \quad$ if $a$ or $b$ or both are in $H$, then $H$ is in $S$ only if it is cofinite in $S$, that is, that it contains all but a finite number of points of $S$ (or $N$, equivalently).


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


Also see

  • Results about modified Fort spaces can be found here.


Source of Name

This entry was named for Marion Kirkland Fort, Jr.


Sources