The Bolzano–Weierstrass theorem stands as a cornerstone of real analysis, providing a fundamental link between the concepts of boundedness and convergence. In its essence, the theorem asserts that every bounded sequence of real numbers contains a convergent subsequence. This principle, while seemingly simple, unlocks profound insights into the structure of the real number line and serves as a vital tool in proving numerous other results in calculus and mathematical analysis.
Intuitive Grasp of the Core Idea
To appreciate the theorem, imagine plotting the terms of a bounded sequence on a number line confined within two fixed points. The sequence might oscillate wildly, jumping back and forth without settling to a single limit. However, the Bolzano–Weierstrass theorem guarantees that within this chaotic movement, one can always find an infinite subset of terms that steadily approaches a specific point. This point of accumulation is the limit of the convergent subsequence, demonstrating that boundedness inherently forces some form of clustering within the sequence.
The Nested Intervals Method
A classic and elegant proof of the Bolzano–Weierstrass theorem employs the method of nested intervals. The process begins by enclosing the entire bounded sequence within a closed interval, say \([a_1, b_1]\). The core of the argument relies on the bisection principle: the infinite sequence of points must have infinitely many terms within at least one of the two subintervals created by dividing \([a_1, b_1\}\) in half. We select the subinterval containing infinitely many terms and designate it as \([a_2, b_2]\).
We then repeat this bisection process indefinitely.
At each step \(n\), we obtain a closed interval \([a_n, b_n]\) that contains infinitely many terms of the sequence.
The length of these intervals shrinks by half at each stage, creating a sequence of intervals that nest perfectly within one another.
By the completeness property of the real numbers, the intersection of all these nested intervals contains exactly one point, denoted as \(c\).
Constructing the Convergent Subsequence
The final step of the proof involves explicitly constructing the convergent subsequence. Since each interval \([a_n, b_n]\) contains infinitely many terms of the original sequence, we can select a term from the sequence for each interval. Specifically, we choose the index \(n_k\) such that it is strictly greater than the previous index \(n_{k-1}\) and ensure that the corresponding term \(x_{n_k}\) lies within the interval \([a_k, b_k]\). As \(k\) approaches infinity, the interval \([a_k, b_k]\) collapses to the point \(c\), forcing the selected terms \(x_{n_k}\) to converge to \(c\). This completes the proof that a convergent subsequence exists.
Generalizations and Significance
The theorem extends beyond the real numbers to \(\mathbb{R}^n\), where it states that every bounded sequence in \(n\)-dimensional Euclidean space has a convergent subsequence. This generalization is crucial in higher-dimensional analysis and topology. The Bolzano–Weierstrass property, named after this theorem, is a defining characteristic of compactness in metric spaces. Understanding this proof provides the foundation for grasping deeper concepts in functional analysis and the study of continuous functions on closed intervals.
