Abstract
We introduce a notion of density point and prove results analogous to Lebesgue’s density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold.
In contrast to these results, we show that there is no reasonably definable selector that chooses representatives for the equivalence relation on the Borel sets of having countable symmetric difference. In other words, there is no notion of density which makes the ideal of countable sets satisfy an analogue to the density theorem.
The proofs of the positive results use only elementary combinatorics of trees, while the negative results rely on forcing arguments.
Similar content being viewed by others
References
A. Andretta and R. Camerlo, The descriptive set theory of the Lebesgue density theorem, Advances in Mathematics 234 (2013), 1–42.
A. Andretta and R. Camerlo, Analytic sets of reals and the density function in the Cantor space, European Journal of Mathematics 5 (2019), 49–80.
A. Andretta, R. Camerlo and C. Costantini, The density point property, slides of a talk given at the 4th European Set Theory Conference, Mon St. Benet, Catalunya, 2013.
A. Andretta, R. Camerlo and C. Costantini, Lebesgue density and exceptional points, Proceedings of the London Mathematical Society 118 (2019), 103–142.
M. Balcerzak and S. Głab, A lower density operator for the Borel algebra, Results in Mathematics 75 (2020), Article no. 50.
J. Brendle, L. Halbeisen and B. Löwe, Silver measurability and its relation to other regularity properties, Mathematical Proceedings of the Cambridge Philosophical Society 138 (2005), 135–149.
T. Bartoszyński and H. Judah, Set Theory, A K Peters, Wellesley, MA, 1995.
J. Brendle, Y. Khomskii and W. Wohofsky, Cofinalities of Marczewski-like ideals, Colloquium Mathematicum 150 (2017), 269–279.
J. Brendle and B. Löwe, Solovay-type characterizations for forcing-algebras, Journal of Symbolic Logic 64 (1999), 1307–1323.
J. Brendle, Strolling through paradise, Fundamenta Mathematicae 148 (1995), 1–25.
L. Bukovský, The Structure of the Real Line, Instytut Matematyczny Polskiej Akademii Nauk. Monografie Matematyczne (New Series), Vol. 71, Birkhäuser/Springer, Basel, 2011.
J. Cummings, Iterated forcing and elementary embeddings, in Handbook of Set Theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 775–883.
S.-D. Friedman, Y. Khomskii and V. Kulikov, Regularity properties on the generalized reals, Annals of Pure and Applied Logic 167 (2016), 408–430.
Q. Feng, M. Magidor and H. Woodin, Universally Baire sets of reals, in Set Theory of the Continuum (Berkeley, CA, 1989), Mathematical Sciences Research Institute Publications, Vol. 26, Springer, New York, 1992, pp. 203–242.
M. Goldstern, M. Repickỳ, S. Shelah and O. Spinas, On tree ideals, Proceedings of the American Mathematical Society 123 (1995), 1573–1581.
L. Halbeisen, Making doughnuts of Cohen reals, Mathematical Logic Quarterly 49 (2003), 173–178.
G. Hjorth, Borel equivalence relations, in Handbook of Set Theory. Vols. 1, 2, 3, Springer, Dordrecht, 2010, pp. 297–332.
D. Ikegami, Forcing absoluteness and regularity properties, Annals of Pure and Applied Logic 161 (2010), 879–894.
T. Jech, Set Theory, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2003.
A. Kechris, Classical Descriptive Set Theory, Graduate Texts in Mathematics, Vol. 156, Springer, New York, 1995.
A. S. Kechris, Measure and category in effective descriptive set theory, Annals of Mathematical Logic 5 (1972/73), 337–384.
V. G. Kanovei and V. A. Lyubetsky, On the equality relation modulo a countable set, Mathematical Notes 108 (2020), 615–616.
P. Kalemba, S. Plewik and A. Wojciechowska, On the ideal (v0), Central European Journal of Mathematics 6 (2008), 218–227.
V. Kanovei, M. Sabok and J. Zapletal, Canonical Ramsey Theory on Polish Spaces, Cambridge Tracts in Mathematics, Vol. 202, Cambridge University Press, 2013.
C. Laflamme, L. Nguyen Van Thé, M. Pouzet and N. Sauer, Partitions and indivisibility properties of countable dimensional vector spaces, Journal of Combinatorial Theory. Series A 118 (2011), 67–77.
B. D. Miller, The existence of quasi-invariant measures of a given cocycle, I: Atomless, ergodic sigma-finite measures, Ergodic Theory and Dynamical Systems 28 (2008), 1599–1613.
Y. N. Moschovakis, Descriptive Set Theory, Mathematical Surveys and Monographs, Vol. 155, American Mathematical Society, Providence, RI, 2009.
S. Müller and P. Schlicht, Uniformization and internal absoluteness, submitted.
A. Nies, Computability and Randomness, Oxford Logic Guides, Vol. 51, Oxford University Press, Oxford, 2009.
W. Poreda, E. Wagner-Bojakowska and W. Wilczyński, A category analogue of the density topology, Fundamenta Mathematicae 125 (1985), 167–173.
P. Schlicht, Thin equivalence relations and inner models, Annals of Pure and Applied Logic 165 (2014), 1577–1625.
R. Schindler and J. Steel, The strength of AD, unpublished note, https://ivv5hpp.uni-muenster.de/u/rds/AD_skript.pdf.
S. Shelah and O. Spinas, Different cofinalities of tree ideals, preprint.
E. Szpilrajn, Sur une classe de fonctions de M. Sierpiński et la classe correspondante d’ensembles, Fundamenta Mathematicae 24 (1935), 17–34.
W. H. Woodin, On the consistency strength of projective uniformization, in Proceedings of the Herbrand Symposium (Marseilles, 1981), Studies in Logic and the Foundations of Mathematics, Vol. 107, North-Holland, Amsterdam, 1982, pp. 365–384.
J. Zapletal, Forcing Idealized, Cambridge Tracts in Mathematics, Vol. 174, Cambridge University Press, Cambridge, 2008.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Müller, S., Schlicht, P., Schrittesser, D. et al. Lebesgue’s density theorem and definable selectors for ideals. Isr. J. Math. 249, 501–551 (2022). https://doi.org/10.1007/s11856-022-2312-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-022-2312-8