Definition:Disconnected Set/Definition 2

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $H \subseteq S$ be a non-empty subset of $S$.


$H$ is a disconnected set of $T$ if and only if there exist open sets $U$ and $V$ of $T$ such that all of the following hold:

$H \subseteq U \cup V$
$H \cap U \cap V = \O$
$U \cap H \ne \O$
$V \cap H \ne \O$


Also see

  • Results about disconnected sets can be found here.


Sources