# 条件付き期待値：σ-加法族で条件づけ、ラドン・ニコディムで存在を保証する > 条件付き期待値をσ-加法族に対する概念として厳密に定義し、ラドン・ニコディムの定理による存在と一意性、タワー・プロパティ、既知量の取り出し、条件付きイェンセン不等式、L^2直交射影としての特徴づけまでを証明付きで解説する。 > https://rikai.mugen-giken.com/mathematics/probability/conditional-expectation ## 0. この記事の要点 - 条件付き期待値 $E[X \mid \mathcal{G}]$ は「事象で割り算した平均」ではなく、**部分 $\sigma$-加法族 $\mathcal{G}$ に対して定義される確率変数**です。$\mathcal{G}$ が「利用できる情報」を表し、$E[X \mid \mathcal{G}]$ はその情報だけを使った $X$ の最良の見積もりを表します。 - 定義は「$\mathcal{G}$-可測であり、かつ $\mathcal{G}$ に属するすべての事象の上で $X$ と同じ積分値をもつ」という 2 条件です。この 2 条件を満たす確率変数の存在は**ラドン・ニコディムの定理**から従い、一意性はほとんど確実の意味（版の違いを除いて一意）で成り立ちます。 - 基本性質のうち最も使われるのは**タワー・プロパティ** $E\bigl[E[X \mid \mathcal{G}_2] \mid \mathcal{G}_1\bigr] = E[X \mid \mathcal{G}_1]$（$\mathcal{G}_1 \subset \mathcal{G}_2$）と**既知量の取り出し** $E[ZX \mid \mathcal{G}] = Z\,E[X \mid \mathcal{G}]$（$Z$ は $\mathcal{G}$-可測）です。 - $X \in L^2$ のとき $E[X \mid \mathcal{G}]$ は $L^2(\Omega,\mathcal{G},P)$ への**直交射影**であり、平均二乗誤差を最小にする予測子です。回帰分析や機械学習で「条件付き期待値を推定する」という言い方をするのはこの意味です。 - $P(Y = y) = 0$ のような零確率事象での条件づけは、素朴な割り算では定義できません。$\sigma$-加法族による定式化はこの困難を、値ごとではなく**関数として一気に**定めることで回避します。 ## 1. 動機 ### 1.1. 割り算から始まる素朴な定義 確率論の入門では、条件付き確率を $$ P(A \mid B) = \frac{P(A \cap B)}{P(B)} \qquad (P(B) > 0) $$ で定義します。確率変数 $X$ の条件付き期待値も同じ流儀で $$ E[X \mid B] = \frac{E[X \mathbf{1}_B]}{P(B)} \qquad (P(B) > 0) $$ と定めます。これは「事象 $B$ が起きたと分かった世界に確率を制限し直して平均を取る」という操作で、直観にもよく合います。 ところがこの定義は $P(B) = 0$ のとき意味を失います。そして応用で本当に知りたいのは、まさにそういう場合であることが多いのです。たとえば $(X, Y)$ が同時密度をもつ連続型確率変数で、$Y$ の観測値が $y$ だったときの $X$ の平均、すなわち「$E[X \mid Y = y]$」を求めたいとします。しかし連続分布では任意の $y$ に対して $P(Y = y) = 0$ ですから、割り算の定義は一歩も進みません。 ### 1.2. 「値ごと」をやめて「関数として」定める 打開策は、条件を 1 つの値 $y$ に固定するのをやめることです。統計学の教科書では条件付き密度 $$ f_{X \mid Y}(x \mid y) = \frac{f_{X,Y}(x,y)}{f_Y(y)}, \qquad g(y) = \int_{\mathbb{R}} x\, f_{X \mid Y}(x \mid y)\, dx $$ を経由して $E[X \mid Y] = g(Y)$ と定めますが、この $g$ は $f_Y(y) = 0$ となる $y$ では定義されず、また $f_Y(y) > 0$ の範囲でも「$y$ ごとの値」には本質的な意味がありません。意味があるのは、$g$ が満たす次の関係式のほうです。任意のボレル集合 $B \subset \mathbb{R}$ に対して $$ \int_{\{Y \in B\}} g(Y)\, dP = \int_B g(y) f_Y(y)\, dy = \int_B \int_{\mathbb{R}} x f_{X,Y}(x,y)\, dx\, dy = E\bigl[X \mathbf{1}_B(Y)\bigr]. $$ つまり $g(Y)$ は、「$Y$ から作られるどの事象の上でも、$X$ と同じだけの積分を稼ぐ」という性質で特徴づけられます。密度は計算手段にすぎず、条件付き期待値の**本質はこの積分等式**なのです。 ### 1.3. 情報を $\sigma$-加法族で表す 上の等式に現れた事象 $\{Y \in B\}$ の全体は、$Y$ が生成する $\sigma$-加法族 $$ \sigma(Y) = \bigl\{\, \{Y \in B\} : B \in \mathcal{B}(\mathbb{R}) \,\bigr\} \subset \mathcal{F} $$ にほかなりません。$\sigma(Y)$ は「$Y$ の値を知っている観測者に判定できる事象の全体」であり、$\sigma$-加法族はこの意味で**情報の量**を表します。粗い $\sigma$-加法族は少ない情報、細かい $\sigma$-加法族は多くの情報に対応します。 そこで発想を逆転させます。特定の確率変数 $Y$ に固執せず、はじめから部分 $\sigma$-加法族 $\mathcal{G} \subset \mathcal{F}$ を「与えられた情報」とみなし、$E[X \mid \mathcal{G}]$ を定義してしまえばよい。これがコルモゴロフが 1933 年の『確率論の基礎概念』で採用した定式化です。この抽象化は単に一般的というだけでなく、時間とともに増えていく情報の列（フィルトレーション）を扱えるという決定的な利点をもち、マルチンゲール理論と確率積分の土台になります。
情報なし"] --> B["粗い情報 G1"] B --> C["細かい情報 G2"] C --> D["全情報 F"] A -.-> A2["定数 E[X]"] B -.-> B2["E[X∣G1]"] C -.-> C2["E[X∣G2]"] D -.-> D2["X 自身"]`} />
## 2. 準備 以下つねに $(\Omega, \mathcal{F}, P)$ を確率空間とします。確率空間と可測性の基本は [確率空間とコルモゴロフの公理](/mathematics/probability/probability-spaces) と [確率変数と期待値](/mathematics/probability/random-variables) を、積分と収束定理は [ルベーグ積分の定義と収束定理](/mathematics/real-analysis/lebesgue-integral) を前提とします。とくに は断りなく使います。 $\mathcal{G} \subset \mathcal{F}$ が**部分 $\sigma$-加法族**であるとは、$\mathcal{G}$ 自身が $\Omega$ 上の $\sigma$-加法族であり、かつ $\mathcal{G}$ の要素がすべて $\mathcal{F}$ に属することをいいます。確率変数 $Z$ が $\mathcal{G}$-**可測**であるとは、任意のボレル集合 $B$ に対して $\{Z \in B\} \in \mathcal{G}$ となることです。$X$ が**可積分**であるとは $E[|X|] < \infty$ をいい、その全体を $L^1 = L^1(\Omega,\mathcal{F},P)$ と書きます。 存在証明の要になるのが次の定理です。 $(\Omega, \mathcal{G})$ を可測空間、$\mu$ と $\nu$ をその上の $\sigma$-有限測度とする。$\nu$ が $\mu$ に関して**絶対連続**、すなわち $$ \mu(A) = 0 \implies \nu(A) = 0 \qquad (A \in \mathcal{G}) $$ が成り立つとする。このとき $\mathcal{G}$-可測な関数 $h : \Omega \to [0,\infty)$ が存在して $$ \nu(A) = \int_A h \, d\mu \qquad (\forall A \in \mathcal{G}) $$ が成り立つ。さらに $h$ は $\mu$-ほとんど至るところ一意である。 の証明は本記事では扱いません。ハーン分解を経由する証明が Billingsley『Probability and Measure』第 6 章に、ヒルベルト空間の射影を用いる短い証明（フォン・ノイマンによる）が Rudin『Real and Complex Analysis』第 6 章にあります。以下では $\mu = P|_{\mathcal{G}}$（$P$ を $\mathcal{G}$ に制限した確率測度）という有限測度の場合しか使いません。 もう一つ、$\sigma(Y)$-可測性の意味を明確にする補題を用意します。 $Y : \Omega \to \mathbb{R}$ を確率変数とする。実数値確率変数 $Z$ が $\sigma(Y)$-可測であることと、あるボレル可測関数 $g : \mathbb{R} \to \mathbb{R}$ が存在して $Z = g(Y)$ となることは同値である。 （十分性）$g$ がボレル可測なら、任意のボレル集合 $B$ に対して $\{g(Y) \in B\} = \{Y \in g^{-1}(B)\}$ であり、$g^{-1}(B)$ はボレル集合だから、これは $\sigma(Y)$ に属します。よって $g(Y)$ は $\sigma(Y)$-可測です。 （必要性）標準的な 3 段階の議論（いわゆる測度論の「標準機械」）で示します。 第 1 段階：$Z = \mathbf{1}_A$、$A \in \sigma(Y)$ の場合。$\sigma(Y)$ の定義より $A = \{Y \in B\}$ となるボレル集合 $B$ が存在し、$\mathbf{1}_A = \mathbf{1}_B(Y)$ です。$g = \mathbf{1}_B$ と取ればよい。 第 2 段階：$Z = \sum_{i=1}^n c_i \mathbf{1}_{A_i}$ が $\sigma(Y)$-可測な単関数の場合。各 $A_i = \{Y \in B_i\}$ と書けるので、$g = \sum_{i=1}^n c_i \mathbf{1}_{B_i}$ はボレル可測で $Z = g(Y)$ です。 第 3 段階：一般の $\sigma(Y)$-可測な $Z$。 より、$\sigma(Y)$-可測な単関数の列 $Z_n$ で各点 $Z_n \to Z$ となるものが取れます。第 2 段階より $Z_n = g_n(Y)$ なるボレル可測 $g_n$ があります。ここで $$ g(y) = \begin{cases} \limsup_{n \to \infty} g_n(y) & (\text{極限が有限のとき}) \\ 0 & (\text{それ以外}) \end{cases} $$ と定めると、$\limsup$ は可測関数の可算操作なので $g$ はボレル可測です。各 $\omega$ について $g_n(Y(\omega)) = Z_n(\omega) \to Z(\omega) \in \mathbb{R}$ ですから $\limsup_n g_n(Y(\omega)) = Z(\omega)$ は有限で、$g(Y(\omega)) = Z(\omega)$ が成り立ちます。 により、$\sigma(Y)$-可測な量とは「$Y$ の値だけで決まる量」だと言い切ってよいことが分かります。これが「$\mathcal{G}$-可測＝$\mathcal{G}$ の情報だけで値が決まる」という読み方の根拠です。 ## 3. 定義・存在・一意性 $(\Omega,\mathcal{F},P)$ を確率空間、$\mathcal{G} \subset \mathcal{F}$ を部分 $\sigma$-加法族、$X$ を可積分な確率変数（$E[|X|] < \infty$）とする。確率変数 $Y$ が次の 3 条件を満たすとき、$Y$ を $\mathcal{G}$ が与えられたときの $X$ の**条件付き期待値**とよび、$Y = E[X \mid \mathcal{G}]$ と書く。 1. $Y$ は $\mathcal{G}$-可測である。 2. $E[|Y|] < \infty$ である。 3. すべての $A \in \mathcal{G}$ に対して $\displaystyle \int_A Y \, dP = \int_A X \, dP$ が成り立つ。 $\mathcal{G} = \sigma(Y_1, \ldots, Y_n)$ のときは $E[X \mid Y_1,\ldots,Y_n]$ とも書く。 条件 1 は「答えは $\mathcal{G}$ の情報だけで書ける」という要求、条件 3 は「$\mathcal{G}$ で判定できるどの事象の上でも、平均としては $X$ と区別がつかない」という要求です。この 2 つがせめぎ合った結果として、$X$ を $\mathcal{G}$ の解像度まで粗視化したものが決まります。
C1["条件1: Y は G-可測
= G の情報だけで決まる"] X --> C3["条件3: 任意の A ∈ G で
∫A Y dP = ∫A X dP"] C1 --> Y["Y = E[X∣G]（ほとんど確実に一意）"] C3 --> Y`} />
$(\Omega,\mathcal{F},P)$ を確率空間、$\mathcal{G} \subset \mathcal{F}$ を部分 $\sigma$-加法族、$X$ を可積分な確率変数とする。このとき の 3 条件を満たす確率変数 $Y$ が存在する。さらに $Y, Y'$ がともに 3 条件を満たすならば $P(Y = Y') = 1$ である。 **（存在、$X \ge 0$ の場合）** $\mathcal{G}$ 上の集合関数 $$ \nu(A) = \int_A X \, dP \qquad (A \in \mathcal{G}) $$ を考えます。まず $\nu$ が $(\Omega,\mathcal{G})$ 上の測度であることを確かめます。$\nu(\emptyset) = 0$ は明らかです。$A = \bigsqcup_{n \ge 1} A_n$（$A_n \in \mathcal{G}$、互いに素）とすると、部分和 $X \mathbf{1}_{A_1 \cup \cdots \cup A_n}$ は $n$ について単調増加で $X \mathbf{1}_A$ に各点収束するので、 より $$ \nu(A) = \int X\mathbf{1}_A \, dP = \lim_{n\to\infty} \sum_{k=1}^n \int X \mathbf{1}_{A_k}\, dP = \sum_{k=1}^\infty \nu(A_k) $$ となり、可算加法性が成り立ちます。また $\nu(\Omega) = E[X] < \infty$ なので $\nu$ は有限測度です。 次に絶対連続性です。$A \in \mathcal{G}$ が $P(A) = 0$ を満たすとすると、$X \mathbf{1}_A = 0$ が $P$-ほとんど確実に成り立つので $\nu(A) = \int_A X \, dP = 0$ です。よって $\nu \ll P|_{\mathcal{G}}$ です。$\nu$ も $P|_{\mathcal{G}}$ も有限測度、したがって $\sigma$-有限ですから、 を可測空間 $(\Omega,\mathcal{G})$ 上で適用できて、$\mathcal{G}$-可測な $Y \ge 0$ が存在し $$ \int_A X \, dP = \nu(A) = \int_A Y \, dP \qquad (\forall A \in \mathcal{G}) $$ が成り立ちます。$A = \Omega$ と取れば $E[Y] = E[X] < \infty$ なので $Y$ は可積分です。これで 3 条件がすべて確かめられました。 **（存在、一般の $X$）** $X = X^+ - X^-$ と正負に分解します。$0 \le X^\pm \le |X|$ より $X^\pm$ はともに非負可積分なので、前段より $Y^\pm = E[X^\pm \mid \mathcal{G}]$ が取れます。$Y = Y^+ - Y^-$ は $\mathcal{G}$-可測な確率変数の差なので $\mathcal{G}$-可測、$E[|Y|] \le E[Y^+] + E[Y^-] = E[X^+] + E[X^-] = E[|X|] < \infty$ より可積分、そして $A \in \mathcal{G}$ に対し $$ \int_A Y \, dP = \int_A Y^+ dP - \int_A Y^- dP = \int_A X^+ dP - \int_A X^- dP = \int_A X \, dP $$ （各項が有限なので差が取れます）が成り立ちます。 **（一意性）** $Y, Y'$ がともに 3 条件を満たすとします。$\varepsilon > 0$ に対し $A_\varepsilon = \{Y - Y' \ge \varepsilon\}$ とおくと、$Y$ と $Y'$ がともに $\mathcal{G}$-可測だから $Y - Y'$ も $\mathcal{G}$-可測であり、$A_\varepsilon \in \mathcal{G}$ です。両者とも可積分なので差の積分が分解でき、条件 3 より $$ \int_{A_\varepsilon} (Y - Y')\, dP = \int_{A_\varepsilon} X\, dP - \int_{A_\varepsilon} X \, dP = 0 . $$ 一方 $A_\varepsilon$ の上では $Y - Y' \ge \varepsilon$ なので $\int_{A_\varepsilon}(Y-Y')\,dP \ge \varepsilon P(A_\varepsilon)$ です。両者を合わせて $\varepsilon P(A_\varepsilon) \le 0$、すなわち $P(A_\varepsilon) = 0$ を得ます。$\varepsilon = 1/n$ として $$ P(Y > Y') = P\Bigl(\bigcup_{n \ge 1} A_{1/n}\Bigr) \le \sum_{n\ge 1} P(A_{1/n}) = 0 $$ （可算劣加法性）。$Y$ と $Y'$ の役割を入れ替えれば $P(Y' > Y) = 0$ も得られ、$P(Y = Y') = 1$ が従います。 一意性は「ほとんど確実に」の意味でしかありません。条件を満たす確率変数それぞれを $E[X \mid \mathcal{G}]$ の**版（version）** とよびます。したがって $E[X \mid \mathcal{G}]$ を含む等式・不等式はすべて「$P$-ほとんど確実に」と読んでください。以下ではこの断り書きを毎回は書きません。 $A \in \mathcal{F}$ に対し、$\mathcal{G}$ が与えられたときの**条件付き確率**を $P(A \mid \mathcal{G}) = E[\mathbf{1}_A \mid \mathcal{G}]$ で定める。$\mathbf{1}_A$ は有界なので可積分であり、 により定義が意味をもつ。 $\mathcal{G} = \{\emptyset, \Omega\}$（自明な $\sigma$-加法族）のとき、$\mathcal{G}$-可測な確率変数は定数に限ります。実際、$Y$ が $\mathcal{G}$-可測なら任意のボレル集合 $B$ について $\{Y \in B\}$ は $\emptyset$ か $\Omega$ であり、これは $Y$ が定数であることを意味します。定数を $c$ とすると条件 3 を $A = \Omega$ に対して使って $c = E[X]$ を得ます。よって $E[X \mid \{\emptyset,\Omega\}] = E[X]$ です。「情報がなければ全体平均」という当たり前の内容が、定義から出てきました。 逆に $\mathcal{G} = \mathcal{F}$ のときは $Y = X$ 自身が 3 条件を満たすので、$E[X \mid \mathcal{F}] = X$ です。「すべてを知っていれば予測は不要」に対応します。 $\Omega = \bigsqcup_{n \ge 1} B_n$ を可算分割とし、すべての $n$ で $P(B_n) > 0$ とします。$\mathcal{G} = \sigma(B_1, B_2, \ldots)$ は、各 $B_n$ の和集合として書ける集合の全体です。このとき $$ Y = \sum_{n \ge 1} \frac{E[X \mathbf{1}_{B_n}]}{P(B_n)} \mathbf{1}_{B_n} $$ が $E[X \mid \mathcal{G}]$ の版であることを確かめます。$Y$ は各 $B_n$ 上で定数なので $\mathcal{G}$-可測です。可積分性は $E[|Y|] \le \sum_n \frac{E[|X|\mathbf{1}_{B_n}]}{P(B_n)} P(B_n) = E[|X|] < \infty$ から従います。最後に $A \in \mathcal{G}$ を取ると $A = \bigsqcup_{n \in I} B_n$（ある添字集合 $I$）と書けるので $$ \int_A Y \, dP = \sum_{n \in I} \frac{E[X\mathbf{1}_{B_n}]}{P(B_n)} P(B_n) = \sum_{n \in I} E[X \mathbf{1}_{B_n}] = E[X \mathbf{1}_A] = \int_A X\, dP $$ となります（項別の和と積分の交換は $\sum_n E[|X|\mathbf{1}_{B_n}] = E[|X|] < \infty$ による ）。$B_n$ の上での $Y$ の値はまさに §1.1 の $E[X \mid B_n]$ ですから、新しい定義は初等的な定義の拡張になっています。 $(X,Y)$ が同時密度 $f_{X,Y}$ をもち、$E[|X|] < \infty$ とします。$Y$ の周辺密度を $f_Y(y) = \int_{\mathbb{R}} f_{X,Y}(x,y)\,dx$ とし $$ g(y) = \begin{cases} \dfrac{1}{f_Y(y)}\displaystyle\int_{\mathbb{R}} x f_{X,Y}(x,y)\, dx & (f_Y(y) > 0) \\[2mm] 0 & (f_Y(y) = 0)\end{cases} $$ と定めます。$g$ はボレル可測（フビニの定理により $y \mapsto \int x f_{X,Y}(x,y)dx$ は可測）なので $g(Y)$ は $\sigma(Y)$-可測です。$\sigma(Y)$ の任意の元は $\{Y \in B\}$（$B$ はボレル集合）の形なので、条件 3 を確かめるには $$ \int_{\{Y \in B\}} g(Y)\, dP = \int_B g(y) f_Y(y)\, dy = \int_B \Bigl(\int_{\mathbb{R}} x f_{X,Y}(x,y)\, dx\Bigr) dy = E[X \mathbf{1}_B(Y)] $$ を見ればよく、最初の等号は $Y$ の像測度への変換、次の等号は $g$ の定義（$f_Y(y)=0$ となる $y$ の集合は $\{Y\in B\}$ の確率に寄与しません）、最後はフビニの定理です。可積分性も同じ計算を $|x|$ に対して行えば $E[|g(Y)|] \le E[|X|] < \infty$ から従います。よって $E[X \mid Y] = g(Y)$ であり、統計学の条件付き密度による公式が正当化されました。 の $g$ は $f_Y(y) = 0$ の集合の上で自由に取り替えられます。より深刻なことに、$P(Y = y) = 0$ である以上「$E[X \mid Y = y]$ の値」そのものには絶対的な意味がありません。同じ零確率事象を異なる確率変数の値として表すと違う答えが出る現象は**ボレル・コルモゴロフのパラドックス**とよばれ、たとえば球面上の一様分布を「経線に沿って条件づける」か「大円で条件づける」かで結果が変わることが知られています。$\sigma$-加法族による定義は、値ごとの意味づけを放棄し関数全体としての一意性だけを主張することで、この混乱を避けています。 ## 4. 基本性質 以下 $X, X_1, X_2$ は可積分、$\mathcal{G}, \mathcal{G}_1, \mathcal{G}_2$ は $\mathcal{F}$ の部分 $\sigma$-加法族とします。証明の型はすべて同じで、「右辺の候補が の 3 条件を満たすことを確かめ、 の一意性で結論する」というものです。この型を一度身につけると、条件付き期待値の計算はほとんど機械的になります。 1. （線形性）$a, b \in \mathbb{R}$ に対し $E[aX_1 + bX_2 \mid \mathcal{G}] = a E[X_1 \mid \mathcal{G}] + b E[X_2 \mid \mathcal{G}]$。 2. （単調性）$X_1 \le X_2$ がほとんど確実に成り立つならば $E[X_1 \mid \mathcal{G}] \le E[X_2 \mid \mathcal{G}]$ がほとんど確実に成り立つ。 3. （絶対値）$\bigl|E[X \mid \mathcal{G}]\bigr| \le E[|X| \mid \mathcal{G}]$ がほとんど確実に成り立ち、とくに $E\bigl[\,\bigl|E[X\mid\mathcal{G}]\bigr|\,\bigr] \le E[|X|]$。 **1.** $Y_i = E[X_i \mid \mathcal{G}]$ とおき、$Z = aY_1 + bY_2$ を候補とします。$\mathcal{G}$-可測関数の線形結合は $\mathcal{G}$-可測なので条件 1 が成り立ちます。$E[|Z|] \le |a|E[|Y_1|] + |b|E[|Y_2|] < \infty$ より条件 2。$A \in \mathcal{G}$ に対し、積分の線形性と各 $Y_i$ の条件 3 から $$ \int_A Z\, dP = a\int_A Y_1\, dP + b \int_A Y_2 \,dP = a\int_A X_1 \,dP + b\int_A X_2\, dP = \int_A (aX_1+bX_2)\,dP $$ なので条件 3。 の一意性より主張が従います。 **2.** $Y_i = E[X_i\mid\mathcal{G}]$ とし、$\varepsilon > 0$ に対し $A = \{Y_1 - Y_2 \ge \varepsilon\} \in \mathcal{G}$ とおきます（$Y_1 - Y_2$ が $\mathcal{G}$-可測だから）。条件 3 より $$ \int_A (Y_1 - Y_2)\, dP = \int_A (X_1 - X_2)\, dP \le 0 $$ （最後の不等号は $X_1 \le X_2$ がほとんど確実だから）。他方 $\int_A (Y_1-Y_2)\,dP \ge \varepsilon P(A)$ なので $P(A) = 0$ です。$\varepsilon = 1/n$ について和を取れば $P(Y_1 > Y_2) = 0$ を得ます。 **3.** $-|X| \le X \le |X|$ に 2 と 1 を適用すると $-E[|X| \mid \mathcal{G}] \le E[X\mid\mathcal{G}] \le E[|X|\mid\mathcal{G}]$ となり、最初の主張を得ます（3 つの不等式それぞれが確率 1 で成り立つので、その共通部分も確率 1 です）。両辺の期待値を取り、$E\bigl[E[|X| \mid \mathcal{G}]\bigr] = E[|X|]$（条件 3 で $A = \Omega$）を使えば後半が出ます。 $\mathcal{G}_1 \subset \mathcal{G}_2 \subset \mathcal{F}$ を部分 $\sigma$-加法族、$X$ を可積分とする。このとき $$ E\bigl[E[X \mid \mathcal{G}_2] \,\big|\, \mathcal{G}_1\bigr] = E[X \mid \mathcal{G}_1], \qquad E\bigl[E[X \mid \mathcal{G}_1] \,\big|\, \mathcal{G}_2\bigr] = E[X \mid \mathcal{G}_1] $$ がほとんど確実に成り立つ。とくに $\mathcal{G}_1 = \{\emptyset,\Omega\}$ と取れば $E\bigl[E[X\mid\mathcal{G}_2]\bigr] = E[X]$ である。 **第 1 式。** $Y_2 = E[X \mid \mathcal{G}_2]$、$Z = E[X \mid \mathcal{G}_1]$ とおき、$Z$ が $E[Y_2 \mid \mathcal{G}_1]$ の 3 条件を満たすことを示します。条件 1（$\mathcal{G}_1$-可測）と条件 2（可積分）は $Z$ の定義そのものです。条件 3 を見ます。$A \in \mathcal{G}_1$ とすると、仮定 $\mathcal{G}_1 \subset \mathcal{G}_2$ より $A \in \mathcal{G}_2$ でもあります。したがって $$ \int_A Z \, dP \overset{(Z\text{ の条件 }3)}{=} \int_A X\, dP \overset{(Y_2\text{ の条件 }3,\ A\in\mathcal{G}_2)}{=} \int_A Y_2\, dP $$ となり、条件 3 が確かめられました。 の一意性より $E[Y_2 \mid \mathcal{G}_1] = Z$ です。 **第 2 式。** $Z = E[X\mid\mathcal{G}_1]$ は $\mathcal{G}_1$-可測であり、$\mathcal{G}_1 \subset \mathcal{G}_2$ だから $\mathcal{G}_2$-可測でもあります。$\mathcal{G}_2$-可測な可積分確率変数 $Z$ に対して $E[Z \mid \mathcal{G}_2] = Z$ であること（ の後半と同じ理由で、$Z$ 自身が 3 条件を満たします）から結論します。 **最後の主張。** $\{\emptyset,\Omega\} \subset \mathcal{G}_2$ に第 1 式を適用し、 により $E[\,\cdot \mid \{\emptyset,\Omega\}] = E[\,\cdot\,]$ であることを使います。 タワー・プロパティは「粗い情報で見るなら、途中で細かい情報を経由してもしなくても同じ」と読めます。実務では最後の等式 $E\bigl[E[X \mid \mathcal{G}]\bigr] = E[X]$ が「条件づけて計算し、あとで平均を取る」という定石として使われます。 がその典型例です。 次の性質を証明するために、条件付き期待値版の単調収束定理を先に用意します。 $0 \le X_n \uparrow X$ がほとんど確実に成り立ち、$X$ が可積分であるとする。このとき $E[X_n \mid \mathcal{G}] \uparrow E[X \mid \mathcal{G}]$ がほとんど確実に成り立つ。 $Y_n = E[X_n \mid \mathcal{G}]$ の版を 1 つずつ固定します（$0 \le X_n \le X$ より各 $X_n$ は可積分です）。 の単調性より、各 $n$ について $P(Y_n \le Y_{n+1}) = 1$ です。これらの可算個の確率 1 の事象の共通部分 $\Omega_0$ もまた確率 1 をもち、$\Omega_0$ 上で列 $(Y_n)$ は単調増加です。そこで $\omega \in \Omega_0$ では $Y(\omega) = \lim_n Y_n(\omega) \in [0,\infty]$、$\omega \notin \Omega_0$ では $Y(\omega) = 0$ と定めると、$Y$ は $\mathcal{G}$-可測です（$\Omega_0$ は $\mathcal{G}$-可測な集合の可算共通部分として取れます）。 $A \in \mathcal{G}$ に対し、左辺・右辺それぞれに（通常の）単調収束定理を使うと $$ \int_A Y \, dP = \lim_{n\to\infty} \int_A Y_n \, dP = \lim_{n \to \infty} \int_A X_n \, dP = \int_A X \, dP $$ を得ます。中央の等号は $Y_n$ の条件 3 です。$A = \Omega$ とすると $E[Y] = E[X] < \infty$ なので $Y$ はほとんど確実に有限値で可積分です。よって $Y$ は 3 条件を満たし、 より $Y = E[X\mid\mathcal{G}]$ です。 $Z$ を $\mathcal{G}$-可測な確率変数とし、$X$ と $ZX$ がともに可積分であるとする。このとき $$ E[ZX \mid \mathcal{G}] = Z \, E[X \mid \mathcal{G}] $$ がほとんど確実に成り立つ。 まず $X \ge 0$ かつ $Z \ge 0$ の場合を、標準機械で示します。 **第 1 段階：$Z = \mathbf{1}_B$、$B \in \mathcal{G}$。** 候補 $\mathbf{1}_B E[X\mid\mathcal{G}]$ は $\mathcal{G}$-可測な関数の積なので $\mathcal{G}$-可測、$|\mathbf{1}_B E[X\mid\mathcal{G}]| \le E[X \mid \mathcal{G}]$ より可積分です。$A \in \mathcal{G}$ に対して $A \cap B \in \mathcal{G}$（$\sigma$-加法族は共通部分で閉じる）なので $$ \int_A \mathbf{1}_B E[X\mid\mathcal{G}]\, dP = \int_{A \cap B} E[X\mid\mathcal{G}]\,dP = \int_{A\cap B} X \, dP = \int_A \mathbf{1}_B X \, dP $$ となり、3 条件が満たされます。 **第 2 段階：$Z = \sum_{i=1}^n c_i \mathbf{1}_{B_i}$（$c_i \ge 0$、$B_i \in \mathcal{G}$）。** の線形性と第 1 段階から直ちに従います。 **第 3 段階：一般の $\mathcal{G}$-可測 $Z \ge 0$。** $\mathcal{G}$-可測な非負単関数の列 $Z_n \uparrow Z$ を取ります（可測関数の標準近似）。すると $0 \le Z_n X \uparrow ZX$ で $ZX$ は可積分なので、 より $E[Z_n X \mid \mathcal{G}] \uparrow E[ZX\mid\mathcal{G}]$ です。他方、第 2 段階より $E[Z_nX \mid \mathcal{G}] = Z_n E[X\mid\mathcal{G}]$ であり、右辺は $Z E[X\mid\mathcal{G}]$ に単調収束します（$E[X\mid\mathcal{G}] \ge 0$ に注意）。極限の一意性から $E[ZX\mid\mathcal{G}] = ZE[X\mid\mathcal{G}]$ です。 **一般の場合。** $Z = Z^+ - Z^-$、$X = X^+ - X^-$ と分解し、4 つの積 $Z^\pm X^\pm$ に第 3 段階を適用します。$|Z^\pm X^\pm| \le |ZX|$ が可積分なので各項の条件付き期待値が定義でき、 の線形性で組み直せば主張を得ます。 $X$ が可積分で、$\sigma(X)$ と $\mathcal{G}$ が独立、すなわち任意の $B \in \sigma(X)$ と $A \in \mathcal{G}$ について $P(A \cap B) = P(A)P(B)$ が成り立つとする。このとき $E[X \mid \mathcal{G}] = E[X]$ である。 定数 $c = E[X]$ が 3 条件を満たすことを示します。定数は任意の $\sigma$-加法族について可測で、$E[|c|] = |E[X]| < \infty$ です。$A \in \mathcal{G}$ を取ると、$\mathbf{1}_A$ は $\mathcal{G}$-可測、$X$ は $\sigma(X)$-可測で両者は独立ですから、 より $$ \int_A X \, dP = E[\mathbf{1}_A X] = E[\mathbf{1}_A]\,E[X] = P(A)\,E[X] = \int_A c \, dP $$ が成り立ちます。 より結論します。 $\varphi : \mathbb{R} \to \mathbb{R}$ を凸関数、$X$ を可積分で $\varphi(X)$ も可積分とする。このとき $$ \varphi\bigl(E[X \mid \mathcal{G}]\bigr) \le E[\varphi(X) \mid \mathcal{G}] $$ がほとんど確実に成り立つ。 凸関数 $\varphi$ は各点で支持直線をもちます。実際、$\varphi$ の右微分 $\varphi'_+(q)$ が任意の $q$ で存在し、凸性より $$ \varphi(x) \ge \varphi(q) + \varphi'_+(q)(x - q) \qquad (\forall x \in \mathbb{R}) $$ が成り立ちます。$a_q = \varphi'_+(q)$、$b_q = \varphi(q) - q\varphi'_+(q)$ と書けば $\varphi(x) \ge a_q x + b_q$ です。さらに $x$ を固定して $q \to x$（$q$ は有理数）とすると、凸関数は連続なので右辺は $\varphi(x)$ に収束します。よって $$ \varphi(x) = \sup_{q \in \mathbb{Q}} (a_q x + b_q) $$ という**可算個**の一次関数の上限表示を得ます。可算性が本質的で、これにより零集合の合併が可算個で済みます。 各 $q \in \mathbb{Q}$ について $\varphi(X) \ge a_q X + b_q$ なので、 の単調性と線形性から $$ E[\varphi(X)\mid\mathcal{G}] \ge a_q E[X\mid\mathcal{G}] + b_q \quad \text{a.s.} $$ が成り立ちます。この確率 1 の事象を $q$ について可算個交わらせた事象 $\Omega_1$ もまた確率 1 をもち、$\Omega_1$ 上では全ての $q$ で同時に上の不等式が成り立ちます。したがって $\Omega_1$ 上で $q$ について上限を取れば $$ E[\varphi(X)\mid\mathcal{G}] \ge \sup_{q\in\mathbb{Q}}\bigl(a_q E[X\mid\mathcal{G}] + b_q\bigr) = \varphi\bigl(E[X\mid\mathcal{G}]\bigr) $$ を得ます。 $1 \le p < \infty$ とし $X \in L^p(\Omega,\mathcal{F},P)$ とする。このとき $E[X \mid \mathcal{G}] \in L^p$ であり $$ \bigl\| E[X\mid\mathcal{G}] \bigr\|_p \le \|X\|_p . $$ すなわち条件付き期待値は $L^p$ 上の縮小作用素である。 $\varphi(x) = |x|^p$ は $p \ge 1$ のとき凸です。$P$ が有限測度なので より $L^p \subset L^1$ であり $X$ は可積分、また $\varphi(X) = |X|^p$ も仮定より可積分です。 より $$ \bigl|E[X\mid\mathcal{G}]\bigr|^p \le E\bigl[|X|^p \,\big|\, \mathcal{G}\bigr] \quad \text{a.s.} $$ 両辺の期待値を取り、 の最後の等式を右辺に適用すると $E\bigl[|E[X\mid\mathcal{G}]|^p\bigr] \le E[|X|^p]$ となります。$p$ 乗根を取れば主張を得ます。 ## 5. 二乗可積分な場合：直交射影としての条件付き期待値 $L^2$ に限ると、条件付き期待値は幾何学的にきわめて明快な意味をもちます。$L^2(\Omega,\mathcal{F},P)$ は内積 $\langle X, Y\rangle = E[XY]$ をもつヒルベルト空間であり（）、$L^2(\Omega,\mathcal{G},P)$（$\mathcal{G}$-可測な二乗可積分確率変数の全体）はその閉部分空間です。詳しくは [L^p 空間と関数解析への導入](/mathematics/real-analysis/lp-spaces) を参照してください。 $X \in L^2(\Omega,\mathcal{F},P)$ とし $\hat{X} = E[X\mid\mathcal{G}]$ とおく。このとき次が成り立つ。 1. $\hat{X} \in L^2(\Omega,\mathcal{G},P)$ である。 2. 任意の $W \in L^2(\Omega,\mathcal{G},P)$ に対し $E\bigl[(X - \hat{X})W\bigr] = 0$、すなわち $X - \hat{X}$ は $L^2(\Omega,\mathcal{G},P)$ と直交する。 3. 任意の $W \in L^2(\Omega,\mathcal{G},P)$ に対し $E\bigl[(X-W)^2\bigr] = E\bigl[(X-\hat{X})^2\bigr] + E\bigl[(\hat{X}-W)^2\bigr]$。とくに $E[(X-W)^2]$ は $W = \hat{X}$ で最小になり、最小化する $W$ はほとんど確実に一意である。 **1.** を $p = 2$ に適用すれば $\|\hat X\|_2 \le \|X\|_2 < \infty$ です。$\hat X$ は $\mathcal{G}$-可測なので $\hat X \in L^2(\Omega,\mathcal{G},P)$ です。 **2.** $W \in L^2(\Omega,\mathcal{G},P)$ とします。コーシー・シュワルツの不等式より $E[|XW|] \le \|X\|_2\|W\|_2 < \infty$ なので $XW$ は可積分です。$W$ は $\mathcal{G}$-可測なので が使えて $E[XW \mid \mathcal{G}] = W\hat{X}$、さらに の最後の等式より $$ E[XW] = E\bigl[E[XW\mid\mathcal{G}]\bigr] = E[W\hat{X}] . $$ 移項すれば $E[(X - \hat X)W] = 0$ です。 **3.** $X - W = (X - \hat X) + (\hat X - W)$ と分解します。1 より $\hat X - W \in L^2(\Omega,\mathcal{G},P)$ なので、2 を $\hat X - W$ に適用して交差項が消えます。 $$ E[(X-W)^2] = E[(X-\hat X)^2] + 2\underbrace{E[(X-\hat X)(\hat X - W)]}_{=\,0} + E[(\hat X - W)^2] . $$ 第 3 項は非負なので $E[(X-W)^2] \ge E[(X-\hat X)^2]$ で、等号成立は $E[(\hat X - W)^2] = 0$ すなわち $W = \hat X$ がほとんど確実に成り立つときに限ります。
X E[X | G] 誤差 X − E[X | G] L²(Ω, G, P) 0
は、条件付き期待値の**別の構成法**も示唆します。$L^2(\Omega,\mathcal{G},P)$ が閉部分空間であることを確かめれば、ヒルベルト空間の射影定理から直ちに射影 $\hat X$ が存在し、直交性から の条件 3 が（$W = \mathbf{1}_A$ と取って）出ます。この $L^2$ 上の作用素は により $L^1$ ノルムでも縮小的なので、$L^2$ が $L^1$ で稠密であることを使って $L^1$ 全体へ一意に連続拡張できます。ラドン・ニコディムの定理を使わない道筋ですが、代わりに射影定理と稠密性の議論が必要になります。どちらを本筋に選ぶかは教科書によって分かれます。 $X \in L^2$ に対し $\operatorname{Var}(X \mid \mathcal{G}) = E[X^2 \mid \mathcal{G}] - \bigl(E[X\mid\mathcal{G}]\bigr)^2$ を**条件付き分散**とよぶ。 を $\varphi(x)=x^2$ に適用すると、これはほとんど確実に非負である。 $(X,Y)$ が二次元正規分布に従い、$E[X]=\mu_X$、$E[Y]=\mu_Y$、$\operatorname{Var}(X)=\sigma_X^2 > 0$、$\operatorname{Var}(Y)=\sigma_Y^2>0$、相関係数を $\rho$ とします。$E[X \mid Y]$ を求めます。 $$ Z = X - \mu_X - \rho\frac{\sigma_X}{\sigma_Y}(Y - \mu_Y) $$ とおきます。$Z$ と $Y$ は $(X,Y)$ の一次結合なので $(Z, Y)$ もまた二次元正規分布に従います。共分散を計算すると $$ \operatorname{Cov}(Z, Y) = \operatorname{Cov}(X,Y) - \rho\frac{\sigma_X}{\sigma_Y}\operatorname{Var}(Y) = \rho\sigma_X\sigma_Y - \rho\frac{\sigma_X}{\sigma_Y}\sigma_Y^2 = 0 $$ です。同時正規分布では無相関と独立が同値なので、$Z$ と $Y$ は独立です。したがって $\sigma(Z)$ と $\sigma(Y)$ は独立で、 より $E[Z\mid Y] = E[Z] = 0$ です。一方 $\mu_X + \rho\frac{\sigma_X}{\sigma_Y}(Y-\mu_Y)$ は $\sigma(Y)$-可測なので、（あるいは の第 2 式）より条件付き期待値はそれ自身です。 の線形性で足し合わせると $$ E[X \mid Y] = \mu_X + \rho\frac{\sigma_X}{\sigma_Y}(Y - \mu_Y) . $$ 正規分布では条件付き期待値が $Y$ の一次関数になります。線形回帰モデルが正規性の仮定のもとで自然に現れるのはこのためです。同様に $\operatorname{Var}(X\mid Y) = \operatorname{Var}(Z) = \sigma_X^2(1-\rho^2)$ は $Y$ に依らない定数になります。 $X_1, \ldots, X_n$ を独立同分布で可積分な確率変数とし、$S_n = X_1 + \cdots + X_n$ とおきます。このとき $$ E[X_1 \mid S_n] = \frac{S_n}{n} $$ が成り立ちます。証明します。$\sigma(S_n)$-可測性より を使って $E[X_i \mid S_n] = g_i(S_n)$（$g_i$ はボレル可測）と書けます。独立同分布性から $(X_i, S_n)$ の同時分布は $i$ によらず $(X_1,S_n)$ の同時分布と一致します（$X_1,\ldots,X_n$ を入れ替える置換は同時分布を保ち、$S_n$ を不変にします）。したがって任意のボレル集合 $B$ について $$ \int_B g_i \, d\mu_{S_n} = E[X_i \mathbf{1}_B(S_n)] = E[X_1\mathbf{1}_B(S_n)] = \int_B g_1 \, d\mu_{S_n} $$ （$\mu_{S_n}$ は $S_n$ の分布）が成り立つので、 の一意性より $g_i = g_1$ が $\mu_{S_n}$-ほとんど至るところ成り立ち、$E[X_i \mid S_n] = E[X_1 \mid S_n]$ です。あとは の線形性と、$S_n$ が $\sigma(S_n)$-可測であることから $$ n\, E[X_1 \mid S_n] = \sum_{i=1}^n E[X_i \mid S_n] = E[S_n \mid S_n] = S_n $$ となり、両辺を $n$ で割れば結論を得ます。この計算は、逆向きに時間を進める（$n$ を増やしていく）マルチンゲールの典型例で、大数の強法則の別証明にも使われます。詳しくは [マルチンゲールとブラウン運動](/mathematics/probability/martingales-and-brownian-motion) を参照してください。 ## 6. 演習 $\Omega = [0,1]$、$\mathcal{F}$ をボレル $\sigma$-加法族、$P$ をルベーグ測度とし、$X(\omega) = \omega^2$ とする。$\mathcal{G} = \sigma\bigl(\{[0,1/2),\,[1/2,1]\}\bigr)$ に対し $E[X\mid\mathcal{G}]$ を求め、$E\bigl[E[X\mid\mathcal{G}]\bigr] = E[X]$ を確かめよ。 $\mathcal{G} = \{\emptyset, [0,1/2), [1/2,1], [0,1]\}$ は可算（有限）分割から生成されるので の公式が使えます。$B_1 = [0,1/2)$、$B_2 = [1/2,1]$ とすると $P(B_1)=P(B_2)=1/2$ で $$ \frac{E[X\mathbf{1}_{B_1}]}{P(B_1)} = 2\int_0^{1/2}\omega^2 \,d\omega = 2\cdot\frac{1}{3}\Bigl(\frac{1}{2}\Bigr)^3 = \frac{1}{12}, $$ $$ \frac{E[X\mathbf{1}_{B_2}]}{P(B_2)} = 2\int_{1/2}^{1}\omega^2\, d\omega = 2\Bigl(\frac{1}{3} - \frac{1}{24}\Bigr) = 2\cdot\frac{7}{24} = \frac{7}{12}. $$ よって $$ E[X\mid\mathcal{G}] = \frac{1}{12}\mathbf{1}_{[0,1/2)} + \frac{7}{12}\mathbf{1}_{[1/2,1]} . $$ 検算します。$E\bigl[E[X\mid\mathcal{G}]\bigr] = \frac{1}{2}\cdot\frac{1}{12} + \frac{1}{2}\cdot\frac{7}{12} = \frac{1}{24}+\frac{7}{24} = \frac{1}{3}$ であり、$E[X] = \int_0^1 \omega^2 d\omega = 1/3$ と一致します。これは の最後の等式の実例です。 $X \in L^2(\Omega,\mathcal{F},P)$、$\mathcal{G}\subset\mathcal{F}$ を部分 $\sigma$-加法族とする。分散分解公式 $$ \operatorname{Var}(X) = E\bigl[\operatorname{Var}(X\mid\mathcal{G})\bigr] + \operatorname{Var}\bigl(E[X\mid\mathcal{G}]\bigr) $$ を証明せよ。ここで $\operatorname{Var}(X\mid\mathcal{G})$ は のものとする。 $\hat X = E[X\mid\mathcal{G}]$ とおきます。 の 1 より $\hat X \in L^2$ なので、以下に現れる期待値はすべて有限です。 まず第 1 項です。 より $\operatorname{Var}(X\mid\mathcal{G}) = E[X^2\mid\mathcal{G}] - \hat X^2$ ですから、期待値を取り の最後の等式を第 1 項に使うと $$ E\bigl[\operatorname{Var}(X\mid\mathcal{G})\bigr] = E\bigl[E[X^2\mid\mathcal{G}]\bigr] - E[\hat X^2] = E[X^2] - E[\hat X ^2]. $$ 次に第 2 項です。 より $E[\hat X] = E[X]$ なので $$ \operatorname{Var}(\hat X) = E[\hat X^2] - \bigl(E[\hat X]\bigr)^2 = E[\hat X^2] - \bigl(E[X]\bigr)^2 . $$ 両者を足すと $E[\hat X^2]$ が相殺して $E[X^2] - (E[X])^2 = \operatorname{Var}(X)$ となります。 この式は「全変動＝群内変動の平均＋群間変動」と読め、分散分析（ANOVA）や、機械学習における予測誤差の分解の出発点になります。とくに右辺第 1 項は $\mathcal{G}$ の情報では説明できない残差の大きさを表し、$\operatorname{Var}(\hat X) \le \operatorname{Var}(X)$ すなわち「条件づけは分散を減らす」ことが従います。 $(X,Y)$ が領域 $\{(x,y) : 0 < x < y < 1\}$ 上の一様分布に従うとする。すなわち同時密度は $f_{X,Y}(x,y) = 2$（この領域上）、それ以外で $0$ である。$E[X\mid Y]$ と $E[Y\mid X]$ を求め、$E[X]$ を 2 通りに計算して一致を確かめよ。 の公式を使います。まず周辺密度です。$0 を使うと $E[X] = E\bigl[E[X\mid Y]\bigr] = \tfrac12 E[Y]$ であり、$E[Y] = \int_0^1 y\cdot 2y\,dy = \tfrac23$ なので $E[X] = \tfrac13$。一致します。 なお $E[X\mid Y] = Y/2$ は「$Y$ を知れば $X$ は $(0,Y)$ 上の一様分布」という直観と合致します。 $X_1, X_2, \ldots$ を独立同分布で $E[|X_1|] < \infty$ を満たす確率変数列とし、$N$ を $\{1,2,\ldots\}$ に値を取る可積分な確率変数で、列 $(X_i)_{i \ge 1}$ と独立であるとする。$S_N = \sum_{i=1}^{N} X_i$ とおくとき、$S_N$ が可積分であり $$ E[S_N] = E[N]\,E[X_1] $$ が成り立つことを示せ（ワルドの等式）。 **可積分性。** 非負確率変数 $T = \sum_{i=1}^{N}|X_i|$ を考えます。$|S_N| \le T$ なので $E[T] < \infty$ を示せば十分です。$T = \sum_{n\ge 1} \mathbf{1}_{\{N=n\}}\sum_{i=1}^n |X_i|$ と書けるので、非負項の単調収束定理（項別積分）より $$ E[T] = \sum_{n \ge 1} E\Bigl[\mathbf{1}_{\{N=n\}}\sum_{i=1}^n |X_i|\Bigr] = \sum_{n\ge 1} P(N=n)\, n\, E[|X_1|] = E[N]\,E[|X_1|] < \infty . $$ 2 番目の等号では、$\{N = n\} \in \sigma(N)$ と $\sum_{i=1}^n|X_i|$ が独立であること（$N$ と列 $(X_i)$ の独立性）と、同分布性から $E\bigl[\sum_{i=1}^n |X_i|\bigr] = nE[|X_1|]$ であることを使いました。 **等式。** $\mathcal{G} = \sigma(N)$ とおきます。$\{N=n\}$ の上で $S_N = S_n$ なので $$ E[S_N \mathbf{1}_{\{N=n\}}] = E[S_n \mathbf{1}_{\{N=n\}}] = E[S_n]\,P(N=n) = n\,E[X_1]\,P(N=n) $$ です（2 番目の等号は再び独立性）。$\sum_n E\bigl[|S_N|\mathbf{1}_{\{N=n\}}\bigr] \le E[T] < \infty$ なので優収束定理により項別に足してよく $$ E[S_N] = \sum_{n\ge1} E[S_N \mathbf{1}_{\{N=n\}}] = E[X_1]\sum_{n \ge 1} n P(N=n) = E[X_1]\,E[N] . $$ **条件付き期待値の言葉で。** 上の計算は $E[S_N \mid N] = N\,E[X_1]$ を示したことに相当します。実際、右辺は $\sigma(N)$-可測かつ可積分で、$\sigma(N)$ の元はすべて $\{N \in B\}$ の形なので、上と同じ独立性の計算で の条件 3 が確かめられます。あとは の最後の等式で期待値を取れば $E[S_N] = E[N E[X_1]] = E[N]E[X_1]$ です。 **注意（独立性は落とせません）。** $X_1, X_2$ が独立で $\pm1$ を等確率に取るとし、$N$ を「$X_2 = 1$ なら $N=2$、$X_2 = -1$ なら $N=1$」と定めます。$N$ は $X_2$ の値を見て決まるので $(X_i)$ と独立ではありません。このとき $X_2 = 1$ のとき $S_N = X_1 + 1$、$X_2 = -1$ のとき $S_N = X_1$ なので $$ E[S_N] = E[X_1] + P(X_2 = 1)\cdot 1 = 0 + \tfrac12 = \tfrac12, \qquad E[N]E[X_1] = \tfrac32 \cdot 0 = 0 $$ となり等式は破れます。なお $N$ が $(X_i)$ に対する**停止時刻**（各 $n$ で $\{N \le n\}$ が $\sigma(X_1,\ldots,X_n)$ に属する）である場合には、独立性がなくても $E[N] < \infty$ と $E[|X_1|] < \infty$ のもとで等式が成り立ちます。これがワルドの等式の本来の形で、 から導かれます。 ## 参考文献 - D. Williams, *Probability with Martingales*, Cambridge University Press, 1991 — 第 9 章 "Conditional Expectation"。ラドン・ニコディムによる存在証明と性質の一覧が簡潔にまとまっています。 - R. Durrett, *Probability: Theory and Examples*, 5th ed., Cambridge University Press, 2019 — 第 4 章。条件付き期待値からマルチンゲールへの流れが本記事の構成に近いです。 - P. Billingsley, *Probability and Measure*, 3rd ed., Wiley, 1995 — 第 6 章（条件付き確率と条件付き期待値）およびラドン・ニコディムの定理の証明。 - W. Rudin, *Real and Complex Analysis*, 3rd ed., McGraw-Hill, 1987 — 第 6 章。ラドン・ニコディムの定理のヒルベルト空間による証明。 - 伊藤清『確率論』岩波書店、1991 — 条件付き期待値と正則条件付き分布の章。 - 舟木直久『確率論』朝倉書店、2004 — 測度論的確率論の標準的な和書。条件付き期待値の章。 ## Appendix: 正則条件付き分布 **なぜ条件付き期待値だけでは足りないのか。** は各可積分確率変数 $X$ ごとに $E[X\mid\mathcal{G}]$ を与えますが、$\omega$ を固定したときに $A \mapsto P(A\mid\mathcal{G})(\omega)$ が確率測度になるとは限りません。可算加法性 $P\bigl(\bigsqcup_n A_n \mid \mathcal{G}\bigr) = \sum_n P(A_n\mid\mathcal{G})$ は各分割ごとに確率 1 で成り立ちますが、例外零集合が分割の取り方に依存し、非可算個の分割にわたって零集合を合併すると確率 1 が保証されないからです。 **正則条件付き分布。** 写像 $\kappa : \Omega \times \mathcal{B}(\mathbb{R}) \to [0,1]$ が、(i) 各 $\omega$ について $\kappa(\omega, \cdot)$ が $\mathbb{R}$ 上の確率測度であり、(ii) 各 $B$ について $\omega \mapsto \kappa(\omega, B)$ が $\mathcal{G}$-可測で $\kappa(\cdot, B) = P(X \in B \mid \mathcal{G})$ がほとんど確実に成り立つとき、$\kappa$ を $\mathcal{G}$ が与えられたときの $X$ の**正則条件付き分布**とよびます。$X$ が $\mathbb{R}$（より一般にポーランド空間）に値を取るとき、正則条件付き分布は存在します。証明は、有理数点での条件付き分布関数 $F(q,\omega) = P(X \le q \mid \mathcal{G})(\omega)$ を可算個の $q$ について取り、単調性と右連続性を確率 1 で満たすよう修正してから、一次元分布関数と確率測度の対応（ルベーグ・スティルチェス測度）を使うというものです。 **何が嬉しいか。** 正則条件付き分布があると、条件付き期待値を「各 $\omega$ ごとの積分」 $$ E[f(X)\mid\mathcal{G}](\omega) = \int_{\mathbb{R}} f(x)\, \kappa(\omega, dx) $$ として書けます（$f$ は $f(X)$ が可積分な可測関数）。これは条件付き分布に関するモンテカルロ計算やベイズ統計の事後分布の議論を、記法どおりに正当化してくれます。証明は再び標準機械です。$f = \mathbf{1}_B$ のときは正則条件付き分布の定義そのもの、単関数へは線形性、非負可測関数へは と単調収束定理、一般の $f$ へは正負分解で拡張します。