Undecidably semilocalizable metric measure spaces

DOI10.1142/S0219199723500128arXiv1909.10190OpenAlexW2973753061MaRDI QIDQ6325786FDOQ6325786

Authors: Thierry De Pauw 

Publication date: 23 September 2019

Abstract: We characterize measure spaces such that the canonical map $L_{i}nftyo{L}_1^{*}$ 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$.

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)

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)