1 Statement of the theorem

The Bolzano–Weierstrass theorem is a basic compactness result in analysis. In its most familiar form, it says that a bounded sequence of real numbers contains a subsequence that converges to a real limit. In finite-dimensional Euclidean spaces, the same principle applies to bounded sequences in \(\mathbb{R}^n\). The theorem is important because it guarantees that boundedness alone forces at least some subsequential convergence.

1.1 Classical form in \(\mathbb{R}\)

For sequences of real numbers, the theorem states that every bounded sequence in \(\mathbb{R}\) has a convergent subsequence. A sequence is bounded if all of its terms lie within some fixed interval. The conclusion does not require the original sequence itself to converge; it only ensures the existence of a subsequence with a limit in \(\mathbb{R}\).

1.2 Extension to \(\mathbb{R}^n\)

In Euclidean space \(\mathbb{R}^n\), the theorem asserts that every bounded sequence has a subsequence that converges to a point in \(\mathbb{R}^n\). Boundedness here means that all points of the sequence remain inside some ball of finite radius. This extension is one of the standard formulations used in multivariable analysis and geometry.

1.3 Equivalent formulations

The theorem is often expressed in ways that emphasize different but closely related compactness ideas. These versions are equivalent in finite-dimensional Euclidean spaces and are frequently used interchangeably in proofs.

1.3.1 Subsequence convergence

One formulation focuses directly on subsequences: every bounded sequence contains a convergent subsequence. This is the most common version in elementary analysis and is especially useful for extracting limit behavior from complicated sequences.

1.3.2 Limit point characterization

Another equivalent statement is that every bounded infinite set in \(\mathbb{R}^n\) has at least one accumulation point. In this form, the theorem describes the existence of a point that can be approached by infinitely many points of the set.

1.3.3 Sequential compactness

In a metric setting, the theorem is closely related to sequential compactness: a set is sequentially compact if every sequence in the set has a convergent subsequence whose limit remains in the set. In Euclidean space, closed and bounded sets are sequentially compact, and the theorem provides a key ingredient in that result.

2 Historical background

The theorem is named after Bernard Bolzano and Karl Weierstrass, both of whom contributed to the rigorous development of analysis in the nineteenth century. The result emerged from efforts to formalize continuity, limits, and the behavior of infinite sets.

2.1 Bernard Bolzano

Bernard Bolzano anticipated several ideas central to modern analysis, including the existence of limit points and the behavior of bounded infinite sets. His work was not widely recognized immediately, but later mathematicians identified it as an early precursor to the theorem.

2.2 Karl Weierstrass

Karl Weierstrass played a major role in shaping the rigorous foundations of analysis. The theorem is often associated with his name because of the influence of his lectures and publications on the systematic study of sequences, continuity, and convergence.

2.3 Development of the modern formulation

The modern form of the theorem arose as part of the broader formalization of real analysis and topology. As definitions of boundedness, convergence, and compactness became more precise, the theorem was recast as a statement about subsequences and compact behavior in Euclidean spaces.

3 Proofs

The theorem admits several standard proofs, each highlighting a different idea. In one dimension, arguments may use completeness, nested intervals, or monotone subsequences. In higher dimensions, proofs often reduce the problem to coordinatewise convergence or use a diagonal selection argument.

3.1 Proof for bounded sequences in \(\mathbb{R}\)

A bounded sequence of real numbers lies in a closed interval. One common strategy is to repeatedly subdivide the interval into halves and choose a subinterval containing infinitely many terms of the sequence. This process produces a nested family of intervals whose lengths shrink to zero, and completeness of \(\mathbb{R}\) yields a point contained in all of them. A subsequence chosen from these intervals then converges to that point.

3.2 Proof using nested intervals

The nested-interval proof begins with a bounded interval containing the whole sequence. At each step, the interval is divided into two parts, and one selects the half containing infinitely many sequence terms. The resulting intervals are nested, closed, and shrinking in length. Their common point is the limit of a carefully selected subsequence.

3.3 Proof using monotone subsequences

Another proof uses the monotone subsequence theorem, which states that every sequence has a monotone subsequence. If the original sequence is bounded, any monotone subsequence is also bounded. By the monotone convergence theorem, a bounded monotone sequence converges, so the subsequence has a limit. This gives a short route to the Bolzano–Weierstrass conclusion in \(\mathbb{R}\).

3.4 Proof in higher dimensions

For sequences in \(\mathbb{R}^n\), one proves the theorem by applying one-dimensional ideas to each coordinate. Since boundedness in \(\mathbb{R}^n\) implies boundedness of every coordinate sequence, one can extract convergent subsequences step by step until all coordinates converge simultaneously.

3.4.1 Diagonal argument

A diagonal argument is often used to coordinate the subsequence extraction. First, choose a subsequence on which the first coordinate converges. From that subsequence, choose a further subsequence on which the second coordinate converges, and continue. The diagonal subsequence converges in every coordinate at once.

3.4.2 Reduction to coordinatewise convergence

Because convergence in \(\mathbb{R}^n\) is equivalent to convergence of each coordinate, it is enough to show that each coordinate sequence has a convergent subsequence. Boundedness ensures that each coordinate remains within a finite interval, so the one-dimensional theorem can be applied repeatedly.

The Bolzano–Weierstrass theorem is closely tied to several foundational ideas in analysis. It connects boundedness with the existence of convergent subsequences and provides one of the standard routes to compactness in Euclidean spaces.

4.1 Bounded sets

A set is bounded if it fits inside some ball of finite radius. Boundedness alone does not imply convergence of every sequence in the set, but it does create the possibility of extracting convergent subsequences in finite-dimensional settings.

4.2 Convergent subsequences

A subsequence is formed by taking terms of a sequence in increasing index order. The theorem guarantees that bounded sequences have subsequences that settle toward a limit, even when the full sequence oscillates or behaves irregularly.

4.3 Accumulation points

An accumulation point is a point near which every neighborhood contains infinitely many points of a set or infinitely many terms of a sequence. The theorem can be viewed as a statement that bounded infinite sets in \(\mathbb{R}^n\) must have such a point.

4.4 Compactness

Compactness is a central topological property that, in Euclidean spaces, can be characterized through closedness and boundedness. The Bolzano–Weierstrass theorem provides one of the key tools for proving compactness results.

4.4.1 Heine–Borel theorem

The Heine–Borel theorem states that in \(\mathbb{R}^n\), a set is compact if and only if it is closed and bounded. The Bolzano–Weierstrass theorem is closely linked to this characterization and is often used in its proof or interpretation.

4.4.2 Sequential compactness

Sequential compactness means that every sequence has a convergent subsequence with limit in the set. In metric spaces, this is a useful alternative to open-cover compactness, and in \(\mathbb{R}^n\) the two notions agree.

4.5 Completeness of \(\mathbb{R}\)

Completeness means that every Cauchy sequence in \(\mathbb{R}\) converges to a real number, or equivalently that every nonempty set bounded above has a least upper bound. Many proofs of the theorem rely on completeness, especially those using nested intervals or limit-point arguments.

5 Applications

The theorem is used widely because it turns boundedness into a source of convergence. This makes it a versatile tool in analysis and related fields.

5.1 Analysis of sequences and series

In real analysis, the theorem helps identify convergent subsequences of bounded sequences that arise from partial sums, oscillatory processes, or approximation schemes. It is often used to isolate a limiting behavior when the full sequence is too irregular to converge directly.

5.2 Existence results in optimization

In optimization, bounded sequences of approximate solutions can be shown to contain convergent subsequences. This is useful when proving that a minimizing sequence has a limit point that may serve as an actual minimizer under suitable closedness or continuity assumptions.

5.3 Functional analysis contexts

The theorem also appears in functional analysis, especially when dealing with finite-dimensional subspaces or compactness arguments in normed spaces. It serves as a model for more general compactness principles, even though many infinite-dimensional spaces do not share the same behavior.

5.4 Compactness arguments in proofs

Mathematical proofs often use the theorem to pass from approximate objects to exact ones. By extracting a convergent subsequence, one can establish existence theorems, prove continuity properties, or show that some quantity attains an extremum.

6 Generalizations

The theorem has several extensions, but its exact form depends strongly on the ambient space. In many settings, the appropriate generalization is not boundedness alone but a compactness-type condition.

6.1 Bolzano–Weierstrass property in metric spaces

A metric space may be said to have the Bolzano–Weierstrass property if every bounded sequence has a convergent subsequence. In general metric spaces, this property is much stronger than boundedness by itself and is not automatically satisfied.

6.2 Compactness in topological spaces

In topological spaces, the closest analogue is compactness, often expressed through open covers or sequence behavior in special classes of spaces. In spaces where sequential compactness and compactness coincide, versions of the theorem extend naturally.

6.3 Infinite-dimensional spaces

In infinite-dimensional normed spaces, bounded sequences need not have convergent subsequences. This is one reason compactness becomes more delicate in functional analysis, where bounded sets are often far from compact.

6.4 Variants for closed and bounded sets

In \(\mathbb{R}^n\), closed and bounded sets are compact, so sequences in such sets have convergent subsequences whose limits remain in the set. This variant combines the Bolzano–Weierstrass theorem with closedness to ensure that limit points do not escape the set.

7 Limitations and counterexamples

The theorem has clear boundaries. Its conclusion depends on boundedness and the finite-dimensional structure of Euclidean space, and it does not extend unchanged to all settings.

7.1 Unbounded sequences

An unbounded sequence may have no convergent subsequence at all. Since convergence implies boundedness, a sequence whose terms grow without bound cannot contain a convergent subsequence in \(\mathbb{R}^n\).

7.2 Failure in non-compact settings

In spaces that are not compact or not sequentially compact, boundedness does not ensure subsequential convergence. This failure highlights the special role played by finite-dimensional Euclidean spaces and compact sets.

7.3 Distinction from convergence of the full sequence

The theorem does not say that the entire sequence converges. A bounded sequence may oscillate indefinitely while still containing convergent subsequences. Thus the result is weaker than ordinary convergence but strong enough for many existence arguments.