Undecidably semilocalizable metric measure spaces

DOI10.1142/S0219199723500128MaRDI QIDQ6325786zbMATH OpenOpenAlexFDO

Authors Thierry De Pauw

Publication date 23 September 2019

Full work available at URL https://doi.org/10.1142/s0219199723500128

Mathematics Subject Classification ID

Classical measure theory (28A99) Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Length, area, volume, other geometric measure theory (28A75) Hausdorff and packing measures (28A78)

Abstract: We characterize measure spaces such that the canonical map $L_{i}nftyo{L}_1^{\ast }$ is surjective. In case of $d$ dimensional Hausdorff measure of a complete separable metric space $X$ we give two equivalent conditions. One is in terms of the order completeness of a quotient Boolean algebra associated with measurable sets and with locally null sets. Another one is in terms of the possibility to decompose space in a certain way into sets of nonzero finite measure. We give examples of $X$ and $d$ so that whether these conditions are met is undecidable in ZFC, including one with $d$ equals the Hausdorff dimension of $X$.

This page was built for publication: Undecidably semilocalizable metric measure spaces

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