📂確率論

測度論で定義される確率変数の条件付き期待値

定義

確率空間 $( \Omega , \mathcal{F} , P)$ が与えられているとしよう。

$\mathcal{G}$ が$\mathcal{F}$ の部分シグマ場であり、確率変数 $X \in \mathcal{L}^{1} ( \Omega )$ が可積分であるとする。全ての $A \in \mathcal{G}$ において $$\int_{A} Y d P = \int_{A} X d P$$ を満たす$\mathcal{G}$-可測確率変数 $Y$ が一意に存在する場合、$Y := E ( X | \mathcal{G} )$ を**$\mathcal{G}$ に関する $X$ の条件付き期待値**と定義する。

---

• 測度論に触れたことがなければ、確率空間という言葉を無視してもいいと言いたいが、測度論を全く知らないでこのポストの内容をきちんと理解することはほとんど不可能だ。
• $\mathcal{G}$ が$\mathcal{F}$ の部分シグマ場であるとは、二つとも$\Omega$ のシグマ場であり、$\mathcal{G} \subset \mathcal{F}$ であることを意味する。$Y$ が$\mathcal{G}$-可測関数であるとは、全てのボレル集合 $B \in \mathcal{B}(\mathbb{R})$ に対して$Y^{-1} (B) \in \mathcal{G}$ であるという意味だ。

説明

数式的定義から$\mathcal{G}$は元の確率空間$( \Omega , \mathcal{F} , P)$ほど広くなく、もう少し情報が与えられた確率空間$( \Omega , \mathcal{G} , P)$となる。従って $$\int_{A} X d P = \int_{A} Y d P = \int_{A} E ( X | \mathcal{G} ) d P$$ はその縮小された空間内では計算が同じであることを意味し、従って確率$P$を$\mathcal{F}$から$\mathcal{G}$へうまく引き下ろし、その性質を保持したと言える。

また、定義の形式から、$E ( X | \mathcal{G} )$は$\mathcal{G}$-可測確率変数として存在するので、期待値が確率変数であり、与えられたシグマ場に対して可測であることを当然受け入れるべきだ。

直感的に受け入れがたい定義ではないが、その表現が多少見慣れないものである。確率変数 $X$ について、$\sigma (X) := \left\{ X^{-1} (B) : B \in \mathcal{B}(\mathbb{R}) \right\}$ は $X$ によって生成される$\Omega$ の最小のシグマ場 $\sigma (X) \subset \mathcal{F}$ となり、以下のように慣れ親しんだ表現で述べられる。 $$E(Y|X) = E \left( Y | \sigma (X) \right)$$ もちろんこれで表現することは可能だが、測度に基づく確率論をこれからも学び続けるつもりであれば、この方向に慣れる方がずっと楽だ。考えてみれば、$E(Y|X)$ は概念的には直感的だが、数式を扱ったり直接計算をする際にはとても面倒な記法でもあった。惜しみなく手放そう。

一方、条件付き期待値の存在はラドン=ニコディム定理によって保証される。定理を理解することが鍵であり、証明自体は難しくない。

証明

ケース 1. $X \ge 0$

$$P_{\mathcal{G}}(A) := \int_{A} X d P$$ 全ての $A \in \mathcal{G}$ に対して$P_{\mathcal{G}}$を上記のように定義すると、$P_{\mathcal{G}}$は$\mathcal{G}$上の測度となり、$P_{G} \ll P$が成り立つ。

ラドン=ニコディム定理によれば、測度空間$( \Omega , \mathcal{F} )$の二つのシグマ有限測度$\nu$、$\mu$が$\nu \ll \mu$を満たす場合、全ての$A \in \mathcal{F}$に対して$\mu$-ほとんど至る所で$h \ge 0$であり、 $$\nu (A) = \int_{A} h d \mu$$ を満たす$\mathcal{F}$-可測関数$f$が$\mu$に従って一意に存在する。

定理に従って、$\nu = P_{\mathcal{G}}$、$\mu = P$とすると、全ての $A \in \mathcal{G}$ に対して $$P_{\mathcal{G}} (A) = \int_{A} Y d P$$ を満たす$Y \ge 0$が一意に存在する。はじめに$P_{\mathcal{G}}$の定義に従って、$Y$は$X$の$\mathcal{G}$に対する条件付き期待値となる。

---

ケース 2. 一般の場合

$X$ を二つの $X^{+} , X^{-} \ge 0$ に分解して、**ケース 1.**と同じ方法を使えばいい。

■