求めたい個数を表す確率変数を指示確率変数の和へ分解すると、その確率変数の確率分布を求めることなく期待値を計算することができます。
1 指示確率変数
定義 1.1 (指示確率変数). 有限標本空間上の事象に対して、
で定める確率変数をの指示確率変数といいます。
定理 1.2. 有限標本空間上の事象について、
が成り立ちます。
証明.は確率で1を、確率で0をとるので、
です。▨
有限個の事象について、起こった事象の個数の期待値を求めます。
定理 1.3.を同じ有限標本空間上の事象とし、起こった事象の個数を
とします。このとき、事象間の独立性を仮定せずに
が成り立ちます。
証明. 期待値の線形性と指示確率変数の期待値から、
を得ます。▨
期待値の線形性そのものは§B4.8 確率変数の期待値・分散で証明します。本記事では有限個の指示確率変数への分解を扱います。
例 1.4.とし、人へ通の手紙を無作為に一通ずつ配ります。人が自分宛ての手紙を受け取る事象をとすると、です。自分宛てを受け取る人数の期待値は
です。各事象は独立ではありませんが、期待値の計算には影響しません。
定理 1.5. 有限標本空間上の非負整数値確率変数がを満たすならば、を満たす結果が存在します。
証明. すべての結果でならばです。したがってならば、少なくとも一つの結果でです。▨
2 例題
レベル3 — 期待値の線形性を使う技法
期待値の線形性(独立でなくても E[X+Y]E[X]+E[Y])を用いて、次の期待値を求めよ。
解法の型「回数」「個数」の期待値は指示確率変数 X_i(起きたら1)の和に分解し、E[X]P(A_i) とする。全体の分布は求めなくてよい
3 人が自分の帽子を1つずつ持ち寄り、無作為に1つずつ取る。自分の帽子を取る人数を X とするとき、E[X] を求めよ。
例 2.1.
答
注意 X_i を「i 番目の人が自分の帽子を取る」とき 1、そうでないとき 0 とすると XX_1 + … + X_3。i 番目の人が自分の帽子を取る確率は 1/3 なので E[X_i]1/3。線形性より E[X]3 × (1/3)1。X_i どうしは独立でない(誰かが自分の帽子を取ると他の人の確率が変わる)が、線形性は独立性を要求しないので、そのまま足せる。人数によらず常に平均ちょうど1人。
3 演習
問題 3.1. 公平な硬貨を10回投げたとき、表の回数の期待値を指示確率変数で求めよ。
問題 3.2.とする。例 1.4で、人が自分宛ての手紙を受け取る事象が互いに独立でないことを確かめよ。また、独立でないにもかかわらず、自分宛てを受け取る人数の期待値を1と求める計算が変わらない理由を説明せよ。
解答.
通の手紙の配り方は通りあり、どれも同じ確率で起こる。人1と人2がともに自分宛てを受け取る配り方は、残りの通を残りの人へ配る通りなので、
である。一方、であり、なのでである。したがって、とは独立でない。
期待値の計算では、定理 1.3を用いてとする。この等式は§B4.8 定理 3.1から導かれ、期待値の線形性は確率変数の独立性を仮定しない。の計算に用いるのは各だけであり、のような共通部分の確率は用いない。したがって、事象が独立でなくてもである。▨
問題 3.3.定理 1.5から非負整数値という仮定を外すと、であってもを満たす結果が存在しない例を作れ。
解答.
有限標本空間のすべての結果についてと定める。は非負の値をとるが、整数値ではない。である一方、すべてのについてなので、を満たす結果は存在しない。▨
レベル3 — 期待値の線形性を使う技法
期待値の線形性(独立でなくても E[X+Y]E[X]+E[Y])を用いて、次の期待値を求めよ。
解法の型「回数」「個数」の期待値は指示確率変数 X_i(起きたら1)の和に分解し、E[X]P(A_i) とする。全体の分布は求めなくてよい
問題 3.4. 3 人が自分の帽子を1つずつ持ち寄り、無作為に1つずつ取る。自分の帽子を取る人数を X とするとき、E[X] を求めよ。
解答.
答
注意 X_i を「i 番目の人が自分の帽子を取る」とき 1、そうでないとき 0 とすると XX_1 + … + X_3。i 番目の人が自分の帽子を取る確率は 1/3 なので E[X_i]1/3。線形性より E[X]3 × (1/3)1。X_i どうしは独立でない(誰かが自分の帽子を取ると他の人の確率が変わる)が、線形性は独立性を要求しないので、そのまま足せる。人数によらず常に平均ちょうど1人。▨
問題 3.5. サイコロを 3 回投げるとき、出た目の種類の個数を X とする。E[X] を求めよ。
解答.
答
注意 X_k を「目 k が少なくとも1回出る」とき 1 とすると XX_1 + … + X_6。目 k が1回も出ない確率は (5/6)^3 なので E[X_k]1 − (5/6)^3(6^3 − 5^3)/6^391/216。線形性より E[X]6 × 91/21691/36。X_k は明らかに独立でないが、線形性には無関係。▨
問題 3.6. 3 種類のカードが等確率で1枚ずつ出るくじがある。3 種類すべてをそろえるまでに引く回数を X とするとき、E[X] を求めよ。
解答.
答
注意 すでに i 種類そろっているとき、新しい種類が出る確率は (3 − i)/3 なので、次の1種類が増えるまでの回数の期待値は 3/(3 − i)(成功確率 p の試行を初めて成功するまでの回数の期待値は 1/p)。X をこの段階ごとの回数の和に分解して線形性で足すと E[X]3(1 + 1/2 + 1/3)11/2。▨