Connectedness and Path-Connectedness

Connectedness is one of the most fundamental and intuitive ideas in topology, capturing the notion of a space being "in one piece." It provides a rigorous language to describe when a space cannot be split apart and forms the bedrock for powerful results like the Intermediate Value Theorem. Path-connectedness refines this idea by asking if you can actually walk from any point to any other point along a continuous path. Understanding the relationship between these concepts, and the tools used to analyze them, is essential for classifying topological spaces and advancing in analysis, geometry, and related fields.

Foundational Definitions and First Examples

A topological space $X$ is connected if it cannot be written as the union of two disjoint, non-empty open subsets. Equivalently, the only subsets of $X$ that are both open and closed (clopen) are $X$ itself and the empty set. This formalizes the idea that the space is "all together." A subset $A$ of a space $X$ is called connected if it is connected in the subspace topology it inherits from $X$.

Classic examples include any interval of the real line $\mathbb{R}$ (e.g., $(0,1)$, $[0,\infty )$) being connected. A simple example of a disconnected space is $\mathbb{R}\setminus \{0\}$, which is the union of the disjoint open sets $(-\infty ,0)$ and $(0,\infty )$.

A stronger, more geometric property is path-connectedness. A space $X$ is path-connected if for every pair of points $x,y\in X$, there exists a continuous function $\gamma :[0,1]\to X$ such that $\gamma (0)=x$ and $\gamma (1)=y$. This function $\gamma$ is called a path from $x$ to $y$. Intuitively, you can draw a continuous curve connecting any two points. Euclidean space ${\mathbb{R}}^n$ is path-connected (use the straight-line path), and any convex subset of ${\mathbb{R}}^n$ is path-connected.

A crucial result is that path-connectedness implies connectedness. The proof is instructive: suppose a path-connected space $X$ were disconnected, written as $X=U\cup V$ for disjoint, non-empty opens $U$ and $V$. Take points $x\in U$ and $y\in V$. A path $\gamma$ from $x$ to $y$ would have its image $\gamma ([0,1])$ as a connected subset of $X$ (since the continuous image of the connected interval $[0,1]$ is connected). However, this image would intersect both $U$ and $V$, leading to a contradiction as it would be disconnected in the subspace topology.

Decomposing Spaces into Connected Pieces

Not every space is connected, but we can always break it down into its maximal connected subsets. A connected component of a point $x$ in a space $X$ is the union of all connected subsets of $X$ that contain $x$. This component is itself connected and is a maximal connected set—meaning it is not properly contained in any larger connected subset. The components of a space partition it into disjoint, connected, closed subsets.

For example, in the space $\mathbb{Q}$ (rational numbers with the standard topology), the connected component of any point $q$ is just the singleton $\{q\}$. This is because between any two rational numbers lies an irrational, preventing any interval from being a subset of $\mathbb{Q}$.

This leads to the related concept of a locally connected space. A space $X$ is locally connected at a point $x$ if every neighborhood of $x$ contains a connected open neighborhood of $x$. If this holds for all $x\in X$, then $X$ is locally connected. The key implication is that in a locally connected space, the connected components are not just closed, but also open. The topologist's sine curve, defined as $S=\{(x,\sin (1/x))\mid x\in (0,1]\}\cup \{(0,y)\mid y\in [-1,1]\}$, is a classic counterexample. It is connected but not locally connected; the "vertical bar" at $x=0$ does not have small connected neighborhoods.

The Relationship Between Connectedness and Path-Connectedness

While path-connected implies connected, the converse is famously false. The topologist's sine curve $S$ provides the standard counterexample. It is connected but not path-connected. You cannot construct a continuous path starting on the oscillating part $\{(x,\sin (1/x))\}$ and ending on the vertical segment $\{(0,y)\}$. Any such attempted path would have to oscillate infinitely often as it approaches $x=0$, destroying continuity at the endpoint.

This distinction necessitates defining path-components. The path-component of a point $x$ is the set of all points $y$ for which there exists a path from $x$ to $y$. Path-components also partition the space, and each path-component lies inside a connected component. In a space like the topologist's sine curve, the vertical bar is one path-component, and the oscillating curve is another, yet both together form a single connected component.

A space where connected components and path-components coincide for all points is one where the two notions align perfectly. A sufficient condition for this is being locally path-connected. A space is locally path-connected if every neighborhood of a point contains a path-connected neighborhood. In such spaces, every connected component is path-connected. Many "nice" spaces in geometry and analysis, like manifolds or open sets in ${\mathbb{R}}^n$, are locally path-connected.

A Major Application: The Generalized Intermediate Value Theorem

Connectedness is not just a descriptive property; it is a powerful tool for proving fundamental theorems. The classic Intermediate Value Theorem (IVT) from calculus states that if $f:[a,b]\to \mathbb{R}$ is continuous and $y$ is any number between $f(a)$ and $f(b)$, then there exists $c\in [a,b]$ such that $f(c)=y$. The topological generalization is elegant and far-reaching: The continuous image of a connected space is connected.

From this, we can derive the IVT as a special case. The interval $[a,b]$ is connected. Therefore, its image $f([a,b])$ must be a connected subset of $\mathbb{R}$. The connected subsets of $\mathbb{R}$ are precisely the intervals. Since $f(a)$ and $f(b)$ are in this image-interval, every number between them must also be in the image. This proves the IVT without any calculus, using only the topology of $\mathbb{R}$.

This generalization allows us to classify the behavior of continuous functions on any connected domain, not just intervals. For instance, a continuous real-valued function on a connected space cannot have a range like $\{1\}\cup \{2\}$; its range must be an interval (or a single point).

Common Pitfalls

1. Assuming path-connectedness is equivalent to connectedness. As demonstrated by the topologist's sine curve, connectedness is a weaker, more set-theoretic property. Path-connectedness is a stronger, geometric one. Always check for potential "infinite oscillation" or wild points that block paths.
2. Misidentifying connected components in non-locally connected spaces. In a space like the topologist's sine curve, the connected component is larger than it might visually appear. The entire set $S$ is one component, even though it seems to have two distinct "parts." The component is defined as a maximal connected set, and these two parts are inextricably linked topologically.
3. Forgetting that connectedness is a global property preserved by continuous maps. A common error is trying to prove a space is connected by looking only at local structure. Remember, a space can be locally connected at every point (like $\mathbb{Q}$) but still be totally disconnected globally. The preservation property—"the continuous image of a connected set is connected"—is a powerful tool for proofs, not a definition to be overlooked.
4. Confusing "connected" with "closed and bounded" or "compact." These are independent concepts. The set $(0,1)$ is connected but not compact. The set $[0,1]\cup [2,3]$ is compact but not connected. It is crucial to apply the correct definition: a space is disconnected if and only if you can find two disjoint, non-empty open sets that cover it.

Summary

• A space is connected if it cannot be partitioned into two disjoint, non-empty open sets. This is the foundational, set-theoretic concept of being "in one piece."
• A space is path-connected if any two points can be joined by a continuous path. This is a stronger, more geometric property that implies connectedness, but the converse is false, as shown by the topologist's sine curve.
• Every space can be partitioned into maximal connected subsets called connected components, and into maximal path-connected subsets called path-components. In locally path-connected spaces, these two notions coincide.
• The Generalized Intermediate Value Theorem states that the continuous image of a connected space is connected. This generalizes the classical calculus theorem and is a prime example of using topological structure to prove powerful analytical results.
• Analyzing a space through the lenses of connectedness, path-connectedness, and their local versions provides a robust framework for classifying topological spaces and understanding the global behavior of continuous functions.