機率與統計 · 大數法則

大數法則

獨立重複同一個試驗,長期來看成功比例會收斂到成功機率,但過程中仍會波動。最初的領先會被稀釋,而不是被補回。

01

這個視覺化中的大數法則

設 X1,X2,…X_1, X_2, \dots 是從同一個分布獨立抽出的樣本,其平均數 μ=E[X]\mu = E[X] 有限(滿足 E∣X∣<∞E|X| < \infty 即可),並以 Xˉn\bar X_n 表示前 n 個樣本的平均。大數法則指出 Xˉn→μ\bar X_n \to \mu:依機率收斂(弱大數法則),以及以機率一收斂(強大數法則)。對硬幣,正面時 XiX_i 為 1,因此 Xˉn=p^n=Hn/n\bar X_n = \hat p_n = H_n/n 是正面比例,且 μ=p\mu = p。本頁追蹤一條或多條各投擲 100 000 次的路徑,探究比例為何逐漸穩定。

一個偏差,兩種尺度
Hn−np=n (p^n−p),SD(p^n)=p(1−p)n,SD(Hn−np)=np(1−p)H_n - np = n\,(\hat p_n - p), \qquad \mathrm{SD}(\hat p_n) = \sqrt{\tfrac{p(1-p)}{n}}, \qquad \mathrm{SD}(H_n - np) = \sqrt{np(1-p)}

上層顯示 p^n\hat p_n,下層顯示正面數超過預期次數的差額 Hn−npH_n - np;對公平硬幣,這是「正面數減反面數」的一半。同一個偏差在上方縮小,在下方增大。每個 n 的虛線範圍帶是二項分布精確的 95% 範圍:滿足 HnH_n 在其下方與上方的機率各不超過 2.5% 的最窄整數區間 [an,bn][a_n, b_n],因此涵蓋至少 95%(讀值顯示精確涵蓋率)。用比例表示是 [an/n, bn/n][a_n/n,\ b_n/n],用次數表示是 [an−np, bn−np][a_n - np,\ b_n - np],兩者是同一事件。若起初十次皆正面,另一枚起初有五次正面的配對硬幣會共用之後每次結果:兩者永遠恰好相差 5 次正面,比例就恰好相差 5/n5/n。領先被稀釋,並沒有被補回。

02

值得觀察的地方

  • 範圍帶是逐點定義的:對每個固定的 n,至少 95% 的路徑在帶內,但每個 n 都留在帶內的路徑少得多。路徑偶爾離開範圍帶,正是法則所容許的情況,不代表法則失效。
  • 沒有什麼會補回早期的領先。連續出現正面後,下一次為正面的機率仍是 p(賭徒謬誤卻認為不是如此;「連續出現後的統計」視窗會計算這件事)。比例之所以穩定,是因為同樣的差額要除以愈來愈大的 n。
  • 範圍帶按 1/n1/\sqrt{n} 的速率縮窄:在相同的 95% 下,多一位正確小數大約需要一百倍的投擲次數。法則要求平均數有限:對柯西分布,n 次抽樣的平均不會比單次抽樣更穩定(見中央極限定理頁)。
  • Jacob Bernoulli 在《猜度術》(1713 年)中證明了類似擲硬幣試驗的情況;「大數法則」一名則由 Poisson 於 1837 年提出。
03

操作方式

  • 紅色按鈕重播以固定種子預先算好的投擲;執行中按下會暫停,再按則繼續,結束後再按會使用下一個種子投擲。在圖上任一處按下或拖曳可移動游標;讀值只使用游標左側的投擲。分享會儲存種子、演算法版本與游標位置。
04

相關概念

  • H16二項分布規劃中
  • H19中央極限定理
  • H18抽樣分布規劃中
  • H20信賴區間規劃中
  • H05常態分布規劃中

延伸閱讀: 維基百科: Law of large numbers (英文); OpenStax, Introductory Statistics 2e, 3.1 Terminology (英文); MacTutor 數學史資料庫: Jacob Bernoulli (英文).