A clopen set is a set that is both closed and open at the same time. The name itself is a blend of “closed” and “open.” While this sounds contradictory at first, it makes perfect sense in topology, the branch of mathematics concerned with the properties of spaces. Understanding clopen sets helps clarify one of topology’s most important concepts: whether a space is connected or broken into separate pieces.
Open, Closed, and Both
In everyday language, “open” and “closed” feel like opposites. A door is one or the other. But in topology, these properties aren’t mutually exclusive. A set can be open, closed, both, or neither. The key is understanding what each term means in this context.
A set is open if every point inside it has some breathing room, meaning you can move a little in any direction and still stay within the set. A set is closed if it contains all of its boundary points, so nothing on the edge is missing. A clopen set satisfies both conditions simultaneously. It contains all its boundary points (closed), and every point inside it has room to move without leaving the set (open).
The reason both properties can coexist comes down to the boundary. For a clopen set, the boundary is empty. Since the boundary of any set is defined as the closure minus the interior, and a clopen set equals both its own closure and its own interior, subtracting one from the other gives you nothing. No boundary means there’s no conflict between being open and being closed.
The Two Trivial Examples
Every topological space, no matter how simple or exotic, always contains at least two clopen sets: the empty set and the entire space itself. These are called the “trivial” clopen sets.
Here’s why. The rules defining a topological space require that both the empty set and the full space are open. A set is closed when its complement is open. The complement of the empty set is the full space (which is open), so the empty set is closed. The complement of the full space is the empty set (which is open), so the full space is closed. Both are open and closed, making them clopen by definition.
The interesting question is whether a space has any other clopen sets beyond these two.
Clopen Sets and Connectedness
This is where clopen sets become genuinely useful. A topological space is connected if it cannot be split into two separate, nonempty open pieces. The existence of a nontrivial clopen set (one that isn’t the empty set or the whole space) is equivalent to the space being disconnected.
Think of it this way. If you can find a subset that is clopen and isn’t trivial, you’ve found a clean break in the space. The subset and its complement are both open, both closed, and together they cover the entire space with no overlap and no shared boundary. That’s a disconnection. Conversely, if a space is connected and you pick any nonempty clopen subset, that subset must be the entire space. There’s no way to carve out a proper piece without breaking the connectedness.
This gives mathematicians a clean test: to prove a space is connected, show that its only clopen sets are the trivial ones.
Concrete Examples
Consider the real number line with its usual topology. The only clopen sets are the empty set and the entire line. This confirms what you’d expect: the real line is connected, with no gaps.
Now consider the integers. In the usual topology inherited from the real line, every single point is a clopen set. The set {3}, for example, is both open and closed. This reflects the fact that the integers are totally disconnected: each point is isolated from the others with gaps in between. You can split the integers into separate pieces in countless ways, and every such piece is clopen.
The rational numbers offer a subtler example. Even though the rationals are densely packed along the number line, they’re riddled with “holes” where irrational numbers like the square root of 2 should be. You can split the rationals into two clopen pieces at any irrational point. For instance, the set of all rationals less than the square root of 2 is clopen within the rationals. This means the rational numbers, despite feeling dense and continuous, are actually disconnected.
Clopen Sets as Building Blocks
In certain spaces, clopen sets do more than reveal disconnections. They serve as the fundamental building blocks of the entire topology. A space is called zero-dimensional if its topology has a basis made entirely of clopen sets, meaning every open set can be built from clopen pieces.
The Cantor set is the classic example. This is the fractal-like set created by repeatedly removing the middle third of intervals, starting from the interval [0, 1]. What remains is a space whose topology has a basis of clopen sets. Each stage of the construction produces clopen intervals within the Cantor set, and these clopen pieces capture the full structure of the space. Any space satisfying the conditions of Brouwer’s theorem (a foundational result about Cantor-like spaces) has a basis formed by clopen sets.
How Clopen Sets Behave Under Operations
If you take a finite number of clopen sets and form their union or intersection, the result is still clopen. This follows from the basic rules of topology: finite intersections of open sets are open, and finite unions of closed sets are closed. Since clopen sets are both, finite operations in either direction preserve the property.
Infinite operations are trickier. An infinite union of open sets is always open, but an infinite union of closed sets isn’t necessarily closed. So an infinite union of clopen sets is guaranteed to be open but may fail to be closed, meaning it might not stay clopen. Similarly, an infinite intersection of clopen sets is guaranteed to be closed but may not remain open.
This asymmetry matters in practice. When working with clopen sets in proofs or constructions, mathematicians can freely combine finitely many of them without losing the clopen property, but they need to be careful with infinite collections.