OCME · 中英數學知識與推導
現代結構 Wave3 收束：邊界值、凸函數、凸最佳化與四項密度深化
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序，不是一般性的邏輯依賴或已形式化證明。
偏微分方程
本脈衝新物件的既有 Canonical 前置。
定義域、陪域與值域
本脈衝新物件的既有 Canonical 前置。
方程式
本脈衝新物件的既有 Canonical 前置。
凸集合
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
實數大小與順序
本脈衝新物件的既有 Canonical 前置。
最佳化問題
本脈衝新物件的既有 Canonical 前置。
實向量空間
本脈衝新物件的既有 Canonical 前置。
線性組合與生成
本脈衝新物件的既有 Canonical 前置。
二元聯立一次方程組與退化邊界
本脈衝新物件的既有 Canonical 前置。
實二階方陣的行列式
本脈衝新物件的既有 Canonical 前置。
σ-代數與測度空間
本脈衝新物件的既有 Canonical 前置。
集合運算
本脈衝新物件的既有 Canonical 前置。
離散隨機過程
本脈衝新物件的既有 Canonical 前置。
有限矩陣的尺寸、索引與轉置
本脈衝新物件的既有 Canonical 前置。
有限模型的條件機率
本脈衝新物件的既有 Canonical 前置。
多變數實函數
本脈衝新物件的既有 Canonical 前置。
實函數在一點的導數與差商
本脈衝新物件的既有 Canonical 前置。
兩點間的平均變化率
本脈衝新物件的既有 Canonical 前置。
邊界值問題
邊界值問題把定義域內的微分方程責任與邊界上的值或導數資料同時指定；候選通過不等於適定性。
凸函數
凸域上的函數為凸，若每個兩點凸組合處的函數值不超過相同權重的端點函數值。
線性獨立與基底
深化既有R²基底語義，以顯式重建與非平凡零和證書區分span、dependence與座標唯一性。
可測函數
深化完整有限可測空間上的逆像補集／聯集律、常值映射及來源sigma代數細化。
有限狀態 Markov 鏈
深化精確有限時間齊次kernel的n步矩陣、端點joint與給定初態的條件路徑機率。
偏導數
深化二次多項式的x／y偏導多項式、固定x的y切片及符號差商消去後極限。
凸最佳化問題
凸最佳化問題在凸可行域上最小化凸目標；問題資格、可行性、求值與全域最優是不同責任。
路徑來源與狀態
path-pulse-foundations-20261025 · candidate