Connectedness — Mathematics Knowledge System

Overview

A topological space X is connected if it cannot be split into two disjoint, nonempty open sets whose union is all of X — such a splitting is called a separation. Intuitively, a connected space is 'all one piece': there is no way to draw a clean open-set boundary dividing it into two genuinely separate parts. A stronger and often more intuitive notion, path-connectedness, requires that any two points can be joined by a continuous path inside the space; every path-connected space is connected, though the converse can fail. Connectedness is the topological property underlying the Intermediate Value Theorem: a continuous real-valued function on a connected domain cannot skip over values.

Intuition

Picture cutting a piece of paper: if you can cut it into two pieces without tearing through the interior of either piece, the paper was disconnected to begin with (like two separate scraps taped near each other but not touching). A connected space refuses any such clean open/open split — no matter how you try to partition it into two open pieces, at least one piece ends up empty. Path-connectedness sharpens this to a very concrete picture: you can actually walk (continuously) from any point to any other without ever leaving the space, like a hiking trail that never breaks — this is stronger than mere connectedness, because some pathological spaces (like the topologist's sine curve) are connected yet have no such walkable path between certain points.

Formal Definition

Definition

A topological space X is disconnected if there exist open sets U, V ⊆ X such that:

X = U \cup V, \quad U \cap V = \emptyset, \quad U \neq \emptyset,\ V \neq \emptyset

U and V form a separation of X — two disjoint nonempty open sets whose union is the whole space

Separation

X \text{ is connected} \iff \text{no separation of } X \text{ exists}

Equivalently, the only subsets of X that are simultaneously open and closed (clopen) are ∅ and X itself

Connectedness

X \text{ is path-connected} \iff \forall x,y \in X,\ \exists \text{ continuous } \gamma: [0,1] \to X \text{ with } \gamma(0)=x,\ \gamma(1)=y

Any two points can be joined by a continuous path lying entirely in X; path-connected always implies connected, but not conversely

Path-connectedness

Notation

Notation	Meaning
$X = U \cup V$	A partition of X into two disjoint nonempty open sets, witnessing disconnectedness
$\text{clopen}$	A set that is both open and closed; X is connected iff ∅ and X are its only clopen subsets
$\gamma: [0,1] \to X$	A path — a continuous function from the unit interval into X

Properties

Continuous image of connected is connected

f: X \to Y \text{ continuous}, X \text{ connected} \implies f(X) \text{ connected}

Intermediate Value Theorem

\text{If } f: X \to \mathbb{R} \text{ is continuous}, X \text{ connected, and } f(a) < c < f(b) \text{ for some } a,b \in X, \text{ then } \exists\, x \in X: f(x) = c.

Condition: A direct consequence of connectedness: if f never hit c, {f<c} and {f>c} would separate X.

Path-connected implies connected

X \text{ path-connected} \implies X \text{ connected}

Example: The converse fails for the topologist's sine curve, which is connected but not path-connected.

Union of connected sets sharing a point

\{A_\alpha\} \text{ connected}, \bigcap_\alpha A_\alpha \neq \emptyset \implies \bigcup_\alpha A_\alpha \text{ connected}

Worked Examples

Take U = [0,1] and V = [2,3]; both are open in the subspace topology on X (each is the intersection of X with an open interval in ℝ).
$U = X \cap (-1,1.5), \quad V = X \cap (1.5,4)$
U and V are disjoint, nonempty, and their union is X.
$U \cup V = X, \quad U \cap V = \emptyset$

Answer: X is disconnected, since U=[0,1] and V=[2,3] form a separation.

Practice Problems

Difficulty 5/10

A topological space X is connected if:

X is compactX cannot be written as the union of two disjoint nonempty open setsEvery function on X is continuousX has only finitely many open sets

Difficulty 6/10

Is ℚ (the rational numbers, with the subspace topology from ℝ) connected?

Difficulty 7/10

Prove that the continuous image of a connected space is connected.

Quiz

Which of the following is equivalent to X being connected?

The only clopen subsets of X are ∅ and XX is boundedX has finitely many pointsX is compact

Path-connectedness relates to connectedness how?

They are always equivalentPath-connected implies connected, but not conversely in generalConnected implies path-connected, but not converselyThey are unrelated properties

Summary

X is connected if it admits no separation — no way to write X as a union of two disjoint nonempty open sets.
Equivalently, the only clopen (both open and closed) subsets of a connected space are ∅ and X itself.
Path-connectedness (any two points joined by a continuous path) implies connectedness and underlies the Intermediate Value Theorem for continuous real-valued functions on connected domains.

References

WebsiteWikipedia — Connected space