Bolzano-Weierstrass Theorem in Euclidean Space
theoremAnalysisMultivariable Calculusthm:bolzano-weierstrass-rn-2026aLet be a natural number and let be Euclidean space equipped with the Euclidean distance , which is a metric by Euclidean Distance is a Metric on . Let be bounded in , and let be a sequence in with for every .
Then there exist a point and a strictly increasing sequence in such that the subsequence converges to in .
Loadingβ¦
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.