Hostname: page-component-848d4c4894-5nwft Total loading time: 0 Render date: 2024-06-01T09:00:33.362Z Has data issue: false hasContentIssue false

LEBESGUE MEASURE ZERO MODULO IDEALS ON THE NATURAL NUMBERS

Published online by Cambridge University Press:  29 December 2023

VIERA GAVALOVÁ
Affiliation:
DEPARTMENT OF APPLIED MATHEMATICS AND BUSINESS INFORMATICS FACULTY OF ECONOMICS TECHNICAL UNIVERSITY OF KOŠICE NĚMCOVEJ 32 040 01 KOŠICE SLOVAKIA E-mail: viera.gavalova@tuke.sk URL: http://www.researchgate.net/profile/Viera-Gavalova
DIEGO A. MEJÍA*
Affiliation:
CREATIVE SCIENCE COURSE (MATHEMATICS) FACULTY OF SCIENCE SHIZUOKA UNIVERSITY 836 OHYA, SURUGA-KU, SHIZUOKA CITY SHIZUOKA 422-8529 JAPAN URL: https://www.researchgate.net/profile/Diego-Mejia-14

Abstract

We propose a reformulation of the ideal $\mathcal {N}$ 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 $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $-ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent to $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ 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$. We show their position with respect to Cichoń’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 $\mathrm {add}(\mathcal {N})$ and $\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.

Type
Article
Copyright
© The Author(s), 2023. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Balcar, B., Hernández-Hernández, F., and Hrušák, M., Combinatorics of dense subsets of the rationals . Fundamenta Mathematicae , vol. 183 (2004), no. 1, pp. 5980.CrossRefGoogle Scholar
Bartoszyński, T., Additivity of measure implies additivity of category . Transactions of the American Mathematical Society , vol. 281 (1984), no. 1, pp. 209213.CrossRefGoogle Scholar
Bartoszynski, T., Invariants of measure and category , Handbook of Set Theory , Vols. 1, 2, 3 (M. Foreman and A. Kanamori, editors), Springer, Dordrecht, 2010, pp. 491555.CrossRefGoogle Scholar
Bartoszyński, T. and Judah, H., Set Theory , On the Structure of the Real Line, A K Peters, Ltd., Wellesley, MA, 1995.CrossRefGoogle Scholar
Bartoszyński, T. and Scheepers, M., Filters and games . Proceedings of the American Mathematical Society , vol. 123 (1995), no. 8, pp. 25292534.CrossRefGoogle Scholar
Bartoszyński, T. and Shelah, S., Closed measure zero sets . Annals of Pure and Applied Logic , vol. 58 (1992), no. 2, pp. 93110.CrossRefGoogle Scholar
Blass, A., Near coherence of filters, I: Cofinal equivalence of models of arithmetic . Notre Dame Journal of Formal Logic , vol. 27 (1986), no. 4, pp. 579591.CrossRefGoogle Scholar
Blass, A., Applications of superperfect forcing and its relatives, Set Theory and Its Applications (Toronto, ON, 1987) (J. Steprans and S. Watson, editors), Lecture Notes in Mathematics, 1401, Springer, Berlin, 1989, pp. 1840.CrossRefGoogle Scholar
Blass, A., Combinatorial cardinal characteristics of the continuum , Handbook of Set Theory , Vols. 1, 2, 3 (M. Foreman and A. Kanamori, editors), Springer, Dordrecht, 2010, pp. 395489.CrossRefGoogle Scholar
Blass, A. and Mildenberger, H., On the cofinality of ultrapowers, this Journal, vol. 64 (1999), no. 2, pp. 727–736.Google Scholar
Blass, A. and Shelah, S., There may be simple ${P}_{\aleph_1}$ - and ${P}_{\aleph_2}$ -points and the Rudin–Keisler ordering may be downward directed . Annals of Pure and Applied Logic , vol. 33 (1987), no. 3, pp. 213243.CrossRefGoogle Scholar
Blass, A. and Shelah, S., Near coherence of filters III: A simplified consistency proof . Notre Dame Journal of Formal Logic , vol. 30 (1989), no. 4, pp. 530538.CrossRefGoogle Scholar
Borodulin-Nadzieja, P. and Farkas, B., Cardinal coefficients associated to certain orders on ideals . Archive for Mathematical Logic , vol. 51 (2012), nos. 1–2, pp. 187202.CrossRefGoogle Scholar
Brendle, J., Larger cardinals in Cichoń’s diagram, this Journal, vol. 56 (1991), no. 3, pp. 795810.Google Scholar
Brendle, J., Between $P$ -points and nowhere dense ultrafilters . Israel Journal of Mathematics , vol. 113 (1999), pp. 205230.CrossRefGoogle Scholar
Brendle, J., Mad families and iteration theory , Logic and Algebra (Y. Zhang, editor), Contemporary Mathematics, 302. American Mathematical Society, Providence, RI, 2002, pp. 131.Google Scholar
Bukovský, L., Das, P., and Šupina, J., Ideal quasi-normal convergence and related notions . Colloquium Mathematicum , vol. 146 (2017), no. 2, pp. 265281.CrossRefGoogle Scholar
Canjar, M., Countable ultraproducts without CH . Annals of Pure and Applied Logic , vol. 37 (1988), no. 1, pp. 179.CrossRefGoogle Scholar
Cardona, M. A., A friendly iteration forcing that the four cardinal characteristics of $\mathcal{E}$ can be pairwise different . Colloquium Mathematicum , vol. 173 (2023), no. 1, pp. 123157.CrossRefGoogle Scholar
Eisworth, T., Near coherence and filter games . Archive for Mathematical Logic , vol. 40 (2001), no. 3, pp. 235242.CrossRefGoogle Scholar
Farkas, B. and Soukup, L., More on cardinal invariants of analytic $P$ -ideals . Commentationes Mathematicae Universitatis Carolinae , vol. 50 (2009), no. 2, pp. 281295.Google Scholar
Goldstern, M., Kellner, J., Mejía, D. A., and Shelah, S., Controlling classical cardinal characteristics while collapsing cardinals . Colloquium Mathematicum , vol. 170 (2022), no. 1, pp. 115144.CrossRefGoogle Scholar
Haga, K. B., Schrittesser, D., and Törnquist, A., Maximal almost disjoint families, determinacy, and forcing . Journal of Mathematical Logic , vol. 22 (2022), no. 1, Article no. 2150026, 42pp.Google Scholar
Hechler, S. H., Short complete nested sequences in $\beta N{\setminus} N$ and small maximal almost-disjoint families. General Topology and its Applications , vol. 2 (1972), pp. 139149.CrossRefGoogle Scholar
Hrušák, M., Combinatorics of filters and ideals , Set Theory and its Applications (L. Babinkostova, A. E. Caicedo, S. Geschke, and M. Scheepers, editors), Contemporary Mathematics, 533, American Mathematical Society, Providence, RI, 2011, pp. 2969.CrossRefGoogle Scholar
Katětov, M., Products of filters . Commentationes Mathematicae Universitatis Carolinae , vol. 9 (1968), pp. 173189.Google Scholar
Kechris, A. S., Classical Descriptive Set Theory , Graduate Texts in Mathematics, 156, Springer, New York, 1995.CrossRefGoogle Scholar
Kostyrko, P., Šalát, T., and Wilczyński, W. $I$ -convergence. Real Analysis Exchange , vol. 26 (2000/01), no. 2, pp. 669685.CrossRefGoogle Scholar
Laflamme, C., Filter games and combinatorial properties of strategies , Set Theory (Boise ID, 1992–1994) (T. Bartoszyński and M. Scheepers, editors), Contemporary Mathematics, 192, American Mathematical Society, Providence, RI, 1996, pp. 5167.Google Scholar
Laflamme, C. and Leary, C. C., Filter games on $\omega$ and the dual ideal. Fundamenta Mathematicae , vol. 173 (2002), no. 2, pp. 159173.CrossRefGoogle Scholar
Laflamme, C. and Zhu, J.-P., The Rudin–Blass ordering of ultrafilters, this Journal, vol. 63 (1998), no. 2, pp. 584592.Google Scholar
Mejía, D. A., Matrix iterations and Cichon’s diagram . Archive for Mathematical Logic , vol. 52 (2013), nos. 3–4, pp. 261278.CrossRefGoogle Scholar
Mejía, D. A., Models of some cardinal invariants with large continuum . Kyōto Daigaku Sūrikaiseki Kenkyūsho Kōkyūroku , vol. 1851 (2013), pp. 3648.Google Scholar
Miller, A. W., Some properties of measure and category . Transactions of the American Mathematical Society , vol. 266 (1981), no. 1, pp. 93114.CrossRefGoogle Scholar
Pawlikowski, J., Finite support iteration and strong measure zero sets, this Journal, vol. 55 (1990), no. 2, pp. 674677.Google Scholar
Raghavan, D. and Steprāns, J., The almost disjointness invariant for products of ideals. Topology and its Applications , vol. 323 (2023), Article no. 108295, 11pp.CrossRefGoogle Scholar
Repický, M., Spaces not distinguishing ideal convergences of real-valued functions . Real Analysis Exchange , vol. 46 (2021), no. 2, pp. 367394.Google Scholar
Repický, M., Spaces not distinguishing ideal convergences of real-valued functions, II . Real Analysis Exchange , vol. 46 (2021), no. 2, pp. 395421.Google Scholar
Rothberger, F., Eine Äquivalenz zwishen der Kontinuumhypothese under der Existenz der Lusinschen und Sierpin-schishen Mengen . Fundamenta Mathematicae , vol. 30 (1938), pp. 215217.CrossRefGoogle Scholar
Šottová, V., The role of ideals in topological selection principles . Pavol Jozef Šafárik University in Košice, Faculty of Science, 2020. (Šottova is the first author’s maiden name).Google Scholar
Šottová, V. and Šupina, J. Principle $\mathrm{S}_1\left(\mathcal{P}, \mathcal{R}\right)$  ideals and functions . Topology and its Applications , vol. 258 (2019), pp. 282304.CrossRefGoogle Scholar
Šupina, J., Ideal QN-spaces . Journal of Mathematical Analysis and Applications , vol. 435 (2016), no. 1, pp. 477491.CrossRefGoogle Scholar
Šupina, J., Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities . Archive for Mathematical Logic , vol. 62 (2023), nos. 1–2, pp. 87112.CrossRefGoogle Scholar
Talagrand, M., Compacts de fonctions mesurables et filtres non mesurables. Studia Mathematica , vol. 67 (1980), no. 1, pp. 1343.CrossRefGoogle Scholar
Vojtáš, P., Generalized Galois–Tukey-connections between explicit relations on classical objects of real analysis, Set Theory of the Reals (Ramat Gan, 1991) (H. Judah, editor), Israel Mathematical Conference Proceedings, 6, Bar-Ilan University, Ramat Gan, 1993, pp. 619643.Google Scholar