Cantor's intersection theorem: Difference between revisions

Revision as of 23:07, 30 April 2014

Latest revision as of 15:02, 22 June 2025

(76 intermediate revisions by 44 users not shown)

Line 1:

{{short description|On decreasing nested sequences of non-empty compact sets}}

In [[real analysis]], a branch of mathematics, '''Cantor's intersection theorem''', named after [[Georg Cantor]], is a theorem related to [[compact set]]s of a compact space <math>S</math>. It states that a decreasing nested [[sequence]] of non-empty compact subsets of <math>S</math> has nonempty intersection. In other words, supposing {''C''_''k''} is a sequence of non-empty, closed and bounded sets satisfying

'''Cantor's intersection theorem''',<ref>{{Cite web |last=Weisstein |first=Eric W. |title=Cantor's Intersection Theorem |url=https://mathworld.wolfram.com/CantorsIntersectionTheorem.html |access-date=2025-06-20 |website=mathworld.wolfram.com |language=en}}</ref> also called '''Cantor's nested intervals theorem''',<ref>{{Cite book |last=Segura |first=Julio |url=https://www.google.com.br/books/edition/An_Eponymous_Dictionary_of_Economics/Z6Oy4L-6LSwC |title=An Eponymous Dictionary of Economics: A Guide to Laws and Theorems Named After Economists |last2=Braun |first2=Carlos Rodríguez |date=2004-01-01 |publisher=Edward Elgar Publishing |isbn=978-1-84542-360-5 |pages=38 |language=en}}</ref><ref>{{Cite book |last=Denlinger |first=Charles G. |url=https://www.google.com.br/books/edition/Elements_of_Real_Analysis/CeTkVSXlj4cC |title=Elements of Real Analysis |date=2010-05-08 |publisher=Jones & Bartlett Publishers |isbn=978-1-4496-5993-6 |pages=103 |language=en}}</ref> refers to two closely related theorems in [[general topology]] and [[real analysis]], named after [[Georg Cantor]], about intersections of decreasing nested [[sequence]]s of non-empty compact sets.

==Topological statement==

:<math>C_0 \supseteq C_1 \supseteq \cdots C_k \supseteq C_{k+1} \cdots, \, </math>

In [[real analysis]], a branch of mathematics, '''CantorTheorem.'''s intersection theorem''',Let named<math> afterS [[Georg</math> Cantor]], isbe a theorem related to [[compacttopological setspace]]s of a compact space <math>S</math>. It states that aA decreasing nested [[sequence]] of non-empty compact, closed subsets of <math>S</math> has nonemptya non-empty intersection. In other words, supposing {''C''<submath>''(C_k)_{k'' \geq 0}</submath>} is a sequence of non-empty compact, closed andsubsets boundedof setsS satisfying''

:<math>C_0 \supset C_1 \supset \cdots \supset C_n \supset C_{n+1} \supset \cdots, </math>

it follows that

''it follows that''

:<math>\left(\bigcap_{k} C_k\right) \neq \emptyset. \, </math>

:<math>\left(\bigcap_{k = 0}^\infty C_k\right) \neq \emptyset. \, </math>

The result is typically used as a lemma in proving the [[Heine&ndash;Borel theorem]], which states that sets of real numbers are compact if and only if they are closed and bounded. Conversely, if the Heine&ndash;Borel theorem is known, then it can be restated as: a decreasing nested sequence of non-empty, compact subsets of a compact space has nonempty intersection.

The closedness condition may be omitted in situations where every compact subset of <math>S</math> is closed, for example when <math>S</math> is [[Hausdorff space|Hausdorff]].

As an example, if ''C''_''k'' =&nbsp;[0,&nbsp;1/''k''], the intersection over {''C''_''k''} is&nbsp;{0}. On the other hand, both the sequence of open bounded sets ''C''_''k'' =&nbsp;(0,&nbsp;1/''k'') and the sequence of unbounded closed sets ''C''_''k'' =&nbsp;[''k'',&nbsp;∞) have empty intersection. All these sequences are properly nested.

'''Proof.''' Assume, by way of contradiction, that <math>{\textstyle \bigcap_{k = 0}^\infty C_k}=\emptyset</math>. For each <math>k</math>, let <math>U_k=C_0\setminus C_k</math>. Since <math>{\textstyle \bigcup_{k = 0}^\infty U_k}=C_0\setminus {\textstyle \bigcap_{k = 0}^\infty C_k}</math> and <math>{\textstyle \bigcap_{k = 0}^\infty C_k}=\emptyset</math>, we have <math>{\textstyle \bigcup_{k = 0}^\infty U_k}=C_0</math>. Since the <math>C_k</math> are closed relative to <math>S</math> and therefore, also closed relative to <math>C_0</math>, the <math>U_k</math>, their set complements in <math>C_0</math>, are open relative to <math>C_0</math>.

The theorem generalizes to '''R'''^''n'', the set of ''n''-element vectors of real numbers, but does not generalize to arbitrary [[metric space]]s. For example, in the space of [[rational number]]s, the sets

Since <math>C_0\subset S</math> is compact and <math>\{U_k \vert k \geq 0\}</math> is an open cover (on <math>C_0</math>) of <math>C_0</math>, a finite cover <math>\{U_{k_1}, U_{k_2}, \ldots, U_{k_m}\}</math> can be extracted. Let <math>M=\max_{1\leq i\leq m} {k_i}</math>. Then <math>{\textstyle \bigcup_{i = 1}^m U_{k_i}}=U_M</math> because <math>U_1\subset U_2\subset\cdots\subset U_n\subset U_{n+1}\cdots</math>, by the nesting hypothesis for the collection <math>(C_k)_{k \geq 0}</math>. Consequently, <math>C_0={\textstyle \bigcup_{i = 1}^m U_{k_i}} = U_M</math>. But then <math>C_M=C_0\setminus U_M=\emptyset</math>, a contradiction. [[Q.E.D.|∎]]

==Statement for real numbers==

The theorem in real analysis draws the same conclusion for [[closed set|closed]] and [[bounded set|bounded]] subsets of the set of [[real number]]s <math>\mathbb{R}</math>. It states that a decreasing nested sequence <math>(C_k)_{k \geq 0}</math> of non-empty, closed and bounded subsets of <math>\mathbb{R}</math> has a non-empty intersection.

TheThis resultversion isfollows typicallyfrom usedthe asgeneral atopological lemmastatement in provinglight of the [[Heine&ndash;Borel theorem]], which states that sets of real numbers are compact if and only if they are closed and bounded. ConverselyHowever, if the Heine&ndash;Borel theoremit is known,typically then it can be restatedused as: a decreasinglemma nestedin sequenceproving ofsaid non-emptytheorem, compactand subsetstherefore ofwarrants a compact space has nonemptyseparate intersectionproof.

As an example, if ''C''<submath>''k''</sub> C_k=&nbsp;[0,&nbsp;1/''k'']</math>, the intersection over {''C''<submath>''(C_k)_{k'' \geq 0}</submath>} is&nbsp;<math>\{0\}</math>. On the other hand, both the sequence of open bounded sets ''C''<submath>''k''</sub> C_k=&nbsp;(0,&nbsp;1/''k'')</math> and the sequence of unbounded closed sets ''C''<submath>''k''</sub> C_k=&nbsp;[''k'',&nbsp;∞\infty)</math> have empty intersection. All these sequences are properly nested.

TheThis version of the theorem generalizes to '''R'''<supmath>''\mathbf{R}^n''</supmath>, the set of ''<math>n''</math>-element vectors of real numbers, but does not generalize to arbitrary [[metric space]]s. For example, in the space of [[rational number]]s, the sets

: <math>C_k = [\sqrt{2}, \sqrt{2}+1/k] = (\sqrt{2}, \sqrt{2}+1/k)</math>

are closed and bounded, but their intersection is empty.

Note that this contradicts neither the topological statement, as the sets <math>C_k</math> are not compact, nor the variant below, as the rational numbers are not complete with respect to the usual metric.

A simple corollary of the theorem is that the [[Cantor set]] is nonempty, since it is defined as the intersection of a decreasing nested sequence of sets, each of which is defined as the union of a finite number of closed intervals; hence each of these sets is non-empty, closed, and bounded. In fact, the Cantor set contains uncountably many points.

'''Theorem.''' ''Let'' <math>(C_k)_{k \geq 0}</math> ''be a sequence of non-empty, closed, and bounded subsets of'' <math>\mathbb{R}</math> ''satisfying''

== Proof ==

Suppose that <math>\bigcap C_n=\emptyset</math>. Let <math>U_n=X\setminus C_n</math>. Since <math>\bigcup U_n=X\setminus\bigcap C_n</math> and <math>\bigcap C_n=\emptyset</math>, then <math>\bigcup U_n=X</math>.

:<math>C_0 \supseteqsupset C_1 \supseteqsupset \cdots C_kC_n \supseteqsupset C_{kn+1} \cdots, \,. </math>

Since <math>X</math> is compact and <math>(U_n)</math> is an open cover of it, we can extract a finite cover. Let <math>U_k</math> be the largest set of this cover, then <math>\bigcap C_n=C_k\neq\emptyset</math> by hypothesis.

''Then,''

:<math>\cap_bigcap_{nk =1 0}^\infty C_nC_k =\neq \{x\}emptyset. </math>

:

''Proof.'' Each nonempty, closed, and bounded subset <math>C_k\subset\mathbb{R}</math> admits a minimal element <math>x_k</math>. Since for each <math>k</math>, we have

:<math>x_{k+1} \in C_{k+1} \subset C_k</math>,

it follows that

:<math>x_k \le x_{k+1}</math>,

so <math>(x_k)_{k \geq 0}</math> is an increasing sequence contained in the bounded set <math>C_0</math>. The [[monotone convergence theorem]] for bounded sequences of real numbers now guarantees the existence of a [[Limit of a sequence|limit point]]

:<math>x=\lim_{nk\to \infty} \operatorname{diam}(C_n) = 0x_k.</math>

For fixed <math>k</math>, <math>x_j\in C_k</math> for all <math>j\geq k</math>, and since <math>C_k</math> is closed and <math>x</math> is a limit point, it follows that <math>x\in C_k</math>. Our choice of <math>k</math> is arbitrary, hence <math>x</math> belongs to <math>{\textstyle \bigcap_{k = 0}^\infty C_k}</math> and the proof is complete. ∎

== Variant in complete metric spaces ==

In a [[complete metric space]], the following variant of Cantor's intersection theorem holds.

'''Theorem.''' ''Suppose that ''<math>X''</math> is a non-empty complete metric space, and ''C''<submath>''n''(C_k)_{k \geq 1}</submath> is a sequence of non-empty closed nested subsets of ''<math>X''</math> whose [[diameter]]s tend to zero:''

:<math>\lim_{n\to\infty} \operatorname{diam}(C_n) = 0</math>

:<math>\lim_{k\to\infty} \operatorname{diam}(C_nC_k) = \sup\{d(x0,y) | x,y\in C_n\}.</math>

where diam(''C''_''n'') is defined by

:<math>\operatorname{diam}(C_n) = \sup\{d(x,y) | x,y\in C_n\}.</math>

''where <math>\operatorname{diam}(C_k)</math> is defined by''

Then the intersection of the ''C''_''n'' contains exactly one point:

:<math>\cap_{n=1}^\infty C_n = \{x\}</math>

:<math>\operatorname{diam}(C_k) = \sup\{d(x,y) \mid x,y\in C_k\}.</math>

for some ''x'' in ''X''.

''Then the intersection of the ''C''<submath>''n''C_k</submath> contains exactly one point:''

:<math>\bigcap_{k=1}^\infty C_k = \{x\}</math>

''for some ''<math>x'' \in ''X</math>.''.

A''Proof proof goes as follows(sketch). '' Since the diameters tend to zero, the diameter of the intersection of the ''C''<submath>''n''C_k</submath> is zero, so it is either empty or consists of a single point. So it is sufficient to show that it is not empty. Pick an element ''x''<submath>''n''x_k\in C_k</submath> offor each ''C''<submath>''n''k</submath> for each ''n''. Since the diameter of ''C''<submath>''n''C_k</submath> tends to zero and the ''C''<submath>''n''C_k</submath> are nested, the ''x''<submath>''n''x_k</submath> form a Cauchy sequence. Since the metric space is complete this Cauchy sequence converges to some point ''<math>x''</math>. Since each ''C''<submath>''n''C_k</submath> is closed, and ''<math>x''</math> is a limit of a sequence in ''C''<submath>''n''C_k</submath>, ''<math>x''</math> must lie in ''C''<submath>''n''C_k</submath>. This is true for every ''n''<math>k</math>, and therefore the intersection of the ''C''<submath>''n''C_k</submath> must contain ''<math>x''</math>. ∎

A converse to this theorem is also true: if ''<math>X''</math> is a metric space with the property that the intersection of any nested family of non-empty closed subsets whose diameters tend to zero is non-empty, then ''<math>X''</math> is a complete metric space. (To prove this, let ''x''<submath>''n''(x_k)_{k \geq 1}</submath> be a Cauchy sequence in ''<math>X''</math>, and let ''C''<submath>''n''C_k</submath> be the closure of the tail <math>(x_j)_{j \geq k}</math> of this sequence.)

== ProofSee also ==

A proof goes as follows. Since the diameters tend to zero, the diameter of the intersection of the ''C''_''n'' is zero, so it is either empty or consists of a single point. So it is sufficient to show that it is not empty. Pick an element ''x''_''n'' of ''C''_''n'' for each ''n''. Since the diameter of ''C''_''n'' tends to zero and the ''C''_''n'' are nested, the ''x''_''n'' form a Cauchy sequence. Since the metric space is complete this Cauchy sequence converges to some point ''x''. Since each ''C''_''n'' is closed, and ''x'' is a limit of a sequence in ''C''_''n'', ''x'' must lie in ''C''_''n''. This is true for every ''n'', and therefore the intersection of the ''C''_''n'' must contain ''x''.

* [[Kuratowski's intersection theorem]]

A converse to this theorem is also true: if ''X'' is a metric space with the property that the intersection of any nested family of closed subsets whose diameters tend to zero is non-empty, then ''X'' is a complete metric space. (To prove this, let ''x''_''n'' be a Cauchy sequence in ''X'', and let ''C''_''n'' be the closure of the tail of this sequence.)

* [[Helly's theorem]] - another theorem on intersection of sets.

== References ==

{{Reflist}}

* {{MathWorld | urlname=CantorsIntersectionTheorem | title=Cantor's Intersection Theorem}}

* Jonathan Lewin. An interactive introduction to mathematical analysis. Cambridge University Press. {{ISBN |0-521-01718-1}}. Section 7.8.

[[Category:Articles containing proofs]]