OCME · 中英數學知識與推導
函數可逆性與有限機率矩數:每日七輪
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
函數映射
本脈衝新物件的既有 Canonical 前置。
量詞與明示論域
本脈衝新物件的既有 Canonical 前置。
函數合成
本脈衝新物件的既有 Canonical 前置。
仿射函數與一次函數
本脈衝新物件的既有 Canonical 前置。
樣本空間
本脈衝新物件的既有 Canonical 前置。
實數
本脈衝新物件的既有 Canonical 前置。
有限樣本空間上的機率
本脈衝新物件的既有 Canonical 前置。
自然數冪與主平方根
本脈衝新物件的既有 Canonical 前置。
單射與不同輸入的辨識
單射要求不同合法輸入不能有同一輸出,不要求覆蓋整個陪域。
滿射與陪域覆蓋
滿射要求陪域每個元素都有合法原像;相同輸出可以有多個原像。
雙射與唯一原像
雙射同時單射與滿射,等價於陪域每個元素恰有一個合法原像。
雙射的反函數
雙射 f:A→B 的反函數 g:B→A 須驗證兩個方向的還原,不能把交換資料當成無條件反函數。
有限樣本空間的實值隨機變數
有限模型中的隨機變數是基本結果到實數的總函數;它不是基本結果,也不是權重本身。
有限模型的期望值
有限期望是合法機率權重與隨機變數值的加權總和,線性性不要求獨立。
有限機率模型的變異數
本輪變異數為 E[(X−E[X])²],不是 n−1 分母的樣本變異數;零權重離群值不影響它。
路徑來源與狀態
path-pulse-foundations-20261005 · candidate