The Bolzano–Weierstrass theorem stands as a cornerstone of real analysis, providing a fundamental link between the concepts of boundedness and compactness in Euclidean space. At its core, the theorem asserts that every bounded sequence in R n contains a convergent subsequence, a property that defines sequential compactness. This result is not merely a theoretical curiosity; it underpins the rigorous treatment of limits, continuity, and the very structure of the real number system, making it an indispensable tool for mathematicians and practitioners alike.
Intuitive Grasp of the Theorem
Imagine plotting an infinite set of points within a confined region of the number line, say between -10 and 10. The Bolzano–Weierstrass theorem guarantees that no matter how wildly these points are scattered, you can always find a subsequence that clusters toward a specific location within that interval. This intuition—of finding order within apparent chaos—captures the essence of the theorem. While the statement feels self-evident geometrically, transforming this visual certainty into a rigorous logical proof requires careful navigation of the definitions of boundedness, limit points, and convergence.
Historical Context and Development
The theorem's history reflects the evolution of mathematical rigor in the 19th century. Bernard Bolzano first articulated a precursor to the result in 1817, focusing on the existence of limit points for bounded sequences. Karl Weierstrass later refined and popularized the statement, integrating it into the formal framework of analysis. Their work was part of a broader movement to ground calculus in precise epsilon-delta definitions, moving away from intuitive but imprecise notions of infinitesimals. Understanding this lineage helps appreciate the theorem's role in the logical architecture of modern mathematics.
Proof in One Dimension
The most accessible proof demonstrates the theorem for sequences in R . The strategy hinges on the nested interval property. Begin with a bounded sequence (x_n) . Since it is bounded, all terms lie within some closed interval [a, b]. Bisect this interval; at least one half contains infinitely many terms of the sequence. Select that half and label it I_1 . Repeat the bisection process, at each step choosing the subinterval that contains infinitely many remaining terms of the sequence. This generates a nested sequence of closed intervals I_1 ⊇ I_2 ⊇ I_3 ⊇ ... , whose lengths tend to zero.
By the nested interval property, the intersection of all I_n contains exactly one point, call it x .
For each n , choose an index k_n such that x_{k_n} lies within I_n and k_n is greater than any previously chosen index.
The resulting subsequence (x_{k_n}) converges to x by the squeeze theorem, as the terms are trapped in intervals shrinking to zero.
Addressing Potential Obstacles
A subtle yet critical aspect of the proof involves the selection of indices to ensure the subsequence is strictly increasing. When bisecting, one must always choose a point from the second half of the current interval that has a higher index than the last chosen point. This guarantees the subsequence inherits the order of the original sequence, a requirement often overlooked in simplified explanations. Furthermore, the completeness of the real numbers is essential; the theorem fails in the rational numbers, where a bounded sequence can converge to an irrational limit, escaping the space entirely.
