OCME · 中英數學知識與推導
現代結構第二批:複數不變量、生成、群同態、收斂、測度、過程與多變數函數
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
複數
本脈衝新物件的既有 Canonical 前置。
絕對值
本脈衝新物件的既有 Canonical 前置。
自然數冪與主平方根
本脈衝新物件的既有 Canonical 前置。
實向量空間
本脈衝新物件的既有 Canonical 前置。
二元聯立一次方程組與退化邊界
本脈衝新物件的既有 Canonical 前置。
有限群
本脈衝新物件的既有 Canonical 前置。
子集合
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
度量空間
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
量詞與明示論域
本脈衝新物件的既有 Canonical 前置。
集合
本脈衝新物件的既有 Canonical 前置。
集合運算
本脈衝新物件的既有 Canonical 前置。
實數
本脈衝新物件的既有 Canonical 前置。
有限離散機率分布
本脈衝新物件的既有 Canonical 前置。
有限樣本空間的實值隨機變數
本脈衝新物件的既有 Canonical 前置。
固定基底下的平面向量
本脈衝新物件的既有 Canonical 前置。
座標平面
本脈衝新物件的既有 Canonical 前置。
複數模與共軛
複數共軛保留實部並反轉虛部;模平方為實部與虛部平方和。
線性組合與生成
線性組合是有限個向量的純量加權和;生成空間收集全部有限線性組合。
子群與群同態
子群在繼承運算下自身成群;群同態保持乘法,kernel與image由完整映射表導出。
度量空間中的收斂
度量空間序列收斂到x,表示每個正epsilon終有所有n≥N落入x的epsilon球。
σ-代數與測度空間
σ-代數含空集並對補集與可數聯集封閉;測度非負、空集為零且可數可加。
離散隨機過程
離散隨機過程是共同機率空間上的離散時間隨機變數族;邊際分布不決定聯合律。
多變數實函數
多變數實函數把明示實向量域中的輸入映到實數;座標角色與定義域是函數資料。
路徑來源與狀態
path-pulse-foundations-20261023 · candidate