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
If is a path-connected topological space, then is connected.
Proof
Suppose is path-connected. We prove is connected by contradiction.
Assume is disconnected. Then there exist nonempty disjoint open sets with .
Since and are nonempty, choose and .
Since is path-connected, there exists a continuous map with and .
Now consider the two preimage sets:
and are open in : Since is continuous and are open in , the preimages and are open in .
and are nonempty: We have (since ) and (since ).
and are disjoint: If , then , which is impossible.
and cover : For any , , so .
Therefore is a separation of .
But is connected (it is an interval in , and by Theorem 4.13, intervals are connected). This is a contradiction.
Therefore must be connected.
Key Ingredients
The proof uses three key facts:
-
is connected. This ultimately relies on the completeness of (the least upper bound property).
-
Continuous preimages of open sets are open. This is the definition of continuity.
-
A separation of pulls back to a separation of . The path 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 is transferred to via the continuous map .
The Converse is False
Define:
is connected: The graph is a continuous image of , hence connected. The closure contains (since for any , there exist with ). In fact , and the closure of a connected set is connected.
is not path-connected: Suppose is a path with and . Write .
Let . Then (by continuity) and for slightly above . So for near (from above), .
Choose sequences converging to such that . Then oscillates between and and does not converge to . This contradicts the continuity of .
When the Converse Holds
If is connected and locally path-connected, then is path-connected.
Fix and let .
is open: Let . Since is locally path-connected, there is a path-connected open neighborhood of . For any , concatenate a path from to with a path from to in . Thus , and is open.
is open: Let . There is a path-connected open neighborhood of . If any belonged to , then concatenating a path from to with a path from to in would give a path from to , contradicting . So , and is open.
Since is connected and is nonempty (contains ) and clopen, .
- Manifolds are locally path-connected (locally homeomorphic to ), so connected manifolds are path-connected.
- Open subsets of 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.
For general topological spaces: 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.