+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: MATHEMATICS (https://mklab.gr/forumdisplay.php?fid=3)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=13)
+----- Forum: CALCULUS AND ANALYSIS (https://mklab.gr/forumdisplay.php?fid=149)
+----- Thread: Cantor's intersection theorem (/showthread.php?tid=1587)
Cantor's intersection theorem - mklabgr - 08-13-2026
Cantor's intersection theorem
Summary
Cantor’s Intersection Theorem is a fundamental result connecting nested sets, compactness, and completeness. In its topological form, it says that if we have a decreasing sequence of non-empty compact closed sets
$$
C_0\supseteq C_1\supseteq C_2\supseteq\cdots,
$$
then they must have at least one point in common:
$$
\bigcap_{k=0}^{\infty}C_k\neq\varnothing.
$$
For subsets of $\mathbb R$, compactness can be replaced by the more familiar conditions closed and bounded. Thus an infinite sequence of nested, non-empty, closed and bounded subsets cannot gradually “lose” every point. A simple example is $C_k=[0,1/k]$: although the intervals become arbitrarily small, their intersection remains ${0}$. The assumptions matter: $(0,1/k)$ has empty intersection because the intervals are not closed, while $[k,\infty)$ has empty intersection because the sets are unbounded.
An especially important version occurs in a complete metric space. If the nested sets $C_k$ are non-empty and closed and their diameters satisfy
$$
\lim_{k\to\infty}\operatorname{diam}(C_k)=0,
$$
then their intersection contains exactly one point:
$$
\bigcap_{k=1}^{\infty}C_k={x}.
$$
The idea is to choose $x_k\in C_k$; because the sets become arbitrarily small, $(x_k)$ is a Cauchy sequence. Completeness guarantees that it converges, while closedness ensures that its limit belongs to every $C_k$. Remarkably, the converse also holds: this nested-set property characterizes completeness of metric spaces. The theorem also helps explain why the Cantor set is non-empty, since it is constructed as the intersection of a decreasing sequence of non-empty closed bounded sets.
Key takeaways
- Nested compact sets cannot disappear: $\bigcap C_k\neq\varnothing$.
- In $\mathbb R$, closed + bounded provides the required compactness.
- If additionally $\operatorname{diam}(C_k)\to0$ in a complete metric space, the intersection is exactly one point.
- The theorem reveals a deep connection between compactness, completeness, convergence, and infinite limiting processes.
ARTICLE / ARCHIVE