Discrete Subspace of Fortissimo Space
Jump to navigation
Jump to search
Theorem
Let $T = \left({S, \tau_p}\right)$ be a Fortissimo space.
Let $T' = \left({S \setminus \left\{{p}\right\}, \tau_p}\right)$ be the topological subspace induced on $T$ by the subset $S \setminus \left\{{p}\right\}$.
Then $T'$ is a discrete topological space.
Proof
By the definition of Fortissimo space, any $A \subset S \setminus \left\{{p}\right\}$ is open in $S$, because $p \notin A$.
Thus by definition of topological subspace, $A \subset S \setminus \left\{{p}\right\}$ is open in $S \setminus \left\{{p}\right\}$.
The result follows by the definition of discrete space.
$\blacksquare$