Proof of The Borel -Algebras of Euclidean Space and of the Euclidean Metric Coincide
lemmalem:borel-metric-euclidean-agree-2026aBy Euclidean Openness Agrees with Metric Openness on a subset of is open in the Euclidean sense if and only if it is an open subset of the metric space . Write for this single family of subsets of : it is at once the family of all Euclidean open subsets of and the family of all open subsets of .
By Borel Sigma-Algebra on Euclidean Space the -algebra is the -algebra generated by the first of these families, and by Borel Sigma-Algebra of a Metric Space the -algebra is the -algebra generated by the second; so both are the -algebra generated by . The -algebra generated by a family of subsets of consists of those subsets of that belong to every -algebra on containing the family, so it is determined by the family alone. Hence .
Loading…
Prerequisites
proofd9b56bd9...
d9b56bd9-78f9-466a-a163-c2a39dae59ee