Topology MOC

Connectedness

A topological space is called connected1 if the following equivalent2 conditions hold: #m/def/topology

  1. any continuous function with discrete codomain is constant.3
  2. is not the union of two non-empty disjoint open sets.4
  3. the only clopen sets are and .
Proof of equivalence of definitions

For any function , it follows that and . Clearly and are open, so is continuous iff and are open. Hence condition 1 and 2 are equivalent. A partition of the space into two open subsets implies both of those subsets are clopen, and likewise if we have a clopen subset the space can be partitioned into it and its likewise clopen compliment, thus condition 3 is equivalent to 1 and 2.

A stronger property is path-connected. When a subset is said to be connected it is meant under the Subspace topology.

Connected components

Two points are said to be connected iff there exists a connected subspace containing both points. This is an equivalence relation (Connectedness is transitive) and the equivalence classes are called connected components of .

Properties

#state/tidy | #lang/en | #SemBr

Footnotes

  1. German zusammenhängend. Connectedeness is Zusammenhang. ↩

  2. The footnotes indicate which is the primary definition for a given source. ↩

  3. 2020, Topology: A categorical approach, p. 39 ↩

  4. 2010, Algebraische Topologie, p. 15 ↩