ProofComplete

Proof: Path-Connected Implies Connected

We provide a complete, detailed proof that every path-connected space is connected, along with a discussion of the converse and the conditions under which it holds.


Statement

Theorem4.16Path-Connected Implies Connected

If XX is a path-connected topological space, then XX is connected.


Proof

Proof

Suppose XX is path-connected. We prove XX is connected by contradiction.

Assume XX is disconnected. Then there exist nonempty disjoint open sets U,VU, V with X=UVX = U \cup V.

Since UU and VV are nonempty, choose aUa \in U and bVb \in V.

Since XX is path-connected, there exists a continuous map γ:[0,1]X\gamma: [0, 1] \to X with γ(0)=a\gamma(0) = a and γ(1)=b\gamma(1) = b.

Now consider the two preimage sets: A=γ1(U),B=γ1(V).A = \gamma^{-1}(U), \qquad B = \gamma^{-1}(V).

AA and BB are open in [0,1][0, 1]: Since γ\gamma is continuous and U,VU, V are open in XX, the preimages A=γ1(U)A = \gamma^{-1}(U) and B=γ1(V)B = \gamma^{-1}(V) are open in [0,1][0, 1].

AA and BB are nonempty: We have 0A0 \in A (since γ(0)=aU\gamma(0) = a \in U) and 1B1 \in B (since γ(1)=bV\gamma(1) = b \in V).

AA and BB are disjoint: If tABt \in A \cap B, then γ(t)UV=\gamma(t) \in U \cap V = \emptyset, which is impossible.

AA and BB cover [0,1][0, 1]: For any t[0,1]t \in [0, 1], γ(t)X=UV\gamma(t) \in X = U \cup V, so tABt \in A \cup B.

Therefore {A,B}\{A, B\} is a separation of [0,1][0, 1].

But [0,1][0, 1] is connected (it is an interval in R\mathbb{R}, and by Theorem 4.13, intervals are connected). This is a contradiction.

Therefore XX must be connected.


Key Ingredients

RemarkStructure of the Proof

The proof uses three key facts:

  1. [0,1][0, 1] is connected. This ultimately relies on the completeness of R\mathbb{R} (the least upper bound property).

  2. Continuous preimages of open sets are open. This is the definition of continuity.

  3. A separation of XX pulls back to a separation of [0,1][0, 1]. The path γ\gamma serves as a "probe" connecting points in the two pieces of the supposed separation.

The proof strategy is a standard "transfer of structure" argument: the connectedness of the domain [0,1][0, 1] is transferred to XX via the continuous map γ\gamma.


The Converse is False

ExampleTopologist's Sine Curve: Connected but Not Path-Connected

Define: S={(x,sin1x):x>0}({0}×[1,1]).S = \left\{\left(x, \sin\frac{1}{x}\right) : x > 0\right\} \cup (\{0\} \times [-1, 1]).

SS is connected: The graph G={(x,sin(1/x)):x>0}G = \{(x, \sin(1/x)) : x > 0\} is a continuous image of (0,)(0, \infty), hence connected. The closure G\overline{G} contains {0}×[1,1]\{0\} \times [-1, 1] (since for any y[1,1]y \in [-1, 1], there exist xn0x_n \to 0 with sin(1/xn)=y\sin(1/x_n) = y). In fact G=S\overline{G} = S, and the closure of a connected set is connected.

SS is not path-connected: Suppose γ:[0,1]S\gamma: [0, 1] \to S is a path with γ(0)=(0,0)\gamma(0) = (0, 0) and γ(1)=(1/π,0)G\gamma(1) = (1/\pi, 0) \in G. Write γ(t)=(γ1(t),γ2(t))\gamma(t) = (\gamma_1(t), \gamma_2(t)).

Let t0=sup{t:γ1(t)=0}t_0 = \sup\{t : \gamma_1(t) = 0\}. Then γ1(t0)=0\gamma_1(t_0) = 0 (by continuity) and γ1(t)>0\gamma_1(t) > 0 for tt slightly above t0t_0. So for tt near t0t_0 (from above), γ2(t)=sin(1/γ1(t))\gamma_2(t) = \sin(1/\gamma_1(t)).

Choose sequences t0<s1<s2<t_0 < s_1 < s_2 < \cdots converging to t0t_0 such that γ1(sn)0\gamma_1(s_n) \to 0. Then sin(1/γ1(sn))\sin(1/\gamma_1(s_n)) oscillates between 1-1 and 11 and does not converge to γ2(t0)\gamma_2(t_0). This contradicts the continuity of γ2\gamma_2.


When the Converse Holds

Theorem4.17Converse Under Local Path-Connectedness

If XX is connected and locally path-connected, then XX is path-connected.

Proof

Fix pXp \in X and let U={xX:there is a path from p to x}U = \{x \in X : \text{there is a path from } p \text{ to } x\}.

UU is open: Let xUx \in U. Since XX is locally path-connected, there is a path-connected open neighborhood VV of xx. For any yVy \in V, concatenate a path from pp to xx with a path from xx to yy in VV. Thus VUV \subseteq U, and UU is open.

XUX \setminus U is open: Let xXUx \in X \setminus U. There is a path-connected open neighborhood VV of xx. If any yVy \in V belonged to UU, then concatenating a path from pp to yy with a path from yy to xx in VV would give a path from pp to xx, contradicting xUx \notin U. So VXUV \subseteq X \setminus U, and XUX \setminus U is open.

Since XX is connected and UU is nonempty (contains pp) and clopen, U=XU = X.

ExampleSpaces Where the Converse Holds
  • Manifolds are locally path-connected (locally homeomorphic to Rn\mathbb{R}^n), so connected manifolds are path-connected.
  • Open subsets of Rn\mathbb{R}^n are locally path-connected.
  • CW complexes are locally path-connected.
  • Topological groups are locally path-connected if they are locally path-connected at the identity.
RemarkSummary of Implications

For general topological spaces: Path-connected    Connected\text{Path-connected} \implies \text{Connected} with the converse failing (topologist's sine curve). Under local path-connectedness, the two are equivalent. In practice, most naturally occurring spaces (manifolds, CW complexes, algebraic varieties with their analytic topology) are locally path-connected, so the distinction rarely matters.