A Cluster Point of a Sequence in a Metric Space is the Limit of a Subsequence
theoremAnalysisTopologythm:cluster-point-subsequence-metric-2026aLet be a metric space, let be a sequence in , and let be a cluster point of in . Let be a sequence in the real numbers with for every .
1. There is a strictly increasing sequence in , in the sense of Subsequence of a Sequence in a Set, such that
2. If moreover has limit , then for any such the subsequence converges to in .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.