Modified Fort Space is T1

From ProofWiki
Jump to navigation Jump to search


Let $T = \struct {S, \tau_{a, b} }$ be a modified Fort space.

Then $T$ is a $T_1$ (Fréchet) space.


Let $p, q \in S: p \ne q$.

There are two options:

$(1): \quad$ At least one of $p$ and $q$ is not in $\set {a, b}$
$(2): \quad$ Both $p$ and $q$ are in $\set {a, b}$.

$(1): \quad$ First let $p \notin \set {a, b}$ or $q \notin \set {a, b}$.

Without loss of generality, let $p \notin \set {a, b}$.

From Clopen Points in Modified Fort Space both $\set p \in \tau_{a, b}$ and $S \setminus \set p \in \tau_{a, b}$.


$p \in \set p, q \notin \set p$
$p \notin S \setminus \set p, q \in S \setminus \set p$

Similarly for $q \notin \set {a, b}$.

$(2): \quad$ Next, let $p, q \in \set {a, b}$.

Let $V_p \subseteq S$ such that $p \in V_p, q \notin V_p$ and $V_p$ is finite.

Then $S \setminus V_p$ is open in $T$ containing $q$ but not $p$.

Similarly, let $V_q \subseteq S$ such that $q \in V_q, p \notin V_q$ and $V_q$ is finite.

Then $S \setminus V_q$ is open in $T$ containing $p$ but not $q$.

Hence it can be seen that $T$ is a $T_1$ (Fréchet) space.