Difference between revisions of "Closed set"
(thanks for the correction) |
m (typo) |
||
Line 1: | Line 1: | ||
In [[topology]], a '''closed set''' is a set which contains all of its [[limit point]]s. Equivalently, a [[set]] in some [[topological space]] (including, for example, any [[metric space]]) is closed [[if and only if]] its [[complement]] is an [[open set]], or alternatively if its [[closure]] is equal to itself. | In [[topology]], a '''closed set''' is a set which contains all of its [[limit point]]s. Equivalently, a [[set]] in some [[topological space]] (including, for example, any [[metric space]]) is closed [[if and only if]] its [[complement]] is an [[open set]], or alternatively if its [[closure]] is equal to itself. | ||
− | In any topological space, the empty set and the entire space are both closed sets. The intersection of any collection of closed sets is a closed set. Also, the union of any two closed sets (or any finite number of closed sets) is a closed set. Note, however, that | + | In any topological space, the empty set and the entire space are both closed sets. The intersection of any collection of closed sets is a closed set. Also, the union of any two closed sets (or any finite number of closed sets) is a closed set. Note, however, that the union of an arbitrary collection of closed sets does not have to be closed. For example, every one-point set is closed in <math>\mathbb{R}</math> (or in any <math>T_1</math> space), but clearly the union of any arbitrary number of one-point sets does not need to be closed. |
One common example of a closed set is the closed interval <math>[a, b] = \{x \mid a \leq x \leq b\}</math> of the [[real number]]s. However, closed subsets of <math>\mathbb{R}</math> can take a variety of more complicated forms. For example, the set <math>\left\{\frac{1}{n} \mid n \in \mathbb{Z}_{> 0} \right\} \cup \{0\}</math> is closed, as is the [[Cantor set]]. | One common example of a closed set is the closed interval <math>[a, b] = \{x \mid a \leq x \leq b\}</math> of the [[real number]]s. However, closed subsets of <math>\mathbb{R}</math> can take a variety of more complicated forms. For example, the set <math>\left\{\frac{1}{n} \mid n \in \mathbb{Z}_{> 0} \right\} \cup \{0\}</math> is closed, as is the [[Cantor set]]. |
Latest revision as of 17:33, 1 March 2010
In topology, a closed set is a set which contains all of its limit points. Equivalently, a set in some topological space (including, for example, any metric space) is closed if and only if its complement is an open set, or alternatively if its closure is equal to itself.
In any topological space, the empty set and the entire space are both closed sets. The intersection of any collection of closed sets is a closed set. Also, the union of any two closed sets (or any finite number of closed sets) is a closed set. Note, however, that the union of an arbitrary collection of closed sets does not have to be closed. For example, every one-point set is closed in (or in any space), but clearly the union of any arbitrary number of one-point sets does not need to be closed.
One common example of a closed set is the closed interval of the real numbers. However, closed subsets of can take a variety of more complicated forms. For example, the set is closed, as is the Cantor set.
The pre-image of a closed set under a continuous function is also closed.
This article is a stub. Help us out by expanding it.