出典: フリー百科事典『ウィキペディア(Wikipedia)』
| この記事は 英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
- 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
- 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
- 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
- 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
- 翻訳後、
{{翻訳告知|en|Conditional expectation|…}} をノートに追加することもできます。
- Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
|
確率論において、確率変数の条件付き期待値(じょうけんつききたいち、英: conditional expectation)とは初等的には何らかの情報が与えられた場合の確率変数に期待される値のことである。しかし、より一般の場合の定義では、確率変数の条件付き期待値は新しい確率変数であり、元の確率変数より強い可測性をもつ。このことは新しい確率変数を決定するのに必要な情報が減少したということなので、情報を減らしたときに確率変数がどうなるかを計算したものとみることもできる。この方法で情報を最小のものにすると、条件付き期待値は定数になり期待値と一致する。初等的な定義では、この最小の情報に情報を追加したときの挙動を見ているといってもよい。
初等的な定義[編集]
初等的な定義では条件付き期待値は条件付き確率による期待値である。P(A) > 0 をみたす事象 A が起きたことが分かったときに、事象 B が起きる条件付き確率は
![{\displaystyle \operatorname {P} (B\mid A):={\frac {\operatorname {P} (A\cap B)}{\operatorname {P} (A)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6107549c86cc7a5a353fd7f942fe9e732cd4708)
で定義され、事象 A が起きたことが分かったときの確率変数 X の条件付き期待値は
![{\displaystyle \operatorname {E} [X\mid A]:=\operatorname {E} ^{\operatorname {P} (\cdot \mid A)}[X]={\frac {\operatorname {E} [X,A]}{\operatorname {P} (A)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/05a9f302196ea2397fdc53d29419b4a2bbdb56cf)
で与えられる。
初等的な場合の例[編集]
大小二つのサイコロを投げて大きいほうのサイコロの目を X、小さいほうのサイコロの目を Y としよう。条件付き期待値を計算したい確率変数を2つのサイコロの目の積 XY とし、Y = 3 という情報が分かっているとする。
このとき、ありうる可能性は (X, Y) = {(1,3), (2,3), (3,3), (4,3), (5,3), (6,3)} の6通りであり、それぞれ確率 1/6 なので
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e68aeba14c06bb36bb9a58b4c79d9cc85d6c0961)
となる。同様に Y = y が分かっているとすると
![{\displaystyle \operatorname {E} [XY\mid Y=y]={\frac {21y}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/138316dbbb578a914c58dcac9fa5372d1692d5e2)
というのが分かるが、これを
![{\displaystyle \operatorname {E} [XY\mid Y]={\frac {21Y}{6}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/47c2e2c5ff5fa435fd0ffc8b173250251534a5f3)
と書くと、「Y の値が決まったときの XY の期待値は 21 Y / 6 である。」と自然に読むことができる。このようなことは一般の確率変数の組 X と Y が与えられた場合にもいえることで、関数 f をうまく見つけてきて
![{\displaystyle E[X\mid Y]=f(Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cff65310e1af8adc8732d5767bd9ed1edfb4ae9)
とすることができる。
一般の場合[編集]
初等的な場合の例でサイコロを投げるかわりに、X と Y が平均 2、分散 1 の正規分布に従う場合を考えてみると、
![{\displaystyle E[XY\mid Y]=2Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0860e0beab1419855634c4f3b974175692be4c65)
とするのがよさそうだが、正規分布は連続確率分布なので、Y = y となる確率は 0 である。よって、初等的な定義を使うことはできない。そこで、一般の場合は条件付き期待値として満たすべき条件を定めて、それを満たす唯一の確率変数を条件付き期待値として定義する。
条件付き確率密度関数を使い、fY(y) > 0 ならば、以下のように計算できる。fY(y) は Y の確率密度関数である。
![{\displaystyle \operatorname {E} [X\mid Y=y]=\int _{\mathcal {X}}xf_{X\mid Y}(x\mid y)\,\mathrm {d} x,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0151ff904ab489e0fd771f5e7abf2a0e1706bda6)
![{\displaystyle f_{X\mid Y}(x\mid y)={\frac {f_{X,Y}(x,y)}{f_{Y}(y)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba987df4ff2f59adf6a64a642789d63ac59b5cbe)
さらに、一般の場合は情報を事象でも確率変数の値でもなく、完全加法族で与える。
確率空間 (Ω, F, P) 上の可積分確率変数 X と σ集合体 G ⊂ F が与えられたとき、確率変数 Y が X の G に関する条件付き期待値であるとは
- Y は G 可測な可積分確率変数
- 任意の G 可測な事象 A に対して、E[X, A] = E[Y, A]
が成り立つことである。このような Y は零集合を除いて唯一に定まるので、E[X | G] と書く。