Density topologies for products of \(\sigma\)-ideals (Q1890611)

The paper is devoted to the construction of two topologies on the plane generated by the lower density. If \(I\) and \(J\) are two sigma ideals of subsets of the real line, then \(I\times J\) is defined as the family of all subsets of the plane such that \(I\)-almost every section of this set belongs to \(J\). If \(I\neq J\), then, in general \(I\times J\neq J\times I\). The sigma algebra \(S\) is defined as the smallest sigma algebra containing plane Borel sets and \(I\times J\). The main result of the paper says that if \(I\) is the sigma ideal of null sets and \(J\) is a sigma ideal of meager sets (or conversely), then the operator defined according to the procedure described by the reviewer [Real Anal. Exch. 10(1984/85), 241- 265 (1985; Zbl 0593.26008)] is a lower density operator and generates a topology in the plane. In both cases the only difficult part is to prove that the analogue of the Lebesgue density theorem is true.