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 not every collection of closed sets is 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.
+
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 $\mathbb{R}$ (or in any $T_1$ 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 $[a, b] = \{x \mid a \leq x \leq b\}$ of the real numbers. However, closed subsets of $\mathbb{R}$ can take a variety of more complicated forms. For example, the set $\left\{\frac{1}{n} \mid n \in \mathbb{Z}_{> 0} \right\} \cup \{0\}$ 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.