OCME · 中英數學知識與推導
Wave5第五層:直和、對偶、Euclidean演算法、Euler trail、同胚、抽樣分布與弱大數律
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
實向量子空間
本脈衝新物件的既有 Canonical 前置。
集合運算
本脈衝新物件的既有 Canonical 前置。
線性獨立與基底
本脈衝新物件的既有 Canonical 前置。
實向量空間間線性映射
本脈衝新物件的既有 Canonical 前置。
實向量空間
本脈衝新物件的既有 Canonical 前置。
實數
本脈衝新物件的既有 Canonical 前置。
最大公因數與互質
本脈衝新物件的既有 Canonical 前置。
自然數整除
本脈衝新物件的既有 Canonical 前置。
算法正確性
本脈衝新物件的既有 Canonical 前置。
圖walk與simple path
本脈衝新物件的既有 Canonical 前置。
有限簡單無向圖
本脈衝新物件的既有 Canonical 前置。
連通分量
本脈衝新物件的既有 Canonical 前置。
拓撲連續映射
本脈衝新物件的既有 Canonical 前置。
雙射與唯一原像
本脈衝新物件的既有 Canonical 前置。
雙射的反函數
本脈衝新物件的既有 Canonical 前置。
拓撲空間
本脈衝新物件的既有 Canonical 前置。
參數統計模型
本脈衝新物件的既有 Canonical 前置。
統計估計量
本脈衝新物件的既有 Canonical 前置。
有限離散機率分布
本脈衝新物件的既有 Canonical 前置。
獨立同分布序列
本脈衝新物件的既有 Canonical 前置。
有限模型的期望值
本脈衝新物件的既有 Canonical 前置。
有限機率模型的變異數
本脈衝新物件的既有 Canonical 前置。
依機率收斂
本脈衝新物件的既有 Canonical 前置。
子空間直和
二個子空間之和若每個向量有唯一分解便是內直和;要宣稱覆蓋母空間還須另證生成。
對偶向量空間
實向量空間的對偶空間由所有實值線性泛函組成;座標covector表示依賴基底。
Euclidean演算法
Euclidean演算法以精確帶餘除法、gcd invariant與嚴格餘數下降求最大公因數。
Euler trail與circuit
Euler trail恰用每條邊一次;非零邊支撐連通且奇度數為0或2時分別有circuit或open trail。
同胚
同胚是雙射、連續且逆映射亦連續的映射;一般continuous bijection仍可能不是同胚。
抽樣分布
固定theta時,估計量把樣本分布pushforward成統計量的抽樣分布;全部theta形成一族laws。
弱大數律
IID且具有有限variance時,Chebyshev界給樣本平均依機率收斂到共同mean。
路徑來源與狀態
path-pulse-foundations-20261105 · candidate