Products of special sets of real numbers (Q2501039)

Let \(\mathcal C\) denote the Cantor space. A family \({\mathcal P}\subset \widetilde{P}({\mathcal C})=\bigcup_{k\in\omega}P({\mathcal C}^n)\) is \(0\)-productive if it satisfies the following: for each \(k,l\) and \(X\in {\mathcal P}\cap {\mathcal C}^k\), if \(0\) is the zero element of \({\mathcal C}^l\), then \(X\times\{ 0\}\in {\mathcal P}\). \(\mathcal P\) is iso-productive if the following holds: for each \(k,l\), \(X\in {\mathcal P}\cap {\mathcal C}^k\), and a bi-Lipschitz measure-preserving group isomorphism \(\Phi: {\mathcal C}^k\to {\mathcal C}^l\), \(\Phi[X]\in {\mathcal P}\). \(\mathcal P\) is semiproductive if it is \(0\)-productive and iso-productive. The authors prove the following theorem. Assume that \({\mathcal I}, {\mathcal J}, {\mathcal K}\in \widetilde{P}({\mathcal C})\) such that \(\mathcal I\) and \(\mathcal J\) are semiproductive and \(\mathcal K\) is iso-productive. If for each \(X\in {\mathcal I}\cap P({\mathcal C})\), \(Y\in {\mathcal J}\cap P({\mathcal C})\), \(X+Y\in {\mathcal K}\), then for each \(X\in {\mathcal I}\), \(Y\in {\mathcal J}\), \(X\times Y\in {\mathcal K}\). This allows the authors to translate results on algebraic sums of sets of \(\mathcal C\) into the corresponding results on their Cartesian product. For example, the product of a meager/null-additive set and a strong measure zero/strongly meager set in \(\mathcal C\) has strong measure zero/is strongly meager, respectively.