Let , and let . Then the following are equivalent.
- is \reftext{def:compact-space-and-subset-2026a}{compact in }, where is regarded as a topological space through the topology determined by the \reftext{def:euclidean-distance-rn-2026a}{Euclidean distance}.
- is \reftext{def:closed-subset-topological-space-2026a}{closed} in and \reftext{def:bounded-subset-metric-space-2026a}{bounded} as a subset of the metric space .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…