# Wave6第三層：Stabilizer、Bolzano-Weierstrass、緊緻子集、全期望、二項式、Möbius與CFG

在既有數系與函數基礎上依相依順序完成七個可追溯知識物件。

這是教學建議順序，不是一般性的邏輯依賴或已形式化證明。


- 階段 1 · required



## [有限群作用](/zh-Hant/mko/mko-finite-group-action/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-finite-group-action) [概念導讀](/zh-Hant/derivations/?q=mko-finite-group-action)


- 階段 1 · required



## [子群與群同態](/zh-Hant/mko/mko-subgroup-homomorphism/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-subgroup-homomorphism) [概念導讀](/zh-Hant/derivations/?q=mko-subgroup-homomorphism)


- 階段 1 · required



## [子數列](/zh-Hant/mko/mko-subsequence/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-subsequence) [概念導讀](/zh-Hant/derivations/?q=mko-subsequence)


- 階段 1 · required



## [數列極限與精確尾界](/zh-Hant/mko/mko-sequence-limit/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-sequence-limit) [概念導讀](/zh-Hant/derivations/?q=mko-sequence-limit)


- 階段 1 · required



## [實數](/zh-Hant/mko/mko-real-number/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-real-number) [概念導讀](/zh-Hant/derivations/?q=mko-real-number)


- 階段 1 · required



## [上確界與下確界](/zh-Hant/mko/mko-supremum-and-infimum/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-supremum-and-infimum) [概念導讀](/zh-Hant/derivations/?q=mko-supremum-and-infimum)


- 階段 1 · required



## [緊緻拓撲空間](/zh-Hant/mko/mko-compact-topological-space/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-compact-topological-space) [概念導讀](/zh-Hant/derivations/?q=mko-compact-topological-space)


- 階段 1 · required



## [子空間拓撲](/zh-Hant/mko/mko-subspace-topology/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-subspace-topology) [概念導讀](/zh-Hant/derivations/?q=mko-subspace-topology)


- 階段 1 · required



## [有限條件期望](/zh-Hant/mko/mko-conditional-expectation/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-conditional-expectation) [概念導讀](/zh-Hant/derivations/?q=mko-conditional-expectation)


- 階段 1 · required



## [有限模型的期望值](/zh-Hant/mko/mko-expectation/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-expectation) [概念導讀](/zh-Hant/derivations/?q=mko-expectation)


- 階段 1 · required



## [事件](/zh-Hant/mko/mko-event/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-event) [概念導讀](/zh-Hant/derivations/?q=mko-event)


- 階段 1 · required



## [排列與組合](/zh-Hant/mko/mko-permutation-combination/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-permutation-combination) [概念導讀](/zh-Hant/derivations/?q=mko-permutation-combination)


- 階段 1 · required



## [數學歸納法](/zh-Hant/mko/mko-mathematical-induction/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-mathematical-induction) [概念導讀](/zh-Hant/derivations/?q=mko-mathematical-induction)


- 階段 1 · required



## [一元有理係數多項式](/zh-Hant/mko/mko-polynomial/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-polynomial) [概念導讀](/zh-Hant/derivations/?q=mko-polynomial)


- 階段 1 · required



## [自然數質數](/zh-Hant/mko/mko-prime-number/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-prime-number) [概念導讀](/zh-Hant/derivations/?q=mko-prime-number)


- 階段 1 · required



## [整數唯一質因數分解](/zh-Hant/mko/mko-unique-prime-factorization/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-unique-prime-factorization) [概念導讀](/zh-Hant/derivations/?q=mko-unique-prime-factorization)


- 階段 1 · required



## [函數映射](/zh-Hant/mko/mko-function-mapping/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-function-mapping) [概念導讀](/zh-Hant/derivations/?q=mko-function-mapping)


- 階段 1 · required



## [抽象計算模型](/zh-Hant/mko/mko-computational-model/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-computational-model) [概念導讀](/zh-Hant/derivations/?q=mko-computational-model)


- 階段 1 · required



## [集合](/zh-Hant/mko/mko-set/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-set) [概念導讀](/zh-Hant/derivations/?q=mko-set)


- 階段 1 · required



## [數列](/zh-Hant/mko/mko-sequence/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

本脈衝新物件的既有 Canonical 前置。

[相關題目](/zh-Hant/explore/?mko=mko-sequence) [概念導讀](/zh-Hant/derivations/?q=mko-sequence)


- 階段 2 · optional



## [有限群作用的穩定子群](/zh-Hant/mko/mko-finite-group-stabilizer/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

指定點的stabilizer是有限群作用中固定該點的全部群元素，並形成子群。

[相關題目](/zh-Hant/explore/?mko=mko-finite-group-stabilizer) [概念導讀](/zh-Hant/derivations/?q=mko-finite-group-stabilizer)


- 階段 3 · optional



## [實數列Bolzano－Weierstrass定理](/zh-Hant/mko/mko-bolzano-weierstrass-theorem-real/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

每個整體有界的實數列都有一個以嚴格遞增無限索引取得的收斂子數列。

[相關題目](/zh-Hant/explore/?mko=mko-bolzano-weierstrass-theorem-real) [概念導讀](/zh-Hant/derivations/?q=mko-bolzano-weierstrass-theorem-real)


- 階段 4 · optional



## [緊緻子集](/zh-Hant/mko/mko-compact-subset/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

K⊆X在subspace topology下compact，等價地每個relative-open cover有有限subcover。

[相關題目](/zh-Hant/explore/?mko=mko-compact-subset) [概念導讀](/zh-Hant/derivations/?q=mko-compact-subset)


- 階段 5 · optional



## [全期望公式](/zh-Hant/mko/mko-law-of-total-expectation/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

同一有限機率空間上，完整partition各cell的conditional mean按cell probability加權後等於E[X]。

[相關題目](/zh-Hant/explore/?mko=mko-law-of-total-expectation) [概念導讀](/zh-Hant/derivations/?q=mko-law-of-total-expectation)


- 階段 6 · optional



## [二項式定理](/zh-Hant/mko/mko-binomial-theorem/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

交換乘法環境中，natural exponent n的二項式冪以binomial coefficients完整展開。

[相關題目](/zh-Hant/explore/?mko=mko-binomial-theorem) [概念導讀](/zh-Hant/derivations/?q=mko-binomial-theorem)


- 階段 7 · optional



## [Möbius函數](/zh-Hant/mko/mko-mobius-function/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

Möbius函數在positive integers上由完整prime multiplicities決定：mu(1)=1、含平方質因數為0、squarefree取parity sign。

[相關題目](/zh-Hant/explore/?mko=mko-mobius-function) [概念導讀](/zh-Hant/derivations/?q=mko-mobius-function)


- 階段 8 · optional



## [上下文無關文法](/zh-Hant/mko/mko-context-free-grammar/?from=%2Fzh-Hant%2Fpaths%2Fpath-pulse-foundations-20261109%2F)

CFG由有限且不交的nonterminals、terminals、start與單一nonterminal左側的finite productions生成語言。

[相關題目](/zh-Hant/explore/?mko=mko-context-free-grammar) [概念導讀](/zh-Hant/derivations/?q=mko-context-free-grammar)



路徑來源與狀態path-pulse-foundations-20261109 · candidate

[原始路徑 JSON](/data/architecture/learning-paths.json)


