Measure-category properties of Borel plane sets and Borel functions of two variables (Q624231)

The authors consider the Fubini-type product of ideals \(\mathcal{M}\otimes\mathcal{N}\) and \(\mathcal{N}\otimes\mathcal{M}\). (Here, \(\mathcal{N}\) and \(\mathcal{M}\) denote the ideals of Lebesgue null sets and meager sets on the real line.) In the first section, they prove that \(\mathcal{M}\otimes\mathcal{N}\) and \(\mathcal{N}\otimes\mathcal{M}\) are not invariant with respect to non-zero rotations. Section~2 contains a survey of regularity properties of those products. It is shown, in particular, that, for every Borel set \(B\subset\mathbb{R}^2\), there are an \(F_{\sigma}\) (a \(G_{\delta}\)) set \(D\subset\mathbb{R}^2\) and \(C\in\mathcal{N}\) (\(C\in\mathcal{M}\)) such that \(B\subset (C\times \mathbb{R})\cup D\) and \((D\setminus B)(x)\in\mathcal{M}\) (\((D\setminus B)(x)\in\mathcal{N}\)) for each \(x\in \mathbb{R}\setminus C\). In sections 3 and 4, the authors discuss uniform versions of the Nicodym theorem (Cor.~14: If \(f:\mathbb{R}^2\to\mathbb{R}\) is a Borel function, then there exist a set \(C\in\mathcal{M}\cap\mathcal{N}\) and a Borel set \(F\subset (\mathbb{R}\setminus C)\times\mathbb{R}\) such that for all \(x\in\mathbb{R}\setminus C\), the section \(F(x)\) is meager of type \(F_{\sigma}\) and \(f_x| (\mathbb{R}\setminus F(x))\) is continuous.) and the Lusin theorem (Thm.~19: If \(f:\mathbb{R}^2\to\mathbb{R}\) is a Borel function, then, for every \(\varepsilon>0\), there is an open set \(G\subset\mathbb{R}^2\) and \(C\in\mathcal{M}\) such that \(f| (((\mathbb{R}\setminus C)\times\mathbb{R})\setminus G)\) is continuous and \(\lambda(G(x))\leq\varepsilon\) for all \(x\in\mathbb{R}\setminus C\).).