TheoremBase

Proof

Write C=cl⁡Rn(A)C=\operatorname{cl}_{\mathbb{R}^n}(A) for the closure of AA in the topological space (Rn,TdE)(\mathbb{R}^n,\mathcal{T}_{d_E}).

By claim 2 of The Closure is the Smallest Closed Superset, applied to the topological space (Rn,TdE)(\mathbb{R}^n,\mathcal{T}_{d_E}) and the subset AA, the set CC is closed in (Rn,TdE)(\mathbb{R}^n,\mathcal{T}_{d_E}).

By The Closure of a Bounded Subset of a Metric Space is Bounded, applied to the metric space (Rn,dE)(\mathbb{R}^n,d_E) and the subset AA, which is bounded in (Rn,dE)(\mathbb{R}^n,d_E) by hypothesis, the set CC is bounded in (Rn,dE)(\mathbb{R}^n,d_E).

Thus CC satisfies condition 2 of Heine-Borel Theorem in Rn\mathbb{R}^n, and that theorem gives condition 1, namely that CC is compact in (Rn,TdE)(\mathbb{R}^n,\mathcal{T}_{d_E}).

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…