Indiscrete Topology is Coarsest Topology

From ProofWiki
Jump to navigation Jump to search

Theorem

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

$\tau$ is the coarsest topology on $S$.


Hence it is comparable with all other topologies on $S$.


Proof

Let $\phi$ be any topology on $S$.

Then by definition of topology, $\O \in \phi$ and $S \in \phi$

Hence by definition of subset, $\tau \subseteq \phi$.

Hence by definition of coarser topology, $\tau$ is coarser than $\phi$.

$\blacksquare$


Also see


Sources