条件付期待値

テンプレート:Expand English 確率論において、確率変数の条件付き期待値（じょうけんつききたいち、テンプレート:Lang-en-short）とは初等的には何らかの情報が与えられた場合の確率変数に期待される値のことである。しかし、より一般の場合の定義では、確率変数の条件付き期待値は新しい確率変数であり、元の確率変数より強い可測性をもつ。このことは新しい確率変数を決定するのに必要な情報が減少したということなので、情報を減らしたときに確率変数がどうなるかを計算したものとみることもできる。この方法で情報を最小のものにすると、条件付き期待値は定数になり期待値と一致する。初等的な定義では、この最小の情報に情報を追加したときの挙動を見ているといってもよい。

初等的な定義

初等的な定義では条件付き期待値は条件付き確率による期待値である。P(A) > 0 をみたす事象 A が起きたことが分かったときに、事象 B が起きる条件付き確率は

$\mathrm{P}(B\mid A):=\frac{\mathrm{P}(A\cap B)}{\mathrm{P}(A)}$

で定義され、事象 A が起きたことが分かったときの確率変数 X の条件付き期待値は

$\mathrm{E}[X\mid A]:={\mathrm{E}}^{\mathrm{P}(\cdot \mid A)}[X]=\frac{\mathrm{E}[X,A]}{\mathrm{P}(A)}$

で与えられる。

初等的な場合の例

大小二つのサイコロを投げて大きいほうのサイコロの目を テンプレート:Mvar、小さいほうのサイコロの目を テンプレート:Mvar としよう。条件付き期待値を計算したい確率変数を2つのサイコロの目の積 テンプレート:Mvar とし、テンプレート:Math2 という情報が分かっているとする。 このとき、ありうる可能性は テンプレート:Math2 の6通りであり、それぞれ確率 テンプレート:Sfrac なので

$\mathrm{E}[XY\mid Y=3]=1\cdot 3\cdot \frac{1}{6}+\cdots +6\cdot 3\cdot \frac{1}{6}=\frac{21}{2}$

となる。同様に テンプレート:Math2 が分かっているとすると

$\mathrm{E}[XY\mid Y=y]=\frac{21y}{6}$

というのが分かるが、これを

$\mathrm{E}[XY\mid Y]=\frac{21Y}{6}$

と書くと、「テンプレート:Mvar の値が決まったときの テンプレート:Mvar の期待値は 21 Y / 6 である。」と自然に読むことができる。このようなことは一般の確率変数の組 テンプレート:Mvar と テンプレート:Mvar が与えられた場合にもいえることで、関数 テンプレート:Mvar をうまく見つけてきて

$E[X\mid Y]=f(Y)$

とすることができる。

一般の場合

初等的な場合の例でサイコロを投げるかわりに、テンプレート:Mvar と テンプレート:Mvar が平均 テンプレート:Math、分散 テンプレート:Math の正規分布に従う場合を考えてみると、

$E[XY\mid Y]=2Y$

とするのがよさそうだが、正規分布は連続確率分布なので、テンプレート:Math2 となる確率は テンプレート:Math である。よって、初等的な定義を使うことはできない。そこで、一般の場合は条件付き期待値として満たすべき条件を定めて、それを満たす唯一の確率変数を条件付き期待値として定義する。

条件付き確率密度関数を使い、f_Y(y) > 0 ならば、以下のように計算できる。f_Y(y) は Y の確率密度関数である。

$\mathrm{E}[X\mid Y=y]=\underset{𝒳}{\int }x{f}_{X\mid Y}(x\mid y)\mathrm{d}x,$

$f_{X\mid Y}(x\mid y)=\frac{f_{X,Y}(x,y)}{f_Y(y)}$

さらに、一般の場合は情報を事象でも確率変数の値でもなく、完全加法族で与える。

定義

確率空間 テンプレート:Math2 上の可積分確率変数 テンプレート:Mvar と σ集合体 テンプレート:Math2 が与えられたとき、確率変数 テンプレート:Mvar が テンプレート:Mvar の テンプレート:Mvar に関する条件付き期待値であるとは

• テンプレート:Mvar は テンプレート:Mvar 可測な可積分確率変数
• 任意の テンプレート:Mvar 可測な事象 テンプレート:Mvar に対して、テンプレート:Math2

が成り立つことである。このような テンプレート:Mvar は零集合を除いて唯一に定まるので、テンプレート:Math と書く。