跳至主要內容
OCME中英數學知識與推導English

OCME · 中英數學知識與推導

Wave5第二層:維度、核像、拓撲邊界、緊緻、Bayes與正規語言

本頁導覽
  1. 實向量空間
  2. 線性獨立與基底
  3. 集合基數比較
  4. 實向量空間間線性映射
  5. 實向量子空間
  6. 方程式
  7. 函數映射
  8. 拓撲閉包與內部
  9. 集合運算
  10. 拓撲空間
  11. 開覆蓋與子覆蓋
  12. 量詞與明示論域
  13. 有限模型的條件機率
  14. 事件
  15. 有限樣本空間上的機率
  16. 確定有限自動機
  17. 集合
  18. 數列
  19. 決定問題
  20. 有限維向量空間的維度
  21. 線性映射的核
  22. 線性映射的像
  23. 拓撲邊界
  24. 緊緻拓撲空間
  25. 貝氏定理
  26. 正規語言

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

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

  1. 階段 1 · required

    實向量空間

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

  2. 階段 1 · required

    線性獨立與基底

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

  3. 階段 1 · required

    集合基數比較

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

  4. 階段 1 · required

    實向量空間間線性映射

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

  5. 階段 1 · required

    實向量子空間

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

  6. 階段 1 · required

    方程式

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

  7. 階段 1 · required

    函數映射

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

  8. 階段 1 · required

    拓撲閉包與內部

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

  9. 階段 1 · required

    集合運算

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

  10. 階段 1 · required

    拓撲空間

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

  11. 階段 1 · required

    開覆蓋與子覆蓋

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

  12. 階段 1 · required

    量詞與明示論域

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

  13. 階段 1 · required

    有限模型的條件機率

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

  14. 階段 1 · required

    事件

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

  15. 階段 1 · required

    有限樣本空間上的機率

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

  16. 階段 1 · required

    確定有限自動機

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

  17. 階段 1 · required

    集合

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

  18. 階段 1 · required

    數列

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

  19. 階段 1 · required

    決定問題

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

  20. 階段 2 · optional

    有限維向量空間的維度

    有限維向量空間的維度是任一有限基底的元素數;基底不同但基數不變。

  21. 階段 3 · optional

    線性映射的核

    線性映射T的核是全部滿足T(x)=0的來源向量,並形成來源子空間。

  22. 階段 4 · optional

    線性映射的像

    線性映射的像是所有輸出T(x)的集合;矩陣映射的像等於column span。

  23. 階段 5 · optional

    拓撲邊界

    集合A的拓撲邊界為closure(A)減去interior(A),亦等於closure(A)交closure(complement A)。

  24. 階段 6 · optional

    緊緻拓撲空間

    拓撲空間緊緻,若每個開覆蓋都有有限子覆蓋;每個有限拓撲空間皆緊緻。

  25. 階段 7 · optional

    貝氏定理

    正分母條件下,Bayes定理以共同intersection與priors/likelihoods精確反轉條件機率。

  26. 階段 8 · optional

    正規語言

    正規語言是存在一個完整DFA可辨識其全部字串的語言。

路徑來源與狀態

path-pulse-foundations-20261102 · candidate

原始路徑 JSON