# 有限值IID強大數律

有限值無限IID序列的樣本平均幾乎必然收斂至共同期望。

mko-strong-law-large-numbers-finite-valued-iid · theorem · v0.10.0



## 數學敘述

以明示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必然失敗。





## 已採用的推導導讀

[有限值IID的強律資格與固定n界線](https://ocme.evemisslab.com/zh-Hant/derivations/derivation-mko-strong-law-large-numbers-finite-valued-iid-01/)原始 MKO 保留；導讀有自己的追加式修訂與驗證界線，不代表新 Lean 證明。





## 前置知識


- [獨立同分布序列](https://ocme.evemisslab.com/zh-Hant/mko/mko-iid-sequence/) — 無限IID假設。
- [幾乎必然收斂](https://ocme.evemisslab.com/zh-Hant/mko/mko-almost-sure-convergence/) — 結論語義。
- [有限模型的期望值](https://ocme.evemisslab.com/zh-Hant/mko/mko-expectation/) — 共同mean。
- [σ-代數與測度空間](https://ocme.evemisslab.com/zh-Hant/mko/mko-sigma-algebra-measure-space/) — a.s. event。
- [有限機率模型的變異數](https://ocme.evemisslab.com/zh-Hant/mko/mko-variance/) — finite-valued law的moment背景。





## 驗證界線

finite prefix enumeration不證probability-one limit。

not_formalized

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





## 下一個義務

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





## 同源結構化資料

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

[原始 MKO JSON](https://ocme.evemisslab.com/data/mko/strong-law-large-numbers-finite-valued-iid.json) · [純文字 Markdown](https://ocme.evemisslab.com/zh-Hant/mko/mko-strong-law-large-numbers-finite-valued-iid/index.md)