Category:Definitions/Disconnected Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Disconnected Spaces.
Related results can be found in Category:Disconnected Spaces.


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


Definition $1$

$T$ is disconnected if and only if $T$ is not connected.


Definition $2$

$T$ is disconnected if and only if there exist non-empty open sets $U, V \in \tau$ such that:

$S = U \cup V$
$U \cap V = \O$

That is, if there exists a partition of $S$ into open sets of $T$.