Sierpiński Space is Ultraconnected

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {\set {0, 1}, \tau_0}$ be a Sierpiński space.

Then $T$ is ultraconnected.


Proof

The only closed sets of $T$ are $\O, \set 1$ and $\set {0, 1}$.

$\set 1$ and $\set {0, 1}$ are not disjoint.

Hence the result by definition of ultraconnected.

$\blacksquare$


Also see


Sources