A-sets (Q1332590): Difference between revisions

A set of real numbers \(X\) is an \(A_ 1\)-set iff for every sequence \(({\mathcal B}_ 1, {\mathcal B}_ 2, \dots)\), where each \({\mathcal B}_ n\) is a countable collection of Borel sets which covers \(X\), there exists a sequence \((Y_ 1, Y_ 2, \dots)\) with \(Y_ n\in {\mathcal B}_ n\) and \(X\subseteq \bigcup_{n< \infty} Y_ n\). This is a generalization of Rothberger's \(C''\) property. For \(C''\) the \({\mathcal B}_ n\) are required to be families of open sets. In this paper it is shown that \(A_ 1\) is equivalent to ``every Borel image'' has property \(C''\). \(A_ 1\) is also shown to be equivalent to property \({\mathcal R}^{\mathcal M}\). A set of reals \(X\) has property \({\mathcal R}^{\mathcal M}\) iff for every Borel set \(H\) in the plane with meager \(x\)-cross sections there exists a real \(y\) such that \((X\times \{y\})\cap H= \emptyset\). A set of real numbers \(X\) is an \(A_ 2\)-set iff for every sequence \(({\mathcal B}_ 1, {\mathcal B}_ 2,\dots)\), where each \({\mathcal B}_ n\) is a countable collection of Borel sets which covers \(X\), there exists a sequence \(({\mathcal C}_ 1, {\mathcal C}_ 2, \dots)\) with \({\mathcal C}_ n\in [{\mathcal B}_ n ]^{<\omega}\) and \(X\subseteq \bigcup_{n<\infty} (\bigcap_{m=n}^ \infty \cup {\mathcal C}_ m)\). This is a generalization of Hurewicz's property (again by replacing open covers by Borel covers). In this paper it is shown that ``\(X\) has property \(A_ 2\)'' is equivalent to ``every Borel image of \(X\) in \(\omega^ \omega\) is bounded'' which is equivalent to ``every Borel image of \(X\) in \(\omega^ \omega\) has Hurewicz's property''. The property \(A_ 3\) is defined generalizing Menger's property to Borel covers. It is the same as \(A_ 2\) but in the conclusion we have \(X\subseteq \bigcup_{n< \infty} \cup{\mathcal C}_ n\). In this paper it is shown that \(A_ 3\) is equivalent to ``every Borel image in \(\omega^ \omega\) does not dominate''. It is also shown that the additivity of the ideal of \(A_ 3\) is equal to \({\mathfrak b}\).