Mathematics
Connectedness: The Topological Idea of Being One Piece
Quick fact
In topology, the interval [0,1] and the circle are both connected, but the circle is not homeomorphic to the interval because removing a point from the interval disconnects it, while removing a point from a circle leaves it connected.
Why this is interesting
Think of a coiled rope and two separate shoelaces. Both look like strings, but one is 'all one piece' and the other is not. How can mathematics capture such a basic difference?
Read the full explanation
Understanding Connectedness: The Topological Idea of Being One Piece
Imagine drawing a blob on a piece of paper—it's obviously 'connected' because you can trace from any point to any other without lifting your pen. But topology wants to formalize this without relying on distance. A topological space is a set of points with a collection of 'open sets' (neighborhoods). We say a space is disconnected if you can split it into two non-empty, disjoint open sets whose union is the whole space—like two islands with no bridge between them. If such a split is impossible, the space is connected. For example, the real line ℝ is connected because any attempt to split it into two open intervals that don't touch fails. The set of rational numbers, however, is totally disconnected (every point is its own connected component).
A deeper explanation
Connectedness is a topological invariant: if two spaces are homeomorphic, they are either both connected or both not. This means it can be used to prove that certain spaces are not the same, like showing the circle isn't homeomorphic to an interval. The formal definition uses open sets: a space X is connected if it cannot be written as a union of two disjoint non-empty open sets. Equivalently, the only subsets that are both open and closed are the empty set and X itself. This property matters because continuous functions preserve connectedness—the image of a connected space under a continuous map is connected. This leads to the intermediate value theorem and distinguishes connected spaces from those with 'gaps.' Connected components are the maximal connected subsets, partitioning the space into 'pieces.' A stronger notion, path-connectedness, requires a continuous path between any two points, but connectedness itself is more basic and can be tricky in spaces like the topologist's sine curve, which is connected but not path-connected.