GetWiki

Clopen set

ARTICLE SUBJECTS
news  →
unix  →
wiki  →
ARTICLE TYPES
feed  →
help  →
wiki  →
ARTICLE ORIGINS Clopen set
[ temporary import ]
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Image:Pseudoforest.svg|thumb|240px|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.]]{{Distinguish|Half-open interval}}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.BOOK, Bartle, Robert G., Robert G. Bartle, Sherbert, Donald R., 1992, 1982, Introduction to Real Analysis, 2nd, John Wiley & Sons, Inc., 348, (regarding the real numbers and the empty set in R)BOOK, Hocking, John G., Young, Gail S., 1961, Topology, Dover Publications, Inc., NY, 56, (regarding topological spaces)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.Now let X be an infinite set under the discrete metric--that is, two points p, q in X have distance 1 if they're not the same point, and 0 otherwise. Under the resulting metric space, any singleton set is open; hence any set, being the union of single points, is open. Since the complement of any set is therefore closed, all sets in the metric space are 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

• A topological space X is connected if and only if the only clopen sets are the empty set and X.
• A set is clopen if and only if its boundary is empty.BOOK, Mendelson, Bert, 1990, 1975, Introduction to Topology, Third, Dover, 0-486-66352-3, 87, 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)
• Any clopen set is a union of (possibly infinitely many) connected components.
• If all connected components of X are open (for instance, 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 all of its subsets are clopen.
• Using the union and intersection as operations, the clopen subsets of a given topological space X form a Boolean algebra. Every Boolean algebra can be obtained in this way from a suitable topological space: see Stone's representation theorem for Boolean algebras.

{{reflist}}

References

- content above as imported from Wikipedia
- "Clopen set" does not exist on GetWiki (yet)
- time: 12:49pm EDT - Mon, Jun 17 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 MAY 2016
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
GETWIKI 20 AUG 2014
GETWIKI 19 AUG 2014
GETWIKI 18 AUG 2014
Wikinfo
Culture