Properties of simple density ideals

DOI10.1016/J.JMAA.2019.04.046MaRDI QIDQ6293644arXivWikidataFDO

Authors Adam Kwela, Michał Popławski, Jarosław Swaczyna, Jacek Tryba

Publication date 6 November 2017

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JMAA.2019.04.046

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20)

arXiv classification

math.FA

Abstract: Let $G$ consist of all functions $gcolonomegao[0,infty)$ with $g(n)oinfty$ and $fracng(n)rightarrow0$. Then for each $ginG$ the family $mathcal{Z}_g=Asubseteqomega:li{m}_{noinfty}fracextcard(Acapn)g(n)=0$ is an ideal associated to the notion of so-called upper density of weight $g$. Although those ideals have recently been extensively studied, they do not have their own name. In this paper, for Reader's convenience, we propose to call them simple density ideals. We show that there are $mathfrakc$ many non-isomorphic (in fact even incomparable with respect to Katv{e}tov order) simple density ideals. Moreover, we prove that for a given $AsubsetG$ with $extcard(A)<mathfrakb$ one can construct a family of cardinality $mathfrakc$ of pairwise incomparable (with respect to inclusion) simple density ideals which additionally are incomparable with all $mathcal{Z}_g$ for $ginA$. We show that this cannot be generalized to Katv{e}tov order as the ideal $mathcalZ$ of sets of asymptotic density zero is maximal in the sense of Katv{e}tov order among all simple density ideals. We examine how many substantially different functions $g$ can generate the same ideal $mathcal{Z}_g$ -- it turns out that the answer is either $1$ or $mathfrakc$ (depending on $g$).

This page was built for publication: Properties of simple density ideals

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