Connected Set — Definition, Formula & Examples
A connected set is a set that cannot be divided into two nonempty, disjoint open subsets. Informally, it is "all in one piece" — there is no way to separate it into two parts without breaking continuity.
A topological space is connected if there do not exist two nonempty open sets and such that and . A subset of a topological space is connected if it is connected as a subspace with the subspace topology.
How It Works
To determine whether a set is connected, you look for a way to partition it into two nonempty open sets that cover the entire space. If no such partition exists, the set is connected. In with the standard topology, the connected subsets are exactly the intervals (including rays and itself). A set like is disconnected because the two intervals form a separation. Continuous functions preserve connectedness: if is continuous and is connected, then is also connected — this fact underlies the Intermediate Value Theorem.
Example
Problem: Determine whether the subset of is connected.
Step 1: Try to find a separation: two nonempty, disjoint open sets in the subspace topology whose union is .
Step 2: Check the conditions. Both and are open in the subspace topology on , both are nonempty, they are disjoint, and their union equals .
Step 3: Since a valid separation exists, the set is not connected.
Answer: is disconnected.
Why It Matters
Connectedness is the topological property behind the Intermediate Value Theorem: a continuous function on a connected domain cannot "skip" values. It appears throughout real analysis, complex analysis (where connected open sets are called domains), and algebraic topology when classifying spaces by their connected components.
Common Mistakes
Mistake: Confusing connected with path-connected. Students sometimes assume that if a set is connected, you can always draw a continuous path between any two points.
Correction: Path-connected implies connected, but the converse is not always true. The topologist's sine curve is a classic example of a connected set that is not path-connected.
