Let , and let . Then the following are equivalent.
- is compact in , where is regarded as a topological space through the topology determined by the Euclidean distance.
- is closed in and bounded as a subset of the metric space .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.