On the σ-class generated by open balls

DOI10.1017/S0305004199003552MaRDI QIDQ4264415zbMATH OpenFDO

Authors Steve Jackson, R. Daniel Mauldin

Publication date 9 February 2000

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0305004199003552

zbMATH Keywords

\(\sigma\)-class generated by open ballsBanach spacesBesicovitch covering theoremBorel fieldHausdorff measureprobability measures

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Set functions and measures on topological spaces (regularity of measures, etc.) (28C15) Normed linear spaces and Banach spaces; Banach lattices (46B99) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05)

Review text

A famlily \({\mathcal L}\) of subsets of a set \(X\) is said to be a \(\sigma\)-class provided \({\mathcal L}\) is closed under complements and countable disjoint unions. In the particular case of the real line, such families were studied by Lusin in his fundamental treatise: ``Leçons sur les ensemble analytiques (1st edition: Paris (1930); 2nd edition: Chelsea, New York (1972; Zbl 0292.26007). More precisely, Lusin proved the following assertion (stated in our modern language): The Borel field of subsets of the real line is the smallest \(\sigma\)-class containing the open intervals. (ibid., p. 46). In this paper, the authors show that in a finite-dimensional real normed space, the Borel field is the smallest \(\sigma\)-class containing the open balls. This is a deep result whose proof requires Besicovitch covering theorem and results about Hausdorff measure. Such a theorem is no longer true in an infinite-dimensional Hilbert space (a recent result by Preiss and Keliti).

Recommendations

• The σ-Class Generated by Balls Contains all Borel Sets
• \(q\)-sigma-algebra generated by balls
• The Dynkin system generated by balls in $\mathbb {R}^d$ contains all Borel sets

Cited in

(7)

• Ball divergence: nonparametric two sample test
• \(q\)-sigma-algebra generated by balls
• The variable exponent Sobolev capacity and quasi-fine properties of Sobolev functions in the case p^-=1
• The σ-Class Generated by Balls Contains all Borel Sets
• Generating Borel sets by balls
• Piecewise linear functions representable with infinite width shallow ReLU neural networks
• Completeness of certain metric spaces of measures

This page was built for publication: On the σ-class generated by open balls

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4264415)