中心極限定理

中心極限定理（ちゅうしんきょくげんていり、）は、確率論・統計学における極限定理の一つ。
大数の法則によると、ある母集団から無作為抽出した標本の平均は標本の大きさを大きくすると母平均に近づく。これに対し中心極限定理は標本平均と母平均との誤差を論ずるものである。多くの場合、母集団の分布がどんな分布であっても、その誤差は標本の大きさを大きくしたとき近似的に正規分布に従う。
なお、標本の分布に分散が存在しないときには、極限が正規分布と異なる場合もある。
統計学における基本定理であり、例えば世論調査における必要サンプルのサイズの算出等に用いられる。
定理.
以下の定理はLindeberg (1922) による。
期待値 と分散 を持つ独立同分布 ("i.i.d.") に従う確率変数列 に対し formula_1 とおくと、
つまり、独立同分布に従う確率変数列の部分和を標準化すると、期待値 , 分散 の正規分布 に分布収束する。
従って、 が十分大きいとき近似的に、部分和 は平均 , 分散 の正規分布 に収束し、標本平均 formula_3 は平均 , 分散 の正規分布 に従う。
証明.
中心極限定理は特性関数（とレヴィの連続性定理）を用いることにより証明できる。
 を独立同分布に従う確率変数とする。分布の平均を 、分散を とする。ここで部分和 を考えると、その平均と分散はそれぞれ , となる。ここで確率変数
を考える。最後の式では、平均 、分散 の新しい確率変数 を定義した。
ここで、 の特性関数は、独立性より積の期待値は期待値の積になるため、
最後の等式は全ての は同一分布に従うため同じ特性関数を持つことから導いた。ここで、formula_6 をマクローリン展開する。
より
となる。ここで、 はランダウの記号である。
この式と指数関数の定義
を用いると、formula_10 の formula_11 における極限が以下のように求められる。
最後の関数は標準正規分布 の特性関数である。特性関数と確率分布の対応は一対一なので、この結果は formula_11 の極限で が に収束することを意味する。なお、厳密に特性関数の収束と確率分布関数の収束の対応関係が成り立つことはレヴィの連続性定理により保証される。
以上により、部分和 は正規分布 に収束し、標本平均 formula_14 は正規分布 に収束することが証明された。
正規分布に収束しない場合.
より一般化された確率理論（コルモゴロフの公理）では、中心極限定理は弱収束理論 (weak-convergence theories) の一部となる。それによると、独立同分布 (i.i.d.) に従う確率変数の分散（2次の中心モーメント）が有限な場合は「確率変数の和の確率分布」は変数の数が多くなるに従い正規分布に収束するが、確率変数が従う分布の裾が （ただし ）のべき乗で減衰する場合（分布の裾が厚くなり分散は無限大に発散して）（正規分布には収束せず）特性指数 の安定分布に収束する。
※なお安定分布は特性指数が のとき分散は無限大となり、分布の裾が冪乗則に従うファットテールを有する。