English

Existence of measurable versions of stochastic processes

Probability 2026-03-09 v1

Abstract

Let (X,\mfA,P)(X, \mfA,P), (Y,\mfB,Q)(Y, \mfB,Q) be two arbitrary probability spaces and :={(\mfA,Py):yY}\P:=\{(\mfA,P_y):y\in{Y}\} be a regular conditional probability on \mfA\mfA with respect to QQ. Denote by RR the skew product of PP and QQ determined by {Py:yY}\{P_y:y\in{Y}\} on the product σ\sigma-algebra \mfA\mfB\mfA\otimes\mfB and by \whR\wh{R} its completion. I prove that a process {ξy:yY}\{\xi_y:y\in{Y}\} possesses an equivalent \whR\wh{R}-measurable version if and only if it is measurable with respect to a certain particular σ\sigma-algebra, larger than \mfA\mfB\mfA\otimes\mfB and uniquely determined by \P. It is known that not every process possesses an equivalent measurable version (cf. \cite[\S 19.5]{St}). My approach is essentially different from earlier trials. It reverts to \cite[Theorem 3]{ta1}, where Talagrand proved existence of an equivalent separable version of a measurable process (in case of R=P×QR=P\times{Q}), provided YY is endowed with a separable pseudometric. The theorem is a strong generalization of \cite[Theorem 6.1]{smm} and \cite[Theorem 5.1]{mms1} where it was proved only that a suitable class of liftings transfer a measurable process into a measurable process.

Keywords

Cite

@article{arxiv.2603.06175,
  title  = {Existence of measurable versions of stochastic processes},
  author = {Kazimierz Musiał},
  journal= {arXiv preprint arXiv:2603.06175},
  year   = {2026}
}

Comments

6 pages