この記事は英語版の対応するページ
を翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。確率論において、確率変数の条件付き期待値(じょうけんつききたいち、英: conditional expectation)とは初等的には何らかの情報が与えられた場合の確率変数に期待される値のことである。しかし、より一般の場合の定義では、確率変数の条件付き期待値は新しい確率変数であり、元の確率変数より強い可測性をもつ。このことは新しい確率変数を決定するのに必要な情報が減少したということなので、情報を減らしたときに確率変数がどうなるかを計算したものとみることもできる。この方法で情報を最小のものにすると、条件付き期待値は定数になり期待値と一致する。初等的な定義では、この最小の情報に情報を追加したときの挙動を見ているといってもよい。 初等的な定義では条件付き期待値は条件付き確率による期待値である。P(A) > 0 をみたす事象 A が起きたことが分かったときに、事象 B が起きる条件付き確率は P ( B ∣ A ) := P ( A ∩ B ) P ( A ) {\displaystyle \operatorname {P} (B\mid A):={\frac {\operatorname {P} (A\cap B)}{\operatorname {P} (A)}}} で定義され、事象 A が起きたことが分かったときの確率変数 X の条件付き期待値は E [ X ∣ A ] := E P ( ⋅ ∣ A ) [ X ] = E [ X , A ] P ( A ) {\displaystyle \operatorname {E} [X\mid A]:=\operatorname {E} ^{\operatorname {P} (\cdot \mid A)}[X]={\frac {\operatorname {E} [X,A]}{\operatorname {P} (A)}}} で与えられる。 大小二つのサイコロを投げて大きいほうのサイコロの目を X、小さいほうのサイコロの目を Y としよう。条件付き期待値を計算したい確率変数を2つのサイコロの目の積 XY とし、Y = 3 という情報が分かっているとする。このとき、ありうる可能性は (X, Y) = {(1,3), (2,3), (3,3), (4,3), (5,3), (6,3)} の6通りであり、それぞれ確率 .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/6 なので E [ X Y ∣ Y = 3 ] = 1 ⋅ 3 ⋅ 1 6 + ⋯ + 6 ⋅ 3 ⋅ 1 6 = 21 2 {\displaystyle \operatorname {E} [XY\mid Y=3]=1\cdot 3\cdot {\frac {1}{6}}+\cdots +6\cdot 3\cdot {\frac {1}{6}}={\frac {21}{2}}} となる。同様に Y = y が分かっているとすると E [ X Y ∣ Y = y ] = 21 y 6 {\displaystyle \operatorname {E} [XY\mid Y=y]={\frac {21y}{6}}} というのが分かるが、これを E [ X Y ∣ Y ] = 21 Y 6 {\displaystyle \operatorname {E} [XY\mid Y]={\frac {21Y}{6}}} と書くと、「Y の値が決まったときの XY の期待値は 21 Y / 6 である。」と自然に読むことができる。このようなことは一般の確率変数の組 X と Y が与えられた場合にもいえることで、関数 f をうまく見つけてきて E [ X ∣ Y ] = f ( Y ) {\displaystyle E[X\mid Y]=f(Y)} とすることができる。 初等的な場合の例でサイコロを投げるかわりに、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)}}}
初等的な定義
初等的な場合の例
一般の場合
Size:21 KB
出典: フリー百科事典『ウィキペディア(Wikipedia)』
担当:undef