Compact Subsets of a Metric Space are Closed and Borel
lemmaAnalysisTopologylem:compact-subset-closed-borel-metric-2026aA compact subset of a metric space is closed, and therefore belongs to the Borel sigma-algebra, as does its complement.
Let be a metric space, let be the collection of subsets of that are open in , which is a topology on by Metric Open Sets Form a Topology, and let be the Borel -algebra of . Let be compact in .
Then the following hold.
1. (Closedness)¶ is a closed subset of the topological space .
2. (Borel measurability)¶ and .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.