Lebesgue measure zero modulo ideals on the natural numbers

DOI10.1017/JSL.2023.97arXiv2212.05185MaRDI QIDQ6420110FDOQ6420110

Authors: Viera Gavalová, Diego Alejandro Mejía 

Publication date: 9 December 2022

Abstract: We propose a reformulation of the ideal $mathcalN$ of Lebesgue measure zero sets of reals modulo an ideal $J$ on $omega$, which we denote by $mathcal{N}_J$. In the same way, we reformulate the ideal $mathcalE$ generated by $F_{s}igma$ measure zero sets of reals modulo $J$, which we denote by $mathcal{N}_J^{\ast }$. We show that these are $sigma$-ideals and that $mathcal{N}_J=mathcalN$ iff $J$ has the Baire property, which in turn is equivalent to $mathcal{N}_J^{\ast }=mathcalE$. Moreover, we prove that $mathcal{N}_J$ does not contain co-meager sets and $mathcal{N}_J^{\ast }$ contains non-meager sets when $J$ does not have the Baire property. We also prove a deep connection between these ideals modulo $J$ and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with $mathcal{N}_J$ and $mathcal{N}_J^{\ast }$. We show their position with respect to Cicho'n's diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $mathrmadd(mathcalN)$ and $mathrmcof(mathcalN)$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Consistency and independence results (03E35) Cardinal characteristics of the continuum (03E17)

This page was built for publication: Lebesgue measure zero modulo ideals on the natural numbers

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