KnowraBolzano–Weierstrass theoremLinked fromLinked fromThe 16 pages that link to Bolzano–Weierstrass theorem, each with the reason it gives.All 16Broader topic 2Related 11Compared with 3SequenceRelated: It guarantees convergent structure inside every bounded sequence of real vectors.Intermediate value theoremRelated: Compactness arguments alongside the intermediate value theorem establish extrema and related existence results.Extreme value theoremRelated: A maximizing sequence and a convergent subsequence give a standard proof on compact subsets of Euclidean space.Arzelà–Ascoli theoremRelated: Its finite-dimensional subsequence principle underlies the theorem’s diagonal argument.Heine–Borel theoremRelated: It explains why boundedness yields convergent subsequences, while closedness keeps their limits inside the set.Upper boundRelated: Bounds on sequences enable a compactness result through convergent subsequences.Completeness of the real numbersRelated: Compactness arguments using this theorem depend on completeness of the real numbers.Weierstrass theoremRelated: A maximizing sequence yields a convergent subsequence whose limit preserves the function value.Axiom of countable choiceRelated: Its usual nested-interval proof makes successive selections, illustrating countable choice in analysis.Heine–Cantor theoremRelated: It is a classical compactness criterion underlying sequential proofs of the theorem.Cantor's intersection theoremRelated: Its subsequence compactness principle underlies familiar metric-space proofs.