English

Lebesgue measure zero modulo ideals on the natural numbers

Logic 2025-09-17 v3

Abstract

We propose a reformulation of the ideal N\mathcal{N} of Lebesgue measure zero sets of reals modulo an ideal JJ on ω\omega, which we denote by NJ\mathcal{N}_J. In the same way, we reformulate the ideal E\mathcal{E} generated by FσF_\sigma measure zero sets of reals modulo JJ, which we denote by NJ\mathcal{N}^*_J. We show that these are σ\sigma-ideals and that NJ=N\mathcal{N}_J=\mathcal{N} iff JJ has the Baire property, which in turn is equivalent to NJ=E\mathcal{N}^*_J=\mathcal{E}. Moreover, we prove that NJ\mathcal{N}_J does not contain co-meager sets and NJ\mathcal{N}^*_J contains non-meager sets when JJ does not have the Baire property. We also prove a deep connection between these ideals modulo JJ and the notion of nearly coherence of filters (or ideals). We also study the cardinal characteristics associated with NJ\mathcal{N}_J and NJ\mathcal{N}^*_J. 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 add(N)\mathrm{add}(\mathcal{N}) and cof(N)\mathrm{cof}(\mathcal{N}). We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.

Cite

@article{arxiv.2212.05185,
  title  = {Lebesgue measure zero modulo ideals on the natural numbers},
  author = {Viera Gavalová and Diego Alejandro Mejía},
  journal= {arXiv preprint arXiv:2212.05185},
  year   = {2025}
}

Comments

Final revision: typos were corrected

R2 v1 2026-06-28T07:28:42.433Z