OCME · 中英數學知識與推導
Wave6第四層:Orbit-Stabilizer、MVT、緊緻像、全變異數、遞迴、Möbius反演與PDA
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序,不是一般性的邏輯依賴或已形式化證明。
有限群作用的軌道
本脈衝新物件的既有 Canonical 前置。
有限群作用的穩定子群
本脈衝新物件的既有 Canonical 前置。
集合基數比較
本脈衝新物件的既有 Canonical 前置。
實函數在一點的導數與差商
本脈衝新物件的既有 Canonical 前置。
實函數的點值與連續
本脈衝新物件的既有 Canonical 前置。
兩點間的平均變化率
本脈衝新物件的既有 Canonical 前置。
實數大小與順序
本脈衝新物件的既有 Canonical 前置。
緊緻子集
本脈衝新物件的既有 Canonical 前置。
拓撲連續映射
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
全期望公式
本脈衝新物件的既有 Canonical 前置。
有限機率模型的變異數
本脈衝新物件的既有 Canonical 前置。
有限條件期望
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
方程式
本脈衝新物件的既有 Canonical 前置。
Möbius函數
本脈衝新物件的既有 Canonical 前置。
自然數整除
本脈衝新物件的既有 Canonical 前置。
基本計數原理
本脈衝新物件的既有 Canonical 前置。
抽象計算模型
本脈衝新物件的既有 Canonical 前置。
確定有限自動機
本脈衝新物件的既有 Canonical 前置。
上下文無關文法
本脈衝新物件的既有 Canonical 前置。
軌道-穩定子定理
完整有限群作用中,同一點的orbit大小乘以stabilizer大小等於群階。
微分中值定理
若a<b,f在[a,b]連續且在(a,b)可微,則某個內點c的導數等於端點割線斜率。
緊緻集的連續像
若K在X中compact且f:X→Y連續,則image f(K)在Y中compact。
全變異數公式
同一有限law與完整partition生成的G下,總變異數等於cell內變異數期望加cell均值變異數。
遞迴關係
order-r recurrence以明示initial values與total single-valued update rule逐項決定sequence。
有限因數格上的Möbius反演
若F(n)是所有正因數d上的f(d)總和,則以Möbius權重可精確反演f(n)。
下推自動機
nondeterministic PDA以有限控制、input與stack transitions運算,本輪固定讀完input且到final state接受。
路徑來源與狀態
path-pulse-foundations-20261110 · candidate