OCME · 中英數學知識與推導
結構深度Wave4根節點:環、度量完備性、線性結構、獨立與圖路徑
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
有限阿貝爾群
本脈衝新物件的既有 Canonical 前置。
四則運算
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
實賦範向量空間
本脈衝新物件的既有 Canonical 前置。
度量空間
本脈衝新物件的既有 Canonical 前置。
實向量空間
本脈衝新物件的既有 Canonical 前置。
Cauchy序列
本脈衝新物件的既有 Canonical 前置。
度量空間中的收斂
本脈衝新物件的既有 Canonical 前置。
線性組合與生成
本脈衝新物件的既有 Canonical 前置。
事件
本脈衝新物件的既有 Canonical 前置。
有限樣本空間上的機率
本脈衝新物件的既有 Canonical 前置。
有限模型的條件機率
本脈衝新物件的既有 Canonical 前置。
有限簡單無向圖
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
二元關係與集合投影
本脈衝新物件的既有 Canonical 前置。
有限含一環
有限含一環在同一完整有限載體上具加法阿貝爾群、乘法結合律、左右分配律及與零不同的乘法單位元。
範數誘導度量
同一實賦範向量空間上的範數以向量差的範數定義度量,度量公理由範數公理全稱推出。
完備度量空間
每個Cauchy序列都收斂到空間內某點的度量空間稱為完備。
實雙線性形式
實向量空間上的雙線性形式分別對兩個輸入保持向量加法與實純量乘法。
實向量空間間線性映射
一般實向量空間間映射若對所有向量與實純量保持線性組合,則為線性映射。
事件獨立
兩事件獨立以交集機率等於邊際機率乘積定義;此定義不依賴零機率條件式。
圖walk與simple path
有限無向簡單圖的walk要求每對連續頂點相鄰;simple path另要求所有頂點互異。
路徑來源與狀態
path-pulse-foundations-20261027 · candidate