Every Sequence in a Compact Subset of a Metric Space Has a Cluster Point There
theoremAnalysisTopologythm:compact-sequence-cluster-point-metric-2026aLet be a metric space, and let be the collection of subsets of that are open in , which is a topology on by Metric Open Sets Form a Topology. Let be compact in , and let be a sequence in with for every .
Then there exists that is a cluster point of in .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.