A Compact Subset of an Open Set Admits a Uniform Ball Radius
lemmaTopologylem:compact-in-open-positive-distance-2026aLet be a metric space, equipped with the collection of all subsets open in , which is a topology by Metric Open Sets Form a Topology. Let be the real numbers. Write for the closed ball in with centre and radius .
Let be open in and let be compact in .
Then there is a real number with such that
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.