Indiscrete Space is Irreducible

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \set {\O, S} }$ be an indiscrete topological space.

Then $T$ is irreducible.


Proof

There is only one non-empty open set in $T$.

So there can be no two open sets in $T$ which are disjoint.

Hence (trivially) $T$ is irreducible.

$\blacksquare$


Sources