Clopen set

A graph with several clopen sets. Each of the three large pieces (i.e. components) is a clopen set, as is the union of any two or all three.

In topology, a clopen set (a portmanteau of closed-open set) in a topological space is a set which is both open and closed. That this is possible may seem counter-intuitive, as the common meanings of open and closed are antonyms. But their mathematical definitions are not mutually exclusive. A set is closed if its complement is open, which leaves the possibility of an open set whose complement is also open, making both sets both open and closed, and therefore clopen.

Examples

In any topological space X, the empty set and the whole space X are both clopen.[1][2]

Now consider the space X which consists of the union of the two open intervals (0,1) and (2,3) of R. 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 connected 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 positive rational numbers whose square is bigger than 2. Using the fact that \sqrt 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 is neither open nor closed in R.)

Properties

Notes

  1. Bartle, Robert G.; Sherbert, Donald R. (1992) [1982]. Introduction to Real Analysis (2nd ed.). John Wiley & Sons, Inc. p. 348. (regarding the real numbers and the empty set in R)
  2. Hocking, John G.; Young, Gail S. (1961). Topology. NY: Dover Publications, Inc. p. 56. (regarding topological spaces)
  3. Mendelson, Bert (1990) [1975]. Introduction to Topology (Third ed.). Dover. p. 87. ISBN 0-486-66352-3. Let A be a subset of a topological space. Prove that Bdry (A) = ∅ if and only if A is open and closed. (Given as Exercise 7)

References

This article is issued from Wikipedia - version of the Thursday, February 04, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.