Concept · Algebraic Topology
奇异同调 Singular Homology
别名 同调群 homology 奇异同调群
奇异 n X ∂ ∂ 2 = 0 H n ( X ) = ker ∂ n / im ∂ n + 1
同一概念可以拥有多条定义：它们可能刻画同一对象的不同侧面（例如标准定义与范畴论刻画）。 每条定义都有独立页面与来源。
Definition of Singular Homology
已审核 设 X Δ n n n σ : Δ n → X n C n ( X ) n ∂ n : C n ( X ) → C n − 1 ( X ) ∂ n ( σ ) = ∑ i = 0 n ( − 1 ) i σ ∘ F i n F i n i ∂ n − 1 ∘ ∂ n = 0 H n ( X ) := ker ∂ n / im ∂ n + 1 X 奇异同调群 。
H n ( X ) = ker ∂ n / im ∂ n + 1 , ∂ n − 1 ∘ ∂ n = 0
成立条件
适用对象
拓扑空间
定义解释
「奇异」指单形不要求嵌入 X ∂ 2 = 0
参考来源：2 条（见定义页 ）
严格数学前置指「定义中直接使用了对方」；学习前置是教学顺序建议，二者可能不同。 所有前置概念都可以点击跳转，并可逐层递归展开。
B 学习前置
暂无额外学习前置；上列的数学前置同时也是学习起点。
多层前置（最多展开三层，点击三角展开）
连续映射 Continuous Map 数学前置 拓扑空间 Topological Space 数学前置 01 原本存在的问题
同伦群难以计算，而且 π 1
02 原有理论的不足
单纯同调只适用于单纯复形，一般拓扑空间没有单纯结构； 同伦群则过于复杂，缺少可用的长正合列与割补公式。
03 为什么需要引入新概念
用「奇异单形」——标准单形到 X
04 新概念解决了什么
得到满足 Eilenberg–Steenrod 公理的唯一同调理论；它可以用长正合列、Mayer–Vietoris、 胞腔同调系统计算，并通过 Hurewicz 定理与同伦群联系。
关系按类型分开记录：逻辑依赖、学习顺序、推广与特例、应用、思想联系、历史影响。 下图以本概念为中心，点击节点可展开邻居，双击节点打开对应概念页。
局部关系图 以「奇异同调」为中心 · 悬停连线可查看关系类型 展开全部节点 回到「奇异同调」 适应窗口
数学前置依赖 学习前置 推广 特殊情形 等价 构造自 应用于 在……下不变 思想联系 思想启发 历史影响 | 同伦论 代数拓扑 一般拓扑 群论 范畴论与同调代数 数学基础 几何群论 在全局关系图中查看 →
逻辑与结构关系 Logical / structural
由数学定义本身决定的关系：谁依赖谁、谁推广谁、谁与谁等价。这类关系与学习者无关。
requires
→ 连续映射 Continuous Map 数学前置依赖 已审核 奇异单形是连续映射 $\Delta^n \to X$；链群以这些连续映射为生成元。
来源：Hatcher 2002
应用与不变量 Application / invariance
一个概念被用于研究另一个对象，或某类结构在变换下保持不变。
思想联系 Conceptual connection
不构成严格逻辑依赖，但在思想史或方法论上互相照亮的关系。
conceptual_connection
↔ 高阶同伦群 Higher Homotopy Group 思想联系 已审核 Hurewicz 定理把第一个非平凡同伦群与同调群联系起来；两者一个追求完备、一个追求可计算。
来源：Hatcher 2002
时间线中的每个事件都关联文献来源；标注「待审核」表示书目信息尚未完全核对。
1935–1936
Hurewicz 引入高阶同伦群 Witold Hurewicz
Hurewicz 在《Beiträge zur Topologie der Deformationen》系列中系统研究了映射的同伦，
引入高阶同伦群 π n n ≥ 2
来源：Hurewicz 1935 待审核
1945
Eilenberg–MacLane 空间 K(G, n) Samuel Eilenberg、Saunders Mac Lane
Eilenberg 与 Mac Lane 构造了以给定群 G n K ( G , n )
来源：Eilenberg 1945 已审核
1945
Eilenberg–Steenrod 同调公理 Samuel Eilenberg、Norman Steenrod
Eilenberg 与 Steenrod 提出同调论的公理系统：同调被刻画为满足维数公理、
同伦不变性、长正合列、切除等性质的函子。此后「同调论」不再依赖具体构造，
奇异同调、单纯同调、胞腔同调都是同一公理系统的模型。
来源：Eilenberg 1945 已审核
1951
Serre 用纤维化与谱序列计算球面同伦群 Jean-Pierre Serre
Serre 在博士论文中系统研究纤维化的奇异同调，构造了后来以他命名的谱序列，
并据此证明：对 i > n ( n , i ) = ( n , 2 n − 1 ) n π i ( S n )
来源：Serre 1951 已审核
从这里出发可以继续探索的方向，按「直接推广 / 理论应用 / 思想联系 / 现代发展」区分。
理论应用 把这里的工具用到其他数学分支中的方向。 CW 复形 对 CW 复形，胞腔链复形给出与奇异同调同构的同调群，使计算降到有限维线性代数。
Hatcher 2002
思想联系 问题意识或方法论上的呼应，不一定是形式化依赖。 高阶同伦群 Hurewicz 定理把第一个非平凡同伦群与同调群联系起来，是同伦群计算的主要入口。
Hatcher 2002
现代发展 当代研究中的活跃方向，通常需要更多预备知识。 模型范畴 链复形本身构成模型范畴，同调与同伦在公理层面统一：同调是链复形同伦范畴中的不变量。
Hovey 1999
Main Idea
奇异同调的核心思想是「线性化」：把空间切成单形，用线性代数记录它们如何粘合。 代价是丢失非交换信息，收益是可计算性。同调与同伦的互补，是代数拓扑最持久的方法论张力。
链复形与边缘算子
设 Δ n n σ : Δ n → X n C n ( X ) σ
∂ n ( σ ) = i = 0 ∑ n ( − 1 ) i σ ∣ 第 i 个面
满足 ∂ n − 1 ∘ ∂ n = 0
为什么它是同伦不变量
同伦等价的映射诱导链复形之间的链同伦等价，从而在同调上诱导同构。
这正是「同调是同伦不变量」的证明方式，也解释了为什么同伦论与同调论共享一套语言。
[1] [2] Samuel Eilenberg, Norman Steenrod (1945). Axiomatic approach to homology theory. Proceedings of the National Academy of Sciences of the USA 31, 117–120.
论文 · 31, 117–120
已审核 [3] Samuel Eilenberg, Saunders Mac Lane (1945). Relations between homology and homotopy groups of spaces. Annals of Mathematics 46, 480–509.
论文 · 46, 480–509
已审核 [4] Witold Hurewicz (1935). Beiträge zur Topologie der Deformationen I. Proceedings of the Koninklijke Akademie van Wetenschappen te Amsterdam 38, 112–119.
论文 · 38, 112–119（系列论文 I–IV，1935–1936）
该系列分四部分发表于 1935–1936 年；各部分的卷号与页码尚未逐条核对。
待审核 [5] Jean-Pierre Serre (1951). Homologie singulière des espaces fibrés. Applications. Annals of Mathematics 54, 425–505.
论文 · 54, 425–505
已审核 [6] Mark Hovey (1999). Model Categories. Mathematical Surveys and Monographs 63, American Mathematical Society.
专著 · Ch. 1
已审核