Existence of Topological Space which satisfies no Separation Axioms but T4

From ProofWiki
Jump to navigation Jump to search

Theorem

There exists at least one example of a topological space for which none of the Tychonoff separation axioms are satisfied except for the $T_4$ axiom.


Proof

Let $T = \left({S, \tau}\right)$ be a countable complement topology on an uncountable set $S$.

Let $D = \left({\left\{{0, 1}\right\}, \vartheta}\right)$ be the indiscrete topology on two points.

Let $T \times D$ be the double pointed topology on $T$.

Let $\left({T \times D}\right)^*_{\bar p}$ be the open extension topology on $S \times \left\{{0, 1}\right\} \cup \left\{{p}\right\}$ where $p \notin S \times \left\{{0, 1}\right\}$.

From Open Extension of Double Pointed Countable Complement Topology is $T_4$ Space, we have that $\left({T \times D}\right)^*_{\bar p}$ satisfies none of the Tychonoff separation axioms except for the $T_4$ axiom.

$\blacksquare$


Sources