查看“︁同调”︁的源代码

{{NoteTA
|G1 = Math
|1=zh-cn:數學對象;zh-tw:數學物件;
}}
[[数学]]上（特别是[[代数拓扑]]和[[抽象代数]]），'''同调''' （homology，在[[希腊语]]中''homos'' = 同）是一类将一个[[可换群]]或者[[模 (数学)|模]]的[[序列]]和特定[[数学对象]]（例如[[拓扑空间]]或者[[群]]）联系起来的过程。背景知识请参看[[同调论]]。

对于一个特定的拓扑空间，同调群通常比[[同伦群]]要容易计算得多，因此通常来讲用同调来辅助空间分类要容易处理一些。

==同调群的构造==

其过程如下：给定对象<math>X</math>，首先定义[[链复形]]，它包含了<math>X</math>的信息。一个链复形是一个由[[群同态]]联系起来的可换群或者模<math>A_0,A_1,A_2,\dots</math>的序列，群同态<math> d_n : A_n \rightarrow A_{n-1}</math>满足任何两个相连的同态的复合为0: <math> d_n \circ d_{n+1} = 0 </math>对于所有''<math>n</math>''成立。这意味着第<math>n+1</math>个映射的[[像 (数学)|像]]包含在第''<math>n</math>''个映射的[[核 (代数)|核]]中，我们定义<math>X</math>'''的'''<math>n</math>'''阶同调群'''为[[商群]]（商模）

:<math> H_n(X) = \mathrm{ker}(d_n) / \mathrm{im}(d_{n+1}).</math>

链复形称为正合的，如果（<math>n+1</math>）阶映射的像总是等于''<math>n</math>''阶映射的核。因此<math>X</math>的同调群是衡量<math>X</math>所关联的链复形离正合有“多远”的障碍。

==非正式的例子==

非正式地，[[拓扑空间]]''X''的同调是''X''的[[拓扑不变量]]的集合，用其''同调群''来表示

:<math>H_0(X), H_1(X), H_2(X), \ldots </math>

其中第<math>k</math>个同调群<math>H_k(X)</math>描绘了<math>X</math>中的<math>k</math>维圈 (cycle)，实现为<math>k+1</math>维圆盘边界 (boundary) 的障碍。0维同调群刻画了两个零维圈，也即点，实现成一维圆盘，也即线段的边界的障碍，因此<math>H_0(X)</math>刻画了<math>X</math>中的道路连通分支。<ref>{{Harvnb|Spanier|1966|p=155}}</ref>

[[File:Circle - black simple.svg|thumb|left|圆，或称为1维球面<math>S^1</math>]]

一维[[球面]] <math>S^1</math>是一个[[圆]]。它有一个连通分支和一个一维圈，但没有更高维圈。其对应的同调群由下式给出

:<math>H_k(S^1) \cong \begin{cases} \mathbb Z & k=0, 1 \\ 0 & k \neq 0, 1 \end{cases}</math>

其中<math>\mathbb Z</math>表示整数加群，<math>0</math>表示[[平凡群]]。<math>H_1(S^1) \cong \mathbb Z</math>表示<math>S^1</math>的一阶同调群为由一个元素生成的[[有限生成阿贝尔群]]，其唯一的[[生成元]]表示圆中包含的一维圈。<ref name="Gowers 2010 390–391">{{Harvnb|Gowers|2010|pp=390–391}}</ref>

[[File:Sphere wireframe 10deg 4r.svg|thumb|right|2维球面<math>S^2</math>即球的球壳，不包括球的内部。]]

二维[[球面]]<math>S^2</math>有一个连通分支，零个一维圈，一个二维圈（即球面），无更高维的圈，其对应的同调群为<ref name="Gowers 2010 390–391"/>

:<math>H_k(S^2) \cong \begin{cases} \mathbb Z & k=0, 2 \\ 0 & k \neq 0, 2 \end{cases}</math>

一般地，对''<math>n</math>''维球面<math>S^n</math>，其同调群为

:<math>H_k(S^n) \cong \begin{cases} \mathbb Z & k=0, n \\ 0 & k \neq 0, n \end{cases}</math>

[[File:1-ball.svg|thumb|left|实心圆盘，即2维球<math>B^2</math>]]
二维实心[[球 (数学)|球]]<math>B^2</math>有一个道路连通分支，但与圆不同的是，<math>B^2</math>没有一维或更高维的圈，其对应的同调群除了零阶同调群<math>H_0(B^2) \cong \mathbb Z</math>以外，其余阶的同调群均为平凡群。

[[File:Simple torus with cycles.svg|thumb|right|环面<math>T = S^1 \times S^1</math>]]

[[环面]]被定义为两个圆<math>T^2 = S^1 \times S^1</math>的[[笛卡尔积]]。环面有一个道路连通分支，两个独立的一维圈（在图中以红圈和蓝圈分别标出），以及一个二维圈（环面的内部）。其对应的同调群为<ref name="Hatcher 2002 106">{{Harvnb|Hatcher|2002|p=106}}</ref>

:<math>H_k(T^2) \cong \begin{cases} \mathbb Z & k=0, 2 \\ \mathbb Z\times \mathbb Z & k=1 \\ 0 & k \geq 3 \end{cases}</math>

两个独立的一维圈组成了一组[[有限生成阿贝尔群]]的独立生成元，表示为笛卡尔积群<math>\mathbb Z\times \mathbb Z</math>.


== 例子 ==

引入同调的概念可以用[[单纯复形]]<math>X</math>的'''单纯同调'''：设<math>C_n</math>为<math>X</math>中的''<math>n</math>''维可定向单纯形生成的自由[[交换群]]或者模，映射<math>\partial_n:C_n\rightarrow C_{n+1}</math>映射称为''边缘映射 (boundary map)''，它将<math>n</math>维单纯形

:<math>\sigma:\Delta^n\rightarrow X </math>

映射为如下交错和

:<math> \sum_{i=0}^n (-1)^i\sigma|_{[e_0,\ldots,e_{i-1},e_{i+1},\ldots,e_n]}.</math> 

，其中<math>\sigma|_{[e_0,\cdots,e_{i-1},e_{i+1},\cdots,e_n]}</math>表示<math>\sigma</math>限制在<math>e_0,\cdots,e_{i-1},e_{i+1},\cdots,e_n</math>对应的面 (face)上。如果我们将模取在一个域上，则<math>X</math>的''<math>n</math>''阶同调的维数就是<math>X</math>中''<math>n</math>''维圈的个数。

仿照单纯同调群，可以定义任何[[拓扑空间]]<math>X</math>的奇异同调群。我们定义<math>X</math>的上同调的链复形中的空间为<math>A_n</math>为自由交换群（或者自由模），其生成元为所有从<math>n</math>为[[单纯形]]到<math>X</math>的[[连续函数]]。同态<math>d_n</math>从单纯形的边缘映射得到。

[[同调代数]]中，同调用于定义[[导出函子]]，例如，[[Tor函子]]。这里，我们可以从某个可加协变函子<math>F</math>和某个模<math>X</math>开始。<math>X</math>的链复形定义如下：首先找到一个自由模<math>F_1</math>和一个[[满射|满]]同态<math> p_1 : F_1 \rightarrow X </math>。然后找到一个自由模<math>F_2</math>和一个满同态<math> p_2 : F_2 \rightarrow \mathrm{ker}(p_1) </math>。以该方式继续，得到一个自由模<math>F_n</math>和同态<math>p_n</math>的序列。将函子<math>F</math>应用于这个序列，得到一个链复形；这个复形的同调<math>H_n</math>仅依赖于<math>F</math>和<math>X</math>，并且按定义就是<math>F</math>作用于<math>X</math>的''n''阶导出函子。

== 同调函子 ==

链复形构成一个[[範疇 (數學)|范畴]]：从链复形<math>(d_n : A_n \rightarrow A_{n-1})</math>到链复形<math>(e_n : B_n \rightarrow B_{n-1})</math>的态射是一个同态的序列<math> (f_n : A_n \rightarrow B_n) </math>，满足<math>f_{n-1} \circ d_n = e_{n-1} \circ f_n </math>对于所有<math>n</math>成立。<math>n</math>阶同调 <math>H_n</math>可以视为一个从链复形的范畴到可换群（或者模）的范畴的协变[[函子]]。 

若链复形以协变的方式依赖于对象<math>X</math>（也就是任何态射<math> X \rightarrow Y </math>诱导出一个从<math>X</math>的链复形到<math>Y</math>的链复形的态射），则<math>H_n</math>是从<math>X</math>所属的范畴到可换群（或模）的范畴的[[函子]]。

同调和[[上同调]]的唯一区别是上同调中的链复形以逆变方式依赖于<math>X</math>，因此其同调群（在这个情况下称为上同调群并记为<math>H^n</math>）构成从<math>X</math>所属的范畴到可换群或者模的范畴的逆变函子。

== 性质 ==

若<math>(d_n : A_n \rightarrow A_{n-1})</math>是链复形，满足出有限个<math>A_n</math>外所有项都是零，而非零的都是有限生成可换群（或者有限维向量空间），则可以定义[[欧拉示性数]]

:<math> \chi = \sum (-1)^n \,\mathrm{rank}(A_n) </math>

（可换群采用[[可换群的阶|阶]]而向量空间的情况采用[[哈默尔维数]]）。事实上在同调水平上也可以计算欧拉示性数:

:<math> \chi = \sum (-1)^n \,\mathrm{rank}(H_n) </math>

特别地，在代数拓扑中，欧拉示性数<math>\chi</math>是拓扑空间的重要不变量。

此外，每个链复形的[[短正合序列]]

:<math> 0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0 </math>

诱导一个同调群的[[长正合序列]]

:<math> \cdots \rightarrow H_n(A) \rightarrow H_n(B) \rightarrow H_n(C) \rightarrow H_{n-1}(A) \rightarrow H_{n-1}(B) \rightarrow H_{n-1}(C) \rightarrow H_{n-2}(A) \rightarrow \cdots \,</math>

这个长正合序列中的所有映射由链复形间的映射导出，除了映射<math> H_n(C) \rightarrow H_{n-1}(A) </math>之外。后者称为连接同态，由[[蛇引理]]给出。

== 参看 ==

*[[奇异同调]]
*[[上同调]]
*[[同调论]]
*[[同调代数]]

== 參考文獻 ==
{{reflist}}
*{{cite book|last=Hatcher|first=A.|year=2002|url=http://www.math.cornell.edu/~hatcher/AT/ATchapters.html|title=Algebraic Topology|publisher=Cambridge University Press|isbn=0-521-79540-0|ref=harv|access-date=2021-11-18|archive-date=2018-05-15|archive-url=https://web.archive.org/web/20180515101314/http://www.math.cornell.edu/~hatcher/AT/ATchapters.html}} 有仔細討論單複形、流形的同調論、奇異同調等。
*{{cite book|editor1-first=Timothy|editor1-last=Gowers|editor1-link=Timothy Gowers|editor2-first=June|editor2-last=Barrow-Green|editor2-link=June Barrow-Green|editor3-first=Imre|editor3-last=Leader|year=2010|title=The Princeton Companion to Mathematics|title-link=The Princeton Companion to Mathematics|publisher=Princeton University Press|isbn=9781400830398|ref=harv}}
*{{cite book|last=Spanier|first=Edwin H.|author-link=Edwin Spanier|year=1966|title=Algebraic Topology|publisher=Springer|page=155|isbn=0-387-90646-0|ref=harv}}

[[Category:同调论|*]]