院試hub

大数の法則と中心極限定理チェビシェフの不等式・収束の種類・正規近似

大数の法則は、独立同分布で平均 μ\mu をもつ確率変数の標本平均 Xˉn\bar X_n が、n→∞n \to \infty で μ\mu に収束することをいう。中心極限定理は、さらに分散 σ2\sigma^2 が有限で正なら、n(Xˉn−μ)/σ\sqrt{n}(\bar X_n - \mu)/\sigma の分布が標準正規分布 N(0,1)N(0,1) に近づくことをいう。分布の形によらず、和や平均の確率を正規分布で近似できる。収束の速さの粗い評価にはチェビシェフの不等式 P(∣X−μ∣≥kσ)≤1/k2P(|X - \mu| \ge k\sigma) \le 1/k^2 を使う。

確率・統計 の第4単元(全8単元)。先に読む単元:母関数と特性関数

院試数学 基礎完成シリーズ 確率統計編

基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。

確率統計編の内容を見る

マルコフとチェビシェフの不等式

定理・法則

マルコフの不等式

条件

X≥0X \ge 0(確率1で)、a>0a > 0、E⁡[X]<∞\operatorname{E}[X] < \infty。

主張

P(X≥a)≤E⁡[X]aP(X \ge a) \le \frac{\operatorname{E}[X]}{a}

要点

a 1{X≥a}≤Xa\,\mathbf{1}_{\{X \ge a\}} \le X の期待値をとる。XX が負の値をとると成り立たない。

定理・法則

チェビシェフの不等式

条件

E⁡[X]=μ\operatorname{E}[X] = \mu、Var⁡(X)=σ2<∞\operatorname{Var}(X) = \sigma^2 < \infty、k>0k > 0(ε>0\varepsilon > 0)。

主張

P(∣X−μ∣≥kσ)≤1k2,同値な形  P(∣X−μ∣≥ε)≤σ2ε2P(|X - \mu| \ge k\sigma) \le \frac{1}{k^2}, \qquad \text{同値な形}\ \ P(|X-\mu| \ge \varepsilon) \le \frac{\sigma^2}{\varepsilon^2}

要点

(X−μ)2(X-\mu)^2 にマルコフの不等式を使う。どの分布でも成り立つ代わりに評価は粗く、k=2k = 2 で上界 1/41/4 だが、正規分布の実際の値は P(∣Z∣≥2)≈0.0455P(|Z| \ge 2) \approx 0.0455 である。

確率変数の収束の種類

定義

4種類の収束

確率変数の列 XnX_n と XX について、次のように定める。

  • 概収束:P(lim⁡n→∞Xn=X)=1P\left(\lim_{n\to\infty} X_n = X\right) = 1。
  • 確率収束:任意の ε>0\varepsilon > 0 で lim⁡n→∞P(∣Xn−X∣>ε)=0\lim_{n\to\infty} P(|X_n - X| > \varepsilon) = 0。
  • 平均2乗収束:lim⁡n→∞E⁡[(Xn−X)2]=0\lim_{n\to\infty}\operatorname{E}[(X_n - X)^2] = 0。
  • 分布収束:FXF_X の連続点 xx すべてで lim⁡n→∞FXn(x)=FX(x)\lim_{n\to\infty} F_{X_n}(x) = F_X(x)。

概収束と平均2乗収束はそれぞれ確率収束を導き、確率収束は分布収束を導く。逆向きは一般に成り立たない。ただし極限が定数 cc のときは、分布収束と確率収束が同値になる。分布収束は分布関数についての主張なので、XnX_n と XX が同じ確率空間上になくてもよい。

大数の法則

定理・法則

大数の弱法則

条件

X1,X2,…X_1, X_2, \dots は独立同分布で E⁡∣X1∣<∞\operatorname{E}|X_1| < \infty、μ=E⁡[X1]\mu = \operatorname{E}[X_1]。

主張

Xˉn=1n∑i=1nXi\bar X_n = \dfrac{1}{n}\sum_{i=1}^{n} X_i は μ\mu に確率収束する。

要点

分散 σ2\sigma^2 が有限なら、Var⁡(Xˉn)=σ2/n\operatorname{Var}(\bar X_n) = \sigma^2/n とチェビシェフの不等式から P(∣Xˉn−μ∣≥ε)≤σ2/(nε2)→0P(|\bar X_n - \mu| \ge \varepsilon) \le \sigma^2/(n\varepsilon^2) \to 0 で示せる。分散が無限でも平均が有限なら成り立つ(ヒンチンの定理)。

定理・法則

大数の強法則

条件

X1,X2,…X_1, X_2, \dots は独立同分布で E⁡∣X1∣<∞\operatorname{E}|X_1| < \infty(コルモゴロフの強法則)。

主張

Xˉn\bar X_n は μ\mu に概収束する。

要点

独立同分布の場合、Xˉn\bar X_n がある有限の定数に概収束することと E⁡∣X1∣<∞\operatorname{E}|X_1| < \infty は同値である。

平均が存在しないと大数の法則は成り立たない。標準コーシー分布に従う独立な XiX_i では、特性関数 e−∣t∣e^{-|t|} から φXˉn(t)=(e−∣t∣/n)n=e−∣t∣\varphi_{\bar X_n}(t) = \bigl(e^{-|t|/n}\bigr)^n = e^{-|t|} となり、Xˉn\bar X_n は nn によらず標準コーシー分布に従う。

中心極限定理

定理・法則

中心極限定理(リンデベルグ・レヴィ)

条件

X1,X2,…X_1, X_2, \dots は独立同分布で、E⁡[X1]=μ\operatorname{E}[X_1] = \mu、0<σ2=Var⁡(X1)<∞0 < \sigma^2 = \operatorname{Var}(X_1) < \infty。Sn=X1+⋯+XnS_n = X_1 + \cdots + X_n。

主張

Zn=Sn−nμσn=n(Xˉn−μ)σZ_n = \frac{S_n - n\mu}{\sigma\sqrt{n}} = \frac{\sqrt{n}(\bar X_n - \mu)}{\sigma}

は N(0,1)N(0,1) に分布収束する。すなわち任意の zz で lim⁡n→∞P(Zn≤z)=Φ(z)\lim_{n\to\infty} P(Z_n \le z) = \Phi(z)。

要点

Yi=(Xi−μ)/σY_i = (X_i - \mu)/\sigma の特性関数は φ(u)=1−u2/2+o(u2)\varphi(u) = 1 - u^2/2 + o(u^2) なので、φZn(t)=φ(t/n)n=(1−t2/(2n)+o(1/n))n→e−t2/2\varphi_{Z_n}(t) = \varphi(t/\sqrt{n})^n = \bigl(1 - t^2/(2n) + o(1/n)\bigr)^n \to e^{-t^2/2}。レヴィの連続性定理から結論が出る。分散が無限(コーシー分布など)では成り立たない。

-4-202400.20.40.6z
2

Z = (U₁ + … + Uₙ − n/2)/√(n/12) の密度(緑)と標準正規分布の密度(灰)。差の最大値 0.031

区間 [0,1][0,1] の一様分布に従う独立な nn 個の和 SnS_n を標準化した (Sn−n/2)/n/12(S_n - n/2)/\sqrt{n/12} の密度(アーウィン・ホール分布を平行移動・拡大したもの)を、標準正規分布の密度と重ねて描く。nn を 11 から増やすと、長方形から三角形、釣鐘形へと形が変わり、正規分布の密度に近づいていく。

ド・モアブル・ラプラスの定理
X∼Bin(n,p)⇒X−npnp(1−p)→dN(0,1)X \sim \mathrm{Bin}(n,p) \Rightarrow \frac{X - np}{\sqrt{np(1-p)}} \xrightarrow{d} N(0,1)

0<p<10<p<1 を固定して n→∞n\to\infty。ベルヌーイ分布に中心極限定理を使ったもの。

連続修正
P(X≤k)≈Φ(k+0.5−npnp(1−p))P(X \le k) \approx \Phi\left(\frac{k + 0.5 - np}{\sqrt{np(1-p)}}\right)

整数値の分布を連続分布で近似するとき、区間の端を 0.50.5 ずらす。

標本平均の近似分布
Xˉn≈N(μ,σ2n)\bar X_n \approx N\left(\mu, \frac{\sigma^2}{n}\right)

正規近似の計算例

計算例

硬貨100回で表が55回以下の確率

公平な硬貨を100回投げて表が出る回数を XX とする。P(X≤55)P(X \le 55) を正規近似で求めよ。

解答

X∼Bin(100,0.5)X \sim \mathrm{Bin}(100, 0.5) で平均 5050、標準偏差 25=5\sqrt{25} = 5。連続修正をして

P(X≤55)≈Φ(55.5−505)=Φ(1.1)≈0.8643P(X \le 55) \approx \Phi\left(\frac{55.5 - 50}{5}\right) = \Phi(1.1) \approx 0.8643

検算

二項分布の正確な値は 0.86440.8644(数値計算)で、近似の誤差は 10−410^{-4} 程度である。連続修正をしないと Φ(1.0)≈0.8413\Phi(1.0) \approx 0.8413 で、誤差が約 0.0230.023 に増える。

計算例

支持率の推定に必要な標本数

支持率 pp を、標本の割合 Xˉn\bar X_n との差が 0.050.05 以上になる確率が 5%5\% 以下になるように推定したい。チェビシェフの不等式と中心極限定理のそれぞれで、必要な nn を求めよ。

解答

Var⁡(Xˉn)=p(1−p)/n≤1/(4n)\operatorname{Var}(\bar X_n) = p(1-p)/n \le 1/(4n)(p=1/2p = 1/2 で最大)。

チェビシェフの不等式では P(∣Xˉn−p∣≥0.05)≤14n⋅0.052=100nP(|\bar X_n - p| \ge 0.05) \le \dfrac{1}{4n \cdot 0.05^2} = \dfrac{100}{n}。これを 0.050.05 以下にするには n≥2000n \ge 2000。

中心極限定理では 1.96×12n≤0.051.96 \times \dfrac{1}{2\sqrt{n}} \le 0.05 から n≥(1.96/0.1)2=384.16n \ge (1.96/0.1)^2 = 384.16 で、n≥385n \ge 385。

検算

1.961.96 は Φ(1.96)≈0.975\Phi(1.96) \approx 0.975 を満たす値(z0.025z_{0.025})。チェビシェフの不等式はどの分布でも成り立つ分だけ評価が粗く、必要な nn が約5倍になる。

計算例

一様乱数12個の和

U1,…,U12U_1, \dots, U_{12} を独立な U(0,1)U(0,1) とする。Y=U1+⋯+U12−6Y = U_1 + \cdots + U_{12} - 6 の平均と分散を求め、YY がほぼ N(0,1)N(0,1) に従う理由を述べよ。

解答

E⁡[Ui]=1/2\operatorname{E}[U_i] = 1/2、Var⁡(Ui)=1/12\operatorname{Var}(U_i) = 1/12 なので、E⁡[Y]=12⋅1/2−6=0\operatorname{E}[Y] = 12 \cdot 1/2 - 6 = 0、Var⁡(Y)=12⋅1/12=1\operatorname{Var}(Y) = 12 \cdot 1/12 = 1。YY は (S12−12μ)/(σ12)(S_{12} - 12\mu)/(\sigma\sqrt{12}) そのもので、中心極限定理により分布が N(0,1)N(0,1) に近い。

検算

n=2n = 2 の和の密度は 0≤x≤10 \le x \le 1 で xx、1≤x≤21 \le x \le 2 で 2−x2 - x の三角形で、積分すると 11、平均 11 になる。n=3n = 3 では区分的2次式になり、中央 x=1.5x = 1.5 で 0.750.75 をとる。YY の値は [−6,6][-6, 6] に限られるので、裾の確率の近似には向かない。

答案でよくある誤り

  1. 1

    中心極限定理を「XiX_i 自体が正規分布に近づく」と読む。近づくのは標準化した和 ZnZ_n の分布で、各 XiX_i の分布は変わらない。

  2. 2

    標準化で σ/n\sigma/\sqrt{n} でなく σ\sigma や σ/n\sigma/n で割る。Xˉn\bar X_n の標準偏差は σ/n\sigma/\sqrt{n}、和 SnS_n の標準偏差は σn\sigma\sqrt{n} である。

  3. 3

    分散の存在を確かめずに中心極限定理を使う。分散が無限の分布では成り立たない。平均が存在しないコーシー分布では大数の法則も成り立たない。

  4. 4

    二項分布の正規近似で連続修正を忘れる、または向きを誤る。P(X≤k)P(X \le k) は k+0.5k + 0.5、P(X≥k)P(X \ge k) は k−0.5k - 0.5 で近似する。

  5. 5

    チェビシェフの不等式の上界を確率の近似値として答える。上界は PP 以上の値で、実際の確率はずっと小さいことが多い。

大数の法則と中心極限定理が出た院試の過去問

院試hubが年度別解説の大問を分類した集計から、この単元の内容を扱う出題を挙げる。問題文は各大学の公式過去問で確かめ、解き方は各年度の解説ページで読める。

中心極限定理

6大学・17問(2007〜2025年度)

新しい年度の出題

解答まで無料で読める演習問題

中心極限定理の出題実績(大学×年度)をすべて見る

確率・統計の前後の単元

このページの本文を数式のLaTeXのまま読むには Markdown版。最終更新 2026-11-16。誤りに気づいたら 運営者 へ連絡してほしい。

院試数学 基礎完成シリーズ 確率統計編

基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。

確率統計編の内容を見る