A note on small sets of reals (Q1632796)

Let \(2^\omega\) equipped with the topology generated by basic open sets of the form \([s]=\{x \in 2^\omega: s \subset x\}\) for \(s \in 2^a\), \(a \in \omega^{<\omega}\). Let us consider \(\mu\) to be the product measure such that \(\mu([s]) = 2^{-|\operatorname{dom}(s)|}\) and let us denote by \(\mathcal{N}\) the collection of all measure-zero sets. A set \(X \subseteq 2^\omega\) is said to be \textit{small} if there exists a sequence \(\{I_n, J_n: n \in \omega\}\) such that {\parindent=6mm \begin{itemize}\item[(a)] \(I_n \in [\omega]^{< \aleph_0}\) for \(n \in \omega\); \item[(b)] \(I_n \cap I_m = \emptyset\) for \(n \not=m\); \item[(c)] \(J_n \subseteq 2^{I_n}\) for \(n \in \omega\); \item[(d)] \(\sum_{n \in \omega} \frac{|J_n|}{2^{|I_n|}}< \infty\); \item[(e)] \(X \subseteq \{x \in 2^\omega: \exists^{\infty} n \;x\upharpoonright I_n \in J_n\}\). \end{itemize}} If in addition there exists a strictly increasing sequence of integers \(\{k_n : n \in \omega\}\) such that \(I_n = [k_n,k_{n+1})\) for each \(n\), then \(X\) is said \textit{small*}. Let us denote by \(\mathcal{S}\) and \(\mathcal{S}^*\) the collection of all small and small* sets respectively. It is well known that \(\mathcal{S}^* \subseteq \mathcal{S} \subseteq \mathcal{N}\), and \(\mathcal{S}^* \subsetneq \mathcal{N}\) [\textit{T. Bartoszynski}, Pac. J. Math. 131, No. 1, 1--12 (1988; Zbl 0643.03034)]. In the present paper a refinement is obtained; namely \[ S^* \subsetneq\mathcal{S} \subsetneq \mathcal{N}. \]