Let 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 sequentially compact in , let be a set, and let be an open cover of in .
Then there exists a real number such that for every there exists with
where is the open ball in with center and radius .
Loading…
No relations recorded yet.