中心極限定理エクスプローラー

標本平均が釣鐘型になる様子を観察する

インタラクティブシミュレーションを読み込んでいます...

奇妙な分布からでも平均が正規分布に近づく理由 🖖

これは、平均化が本質的に繰り返しの畳み込みであり、ある分布を十分な回数だけ自分自身と畳み込むと、その個々の特徴が滑らかになるためだ——歪みや多峰性の山は広がりよりも速く減衰するため、残るものは出発点にかかわらずますますガウス分布に近づいていく。唯一の本当の条件は分散が有限であることであり、一様分布、指数分布、二峰性の双峰分布はいずれも、抽出を十分に平均化すれば同じ釣鐘曲線へと引き寄せられる——ただし速度は異なる。だからこそ n=30 は正確な閾値ではなく、統計学の非公式な経験則になったのだ。

収縮を支える平方根の法則 🖖

抽出を重ねるほど、平均値のヒストグラムは滑らかになるだけでなく、幅も狭くなります。そのばらつきは標準誤差 σ/√n で表され、精度は標本サイズの平方根でしか向上しません。幅を半分にするには n を4倍にする必要があります。これがこの定理の実用的な核心です。標本を大きくすれば平均をより正確に絞り込めますが、その効果は次第に小さくなります。

定理を破る分布 🖖

この定理は分散が有限であることを暗黙に仮定していますが、有名な無法者がそれを破ります。2つの標準正規分布の比であるコーシー分布です。100万回のコーシー抽出を平均しても、結果は1回の抽出とまったく同じコーシー曲線に従い、釣鐘型は決して現れず、データを増やしても無意味です。その裾は非常に重く、たった1つの巨大な値がどれほど大きな平均でも支配してしまうのです。

例題

  • 一様分布、n=5 - 一様分布からのサンプル、n=5 - 標本平均のばらつきはまだ大きく不安定
  • 一様分布、n=30 - 一様分布からのサンプル、n=30 - 標本平均の分布が明確な釣鐘型になる
  • 指数分布、n=30 - 指数分布からのサンプル、n=30 - 元の分布は歪んでいるが標本平均はほぼ正規分布に近づく
  • 双峰分布、n=30 - 双峰分布からのサンプル、n=30 - 二つの山を持つ分布でも標本平均は正規分布に近づく