二項分布

数学において、二項分布は、成功確率 p}} で成功か失敗のいずれかの結果となる試行を独立に n}} 回行ったときの成功回数を確率変数X}}とする離散確率分布である。

二項分布に基づく統計的有意性の検定は、二項検定と呼ばれている。

1. 例
----

二項分布の典型例を次に示す。全住民の5%がある感染症に罹患しており、その全住民の中から無作為に500人を抽出する。ただし住民は500人よりずっと多いとする。このとき、抽出された集団の中に罹患者が30人以上いる確率はどれくらいだろうか。

500人のうちの感染症患者の分布は、大抵の場合は全住民のうちの患者の分布とおおよそ似通っていると考えられる。しかし、低確率ではあるが、選んだ500人の中に1人も患者が含まれないような真の分布とかけ離れた分布が得られる場合もある。直観的には、真の分布に近い分布が得られる確率は、真の分布から遠い分布が得られる確率より大きい。たとえば、500人中の患者の数が500×0.05=25人である確率は、24人や26人である確率より大きいだろうと思われる。しかし、その確率は定量的にどれほどだろうか。 これを定量的に表すことのできる分布が二項分布である。

抽出された集団の中に含まれる罹患者数を確率変数 X}} で表すとき、X}} は //n// =}} 500}}, //p// =}} 0.05}} の二項分布に近似的に従う。ここで、罹患者が30人以上いる確率は Pr[//X// ≥ 30]}} である。

2. 定義
-----

単純な定義としては、成功確率p}}の試行を独立にn}}回行い、成功回数を横軸にとってヒストグラムを作成した時のグラフの形である。このグラフの関数は下記の性質を持つ。

2つの母数p}}, n}}に対して、0}} 以上の整数を値としてとる確率変数X}}を定める。このとき、X}}は試行の成功回数なので、}}である。

そして、//X// =}} //x//}}となるような確率についての関数//fsubについて、//

となることが性質よりわかる。

また、//fsubは確率であるため、//

も明らかである。

上記を定義として、x}}をk}}に書き換え、

で与えられるとき、X}}は二項分布B}}に従う、という。これは//X// ∼ B}}と表記される藪。

ここで、

は n}} 個から k}} 個を選ぶ組合せの数、すなわち二項係数を表す。二項分布という名前は、この二項係数に由来している。

//n// =}} 1}} の場合を特に、ベルヌーイ分布と呼ぶ。

上の定義式は次のように解釈することができる。1回の試行において成功する確率が p}} であるとき、psup は k}} 回成功する確率を表し、sup は //n// − //k//}} 回失敗する確率を表している。ただし、k}} 回の成功は n}} 回の試行の中のどこかで発生したものであるから、sub 通りの発生順序がある。これら全てを掛けると、n}} 回の独立な試行を行ったときの成功回数が k}} となる確率を求めることができる。

3. 性質の導出
--------

3.1. 期待値・分散
-----------

二項分布 B}} に従う確率変数 X}} に対し、X}} の期待値 //E//[//X//]}} を求めると

ここで、//k//′ =}} //k// − 1}}とおくと、

これは全ての順序付けられた試行パターンについての平均値でもある。

続いて、分散 //V//[//X//]}} は

上と同様に

合計して、

となる藪。

3.2. モーメント
----------

二項分布 B}} に従う確率変数 X}} の r}} 次モーメント //E//[//X//sup は

というやや複雑な表示をもつJohnson。ここで //S//}} は第二種スターリング数。低次から

となる。一方 X}} の r}} 次階乗モーメント //E//[sub は

という単純な表示をもつJohnson。ここで sub はポッホハマー記号。低次から

となる。

3.3. 再生性
--------

二項分布は再生性を有する。すなわち B}} に従う確率変数 X}} と B}} に従う確率変数 Y}} が互いに独立であるとき、確率変数の和 //X// + //Y//}} は二項分布 B}} に従う。

4. 近似
-----

二項分布の近似として、以下の小節に挙げる分布などが知られている。 近似を用いることで計算の労力を削減できるという利点がある一方、各近似にはそれを適用可能とするための条件が存在する。 そのため、それらの条件や近似を用いることで生じる誤差が許容可能な範囲内に収まっていることの確認が必要となる。 特に、二項分布の母比率の信頼区間を求める際には、用いる近似と変数の値の組み合わせにより、厳密に求められた信頼区間との間に近似誤差が生じることになるため注意が必要である。

4.1. 正規分布
---------

期待値 np}} および分散 //np//}} が 5}} よりも大きい場合、二項分布 B}} に対する良好な近似として正規分布がある。ただし、この近似を適用するにあたっては、変数のスケールに注意し、連続な分布への適切な処理がなされる必要がある。より厳密に述べれば、n}} が十分大きくかつ、期待値 np}} および 分散 //np//}} も十分大きい場合、期待値 np}}, 分散 //np//}} の正規分布 N)}} で近似することができ、期待値からの差 abs が標準偏差 と同程度となる k}} に対して

が漸近的に成り立つ。二項分布が一定の条件下で正規分布に近づく、この近似式は数学者アブラーム・ド・モアブルが1733年に著書 en の中で紹介したのが最初であり、ド・モアブル=ラプラスの極限定理またはラプラスの定理と呼ぶことがある。これは、今日でいうところの中心極限定理の特別な場合に相当する。この正規分布への近似と標準正規分布表により、計算の労力を大きく削減することができる。

例えば、多数の住民の中から n}} 人を無作為に抽出し、ある質問について同意するかどうかを尋ねる場合を考える。同意する人数の割合は、もちろんサンプルに依存する。n}} 人を無作為に抽出する作業を何度も繰り返し行うとき、同意する人々の割合の分布は、実際の全住民の合意割合 p}} とほぼ等しい平均を持ち、標準偏差 である正規分布に近似される。未知の変数 p}} は、標準偏差が小さいほど正確な推定が可能である。そのため、抽出する人数 n}} は多い方が好ましい。

95%信頼区間ならば、正規分布で近似すると、その範囲は

となる。たとえば、//p// =}} 50%}} の場合、//n// =}} 100}} なら40%–60%}}、//n// =}} 1000}} ならば47%–53%}}、//n// =}} 10 000}} ならば49%–51%}}となる。//n// =}} 10}} の場合、正規分布近似ではなく、本来の定義に従って計算すると、89%}}信頼区間で、30%–70%}}となる。

4.2. ポアソン分布
-----------

n}} が大きく p}} が十分小さい場合、np}} は適度な大きさとなるため、//λ// =}} //np//}} を母数とするポアソン分布が二項分布 B}} の良好な近似を与える。すなわち、n}} が十分大きいとき、期待値 //λ// =}} //np//}} とおくと、

が成り立つ。この結果は数学者シメオン・ドニ・ポアソンが1837年に著書 fr en の中で与えており、ポアソンの極限定理と呼ばれる。

5. 脚注
-----

6. 参考文献
-------

7. 関連項目
-------

負の二項分布
多項分布
ベルヌーイ過程
壺問題