[論文レビュー] Existence of measurable versions of stochastic processes

Kazimierz Musiał|arXiv (Cornell University)|Mar 6, 2026

Advanced Banach Space Theory被引用数 0

ひとこと要約

論文は、確率空間 Y に indexed される確率過程が、完成された skew-product 測度に関する同値可測版を持つのは必要十分条件を、リフティングと特定の拡張されたシグマ代数を用いて示す。 Talagrand の結果を古典的な直積測度の場合を超えて拡張している。

ABSTRACT

Let $(X, \mfA,P)$, $(Y, \mfB,Q)$ be two arbitrary probability spaces and $¶:=\{(\mfA,P_y):y\in{Y}\}$ be a regular conditional probability on $\mfA$ with respect to $Q$. Denote by $R$ the skew product of $P$ and $Q$ determined by $\{P_y:y\in{Y}\}$ on the product $σ$-algebra $\mfA\otimes\mfB$ and by $\wh{R}$ its completion. I prove that a process $\{ξ_y:y\in{Y}\}$ possesses an equivalent $\wh{R}$-measurable version if and only if it is measurable with respect to a certain particular $σ$-algebra, larger than $\mfA\otimes\mfB$ and uniquely determined by $¶$. It is known that not every process possesses an equivalent measurable version (cf. \cite[§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 imes{Q}$), provided $Y$ 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.

研究の動機と目的

• 確率空間 Y に indexed される確率過程が同値な可測版を持つかを、問題を動機づけて形式化する。
• 可測性を、直積 σ-代数より大きな特別に構築された σ-代数とリンクさせる必要十分条件を提供する。
• 正規条件付き確率設定の下で可測版を構築するリフティングベースの枠組みを開発する。

提案手法

• 確率空間上の正規条件付き確率と、それの完備化 hat{R} を持つ skew product 測度 R を定義する。
• nil-set σ-理想 M を含む enlarged σ-代数 A riangle B を導入し、R を R_{ riangle} へ拡張する。
• リフティングと定理1.2 からの特別なリフティングを用いて、y ごとに元の過程とほぼ確率的に同値となる可測版を構築する。
• 可測性と拡張された σ-代数に関する条件 (M1) ⇔ (M2) ⇔ (M3) の同値性を証明し、同値な可測版の存在と σ-代数構造、RCP フレームワークとの関係を明確にする。
• 適合的に生成されたリフティングを用いた構成的アプローチを提供し、修正された過程へ移る際に可測性が保持されることを保証する。
• 直接積測度へ拡張した議論を行い、ほぼ可分可測関数と一般化された Fubini 型の結果を議論する。

実験結果

リサーチクエスチョン

• RQ1 Y に indexed される確率過程が等価な R-measurable version を持つ条件は何か？
• RQ2 正規条件付き確率が存在する場合に、リフティングを用いて可測版を構築するにはどうするのか？
• RQ3 拡張された σ-代数（例: A riangle B）が過程の可測性確保に果たす役割は何か？
• RQ4 古典的な直積の場合 R = P × Q では理論はどのように特化するのか？
• RQ5 ほぼ分離可能可測関数に対して、一般化された Fubini 型の結果を得られるか？

主な発見

• 過程が同値な可測版を持つのは、それが直積 σ-代数と nil-set σ-理想から構成される拡張 σ-代数に対して可測であることと充足的に同値である場合に限る。
• リフティングに基づく構成で、y ごとに元の過程と等価な可測版を作成できる。
• 可測性条件 (M1)–(M3) の同値性は、可測版の存在と σ-代数構造および RCP フレームワークを結ぶ厳密な基準を提供する。
• 直接積の場合、nil-set 理想によって形成される拡張 σ-代数に対する可測性へと結果が翻訳され、特定の積分可能な関数に対して一般化された Fubini 型の関係が成り立つ。