条件付期待値のソースを表示

{{Expand English|Conditional expectation|date=2024年5月}}
確率論において、[[確率変数]]の'''条件付き期待値'''（じょうけんつききたいち、{{lang-en-short|conditional expectation}}）とは初等的には何らかの情報が与えられた場合の確率変数に期待される値のことである。しかし、より一般の場合の定義では、確率変数の条件付き期待値は新しい確率変数であり、元の確率変数より強い可測性をもつ。このことは新しい確率変数を決定するのに必要な情報が減少したということなので、情報を減らしたときに確率変数がどうなるかを計算したものとみることもできる。この方法で情報を最小のものにすると、条件付き期待値は定数になり[[期待値]]と一致する。初等的な定義では、この最小の情報に情報を追加したときの挙動を見ているといってもよい。

== 初等的な定義 ==
初等的な定義では条件付き期待値は[[条件付き確率]]による期待値である。''P''(''A'') &gt; 0 をみたす[[事象 (確率論)|事象]] ''A'' が起きたことが分かったときに、事象 ''B'' が起きる条件付き確率は
:<math>\operatorname{P}(B \mid A) := \frac{\operatorname{P}(A \cap B)}{\operatorname{P}(A)}</math>
で定義され、事象 ''A'' が起きたことが分かったときの確率変数 ''X'' の条件付き期待値は
:<math>\operatorname{E}[X \mid A] := \operatorname{E}^{\operatorname{P}(\cdot \mid A)}[X] = \frac{\operatorname{E}[X,A]}{\operatorname{P}(A)}</math>
で与えられる。

=== 初等的な場合の例 ===
大小二つのサイコロを投げて大きいほうのサイコロの目を {{mvar|X}}、小さいほうのサイコロの目を {{mvar|Y}} としよう。条件付き期待値を計算したい確率変数を2つのサイコロの目の積 {{mvar|XY}} とし、{{math2|''Y'' {{=}} 3}} という情報が分かっているとする。
このとき、ありうる可能性は {{math2|(''X'', ''Y'') {{=}} {(1,3), (2,3), (3,3), (4,3), (5,3), (6,3){{)}}}} の6通りであり、それぞれ確率 {{sfrac|1|6}} なので
:<math>\operatorname{E}[XY \mid Y=3] = 1 \cdot 3 \cdot \frac{1}{6} + \cdots + 6 \cdot 3 \cdot \frac{1}{6}=\frac{21}{2}</math>
となる。同様に {{math2|''Y'' {{=}} ''y''}} が分かっているとすると
:<math>\operatorname{E}[XY \mid Y=y] = \frac{21 y}{6}</math>
というのが分かるが、これを
:<math>\operatorname{E}[XY \mid Y] = \frac{21 Y}{6}</math>
と書くと、「{{mvar|Y}} の値が決まったときの {{mvar|XY}} の期待値は 21 ''Y'' / 6 である。」と自然に読むことができる。このようなことは一般の確率変数の組 {{mvar|X}} と {{mvar|Y}} が与えられた場合にもいえることで、関数 {{mvar|f}} をうまく見つけてきて
:<math>E[X \mid Y]=f(Y)</math>
とすることができる。

== 一般の場合 ==
初等的な場合の例でサイコロを投げるかわりに、{{mvar|X}} と {{mvar|Y}} が平均 {{math|2}}、分散 {{math|1}} の[[正規分布]]に従う場合を考えてみると、
:<math>E[XY \mid Y]=2Y</math>
とするのがよさそうだが、正規分布は[[連続確率分布]]なので、{{math2|''Y'' {{=}} ''y''}} となる確率は {{math|0}} である。よって、初等的な定義を使うことはできない。そこで、一般の場合は条件付き期待値として満たすべき条件を定めて、それを満たす唯一の確率変数を条件付き期待値として定義する。

[[条件付き確率分布|条件付き確率密度関数]]を使い、''f''<sub>''Y''</sub>(''y'') > 0 ならば、以下のように計算できる。''f''<sub>''Y''</sub>(''y'') は ''Y'' の確率密度関数である。
:<math>\operatorname{E}[ X \mid Y=y ] = \int_{\mathcal{X}} x f_{X \mid Y} (x \mid y) \, \mathrm{d}x,</math>
:<math>f_{X\mid Y} (x\mid y) = \frac{f_{X, Y}(x, y)}{f_Y(y)}</math>

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

=== 定義 ===
確率空間 {{math2|(Ω, ''F'', ''P'')}} 上の[[可積分]]確率変数 {{mvar|X}} と σ集合体 {{math2|''G'' ⊂ ''F''}} が与えられたとき、確率変数 {{mvar|Y}} が {{mvar|X}} の {{mvar|G}} に関する条件付き期待値であるとは
:* {{mvar|Y}} は {{mvar|G}} 可測な可積分確率変数
:* 任意の {{mvar|G}} 可測な事象 {{mvar|A}} に対して、{{math2|E[''X'', ''A''] {{=}} E[''Y'', ''A'']}}
が成り立つことである。このような {{mvar|Y}} は[[零集合]]を除いて唯一に定まるので、{{math|E[''X'' {{!}} ''G'']}} と書く。

{{確率論}}
{{デフォルトソート:しようけんつききたいち}}
[[Category:条件付き確率]]
[[Category:統計学の理論]]
[[Category:数学に関する記事]]