Closed Set of Ultraconnected Space is Ultraconnected

From ProofWiki
Jump to navigation Jump to search


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

Let $F \subset S$ be a closed set in $T$.

Then $F$ is ultraconnected.


Let $A, B$ be two non-empty closed sets in $\struct {F, \tau}$.

By Closed Set in Topological Subspace, $A, B$ are closed in $T$ as well.

By Definition of Ultraconnected Space, $A$ and $B$ are not disjoint.

Since $A$, $B$ are arbitrary, no two non-empty closed sets of $\struct {F, \tau}$ are disjoint.

Hence the result from Definition of Ultraconnected Space.


Also see