期待値
確率論において、確率変数の期待値(きたいち)とは、実現値と確率の積の総和である。
例えば、ギャンブルでは、掛け金に対して戻ってくる「見込み」の金額をあらわしたものである。ただし、期待値ぴったりに掛け金が戻ることを意味するのではなく、各試行で期待値に等しい掛け金が戻るわけではない。
類義語に平均がある。期待値と同義で使われることもあるが、標本平均を意味する場合もある。
目次 |
定義 [編集]
1. 離散的確率変数の場合
確率空間を (Ω, F, P) としたとき、高々可算個の実現値 {x1, x2, …} に対して、
![E[X] = \sum_{i=1}^{\infty} x_i P(X = x_i)](http://upload.wikimedia.org/math/8/3/d/83d78a7195b533b445d0ee974391d41a.png)
と書く。
2. 連続型
確率空間を (Ω, F, P) としたとき、確率変数 X が可積分であるとは、

を満たすことであり、期待値は可積分な確率変数 X にたいして、
![E[X] = \int_{\Omega} X(\omega)\, dP(\omega)](http://upload.wikimedia.org/math/0/2/2/02229d80dca8667c8fa6b3b26810a389.png)
事象 A
F にたいして、
![E[X : A] = E[1_AX] = \int_A X(\omega)\, dP(\omega)](http://upload.wikimedia.org/math/0/1/3/0135e8d1427a9d6a14a58a67fec878a6.png)
と書いて期待値をとる範囲を A に制限する。
性質 [編集]
期待値は総和や積分によって定義されるので、総和や積分のもつ性質をすべてもっている。
- 線形性
- 単調性
- イェンゼンの不等式: 凸関数 φ にたいして、
- チェビシェフの不等式: (0, ∞) 上定義された正値単調増加関数 φ と任意の正の数 ε にたいして、
さらに、2 つの可積分確率変数 X と Y が独立の場合は、
![E[XY] = E[X]E[Y]\,](http://upload.wikimedia.org/math/b/d/8/bd8ce6a147111fa246c5cce0f77a9697.png)
が成立する。
計算法 [編集]
期待値は抽象的なルベーグ積分で定義されているので、計算するときには積分の変数変換をおこなって確率変数の分布で積分するのが普通である。確率変数 X の分布を PX とすると、任意の可測関数 f にたいして
![E[f(X)] = \int_{\Omega} f(X(\omega))\, dP(\omega) = \int_{\mathbb{R}} f(x)\, P_X(dx)](http://upload.wikimedia.org/math/9/0/1/90109e12b011418545e7456f3937da72.png)
となり、さらに PX が確率密度関数 p を持つときは
![E[f(X)] = \int_{\mathbb{R}} f(x) p(x)\, dx](http://upload.wikimedia.org/math/e/9/f/e9fee14059c082001e9f1b9f5e0202a7.png)
により、ルベーグ測度で計算できるようになる。
例題 [編集]
サイコロの期待値 [編集]
6 面体のサイコロを 1 回振るものとして、その時に出る目の期待値を考える。出る目の確率はすべて
とする。

となり、サイコロの出る目の期待値は 3.5 だということがわかる。
くじ引きの期待値 [編集]
次のようなゲームを考える。
- 100 円支払えば、6 面サイコロ 1 個を 1 回振ることができる。
- サイコロの目に応じて、次の金額を貰える。
- 1 : 20 円
- 2 : 50 円
- 3 : 100 円
- 4 : 100 円
- 5 : 150 円
- 6 : 150 円
このとき、もらえる金額の期待値を求めると、

である。得られる金額の期待値 95 円が参加費 100 円を下回ることから、このゲームは参加者が得をする可能性もあるものの平均的には損をするということが分かる。特に回数を増やすほど、試行ごとに 5 円の損をした状態に限りなく近づく。
![E[aX + bY] = a E[X] + b E[Y]\,](http://upload.wikimedia.org/math/5/c/1/5c101a9fdbdc41419577ef890fb2cf48.png)
![X \leq Y \Rightarrow E[X] \leq E[Y]](http://upload.wikimedia.org/math/b/c/b/bcb7b4ba31c286111ce4e47ce48b42fb.png)
![\varphi(E[X]) \leq E[\varphi(X)]](http://upload.wikimedia.org/math/d/c/9/dc9ab7824ec776cd0a27ee7c3c061b48.png)
![P(|X| > \varepsilon )\leq \frac{E[\varphi(X)]}{\varphi(\varepsilon)}](http://upload.wikimedia.org/math/9/1/8/9181ad467e1eeacf2cec19ed52d115a1.png)