Finite Irreducible Space is Path-Connected

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \left({S, \tau}\right)$ be a finite irreducible topological space.


Then $T$ is path-connected.


Proof

By Power Set of Finite Set is Finite, the power set $\mathcal P \left({S}\right)$ is finite.

By Subset of Finite Set is Finite, $\tau \subseteq \mathcal P \left({S}\right)$ is finite.

The result follows from Irreducible Space with Finitely Many Open Sets is Path-Connected.

$\blacksquare$


Also see