Undecidably semilocalizable metric measure spaces
Thierry De Pauw

TL;DR
This paper characterizes measure spaces where the canonical map from $L_0$ to the dual of $L_$ is surjective, providing conditions that are sometimes undecidable within standard set theory.
Contribution
It introduces two equivalent conditions for measure spaces related to $L_0$ and $L_^*$ surjectivity, including cases with undecidable properties in ZFC.
Findings
Conditions for surjectivity depend on order completeness and space decomposition.
Examples show some properties are undecidable in ZFC.
Includes cases where Hausdorff dimension influences decidability.
Abstract
We characterize measure spaces such that the canonical map is surjective. In case of dimensional Hausdorff measure of a complete separable metric space 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 and so that whether these conditions are met is undecidable in ZFC, including one with equals the Hausdorff dimension of .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Mathematical Dynamics and Fractals · Functional Equations Stability Results
