TheoremBase

Compact Subset of Rn\mathbb{R}^n is Closed

Statement

Let nn be a natural number, let dEd_E be the Euclidean distance on Euclidean space Rn\mathbb{R}^n, which is a metric by Euclidean Distance is a Metric on Rn\mathbb{R}^n, and let TdE\mathcal{T}_{d_E} be the collection of subsets of Rn\mathbb{R}^n that are open in (Rn,dE)(\mathbb{R}^n,d_E), which is a topology on Rn\mathbb{R}^n by Metric Open Sets Form a Topology.

Let A⊆RnA\subseteq\mathbb{R}^n be compact in (Rn,TdE)(\mathbb{R}^n,\mathcal{T}_{d_E}). Then AA is closed in (Rn,TdE)(\mathbb{R}^n,\mathcal{T}_{d_E}).

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…