OCME · 中英數學知識與推導
結構深度Wave4第四層:有限域、Hilbert、Martingale、商集、基數、CDF與依機率收斂
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
有限整環
本脈衝新物件的既有 Canonical 前置。
有限含一環
本脈衝新物件的既有 Canonical 前置。
有限阿貝爾群
本脈衝新物件的既有 Canonical 前置。
實內積空間
本脈衝新物件的既有 Canonical 前置。
內積誘導範數
本脈衝新物件的既有 Canonical 前置。
範數誘導度量
本脈衝新物件的既有 Canonical 前置。
完備度量空間
本脈衝新物件的既有 Canonical 前置。
有限filtration
本脈衝新物件的既有 Canonical 前置。
有限條件期望
本脈衝新物件的既有 Canonical 前置。
離散隨機過程
本脈衝新物件的既有 Canonical 前置。
有限模型的期望值
本脈衝新物件的既有 Canonical 前置。
可測函數
本脈衝新物件的既有 Canonical 前置。
等價類
本脈衝新物件的既有 Canonical 前置。
集合
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
等價關係
本脈衝新物件的既有 Canonical 前置。
單射與不同輸入的辨識
本脈衝新物件的既有 Canonical 前置。
滿射與陪域覆蓋
本脈衝新物件的既有 Canonical 前置。
雙射與唯一原像
本脈衝新物件的既有 Canonical 前置。
有限離散機率分布
本脈衝新物件的既有 Canonical 前置。
實數大小與順序
本脈衝新物件的既有 Canonical 前置。
有限樣本空間上的機率
本脈衝新物件的既有 Canonical 前置。
有限聯合分布
本脈衝新物件的既有 Canonical 前置。
有限樣本空間的實值隨機變數
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
度量空間中的收斂
本脈衝新物件的既有 Canonical 前置。
有限域
有限交換含一環中每個非零元素皆有乘法逆元時構成有限域。
實Hilbert空間
在同一內積誘導範數與度量下完備的實內積空間為實Hilbert空間。
有限Martingale
相對同一filtration適應且可積的有限過程,若每一步下一值條件期望等於現在值a.s.,則為Martingale。
商集
完整等價關係的全部互異等價類組成商集,並分割原載體。
集合基數比較
明示source與target間的單射、滿射、雙射分別提供有限集合基數比較證書。
累積分布函數
實值隨機變數的CDF以F(t)=P(X小於等於t)定義,為單調右連續且有限離散跳躍等於點質量。
依機率收斂
X_n依機率收斂到X,若對每個epsilon>0,偏差超過epsilon的機率趨近0。
路徑來源與狀態
path-pulse-foundations-20261030 · candidate