Splitting of liftings in products of probability spaces

Abstract

We prove that if (X,\mathfrakA,P) is an arbitrary probability space with countably generated σ-algebra \mathfrakA, (Y,\mathfrakB,Q) is an arbitrary complete probability space with a lifting ρand \hat R is a complete probability measure on \mathfrakA \hat \otimes_R \mathfrakB determined by a regular conditional probability {S_y:y\in Y} on \mathfrakA with respect to \mathfrakB, then there exist a lifting πon (X\times Y,\mathfrakA \hat \otimes_R \mathfrakB,\hat R) and liftings σ_y on (X,\hat \mathfrakA_y,\hat S_y), y\in Y, such that, for every E\in\mathfrakA \hat \otimes_R \mathfrakB and every y\in Y, [π(E)]^y=σ_y\bigl([π(E)]^y\bigr). Assuming the absolute continuity of R with respect to P\otimes Q, we prove the existence of a regular conditional probability {T_y:y\in Y} and liftings \varpi on (X\times Y,\mathfrakA \hat \otimes_R \mathfrakB,\hat R), ρ' on (Y,\mathfrakB,\hat Q) and σ_y on (X,\hat \mathfrakA_y,\hat S_y), y\in Y, such that, for every E\in\mathfrakA \hat \otimes_R \mathfrakB and every y\in Y, [\varpi(E)]^y=σ_y\bigl([\varpi(E)]^y\bigr) and \varpi(A\times B)=\bigcup_{y\inρ'(B)}σ_y(A)\times{y}\qquadif A\times B\in\mathfrakA\times\mathfrakB. Both results are generalizations of Musiał, Strauss and Macheras [Fund. Math. 166 (2000) 281-303] to the case of measures which are not necessarily products of marginal measures. We prove also that liftings obtained in this paper always convert \hat R-measurable stochastic processes into their \hat R-measurable modifications.