OCME · 中英數學知識與推導
Wave6第三層：Stabilizer、Bolzano-Weierstrass、緊緻子集、全期望、二項式、Möbius與CFG
本頁導覽
在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。
這是教學建議順序，不是一般性的邏輯依賴或已形式化證明。
有限群作用
本脈衝新物件的既有 Canonical 前置。
子群與群同態
本脈衝新物件的既有 Canonical 前置。
子數列
本脈衝新物件的既有 Canonical 前置。
數列極限與精確尾界
本脈衝新物件的既有 Canonical 前置。
實數
本脈衝新物件的既有 Canonical 前置。
上確界與下確界
本脈衝新物件的既有 Canonical 前置。
緊緻拓撲空間
本脈衝新物件的既有 Canonical 前置。
子空間拓撲
本脈衝新物件的既有 Canonical 前置。
有限條件期望
本脈衝新物件的既有 Canonical 前置。
有限模型的期望值
本脈衝新物件的既有 Canonical 前置。
事件
本脈衝新物件的既有 Canonical 前置。
排列與組合
本脈衝新物件的既有 Canonical 前置。
數學歸納法
本脈衝新物件的既有 Canonical 前置。
一元有理係數多項式
本脈衝新物件的既有 Canonical 前置。
自然數質數
本脈衝新物件的既有 Canonical 前置。
整數唯一質因數分解
本脈衝新物件的既有 Canonical 前置。
函數映射
本脈衝新物件的既有 Canonical 前置。
抽象計算模型
本脈衝新物件的既有 Canonical 前置。
集合
本脈衝新物件的既有 Canonical 前置。
數列
本脈衝新物件的既有 Canonical 前置。
有限群作用的穩定子群
指定點的stabilizer是有限群作用中固定該點的全部群元素，並形成子群。
實數列Bolzano－Weierstrass定理
每個整體有界的實數列都有一個以嚴格遞增無限索引取得的收斂子數列。
緊緻子集
K⊆X在subspace topology下compact，等價地每個relative-open cover有有限subcover。
全期望公式
同一有限機率空間上，完整partition各cell的conditional mean按cell probability加權後等於E[X]。
二項式定理
交換乘法環境中，natural exponent n的二項式冪以binomial coefficients完整展開。
Möbius函數
Möbius函數在positive integers上由完整prime multiplicities決定：mu(1)=1、含平方質因數為0、squarefree取parity sign。
上下文無關文法
CFG由有限且不交的nonterminals、terminals、start與單一nonterminal左側的finite productions生成語言。
路徑來源與狀態
path-pulse-foundations-20261109 · candidate