The Bolzano–Weierstrass theorem stands as a cornerstone of mathematical analysis, providing an essential link between the concepts of boundedness and convergence. In its most familiar form, the theorem asserts that every bounded sequence in R n contains a convergent subsequence, guaranteeing that chaotic collections of numbers can always be tamed to approach a specific limit. This principle is not merely a theoretical curiosity; it underpins the rigorous foundation of calculus, ensuring that limits, continuity, and compactness behave as expected in Euclidean space. Understanding its proof offers a deep dive into the logical architecture of real analysis.
Intuitive Grasp of the Core Idea
Before dissecting the formal argument, it is helpful to visualize the process. Imagine a sequence of points scattered along a closed interval, say [0, 1]. Because the sequence is bounded, all points are trapped within this finite segment. The core intuition of the Bolzano–Weierstrass proof lies in a repeated bisection strategy. By continually dividing the interval containing infinitely many points of the sequence into two equal halves, one can always select a subinterval that retains this infinite population. This narrowing process pinpoints a specific location where the points must inevitably cluster, forming the desired convergent subsequence.
Formal Statement and Setting
To state the theorem precisely, we define a bounded sequence as one where the set of all its terms is contained within some interval [−M, M] . The Bolzano–Weierstrass theorem formally declares that such a sequence (a_n) possesses at least one limit point, meaning there exists a subsequence (a_{n_k}) that converges to a real number L . This property is fundamental in R n , where it is equivalent to the Heine-Borel property—that a set is compact if and only if it is closed and bounded. The theorem effectively characterizes the sequential compactness of Euclidean spaces.
The Method of Successive Bisection
The most common proof technique is the constructive method of successive bisection. The logic is straightforward: assume for contradiction that no subinterval of the initial bounded range contains infinitely many terms. This assumption directly contradicts the premise that the entire sequence is contained within that range. Therefore, one can always select a subinterval that does contain an infinite number of terms. By choosing the midpoint of each bisected segment that holds infinitely many terms, we generate a nested sequence of closed intervals whose lengths shrink to zero. The Nested Intervals Theorem then guarantees that the single point common to all these intervals is the limit of the constructed subsequence.
Handling the General Euclidean Space
The extension of the theorem to R n for dimensions greater than one relies on applying the one-dimensional logic to each coordinate individually. A sequence of vectors is bounded if and only if each of its coordinate sequences is bounded in R . The proof proceeds inductively: first, apply the bisection method to the first coordinate to obtain a subsequence where that coordinate converges. Then, apply the same process to the second coordinate within this subsequence, and so on. After n iterations, one arrives at a subsequence where every coordinate converges, meaning the entire vector sequence converges in the Euclidean norm. This coordinate-wise convergence is a powerful demonstration of how complex multidimensional problems can be reduced to simpler, one-dimensional cases.
Contrast with Other Convergence Concepts
More perspective on Bolzano weierstrass theorem proof can make the topic easier to follow by connecting earlier points with a few simple takeaways.
