任意抽出定理

【にんいちゅうしゅつていり (optional sampling theorem)】

$(\Omega ,{\mathcal {F}},P)\,$を確率空間, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \{ {\mathcal F}_t \}\,} を構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \mathcal F\,} の増大する部分$\sigma \,$--集合体族とし, $\{X_{t}\}\,$を$\{{\mathcal {F}}_{t}\}\,$に適合したマルチンゲールとする. このとき, 構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \tau, \sigma\,} が有界な停止時で, 確率1で$\sigma \leq \tau \,$を満たすならば,

構文解析に失敗 (MathML、ただし動作しない場合はSVGかPNGで代替（最新ブラウザーや補助ツールに推奨）: サーバー「https://en.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle E(X_\tau | {\mathcal F}_{\sigma}) = X_{\sigma} \,}

が成立する. これを, 任意抽出定理と呼ぶ.