Various products of category densities and liftings (Q1013811): Difference between revisions

In an earlier work [Topology Appl. 153, 1164--1191 (20006; Zbl 1087.54013)], the authors investigated, for the \(\sigma\)-algebra of sets with the Baire property, the existence of category liftings and densities in the product of two topological spaces \(X\) and \(Y\) such that \(X\times Y\) is Baire. In the present paper, the authors extend these results as follows: given densities \(\rho\), \(\sigma\) on \(X\) and \(Y\), respectively, they introduce two Fubini type products \(\rho\odot \sigma\) and \(\rho\boxdot \sigma\) on \(X\times Y\) and present a necessary and sufficient condition for \(\rho\odot \sigma\) to be a density. Moreover, provided \((X,Y)\) and \((Y,X)\) have the Kuratowskii-Ulam property, they prove for given category liftings \(\rho\) and \(\sigma\) on the factors the existence of a category lifting \(\pi\) on the product, dominating the density \(\rho\boxdot \sigma\) and such that \(\pi(A\times B)=\rho(A)\times \sigma(B)\) for Baire subsets \(A\) of \(X\) and \(B\) of \(Y\), and \(\rho([\pi(E)]^y)=[\pi(E)]^y\) for all \(y\in Y\) and Baire subsets \(B\) of \(X\times Y\). Adapting an example of D. H. Fremlin, it is also proved that, contrary to measure theoretical liftings, in case of Baire spaces there might exist countably additive liftings, thereby answering a question proposed by the authors [op. cit.].