Additivity of the ideal of microscopic sets

DOI10.1016/J.TOPOL.2016.01.031MaRDI QIDQ272843zbMATH OpenOpenAlexFDO

Authors Adam Kwela

Publication date 21 April 2016

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1505.06756

zbMATH Keywords

asymptotic densitymicroscopic setstrong measure zero

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Cardinal characteristics of the continuum (03E17)

Abstract: A set $MsubsetmathbbR$ is microscopic if for each $varepsilon>0$ there is a sequence of intervals $(J_n{)}_{ninomega}$ covering $M$ and such that $|J_n|leqvarepsilo{n}^{n+1}$ for each $ninomega$. We show that there is a microscopic set which cannot be covered by a sequence $(J_n{)}_{ninomega}$ with $ninomega:J_{n}eqemptyset$ of lower asymptotic density zero. We prove (in ZFC) that additivity of the ideal of microscopic sets is $omeg{a}_1$. This solves a problem of G. Horbaczewska. Finally, we discuss additivity of some generalizations of this ideal.

Review text

A subset, \(M\), of the real line is microscopic if for each \(\varepsilon>0\) there is a sequence \(\langle I_n\rangle_{n\in\omega}\) of intervals that covers~\(M\) and is such that \(I_n\) has length at most~\(\varepsilon^{n+1}\) for all~\(n\). Thanks to the universal quantifier binding the~\(\varepsilon\), the set \(N=\{n:I_n\neq\emptyset\}\) is quite thin, say of the form \(\{kn:n\in\omega\}\) for some~\(k>0\). The author provides an example of a microscopic set where for \(\varepsilon=1/7\) no sequence of intervals exists such that \(N\)~has lower asymptotic density~\(0\). The second major result computes the additivity of the ideal of microscopic sets: it is~\(\aleph_1\) in~ZFC.

Recommendations

• A short story on microscopic sets
• A generalization of the notion of microscopic sets
• Ideal-like properties of generalized microscopic sets
• Properties of the \(\sigma\)-ideal of microscopic sets
• Isomorphism theorems for -ideals of microscopic sets in various metric spaces

Cites work

• Homeomorphisms of linear and planar sets of the first category into microscopic sets
• scientific article; zbMATH DE number 5984008 (Why is no real title available?)
• scientific article; zbMATH DE number 1799307 (Why is no real title available?)
• Invariants of measure and category
• Microscopic Sets with Respect to Sequences of Functions
• Nowhere monotone functions and microscopic sets
• Properties of the \(\sigma\)-ideal of microscopic sets
• Set theory. An introduction to independence proofs
• Some remarks on small sets
• Strong Measure Zero and Strongly Meager Sets

Cited in

(11)

• Ideal-like properties of generalized microscopic sets
• General approach to microscopic-type sets
• A generalization of the notion of microscopic sets
• Null-finite sets in topological groups and their applications
• Properties of the \(\sigma\)-ideal of microscopic sets
• Keeping additivity of the null ideal small
• On microscopic sets and Fubini Property in all directions
• Isomorphism theorems for -ideals of microscopic sets in various metric spaces
• Remarks on some generalization of the notion of microscopic sets
• A short story on microscopic sets
• Nowhere monotone functions and microscopic sets

This page was built for publication: Additivity of the ideal of microscopic sets

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