Let be a metric space, equipped with the collection of all subsets open in , which is a topology by The Open Subsets of a Metric Space 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…
No relations recorded yet.