Fact-checked by Grok 2 weeks ago

Bolzano–Weierstrass theorem

The Bolzano–Weierstrass theorem is a fundamental theorem in real analysis stating that every bounded sequence of real numbers has at least one convergent subsequence.^[1] Equivalently, it asserts that every bounded infinite subset of the real numbers has at least one limit point in the reals.^[2] The theorem is named after the mathematicians Bernard Bolzano and Karl Weierstrass, though its origins trace back to Bolzano's 1817 work Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein rationale ganze Function in zwei gegebenen Argumenten erreicht, wenigstens eine rationale Zweyfach-Werthe begriffene Argumentwerth liege, where he introduced a lemma using repeated bisection of intervals to establish the existence of such limits as part of his proof of the intermediate value theorem.^[3] Weierstrass independently developed and formalized the result in the 1860s, presenting an early version in a 1865 lecture and extending it to functions in 1868, before proving a multidimensional variant in 1874 and reformulating it for sets in 1878.^[3] Bolzano's contributions were largely overlooked during his lifetime due to political and publication challenges, and the theorem gained prominence through Weierstrass's rigorous epsilon-delta framework, which helped establish the foundations of modern analysis.^[4] This theorem plays a central role in real analysis; it is equivalent to the completeness axiom of the real numbers and provides a key tool for understanding sequential compactness.^[5] It underpins results such as the Heine–Borel theorem, which characterizes compact subsets of Euclidean space, and is essential for applications in optimization, differential equations, and functional analysis.^[6] Generalizations extend the theorem to finite-dimensional Euclidean spaces and, more broadly, to compact metric spaces, where every sequence has a convergent subsequence.^[7]

Statement and preliminaries

Formal statement in Euclidean spaces

In Euclidean space \mathbb{R}^n, a sequence \{x_k\}_{k=1}^\infty with each x_k = (x_k^1, \dots, x_k^n) \in \mathbb{R}^n is called bounded if there exists some M > 0 such that \|x_k\| \leq M for all k \in \mathbb{N}, where \|\cdot\| denotes the Euclidean norm \|x\| = \sqrt{(x^1)^2 + \dots + (x^n)^2}.^[8] An infinite sequence is one indexed by the natural numbers \mathbb{N}, consisting of infinitely many terms. A subsequence of \{x_k\} is any sequence \{x_{n_k}\} obtained by selecting terms where the indices n_1 < n_2 < \dots form a strictly increasing sequence in \mathbb{N}.^[9] The Bolzano–Weierstrass theorem states that every bounded infinite sequence in \mathbb{R}^n has at least one convergent subsequence. That is, there exist a strictly increasing sequence of indices \{n_k\} and a point L \in \mathbb{R}^n such that

\lim_{k \to \infty} x_{n_k} = L.

^[9] This means that for every \epsilon > 0, there exists K \in \mathbb{N} such that \|x_{n_k} - L\| < \epsilon whenever k > K.^[8] This result characterizes sequential compactness in finite-dimensional Euclidean spaces, where every sequence has a convergent subsequence if and only if the set of its terms is compact.^[10]

Basic properties and prerequisites

The real numbers \mathbb{R}, equipped with the standard absolute value metric d(x, y) = |x - y|, form a complete metric space. This means that every Cauchy sequence in \mathbb{R} converges to some limit in \mathbb{R}.^[11] Completeness is a fundamental property that distinguishes \mathbb{R} from incomplete ordered fields like the rational numbers \mathbb{Q}, ensuring that limits of Cauchy sequences exist within the space itself. A historical precursor to the Bolzano–Weierstrass theorem appears in Bernard Bolzano's 1817 proof of the intermediate value theorem, which states that if a continuous function f: [a, b] \to \mathbb{R} satisfies f(a) < 0 < f(b), then there exists c \in (a, b) such that f(c) = 0.^[12] To establish this, Bolzano invoked a lemma asserting that every bounded infinite sequence of real numbers possesses a convergent subsequence—a result now recognized as the Bolzano–Weierstrass theorem in its sequential form.^[13] In the context of Euclidean spaces \mathbb{R}^n with the standard Euclidean norm \|x\|_2 = \sqrt{\sum_{i=1}^n x_i^2}, a subset S \subseteq \mathbb{R}^n is bounded if there exists a finite radius R > 0 and a point x_0 \in \mathbb{R}^n such that S is contained in the closed ball \{x \in \mathbb{R}^n : \|x - x_0\|_2 \leq R\}.^[14] Equivalently, S is bounded if its diameter \sup\{\|x - y\|_2 : x, y \in S\} is finite, or if the supremum norm \|x\|_\infty = \max_{1 \leq i \leq n} |x_i| satisfies \sup\{\|x\|_\infty : x \in S\} < \infty. This notion of boundedness captures sets that do not "extend indefinitely" in any direction, forming the basis for compactness arguments in \mathbb{R}^n. The Bolzano–Weierstrass theorem relies crucially on the completeness of \mathbb{R}, and it fails in the incomplete space \mathbb{Q}. For instance, consider the sequence of rational numbers q_k obtained as the decimal approximations to \sqrt{2} truncated after k digits (e.g., q_1 = 1.4, q_2 = 1.41, etc.), which lies in the bounded interval [1, 2] \subseteq \mathbb{Q}. This sequence converges to \sqrt{2} \notin \mathbb{Q}, so every subsequence also converges to \sqrt{2} and thus has no limit in \mathbb{Q}, despite being bounded.^[15] This counterexample illustrates how the absence of completeness prevents the existence of convergent subsequences within \mathbb{Q}.

Historical development

Origins and key contributors

The Bolzano–Weierstrass theorem originated in the early 19th century with Bernard Bolzano's groundbreaking work in real analysis. In 1817, Bolzano published Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewähren, wenigstens eine reelle Werthgrösse existire, deren Function das Resultat Null gibt, a purely analytic proof of the intermediate value theorem that avoided infinitesimals and geometric intuitions.^[16] Within this treatise, Bolzano included a key lemma—now recognized as the essence of the Bolzano–Weierstrass theorem—stating that every bounded infinite set of real numbers possesses a limit point, proved via repeated bisection of intervals to construct a convergent sequence.^[3] This lemma served as a foundational tool for establishing the completeness of the real numbers, though Bolzano's publication received little immediate attention due to his marginal position in the European mathematical community and regional political tensions in Bohemia.^[16] Karl Weierstrass played a pivotal role in rediscovering and popularizing the theorem through his rigorous lectures on analysis at the University of Berlin, beginning in the late 1850s. During his 1859/60 course on the introduction to analysis, Weierstrass addressed foundational issues in continuity and limits, laying the groundwork for the theorem's explicit formulation.^[17] By 1865, in a lecture on functions, he presented an early version asserting that any infinite set of points in a bounded plane region has a limit point, employing a bisection method akin to Bolzano's.^[3] Weierstrass refined and generalized the result in subsequent lectures (e.g., 1868, 1874, and 1886), extending it to higher-dimensional spaces and emphasizing its role in the epsilon-delta rigor of calculus, which profoundly influenced generations of mathematicians.^[17] The theorem's naming honors both Bolzano and Weierstrass, despite Bolzano's priority, because Weierstrass's teachings disseminated the result widely in the 1860s and beyond, while Bolzano's contributions remained obscure until their rediscovery in the 1870s. Similar ideas appeared independently in Augustin-Louis Cauchy's foundational 1821 text Cours d'analyse de l'École Royale Polytechnique, where he developed limit concepts essential for sequence convergence, though without the precise bounded-sequence formulation.^[18] Hermann Hankel first highlighted Bolzano's overlooked proof in 1871, cementing the dual attribution.^[18]

Evolution and recognition

In the 19th century, the Bolzano–Weierstrass theorem became integral to Karl Weierstrass's development of a rigorous epsilon-delta framework for limits and continuity, transforming informal calculus concepts into precise analytical tools through his lectures starting in the 1860s and culminating in published works like the 1886 Abhandlungen.^[3] This integration elevated the theorem from Bolzano's earlier lemma on bounded sets to a cornerstone for handling sequences in bounded domains, ensuring the existence of convergent subsequences within Weierstrass's epsilon-delta proofs of limits.^[3] By the early 20th century, the theorem played a pivotal role in David Hilbert's axiomatization of geometry in Grundlagen der Geometrie (1899), where his completeness axiom (Group IV) implies the existence of accumulation points for bounded point sets on a line, aligning the axiomatic system with the real numbers' properties.^[19] In the emerging field of topology, it facilitated the shift from sequence-based convergence to set-theoretic notions of compactness, as seen in the works of Cantor and others who built on Weierstrass's refinements to define limit points and closed sets rigorously.^[20] The theorem's significance lies in bridging intuitive calculus with modern rigorous analysis, providing a sequential compactness principle that underpins the completeness of the reals and enables key results like the uniform continuity of functions on compact sets via convergent subsequences.^[21] It was prominently cited as a fundamental theorem in Edmund Landau's Foundations of Analysis (1930), which uses it to establish the arithmetic and topological foundations of the real numbers from axiomatic principles.

Proofs

Proof via monotone convergence in ℝ

The proof of the Bolzano–Weierstrass theorem in \mathbb{R} relies on two key results: the monotone convergence theorem and the fact that every sequence in \mathbb{R} has a monotone subsequence.^[22]^[23] The monotone convergence theorem states that every bounded monotone sequence in \mathbb{R} converges to its least upper bound if increasing or greatest lower bound if decreasing.^[22] To see this, suppose \{a_n\} is increasing and bounded above; let S = \{a_n \mid n \in \mathbb{N}\} and L = \sup S, which exists by the completeness axiom of \mathbb{R}. For any \varepsilon > 0, there exists N such that a_N > L - \varepsilon, and since the sequence is increasing, a_n \geq a_N > L - \varepsilon for all n \geq N. Also, a_n \leq L for all n, so |a_n - L| < \varepsilon for n \geq N. The decreasing case follows analogously.^[22] A crucial lemma is that every sequence in \mathbb{R} admits a monotone subsequence.^[23] To prove this, define a term x_m as a peak if x_n \leq x_m for all n > m. If there are infinitely many peaks, enumerate them as x_{m_1}, x_{m_2}, \dots with m_1 < m_2 < \dots , yielding a decreasing subsequence. If there are only finitely many peaks, let n_1 = 1. Inductively, suppose n_k is chosen past the last peak; then x_{n_k} is not a peak, so there exists n_{k+1} > n_k with x_{n_{k+1}} \geq x_{n_k}. This constructs an increasing subsequence \{x_{n_k}\}.^[23] With these tools, the Bolzano–Weierstrass theorem in \mathbb{R} follows: every bounded sequence \{x_n\} has a monotone subsequence by the lemma, and this subsequence converges by the monotone convergence theorem since it inherits boundedness from \{x_n\}.^[24] To extend the theorem to \mathbb{R}^n for finite n \geq 2, proceed by induction on the dimension. The base case n=1 holds as above. Assume the theorem is true in \mathbb{R}^{n-1} and \mathbb{R}. For a bounded sequence \{x_j\} in \mathbb{R}^n, write x_j = (s_j, t_j) where s_j \in \mathbb{R}^{n-1} and t_j \in \mathbb{R}. The projection \{s_j\} is bounded in \mathbb{R}^{n-1}, so by the inductive hypothesis it has a convergent subsequence \{s_{m_j}\} to some q \in \mathbb{R}^{n-1}. The corresponding \{t_{m_j}\} is bounded in \mathbb{R}, so has a convergent subsequence \{t_{k_j}\} to some r \in \mathbb{R}. The subsequence \{(s_{k_j}, t_{k_j})\} then converges to (q, r) in \mathbb{R}^n.^[25]

Proof via nested intervals in ℝ

The proof of the Bolzano–Weierstrass theorem using nested intervals offers a geometric approach that leverages the bisection method to construct a sequence of shrinking closed intervals, each containing infinitely many terms of the original bounded sequence \{x_n\} in \mathbb{R}.^[26] Assume without loss of generality that the sequence is bounded by M > 0, so |x_n| \leq M for all n \in \mathbb{N}, and all terms lie within the initial closed interval I_1 = [-M, M].^[27] To construct the nested intervals, begin by bisecting I_1 at its midpoint m_1 = ( -M + M )/2 = 0, yielding the subintervals [-M, 0] and [0, M]. Since \{x_n\} is infinite, at least one of these subintervals must contain infinitely many terms of the sequence; select such a subinterval as I_2. Proceed inductively: for each k \geq 1, bisect I_k = [a_k, b_k] at the midpoint m_k = (a_k + b_k)/2, and choose I_{k+1} to be either [a_k, m_k] or [m_k, b_k], whichever contains infinitely many terms of \{x_n\}. The resulting sequence of intervals \{I_k\} is nested, meaning I_{k+1} \subseteq I_k for all k, and each I_k is closed and bounded with diameter \operatorname{diam}(I_k) = (2M)/2^k = M/2^{k-1}, which tends to 0 as k \to \infty.^[26]^[7] By the nested interval theorem, which asserts that the intersection of a decreasing sequence of nonempty closed bounded intervals in \mathbb{R} with diameters approaching zero consists of exactly one point L \in \mathbb{R}, it follows that \bigcap_{k=1}^\infty I_k = \{L\}.^[28] To extract the convergent subsequence, inductively select indices n_k such that n_1 < n_2 < \cdots and x_{n_k} \in I_k for each k, which is possible since each I_k contains infinitely many terms. For any \varepsilon > 0, choose K large enough so that \operatorname{diam}(I_K) < \varepsilon; then for all k \geq K, x_{n_k} \in I_k \subseteq I_K, implying |x_{n_k} - L| \leq \operatorname{diam}(I_k) \leq \operatorname{diam}(I_K) < \varepsilon. Thus, x_{n_k} \to L as k \to \infty.^[26]^[27] This proof relies fundamentally on the boundedness of \{x_n\}, which guarantees the existence of the initial compact interval I_1 and ensures that bisections always yield a subinterval with infinitely many terms, and on the completeness of \mathbb{R}, embodied in the nested interval theorem, which forces the intersection to be a singleton and enables the limit point L.^[7]^[28]

Generalizations and equivalents

Sequential compactness in metric spaces

In metric spaces, sequential compactness provides a useful characterization of compactness, extending the Bolzano–Weierstrass theorem beyond Euclidean spaces. A subset K of a metric space (X, d) is defined as sequentially compact if every sequence in K has a subsequence that converges to a point in K.^[29]^[30] This property captures the idea that "bounded" sequences cannot "escape" without accumulating somewhere within the set, mirroring the behavior in \mathbb{R}^n.^[31] The Bolzano–Weierstrass theorem generalizes to metric spaces through the equivalence between compactness and sequential compactness. Specifically, in any metric space, a subset is compact if and only if it is sequentially compact.^[29]^[30]^[31] For complete metric spaces, this implies that closed and totally bounded subsets are sequentially compact, as total boundedness ensures the existence of finite \epsilon-nets, allowing the construction of convergent subsequences analogous to those in \mathbb{R}^n.^[29] In finite-dimensional Euclidean spaces like \mathbb{R}^n, closed and bounded sets are totally bounded, so the original theorem directly yields sequential compactness via the Heine-Borel theorem.^[29] This equivalence holds due to the metrizability of the space, which allows sequences to probe the covering properties of open sets. In \mathbb{R}^n equipped with the standard metric, sequential compactness is thus equivalent to compactness, as the metric topology ensures that every sequentially compact set is compact and vice versa.^[29]^[31] However, the analogy breaks in infinite-dimensional spaces. For instance, the closed unit ball in the Hilbert space \ell^2 (the space of square-summable sequences with the \ell^2-norm) is closed and bounded but not sequentially compact.^[29] Consider the sequence of standard basis vectors e_n = (0, \dots, 0, 1, 0, \dots) where the 1 is in the n-th position; this sequence has no convergent subsequence in \ell^2, as the terms are pairwise at distance \sqrt{2}, violating the Cauchy criterion for convergence.^[29] This counterexample illustrates that bounded closed sets in infinite-dimensional complete metric spaces lack the sequential compactness guaranteed in finite dimensions.^[30]

Relation to Heine-Borel theorem

The Heine–Borel theorem asserts that, in the Euclidean space \mathbb{R}^n, a subset is compact if and only if it is closed and bounded.^[32] Compactness here means that every open cover of the set admits a finite subcover.^[33] The Bolzano–Weierstrass theorem establishes that every bounded sequence in \mathbb{R}^n has a convergent subsequence, which equivalently characterizes sequential compactness: a subset of \mathbb{R}^n is sequentially compact if and only if it is closed and bounded.^[34] In metric spaces such as \mathbb{R}^n, sequential compactness is equivalent to compactness with respect to open covers.^[33] Consequently, the Bolzano–Weierstrass theorem and the Heine–Borel theorem are equivalent in \mathbb{R}^n, bridging the notions of sequential and cover compactness. A sketch of the equivalence proceeds in two directions. First, sequential compactness implies cover compactness: since \mathbb{R}^n admits a countable basis of open balls, any open cover of a sequentially compact K \subset \mathbb{R}^n can be refined to a countable subcover \{U_m\}_{m=1}^\infty. By sequential compactness, every sequence in K has a convergent subsequence, allowing a diagonal argument to show that the cover has a finite subcover by considering tails of subsequences entering sets contained in individual U_m.^[33] Conversely, cover compactness implies sequential compactness: for a compact (closed and bounded) set K \subset \mathbb{R}^n, any sequence in K is bounded, so by the Bolzano–Weierstrass theorem it has a convergent subsequence in \mathbb{R}^n, and since K is closed, the limit lies in K.^[34] Both theorems emerged in the late 19th century, building on foundational work in real analysis by Karl Weierstrass, who emphasized limit points and completeness.^[35] The Heine–Borel theorem received its modern formulation and proof from Émile Borel in 1895.^[35] As a direct implication, the Bolzano–Weierstrass theorem entails that every compact subset of \mathbb{R}^n (closed and bounded, by Heine–Borel) is sequentially compact.^[34]

Applications

In real analysis and topology

The Bolzano–Weierstrass theorem is instrumental in establishing the extreme value theorem in real analysis, which asserts that if f: K \to \mathbb{R} is continuous and K \subset \mathbb{R}^n is compact, then f attains its maximum and minimum values on K. To prove this, consider the supremum M = \sup_{x \in K} f(x). Since K is compact, it is closed and bounded by the Heine-Borel theorem. Select a sequence \{x_k\} \subset K such that f(x_k) \to M. By the Bolzano–Weierstrass theorem, \{x_k\} has a convergent subsequence \{x_{k_j}\} with limit x^* \in K. Continuity of f implies f(x_{k_j}) \to f(x^*), so f(x^*) = M, showing the maximum is attained; a similar argument applies to the minimum.^[36]^[37] In the context of uniform continuity, the theorem demonstrates that continuous functions on compact subsets of \mathbb{R}^n are uniformly continuous. Suppose f: [K](/page/K) \to \mathbb{R} is continuous on the compact set K. To show uniform continuity, assume for contradiction that there exists \epsilon > 0 such that for every \delta > 0, there are points

x_m, [y_m](/page/X&Y) \in K

with |x_m - y_m| < 1/m but |f(x_m) - f(y_m)| \geq \epsilon. The sequences \{x_m\} and \{y_m\} are bounded, so by the Bolzano–Weierstrass theorem, they have convergent subsequences to limits

x, [y](/page/X&Y) \in K

with |x - y| = [0](/page/0). Continuity at x then yields |f(x) - f(y)| = [0](/page/0) < \epsilon, contradicting the assumption. Thus, f is uniformly continuous on K.^[38]^[39] The Arzelà–Ascoli theorem provides a criterion for relative compactness in the space of continuous functions on a compact domain, and its proof relies on the Bolzano–Weierstrass theorem to extract convergent subsequences. Specifically, if K \subset \mathbb{R}^n is compact and \mathcal{F} is a family of continuous real-valued functions on K that is pointwise bounded and equicontinuous, then \mathcal{F} is relatively compact in the supremum norm. The equicontinuity ensures that subsequences behave uniformly, while pointwise boundedness allows application of Bolzano–Weierstrass at each point to construct a diagonally convergent subsequence via a diagonal argument, yielding relative compactness. This result generalizes compactness for function spaces beyond finite dimensions.^[40]^[41] In topology, the Bolzano–Weierstrass theorem extends to metric spaces, implying that every compact metric space is sequentially compact. A metric space X is sequentially compact if every sequence in X has a convergent subsequence in X. For compact X, cover X by finitely many balls of radius $1, and inductively select subsequences in shrinking balls to construct a Cauchy subsequence, which converges by completeness of the closure. This equivalence holds in metric spaces, where compactness (every open cover has a finite subcover) aligns with sequential compactness via the theorem's sequential criterion.^[30]^[42]

In economics and optimization

In economic theory, the Bolzano–Weierstrass theorem underpins the existence of Pareto efficient allocations in models where the set of feasible allocations forms a compact convex subset of a Euclidean space. Consider a pure exchange economy with continuous, strictly increasing utility functions and a fixed endowment vector. The feasible set, defined as the set of all allocations summing to the total endowment, is compact due to its closed and bounded nature in finite dimensions. To establish Pareto efficiency, one constructs a sequence of feasible allocations where each improves upon the previous in terms of a weighted sum of utilities; the theorem guarantees a convergent subsequence to a limit allocation that maximizes this sum, rendering it Pareto optimal as no further improvement is possible without harming at least one agent.^[43] The theorem also supports fixed-point theorems central to general equilibrium analysis, such as in the Arrow-Debreu model, by providing sequential compactness for the normalized price simplex. In this framework, prices are normalized to lie on the unit simplex, which is compact in \mathbb{R}^l_+ where l is the number of commodities. Proofs of equilibrium existence often involve showing that excess demand correspondences are upper hemicontinuous and satisfy Walras' law; the Bolzano–Weierstrass theorem ensures that sequences of prices or allocations in this bounded set admit convergent subsequences, allowing limits to satisfy equilibrium conditions via Brouwer's fixed-point theorem applied to the excess demand mapping. This tie-in is crucial for demonstrating the existence of competitive equilibria under standard assumptions of convexity and continuity.^[44] In optimization contexts, particularly for bounded feasible sets in economic decision problems, the theorem aids in establishing minimax results through subsequential limits. For instance, in zero-sum games with compact strategy sets, players' payoff functions are continuous, and the theorem facilitates proofs that the maximin and minimax values coincide by extracting convergent subsequences from optimizing strategies, yielding a saddle point. This application extends to cooperative game theory and resource allocation, where bounded constraints ensure the existence of optimal outcomes without unbounded deviations.^[45] A specific example arises in proving the existence of competitive equilibria in finite-agent economies. In such models, one generates a sequence of approximate equilibria by solving for price allocations that nearly clear markets; since prices reside in the compact price simplex, the Bolzano–Weierstrass theorem yields a convergent subsequence of these approximations. The limit satisfies market-clearing and optimality conditions, confirming a true equilibrium exists, as detailed in extensions of the classical Arrow-Debreu framework.^[46]

References

[1]
[PDF] 2.3. Bolzano-Weierstrass Theorem - East Tennessee State University
Feb 5, 2024 · The Bolzano-Weierstrass Theorem gives a condition under which a set must have at least one limit point. Theorem 2-12. Bolzano-Weierstrass ...
[2]
[PDF] Section 2.3: Bolzano-Weierstrass Theorem
Oct 19, 2011 · Theorem 2-12 (Bolzano-Weierstrass): Every bounded infinite set of real numbers has at least one limit point. Note: Clearly some bounded infinite ...
[3]
[PDF] Bolzano-Weierstrass Theorem: A brief history
We begin with Bolzano-Weierstrass theorem which is one of the fundamental theorems in Real (or. Complex) Analysis.In modern terminology, this theorem states ...
[4]
Real Analysis: 9.4. Bolzano, Bernhard (1781-1848) - MathCS.org
Although he did not succeed, he did come up with some important discoveries including the Bolzano-Weierstrass theorem, a modern definition of a continuous ...
[5]
[PDF] Introduction to Mathematical Analysis I Second Edition - PDXScholar
The Bolzano-Weierstrass Theorem is at the foundation of many results in analysis. ... theorem follows directly from the definition of continuity, Theorem ...
[6]
Lecture 7: Bolzano–Weierstrass Theorem; Cauchy Sequences; Series
The Bolzano-Weierstrass theorem says that any bounded sequence has a convergent subsequence. This crucial fact can be used to show other important theorems.
[7]
[PDF] A short proof of the Bolzano-Weierstrass Theorem
Apr 12, 2017 · Theorem 2 (Bolzano-Weierstrass Theorem, Version 2). Every bounded, infinite set of real numbers has a limit point.
[8]
[PDF] Limsup, Liminf, and the Bolzano-Weierstrass Theorem
Theorem 8 (Bolzano-Weierstrass). Every bounded sequence has a convergent subsequence. Remark 9. We may abbreviate the Bolzano-Weierstrass theorem to B-W.
[9]
https://www.math.clemson.edu/~petersj/Courses/M453/Lectures/L8-BolzanoWeierstrass-handouts.pdf
[10]
Bolzano-Weierstrass Theorem -- from Wolfram MathWorld
The Bolzano-Weierstrass theorem is closely related to the Heine-Borel theorem and Cantor's intersection theorem, each of which can be easily derived from either ...
[11]
Complete Metric Space -- from Wolfram MathWorld
A complete metric space is a metric space in which every Cauchy sequence is convergent. Examples include the real numbers with the usual metric.
[12]
Bolzano's Theorem -- from Wolfram MathWorld
If a continuous function defined on an interval is sometimes positive and sometimes negative, it must be 0 at some point. Bolzano (1817) proved the theorem ...
[13]
Bolzano's Intermediate Value Theorem
In 1817 Bernhard Bolzano published a very modern proof of the Intermediate Value Theorem (IVT) for continuous functions.
[14]
Bounded Set -- from Wolfram MathWorld
A set S in a metric space (S,d) is bounded if it has a finite generalized diameter, ie, there is an R<infty such that d(x,y)<=R for all x,y in S.
[15]
Bolzano-Weierstrass Theorem is false when S⊆Q [closed]
Oct 31, 2017 · The Bolzano-Weierstrass theorem states that if a set S⊆R is infinite and bounded, it has an accumulation point.
[16]
Bernard Bolzano - Biography
### Summary of Bolzano's 1817 Work
[17]
Karl Weierstrass (1815 - 1897) - Biography - MacTutor
In his lectures of 1859/60 Weierstrass gave Introduction to analysis where he tackled the foundations of the subject for the first time. In 1860/61 he lectured ...<|control11|><|separator|>
[18]
How and when was Bolzano's proof of the Bolzano-Weierstrass ...
Oct 29, 2014 · ... Bolzano-Weierstrass theorem. A number of other influential German mathematicians and philosophers also read Bolzano's works, and a few other ...
[19]
[PDF] Extremal axioms - UAM
extended while continuing to satisfy all the axioms. Hilbert adds that the axioms of group IV imply Bolzano's theorem about the existence of a point of ...<|separator|>
[20]
The emergence of open sets, closed sets, and limit points in analysis ...
This article examines how those three concepts emerged and evolved during the late 19th and early 20th centuries, thanks especially to Weierstrass, Cantor, and ...
[21]
[PDF] An Introduction to Real Analysis John K. Hunter - UC Davis Math
Conversely, the Bolzano-Weierstrass theorem implies that that every closed, bounded subset of R is sequentially compact. Theorem 1.40. A set K ⊂ R is ...<|control11|><|separator|>
[22]
[PDF] The Monotone Convergence Theorem - UMD MATH
A sequence is monotone if it is either. 3. Theorem (The Monotone Convergence Theorem):. If {an} is monotone and bounded then it converges. In addition if this ...
[23]
[PDF] Subsequences and the Bolzano-Weierstrass Theorem 1.
Sep 21, 2021 · Monotone Subsequence Theorem: Every real sequence contains a monotone subsequence. Proof: Given {xn} say xm is a “peak” if xn ≤ xm for all n>m.
[24]
[PDF] 3.5 Bolzano–Weierstrass Theorems
Jan 3, 2020 · Bolzano–Weierstrass Theorem for sequences is a fundamental result about convergence which states that each bounded sequence in R has a ...
[25]
[PDF] Proofs of Basic Results of Real Analysis
n = 2 we can apply the one-dimensional Bolzano-Weierstrass. Theorem (Theorem A.2) to conclude that this sequence of real numbers has a convergent subsequence.
[26]
https://math.libretexts.org/Bookshelves/Analysis/Real_Analysis_(Boman_and_Rogers)/07:_Intermediate_and_Extreme_Values/7.03:_The_Bolzano-Weierstrass_Theorem
[27]
[PDF] Bolzano-Weierstrass theorem. Cauchy sequences.
Theorem Any Cauchy sequence is convergent. Proof: Suppose {xn} is a ... Now the Bolzano-Weierstrass theorem implies that {xn} has a subsequence {xnk } ...<|control11|><|separator|>
[28]
[PDF] Theorem. (Bolzano-Weierstrass)
The nested intervals theorem implies that the intersection of all of the intervals. Т Я, У. A. ЦA × a is a single point .
[29]
[PDF] Compactness in metric spaces
indeed, the Bolzano–Weierstrass theorem states that closed bounded subsets of the real line are sequentially compact. And finally, let us make another ...
[30]
[PDF] characterizations of compactness for metric spaces
Proof of Lemma 3: A compact metric space is sequentially compact. By Lemma 2 we need to show the Bolzano-Weierstrass property, i.e. every infinite subset of ...
[31]
[PDF] Compactness in Products and in Metric Spaces
X has the Bolzano-Weierstrass Property if every infinite subset of X has a limit point in X. X is sequentially compact if every sequence in X has a convergent ...<|control11|><|separator|>
[32]
[PDF] Metric Topology
(d) State the Heine-Borel Theorem and the Bolzano-Weierstrass Theorem for Rn equipped with its ordinary (Euclidean) metric. (e) What parts of these results ...
[33]
Alternative Proofs of Some Results from Elementary Analysis
**Summary of Heine-Borel Theorem Proof and Equivalence Discussion:**
[34]
[PDF] 3.4 Heine-Borel Theorem, part 2
Theorem 3 (Bolzano-Weierstrass). A set A ⊂ Rn is closed and bounded if and only if A is sequentially compact. Proof. Note that we only need to ...
[35]
An Analysis of the First Proofs of the Heine-Borel Theorem
We see a proliferation of proofs of the Heine-Borel Theorem. Pierre Cousin, William Henry Young, Arthur Schoenflies, and Henri Lebesgue all published proofs.
[36]
[PDF] 2.4 The Extreme Value Theorem and Some of its Consequences
This theorem is one of the most important of the subject. The proof will make use of the Heine-Borel theorem, the Bolzano-Weierstrass theorem, and the.
[37]
[PDF] 18.100A Fall 2020 Lecture 16: The Min/Max Theorem and Bolzano's ...
If f is continuous, then f achieves an absolute maximum and absolute minimum. 1. Page 2. Remark 5. Note that this is also called the Extreme Value Theorem or ...
[38]
[PDF] Compactness and uniformity
This is essentially the Bolzano–Weierstrass Theorem. Granting this, we can prove that continuity on any compact set is uniform by using sequences rather than ...Missing: source | Show results with:source
[39]
[PDF] 3.19 Uniform Continuity
Since K is compact, the Heine-Borel Theorem tells us that it is closed and bounded. Hence {xn} ⊂ K is a bounded sequence and by the Bolzano-Weierstrass Theorem ...
[40]
[PDF] The Arzela-Ascoli Theorem 1 Introduction
Show that every bounded subset of this C(X) is equicontinuous, thus establishing the Bolzano-Weierstrass theorem as a generalization of the Arzela-Ascoli ...
[41]
[PDF] Arzel`a-Ascoli Theorem
f ∈ F} is bounded, by Bolzano-Weierstrass theorem, we can find a convergent subsequence. {f. (1) n } such that {f. (1) n (z1)} converges. Likewise we can find ...
[42]
[PDF] Section 9.5. Compact Metric Spaces
Apr 20, 2023 · If a metric space X is compact, then it is sequentially compact. ... Bolzano-Weierstrass. Theorem. For details on these results in R1, see ...
[43]
[PDF] 19. Pareto Optimality
If the set of feasible allocations is compact, the continuity of utility ensures that we are maximizing over a compact set provided it is feasible to give ...
[44]
[PDF] Lectures on the Theory of Competitive Equilibrium - UC San Diego
May 27, 2021 · III). By the Bolzano-Weierstrass Theorem, every bounded infinite sequence of this kind has a subsequence that converges to a limit. That is, ...<|control11|><|separator|>
[45]
[PDF] Existence of Solutions - Brendan Cooley
One of the most basic existence theorems we have is the Weierstrass theorem. Lemma 1 A continuous function on a compact set X ⊂ Rn is bounded. Proof: Suppose a ...<|control11|><|separator|>
[46]
[PDF] Debreu: A New Framework for Exchange, Time, and Uncertainty
Oct 21, 2025 · The Arrow–Debreu Model (ADM) [AD54] has long been a cornerstone of ... By the Bolzano-Weierstrass theorem, this sequence has a convergent subse-.