Set-theoretical problems concerning Hausdorff measures
HTML articles powered by AMS MathViewer
- by Márton Elekes and Juris Steprāns
- Proc. Amer. Math. Soc. 147 (2019), 1709-1717
- DOI: https://doi.org/10.1090/proc/14372
- Published electronically: December 12, 2018
- PDF | Request permission
Abstract:
We show that the $\sigma$-ideal of Borel subsets of $\mathbb {R}^3$ of $\sigma$-finite 2-dimensional Hausdorff measure is not homogeneous. This partially answers a question of Zapletal.
We prove that each of the statements $\operatorname {cov}(\mathcal {N}) < \operatorname {cov}(\mathcal {N}^1_2)$, $\operatorname {cov}(\mathcal {N}^1_2) < \operatorname {non}(\mathcal {M})$, and $\operatorname {cov}(\mathcal {M}) < \operatorname {non}(\mathcal {N}^1_2)$ is consistent, where $\mathcal {N}^1_2$ is the $\sigma$-ideal of sets in the plane of 1-dimensional Hausdorff measure zero, and $\mathcal {N}$ and $\mathcal {M}$ are the usual null and meagre $\sigma$-ideals. This answers a question of Fremlin and settles the question of strictness of all the inequalities once we fit the cardinal invariants of $\mathcal {N}^1_2$ into the Cichoń diagram.
We prove that it is consistent that there is an ordering of the reals in which all proper initial segments are Lebesgue null, but for every ordering of the reals there is a proper initial segment that is not null with respect to the $1/2$-dimensional Hausdorff measure. This answers a question of Humke and Laczkovich.
References
- Tomek Bartoszyński and Haim Judah, Set theory, A K Peters, Ltd., Wellesley, MA, 1995. On the structure of the real line. MR 1350295
- K. J. Falconer, The geometry of fractal sets, Cambridge Tracts in Mathematics, vol. 85, Cambridge University Press, Cambridge, 1986. MR 867284
- D. H. Fremlin, Measure theory. Vol. 5. Set-theoretic measure theory. Part I, Torres Fremlin, Colchester, 2015. Corrected reprint of the 2008 original. MR 3723040
- P. Humke and M. Laczkovich, Remarks on a construction of Erdős, preprint.
- Thomas Jech, Set theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003. The third millennium edition, revised and expanded. MR 1940513
- Alexander S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer-Verlag, New York, 1995. MR 1321597, DOI 10.1007/978-1-4612-4190-4
- Kenneth Kunen, Set theory, Studies in Logic and the Foundations of Mathematics, vol. 102, North-Holland Publishing Co., Amsterdam-New York, 1980. An introduction to independence proofs. MR 597342
- András Máthé, Hausdorff measures of different dimensions are not Borel isomorphic, Israel J. Math. 164 (2008), 285–302. MR 2391150, DOI 10.1007/s11856-008-0030-5
- Pertti Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995. Fractals and rectifiability. MR 1333890, DOI 10.1017/CBO9780511623813
- Andrzej Rosłanowski and Saharon Shelah, Norms on possibilities. I. Forcing with trees and creatures, Mem. Amer. Math. Soc. 141 (1999), no. 671, xii+167. MR 1613600, DOI 10.1090/memo/0671
- Saharon Shelah and Juris Steprāns, Comparing the uniformity invariants of null sets for different measures, Adv. Math. 192 (2005), no. 2, 403–426. MR 2128705, DOI 10.1016/j.aim.2004.04.010
- Jindřich Zapletal, Forcing idealized, Cambridge Tracts in Mathematics, vol. 174, Cambridge University Press, Cambridge, 2008. MR 2391923, DOI 10.1017/CBO9780511542732
Bibliographic Information
- Márton Elekes
- Affiliation: Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, PO Box 127, 1364 Budapest, Hungary – and – Eötvös Loránd University, Institute of Mathematics, Pázmány Péter s. 1/c, 1117 Budapest, Hungary
- Email: elekes.marton@renyi.mta.hu
- Juris Steprāns
- Affiliation: Department of Mathematics, York University, Toronto, Ontario M3J 1P3, Canada
- Email: steprans@mathstat.yorku.ca
- Received by editor(s): August 12, 2015
- Received by editor(s) in revised form: April 27, 2018
- Published electronically: December 12, 2018
- Additional Notes: The first author was partially supported by the Hungarian Scientific Foundation grants no. 83726, 104178, and 113047.
The second author was partially supported by a Discovery Grant from NSERC
This research was partially done whilst the authors were visiting fellows at the Isaac Newton Institute for Mathematical Sciences in the programme ‘Mathematical, Foundational and Computational Aspects of the Higher Infinite’ (HIF) - Communicated by: Mirna Džamonja
- © Copyright 2018 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 147 (2019), 1709-1717
- MSC (2010): Primary 03E35, 28A78, 03E17; Secondary 03E40, 03E75
- DOI: https://doi.org/10.1090/proc/14372
- MathSciNet review: 3910435