大数の法則

大数の法則（たいすうのほうそく、、）とは、確率論・統計学における基本定理の一つ。公理的確率により構成される確率空間の体系は、統計学的確率と矛盾しないことを保証する定理である。

たとえばサイコロを振り、出た目を記録することを考える。この試行回数を限りなく増やせば、出た目の標本平均が目の平均である  の近傍から外れる確率はいくらでも小さくなる。これは大数の法則から導かれる帰結の典型例である。より一般に、大数の法則は「独立同分布に従う可積分な確率変数列の標本平均は平均に収束する」と述べられる。

厳密には、大数の法則は収束をどのようにとらえるかに応じて、ヤコブ・ベルヌーイによる大数の弱法則  と、エミール・ボレルやアンドレイ・コルモゴロフによる大数の強法則  の2つに大別される。単に「大数の法則」と言った場合、どちらを指しているのかは文脈により判断する必要がある。

大数の法則は、経験則としては古くから知られていた。一応の証明が初めて与えられたのはヤコブ・ベルヌーイの『』（1713年）においてであると言われている。大数の法則という名称は、ポアソンが『確率計算の一般規則に先行する、刑事及び民事事件での判決における確率』（1837年）で書いた "la loi des grands nombres" に由来するとされている。

 具体例 
試行において事象が起こる公理的確率を  とする。さらに、この試行を反復しても、各結果の起こりやすさは変化しない（他の結果に影響を及ぼすことがない）ものとするつまり、独立にベルヌーイ分布に従う確率変数列が与えられた場合を例として考える。。この仮定の下で、試行における事象の（起こる）確率は、試行回数を限りなく増やしていったときの、その事象の頻度（発生回数の相対度数）の極限値（統計的確率あるいは経験的確率）はほとんど確実に  に等しくなる。これは大数の法則から導かれる重要な帰結の一つであり、上記の仮定の下で統計的確率は公理的確率に等しいことの数学的な根拠を与える。

たとえばコイントス、特に公正なコイン（ゆがみや偏りがない、完全に対称なコイン）を投げて出た面を記録する試行を行うとする。このとき、表が出る確率と裏が出る確率は等しいと考えられるためともに  である確率空間になる。このとき、コイン投げの試行回数を限りなく増やすと、表が出る回数と裏が出る回数の比率はどちらも  に近づく。実際には、試行回数が有限では、各頻度が完全に  になることはほぼないが、極限値としては各頻度が  に収束する。これが大数の法則の主張である。

試行の回数を時刻と見たとき、時刻無限大の極限において時間平均が相平均に一致するという意味で、エルゴード理論の最も単純な数学的定式化（エルゴード定理）のうちの一つであるといえる。

 数学的定式化 
独立同分布に従う可積分な確率変数の無限列  が与えられたとき、その平均を  とおく。標本平均

のとる値が平均  の近傍から外れる確率は、十分大きな  を取れば、いくらでも小さくできるつまり  が  に確率収束する：：

これを大数の弱法則という。さらに同じ仮定の下で、 とするとき、  は  にほとんど確実に（almost surely, 確率  で）収束するつまり  が  に概収束する：：

これを大数の強法則という。

強法則の方が弱法則より強い主張をしているが、その分証明が難しい。

 証明 
この節では確率変数が有限の分散  をもつ場合に限って、大数の弱法則の証明を与える。

確率変数列は独立同分布に従っているので、確率変数  の平均と分散はそれぞれ  と  になる。よってチェビシェフの不等式から

となり、定理の主張が得られる。

 仮定を満たさない例 
500px|thumb|標準コーシー分布に従う独立な標本の平均が取る値の推移例。
大数の法則は（有限な）期待値の存在を仮定している。期待値の存在しない場合は、大数の法則が当てはまらないことがある。例えば安定分布における特性指数が  の場合（例：コーシー分布）である。また、大数の法則が成立するためには事象の独立性が保証されなければならない。

 脚注 

 注釈 

 出典 

 参考文献 

 関連項目 
 チェビシェフの不等式
 中心極限定理
 エルゴード理論、エルゴード定理
 ポアソン分布 - 少数の法則

 外部リンク 




Category:確率論の定理
Category:統計学の定理
Category:漸近理論 (統計学)
Category:数学の法則
Category:数学的証明
Category:シメオン・ドニ・ポアソン
Category:ヤコブ・ベルヌーイ
Category:数学に関する記事