TheoremBase

A Compact Subset of an Open Set Admits a Uniform Ball Radius

Statement

Let (X,d)(X,d) be a metric space, equipped with the collection of all subsets open in (X,d)(X,d), which is a topology by The Open Subsets of a Metric Space Form a Topology. Let R\mathbb{R} be the real numbers. Write Bˉd(x,r)\bar B_{d}(x,r) for the closed ball in (X,d)(X,d) with centre xx and radius rr.

Let Ω⊆X\Omega\subseteq X be open in (X,d)(X,d) and let K⊆ΩK\subseteq\Omega be compact in XX.

Then there is a real number rr with 0<r0<r such that

Bˉd(x,r)⊆Ωfor every x∈K.\bar B_{d}(x,r)\subseteq\Omega\qquad\text{for every }x\in K .

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…