MathLabs
定理証明済み

弱大数の法則

内容

X1,X2,…X_1, X_2, \dots を有限な平均 μ=E[X1]\mu = \mathbb{E}[X_1] をもつ独立同分布の確率変数列とする。標本平均 Xˉn=1n∑i=1nXi\bar{X}_n = \frac{1}{n}\sum_{i=1}^n X_i と任意の ε>0\varepsilon > 0 に対して、lim⁡n→∞P(∣Xˉn−μ∣≥ε)=0\lim_{n \to \infty} \mathbb{P}(|\bar{X}_n - \mu| \ge \varepsilon) = 0 が成り立つ。すなわち、Xˉn\bar{X}_n は μ\mu に確率収束する。

なぜ正しいのか?

1回ごとのランダムな試行は大きくばらつくことがあるが、独立な試行を数多く平均すると正負のずれが互いに打ち消し合い、標本平均が真の平均 μ\mu から大きく外れる確率は標本サイズ nn が大きくなるにつれて限りなく小さくなっていく。

証明の概略

分散 σ2=Var⁡(X1)\sigma^2 = \operatorname{Var}(X_1) が有限のとき、線形性と独立性より E[Xˉn]=μ\mathbb{E}[\bar{X}_n] = \mu および Var⁡(Xˉn)=σ2n\operatorname{Var}(\bar{X}_n) = \frac{\sigma^2}{n} となる。チェビシェフの不等式を適用すると P(∣Xˉn−μ∣≥ε)≤Var⁡(Xˉn)ε2=σ2nε2→0\mathbb{P}(|\bar{X}_n - \mu| \ge \varepsilon) \le \frac{\operatorname{Var}(\bar{X}_n)}{\varepsilon^2} = \frac{\sigma^2}{n\varepsilon^2} \to 0(n→∞n \to \infty のとき)が得られる。E[∣X1∣]<∞\mathbb{E}[|X_1|] < \infty のみを仮定する場合(ヒンチンの定理)は、Yi=Xi1{∣Xi∣≤n}Y_{i} = X_i \mathbf{1}_{\{|X_i| \le n\}} と置いて水準 nn で打ち切り、E[∣X1∣]<∞\mathbb{E}[|X_1|] < \infty を用いて P(∃i≤n:Xi≠Yi)≤nP(∣X1∣>n)→0\mathbb{P}(\exists i \le n : X_i \ne Y_i) \le n\mathbb{P}(|X_1| > n) \to 0 を示した上で、打ち切った平均にチェビシェフの不等式を適用する。

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Jacob Bernoulli (1713). Ars Conjectandi
  2. Geoffrey Grimmett, David Stirzaker (2020). Probability and Random Processes