On two theorems of Sierpiński (Q1645363)

Let \((X,\mathcal A,\mathcal I)\) be a triple where \(\mathcal I\) is a \(\sigma\)-ideal of subsets of \(X\) and \(\mathcal A\) is a \(\sigma\)-algebra of subsets of \(X\) such that \(\mathcal I\subseteq\mathcal A\). The elements of \(\mathcal A\) and \(\mathcal I\) are called measurable and negligible sets, respectively. Let \(E\subseteq Q\subseteq X\). \(E\) is a full subset of \(Q\), if \(Q\setminus A\in\mathcal I\) for every set \(A\in\mathcal A\) containing \(E\). \(E\) is completely non-measurable in \(Q\), if \(E\) and \(Q\setminus E\) are full subsets of \(Q\). It is assumed that \(\mathcal A\setminus\mathcal I\) satisfies the countable chain condition and that \(X\) has the non-separation property with respect to \(\mathcal A\), i.e., every set \(A\notin\mathcal I\) has disjoint subsets which cannot be separated by a set from \(\mathcal A\). The main result of the paper states that every infinite set \(E\subseteq X\) decomposes into infinite number of disjoint completely non-measurable subsets of \(E\). This result generalizes two theorems of Sierpiński on the Lebesgue measure and the Baire category. The authors present several corollaries strengthening some classical results and discuss some related bibliographical and historical aspects.