Topology MOC

Connectedness

A topological space is called connected¹ if the following equivalent² conditions hold: topology

1. any continuous function with discrete codomain is constant.³
2. is not the union of two non-empty disjoint open sets.⁴
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

• Main theorem: The continuous image of a connected space is connected
• Connected fibres and quotient implies connected space
• Connectedness is transitive
• Connected subspaces of the real line are intervals
• Connectedness is homotopy invariant
• Cut point

---

tidy | 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 ↩