Open Extension Topology is T4

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau}$ be a topological space.

Let $T^*_{\bar p} = \struct {S^*_p, \tau^*_{\bar p} }$ be the open extension space of $T$.


Then $T^*_{\bar p}$ is a $T_4$ space.


Proof

We have that an Open Extension Space is Ultraconnected.

That means none of its closed sets are disjoint.

Hence, vacuously, any two of its disjoint closed subsets are separated by neighborhoods.

The result follows by definition of $T_4$ space.

$\blacksquare$


Sources