条件付期待値
確率論において、確率変数の条件付き期待値(じょうけんつききたいち、英: conditional expectation)とは初等的には何らかの情報が与えられた場合の確率変数に期待される値のことである。しかし、より一般の場合の定義では、確率変数の条件付き期待値は新しい確率変数であり、元の確率変数より強い可測性をもつ。このことは新しい確率変数を決定するのに必要な情報が減少したということなので、情報を減らしたときに確率変数がどうなるかを計算したものとみることもできる。この方法で情報を最小のものにすると、条件付き期待値は定数になり期待値と一致する。初等的な定義では、この最小の情報に情報を追加したときの挙動を見ているといってもよい。
初等的な場合の例でサイコロを投げるかわりに、X と Y が平均 2、分散 1 の正規分布に従う場合を考えてみると、
E [ X Y ∣ Y ] = 2 Y {\displaystyle E[XY\mid Y]=2Y}
とするのがよさそうだが、正規分布は連続確率分布なので、Y = y となる確率は 0 である。よって、初等的な定義を使うことはできない。そこで、一般の場合は条件付き期待値として満たすべき条件を定めて、それを満たす唯一の確率変数を条件付き期待値として定義する。
条件付き確率密度関数を使い、fY(y) > 0 ならば、以下のように計算できる。fY(y) は Y の確率密度関数である。
E  [ X ∣ Y = y ] = ∫ X x f X ∣ Y ( x ∣ y ) d x , {\displaystyle \operatorname {E} [X\mid Y=y]=\int _{\mathcal {X}}xf_{X\mid Y}(x\mid y)\,\mathrm {d} x,}
f X ∣ Y ( x ∣ y ) = f X , Y ( x , y ) f Y ( y ) {\displaystyle f_{X\mid Y}(x\mid y)={\frac {f_{X,Y}(x,y)}{f_{Y}(y)}}}
さらに、一般の場合は情報を事象でも確率変数の値でもなく、完全加法族で与える。