Wikipedia: Clopen set

Clopen set
From Wikipedia, the free encyclopedia.

In topology, a closed-open or clopen set in a topological space is a set which is both open and closed.

Examples

In any topological space X, the empty set and the whole space X are both clopen.

Now consider the space X which consists of the union of the two intervalss [0,1] and [2,3]. The topology on X is inherited as the subspace topology from the ordinary topology on the real line R. In X, the set [0,1] is clopen, as is the set [2,3]. This is a quite typical example: whenever a space is made up of a finite number of disjoint components in this way, the components will be clopen.

As a less trivial example, consider the space Q of all rational numbers with their ordinary topology, and the set A of all rational numbers bigger than the square root of 2. Using the fact that √2 is not in Q, one can show quite easily that A is a clopen subset of Q. (Note also that A is not a clopen subset of the real line R; it's neither open nor closed in R.)

Facts

A topological space X is connected if and only if the only clopen sets are the empty set and X.
Any clopen set is a union of (possibly infinitely many) connected components.
If all connected components of X are open (which is for instance the case if X has only finitely many components, or if X is locally connected), then a set is clopen in X if and only if it is a union of connected components.
A topological space X is discrete if and only if each of its subsets is clopen.
Using the union and intersection as operations, the clopen subsets of a given topological space X form a Boolean algebra. Interestingly, every Boolean algebra can be obtained in this way from a suitable topological space: see Stone's duality.