OCME · 中英數學知識與推導
結構深度Wave4第一批:阿貝爾、範數、Cauchy、joint law、協方差、圖同構與等價關係
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
有限群
本脈衝新物件的既有 Canonical 前置。
量詞與明示論域
本脈衝新物件的既有 Canonical 前置。
實向量空間
本脈衝新物件的既有 Canonical 前置。
絕對值
本脈衝新物件的既有 Canonical 前置。
實數大小與順序
本脈衝新物件的既有 Canonical 前置。
度量空間
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
有限離散機率分布
本脈衝新物件的既有 Canonical 前置。
有限樣本空間的實值隨機變數
本脈衝新物件的既有 Canonical 前置。
有限樣本空間上的機率
本脈衝新物件的既有 Canonical 前置。
樣本空間
本脈衝新物件的既有 Canonical 前置。
有限模型的期望值
本脈衝新物件的既有 Canonical 前置。
有限機率模型的變異數
本脈衝新物件的既有 Canonical 前置。
有限簡單無向圖
本脈衝新物件的既有 Canonical 前置。
雙射與唯一原像
本脈衝新物件的既有 Canonical 前置。
二元關係與集合投影
本脈衝新物件的既有 Canonical 前置。
邏輯連接詞
本脈衝新物件的既有 Canonical 前置。
有限阿貝爾群
有限群若完整Cayley表對所有元素對都滿足交換律,則為有限阿貝爾群。
實賦範向量空間
實向量空間配備正定、絕對齊次且滿足三角不等式的實值範數。
Cauchy序列
度量空間序列為Cauchy,若每個正epsilon最終所有兩項彼此距離皆小於epsilon。
有限聯合分布
共同有限機率空間上多個隨機變數的值組與精確質量共同指定有限聯合分布。
協方差
同一有限聯合分布下協方差為E[XY]-E[X]E[Y];零協方差通常不推出獨立。
圖同構
有限簡單圖同構是頂點雙射,對所有頂點對完整保持鄰接與非鄰接。
等價關係
固定載體上的關係若完整滿足反身、對稱與傳遞,則為等價關係。
路徑來源與狀態
path-pulse-foundations-20261026 · candidate