Write for the closure of in the topological space .
By claim 2 of The Closure is the Smallest Closed Superset, applied to the topological space and the subset , the set is closed in .
By The Closure of a Bounded Subset of a Metric Space is Bounded, applied to the metric space and the subset , which is bounded in by hypothesis, the set is bounded in .
Thus satisfies condition 2 of Heine-Borel Theorem in , and that theorem gives condition 1, namely that is compact in .
Loading…
Prerequisites
proof59e6e57f...
59e6e57f-a8aa-4992-b5fb-a2ff8761d44b