Connected component

A maximal connected subset containing a given point.
Connected component

Let (X,d)(X,d) be a metric space and let EXE\subseteq X. For xEx\in E, the connected component of xx in EE is the set

CE(x):={AE:A is connected and xA}.C_E(x):=\bigcup\{A\subseteq E : A\ \text{is connected and}\ x\in A\}.

Equivalently, CE(x)C_E(x) is the unique maximal (by inclusion) connected subset of EE that contains xx. Connected components partition EE into disjoint connected pieces.

Examples:

  • If E=(0,1)(2,3)RE=(0,1)\cup(2,3)\subset\mathbb{R}, then there are two connected components: (0,1)(0,1) and (2,3)(2,3).
  • If E=QRE=\mathbb{Q}\subset\mathbb{R} with the subspace topology, then every connected component is a singleton {q}\{q\} (since Q\mathbb{Q} is totally disconnected).
  • If EE is connected, then it has exactly one connected component, namely EE itself.