Connectedness and Path-Connectedness in Metric Spaces

⚡ Key Takeaways

A metric space is connected if it cannot be split into two disjoint nonempty open sets; it is path-connected if any two points are joined by a continuous path. Path-connectedness implies connectedness but not conversely (the topologist's sine curve is the canonical counterexample). These notions formalize the intuitive idea of a space being "all in one piece" and underlie the intermediate value theorem, monodromy, and the classification of manifolds. Core concepts originate with Cantor, Jordan, and the early-20th-century topologists (Hausdorff, Kuratowski, Knaster).

💡 The Core Insight

Connectedness is about the global impossibility of separation; path-connectedness is about the local-to-global construction of journeys. Both are intrinsic topological properties, but path-connectedness gives you constructive data (an actual path) while connectedness only gives you a non-existence statement (no clopen splitting). The gap between them is precisely where pathological "limiting" behaviour — accumulation without reachability — lives.

DefinitionSeparation and Connectedness

Let $(X,d)$ be a metric space. A separation of $X$ is a pair $(U,V)$ of open sets with

1

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

Derivation hint: This is the literal negation of "all in one piece" — two open boxes that tile $X$ without overlap. $X$ is connected if no separation exists. A subset $A \subseteq X$ is connected if it is connected in the subspace metric.

DefinitionClopen Characterization

$X$ is connected if and only if its only clopen subsets are $\emptyset$ and $X$ :

2

\quad \bigl(S \text{ open} \wedge S \text{ closed}\bigr) \implies S \in \{\emptyset, X\}.

Derivation hint: If $S$ is clopen and proper, then $(S, X\setminus S)$ is a separation; conversely a separation $(U,V)$ makes $U$ clopen since $U = X \setminus V$ .

DefinitionPath and Path-Connectedness

A path from $a$ to $b$ in $X$ is a continuous map $\gamma:[0,1]\to X$ with

3

\quad \gamma(0)=a,\qquad \gamma(1)=b.

Derivation hint: $[0,1]$ is the prototype connected, compact interval; continuity transfers its connectedness to the image. $X$ is path-connected if for every $a,b\in X$ such a path exists. Define the relation $a\sim b$ iff a path joins them. This is an equivalence relation (reflexive: constant path; symmetric: $t\mapsto\gamma(1-t)$ ; transitive: concatenation), whose classes are the path components:

4

\quad \gamma_1 * \gamma_2(t)=\begin{cases}\gamma_1(2t), & 0\le t\le \tfrac12,\\[2pt]\gamma_2(2t-1), & \tfrac12\le t\le 1.\end{cases}

Derivation hint: The pasting lemma guarantees continuity of the concatenation because $\gamma_1(1)=\gamma_2(0)$ matches at the seam $t=\tfrac12$ where the two closed pieces overlap.

TheoremPath-Connected ⟹ Connected

If $X$ is path-connected then $X$ is connected. The converse is false.

TheoremConnectedness is a Continuous Invariant

If $f:X\to Y$ is continuous and $X$ is connected (resp. path-connected), then $f(X)$ is connected (resp. path-connected). In particular the Intermediate Value Theorem is the case $Y=\mathbb{R}$ :

5

\quad f \text{ continuous},\ X \text{ connected} \implies f(X)\subseteq\mathbb{R}\text{ is an interval}.

Derivation hint: Connected subsets of $\mathbb{R}$ are exactly intervals (order-completeness); a non-interval has a gap, and the two halves of the gap pull back to a separation of $X$ .

ProofPath-Connected Implies Connected

Step 1. Suppose, for contradiction, that $X$ is path-connected but admits a separation $(U,V)$ as in [1].

Step 2. Pick $a\in U$ and $b\in V$ (possible since both are nonempty). By path-connectedness there is a continuous $\gamma:[0,1]\to X$ with $\gamma(0)=a$ , $\gamma(1)=b$ .

Step 3. Form the preimages $\gamma^{-1}(U)$ and $\gamma^{-1}(V)$ . Both are open in $[0,1]$ (continuity), disjoint (since $U\cap V=\emptyset$ ), nonempty ( $0\in\gamma^{-1}(U)$ , $1\in\gamma^{-1}(V)$ ), and their union is $[0,1]$ (since $U\cup V=X$ ).

Step 4. Thus $(\gamma^{-1}(U),\gamma^{-1}(V))$ is a separation of $[0,1]$ . But $[0,1]$ is connected:

6

\quad [0,1]\text{ connected} \iff \text{order-completeness of }\mathbb{R}.

Derivation hint: If $A,B$ separated $[0,1]$ with $0\in A$ , let $c=\sup\{x:[0,x]\subseteq A\}$ ; openness forces $c\in A$ and $c\in B$ simultaneously — contradiction.

Step 5. The contradiction shows no separation of $X$ exists, so $X$ is connected. $\blacksquare$

∎

ProofConnectedness of the Union of Overlapping Connected Sets

Claim. If $\{A_i\}_{i\in I}$ are connected and $\bigcap_i A_i\neq\emptyset$ , then $A=\bigcup_i A_i$ is connected.

Step 1. Fix $p\in\bigcap_i A_i$ . Suppose $(U,V)$ separates $A$ ; say $p\in U$ .

Step 2. For each $i$ , $(U\cap A_i, V\cap A_i)$ is a candidate separation of $A_i$ . Since $p\in U\cap A_i$ , this set is nonempty.

Step 3. Because $A_i$ is connected, one of $U\cap A_i$ , $V\cap A_i$ must be empty; as the first is nonempty, $V\cap A_i=\emptyset$ , so $A_i\subseteq U$ .

Step 4. This holds for all $i$ , so $A\subseteq U$ , forcing $V\cap A=\emptyset$ , contradicting $V\neq\emptyset$ . Hence $A$ is connected. $\blacksquare$ This lemma is the engine behind connected components being the maximal connected sets containing each point.

∎

FH

Felix Hausdorff

1868–1942

Hausdorff's 1914 Grundzüge der Mengenlehre gave the first systematic axiomatic treatment of topological and metric spaces in which connectedness could be cleanly defined and studied. Though Cantor and Jordan had earlier groped toward "connected" point sets (Jordan via curves, Cantor via perfect sets), it was Hausdorff who isolated the open-set framework that makes the separation definition [1] precise and metric-independent. His work transformed connectedness from an intuitive geometric notion into a rigorous, transferable topological invariant. The Polish school (Kuratowski, Knaster, Sierpiński) then built the deep counterexamples and continuum theory on this foundation.

🧠 Intuition

Think of connectedness as "you cannot draw a moat around part of the space without touching the rest." A separation is a moat made of two open regions with a vacuum between them — and connectedness says no such vacuum-bounded split exists. Path-connectedness is the stronger statement that you can actually walk from any point to any other without leaving the space. The crucial subtlety: a space can be impossible to split (connected) yet have a point you can never reach by walking from elsewhere. This happens when one piece accumulates onto another — every neighborhood of the accumulation point meets the first piece, so no moat can separate them, but no continuous path can land on it because reaching it would require infinitely oscillating "in finite time." That gap is exactly the topologist's sine curve.

Figure

The Topologist's Sine Curve: connected but not path-connected

ExampleThe Punctured Plane is Path-Connected

Given: $X=\mathbb{R}^2\setminus\{(0,0)\}$ with the Euclidean metric. Show $X$ is path-connected and compute a path between $a=(2,0)$ and $b=(-2,0)$ .

Step 1. The straight segment $t\mapsto (1-t)a + t b = (2-4t,\,0)$ passes through the origin at $t=\tfrac12$ — forbidden.

Step 2. Detour around the puncture along the upper semicircle of radius $2$ :

7

\quad \gamma(t)=\bigl(2\cos(\pi t),\,2\sin(\pi t)\bigr),\quad t\in[0,1].

Derivation hint: This parametrizes the radius-2 circle; at $t=0$ we get $(2,0)=a$ , at $t=1$ we get $(-2,0)=b$ , and $\sin(\pi t)>0$ for $t\in(0,1)$ keeps us off the $x$ -axis, hence off the origin.

Step 3. Check $\gamma(t)\neq(0,0)$ : $\|\gamma(t)\|=2\neq 0$ for all $t$ , so the path stays in $X$ .

Boxed answer:

\boxed{\gamma(t)=(2\cos\pi t,\ 2\sin\pi t),\quad \|\gamma(t)\|=2}

General points use a radial-then-arc-then-radial path; thus $X$ is path-connected (and so connected).

Example

\mathbb{Q}

is Totally Disconnected

Given: $\mathbb{Q}\subseteq\mathbb{R}$ with the usual metric. Determine its connected components.

Step 1. Take any two rationals $p<q$ . Choose an irrational $\alpha\in(p,q)$ (exists by density of irrationals), e.g. $\alpha=\tfrac{p+q}{2}+\varepsilon\sqrt 2$ adjusted into the interval.

Step 2. The sets

8

\quad U=\mathbb{Q}\cap(-\infty,\alpha),\qquad V=\mathbb{Q}\cap(\alpha,\infty)

Derivation hint: Both are open in $\mathbb{Q}$ (intersections of open real intervals with $\mathbb{Q}$ ), disjoint, cover $\mathbb{Q}$ because $\alpha\notin\mathbb{Q}$ , and contain $p$ and $q$ respectively.

Step 3. Thus $(U,V)$ separates any subset of $\mathbb{Q}$ containing both $p$ and $q$ , so no two distinct rationals lie in the same connected component.

Boxed answer:

\boxed{\text{Connected components of } \mathbb{Q} = \text{singletons } \{q\}}

$\mathbb{Q}$ is totally disconnected yet has no isolated points — a counterintuitive metric phenomenon.

⚠️ Common mistake

Connected ≠ Path-connected. Many students assume the two are equivalent because they coincide for the spaces encountered in calculus (open sets in $\mathbb{R}^n$ , manifolds). In general path-connectedness is strictly stronger. Also beware:

Connectedness is not preserved by closure-of-image arguments naively — but path-connectedness can be destroyed by taking closures.
A connected space need not be locally connected (the topologist's sine curve again).
The intersection of connected sets need not be connected (two overlapping arcs of a circle can intersect in two disjoint points).
Components are always closed but need not be open (in $\mathbb{Q}$ the singleton components are not open).

CounterexampleThe Topologist's Sine Curve

Let

9

\quad S=\Bigl\{\bigl(x,\sin\tfrac1x\bigr): 0<x\le 1\Bigr\}\cup\bigl(\{0\}\times[-1,1]\bigr).

Derivation hint: The first piece $G$ is the graph of a continuous function on $(0,1]$ , hence path-connected; the second piece $L$ is the vertical limit segment that $G$ oscillates onto as $x\to 0^+$ .

Connected: $G$ is connected (continuous image of an interval). Its closure $\overline{G}=S$ (every point of $L$ is a limit of points of $G$ ). The closure of a connected set is connected, so $S$ is connected.

Not path-connected: Suppose $\gamma:[0,1]\to S$ with $\gamma(0)\in L$ , $\gamma(1)\in G$ . Let $c=\sup\{t:\gamma(t)\in L\}$ . By continuity $\gamma(c)\in L$ , and on every right-neighborhood of $c$ the path enters $G$ . But as the $x$ -coordinate decreases to $0$ , $\sin(1/x)$ oscillates between $-1$ and $1$ infinitely often; continuity of the $y$ -coordinate at $c$ is violated — the path cannot reach $L$ from $G$ continuously. Hence no path connects $L$ to $G$ , and $S$ is connected but not path-connected.

CounterexampleConnected but not Locally Connected

The same $S$ shows local connectedness fails: a small ball around a point of $L$ meets infinitely many separate oscillation strands of $G$ , none joined to each other within the ball. So $S$ is connected globally yet "shredded" locally.

connection

Connectedness sits at the crossroads of several theories:

Compactness in Metric Spaces — both are continuous invariants; a continuous image of a connected compact set is connected and compact, the joint backbone of extreme-value and intermediate-value reasoning.
Fundamental Group and Homotopy — path components are $\pi_0$ ; the fundamental group $\pi_1$ refines path-connectedness by tracking loops up to homotopy. A space is simply connected if it is path-connected and $\pi_1$ is trivial.
Continuous Functions Between Metric Spaces — the invariance theorem [5] makes connectedness a tool for proving non-homeomorphism (e.g. $\mathbb{R}\not\cong\mathbb{R}^2$ via removing a point).
Open and Closed Sets — the clopen characterization [2] reframes connectedness purely in the lattice of open sets, freeing it from the metric.
Locally Path-Connected Spaces — for these, connected $\Leftrightarrow$ path-connected, reconciling the two notions (open subsets of $\mathbb{R}^n$ , manifolds, CW complexes).

🔬 Where this appears

⏳ History

- 1872 — Georg Cantor studies perfect and connected point sets while developing the theory of the real line and accumulation points.

- 1883 — Camille Jordan introduces curves and the notion of a region bounded by a curve, foreshadowing path-based connectivity; the Jordan curve theorem implicitly concerns separation.

- 1893 — Camille Jordan and contemporaries formalize "d'un seul tenant" (in one piece) for point sets.

- 1906 — Maurice Fréchet introduces metric spaces, providing the setting in which distance-based connectedness arguments live.

- 1914 — Felix Hausdorff gives the axiomatic open-set definition of connectedness in Grundzüge der Mengenlehre.

- 1920s — Kazimierz Kuratowski and the Polish school develop continuum theory; rigorous study of indecomposable continua and local connectedness.

- 1922 — Bronisław Knaster and Kuratowski construct exotic connected sets, including totally pathological connected examples.

- 1920s–30s — The topologist's sine curve becomes the standard textbook separator of connected from path-connected.

- 1935 — Hurewicz and the development of homotopy groups formalize

\pi_0

as the set of path components, embedding connectedness in algebraic topology.

open-problem

While connectedness and path-connectedness are completely settled for "nice" spaces, the boundary between them harbors deep continuum-theoretic phenomena that remain active:

Indecomposable continua (e.g. the pseudo-arc, Knaster's bucket-handle) are connected, compact, metric spaces that cannot be written as the union of two proper subcontinua; their structure and the classification of homeomorphism types of hereditarily indecomposable continua remain subtle, with results like Bing's characterization of the pseudo-arc being highly nontrivial.
Connectivity functions and Darboux-like properties: characterizing exactly which functions $f:\mathbb{R}\to\mathbb{R}$ have connected graphs (connectivity functions) versus the intermediate value property is fully understood, but multidimensional analogs and the structure of bushy connected sets are less complete.
Dimension and connectedness: the existence of widely connected sets (connected sets all of whose nondegenerate connected subsets are dense) and questions about totally disconnected sets supporting connected superstructures connect to set-theoretic assumptions (CH and beyond), where independence results lurk.

Connectedness and Path-Connectedness in Metric Spaces

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also