A few \(\sigma\)-ideals of measure zero sets related to their covers (Q1189095)

A set of reals \(X\) has strong measure zero iff for any sequence \(\langle \epsilon_ n:n\in\omega\rangle\) of positive reals there exists a sequence of intervals \(\langle I_ n:n\in\omega\rangle\) with \(| I_ n| <\epsilon_ n\) for each \(n\) such that \(X\subseteq\bigcup_{n\in\omega}I_ n\). Borel defined this class of sets and showed that it formed a \(\sigma\)-ideal properly contained in the \(\sigma\)-ideal of Lebesgue measure zero sets. He also came up with a way of classifying measure zero sets. Given a sequence of intervals which cover \(X\), i.e., \(\langle I_ n:n\in\omega\rangle\) such that \(X\subseteq\bigcap_{n\in\omega}\bigcup_{n<m}I_ m\), consider the sequence of reals \(\epsilon_ n=\sum_{m=n}^{\infty}| I_ m| \). A set of reals has strong measure zero just in case it can be covered by sequences of intervals whose \(\epsilon\)'s converge to zero arbitrarily fast. In this paper the author shows that the following two families of sets are also \(\sigma\)-ideals. (1) The set of all sets of reals \(X\) such that there exists a sequence of nonnegative reals, \(\langle \epsilon_ n:n\in\omega\rangle\), converging to zero, such that for all nonincreasing sequences \(\langle \delta_ n:n\in\omega\rangle\), if \(\delta_ n\geq\epsilon_ n\) for infinitely many \(n\), then \(X\) has a cover \(\langle I_ n:n\in\omega\rangle\) with \(\sum_{m=n}^{\infty}| I_ m| \leq\delta_ n\) for every \(n\). (2) The set of all sets of reals \(X\) such that for every sequence of positive reals, \(\langle \epsilon_ n:n\in\omega\rangle\), there exists a cover \(\langle I_ n:n\in\omega\rangle\) of \(X\) such that \(\sum_{m=n}^{\infty}| I_ m| \leq \epsilon_ n\) for infinitely many \(n\). The paper also contains several examples of measure zero sets demonstrating the different types of rates of convergence of their covering sequences.