The Bolzano–Weierstrass theorem stands as a cornerstone of real analysis, providing an essential link between the concepts of boundedness and convergence. At its core, the theorem asserts that every bounded sequence in ℝ n possesses a convergent subsequence, a fact that underpins much of the structure within mathematical analysis. Understanding the proof of this theorem is not merely an academic exercise; it cultivates a deeper appreciation for the completeness of the real number system and the behavior of functions at their limits.
Historical Context and Intuition
Before dissecting the Bolzano Weierstrass theorem proof, it is helpful to consider the intuition behind the statement. Imagine plotting an infinite set of points confined within a closed interval on the number line. No matter how wildly these points might oscillate, the theorem guarantees that you can always zoom in on a specific region where the points settle down and cluster. This clustering behavior is the essence of a convergent subsequence. Historically, the theorem emerged from the rigorous foundations of calculus, where mathematicians like Bernard Bolzano and Karl Weierstrass sought to eliminate the logical ambiguities of infinitesimals by grounding analysis in the precise language of limits and sets.
The Statement in Formal Terms
To engage with the proof, one must first state the theorem with precision. In its most common form for real numbers, the theorem declares that any sequence of real numbers that is bounded above and below contains a monotone subsequence that converges to a real limit. Boundedness ensures the sequence does not escape to infinity, while the existence of a convergent subsequence reveals an inherent order within the apparent chaos of the infinite list of numbers. This specific characteristic distinguishes the real numbers from more abstract spaces and is a defining feature of what is known as sequential compactness.
Core Strategy of the Proof
The most elegant and widely taught Bolzano Weierstrass theorem proof relies on the method of nested intervals, a technique that visually mirrors the "zooming in" intuition described earlier. The strategy involves constructing a sequence of closed intervals, each containing infinitely many terms of the original sequence, where the length of these intervals shrinks to zero. By the axiom of completeness, the intersection of this shrinking nest of intervals contains exactly one point, which becomes the limit of the subsequence. This geometric approach transforms an abstract analytical problem into a tangible spatial one.
Step-by-Step Construction
Initiating the proof starts with the original bounded sequence and an initial interval known to contain the entire sequence. The critical step is the bisection process: you divide the current interval into two equal halves. At least one of these halves must contain infinitely many terms of the sequence; you select this half as the next interval. If both halves contain infinitely many points, the convention is to select the leftmost one to ensure the construction is deterministic. You repeat this bisection indefinitely, creating a collection of intervals [a n , b n ] where the original sequence is represented by the intersection point.
Selecting the Subsequence
With the nested intervals established, the Bolzano Weierstrass theorem proof requires selecting the actual subsequence. By definition, the interval a n contains infinitely many members of the original sequence. Therefore, it is always possible to choose a specific index n 1 such that the term x n1 lies within the first interval. For the subsequent step, you choose an index n 2 greater than n 1 such that x n2 lies within the second, smaller interval. Continuing this process indefinitely yields a subsequence that is both monotone—specifically non-decreasing if you choose the left endpoints—and Cauchy, guaranteeing its convergence within the real numbers.
