有限值IID強大數律

數學敘述

以明示infinite IID process certificate及normalized finite marginal law定義mu。SLLN結論為P(lim_{n→∞} n^{-1}sum_{i=1}^n X_i=mu)=1。exact families重算marginal mean、固定prefix的sample mean與固定n deviation event probability，但明示這些都不是a.s. convergence證書。non-IID與nonfinite-support只是本節scoped theorem不適用；finite prefix不證極限，wrong target不等於共同mean。

代表公式（精確 TeX）

S(X,n,e)=b

成立條件

• process certificate涵蓋無限索引、independence與共同finite law。
• marginal carrier有限且probabilities exact、nonnegative、sum為1。

符號作用域

• S — 強大數律算子
• X — 有限值無限IID序列
• n — 前綴長度
• e — 正偏差門檻
• b — 幾乎必然收斂結論

直觀、定義與常見誤解

finite marginal law不能代替infinite IID process certificate。

prefix mean與deviation probability只屬固定n audit。

不適用邊界不被誤寫成一般SLLN反例。

看到幾個prefix接近mu就宣稱a.s. convergence，或把nonfinite support當成一般SLLN必然失敗。

已採用的推導導讀

原始 MKO 保留；導讀有自己的追加式修訂與驗證界線，不代表新 Lean 證明。

前置知識

• 獨立同分布序列 — 無限IID假設。
• 幾乎必然收斂 — 結論語義。
• 有限模型的期望值 — 共同mean。
• σ-代數與測度空間 — a.s. event。
• 有限機率模型的變異數 — finite-valued law的moment背景。

驗證界線

finite prefix enumeration不證probability-one limit。

not_formalized

這不表示內容錯誤；只表示尚未登錄可重播的計算或形式證據。

下一個義務

加入integrable IID一般SLLN、Borel–Cantelli與ergodic boundaries。

同源結構化資料

本頁與互動版共用同一個物件與既有語言 edition；未新增證明或人工審定。