1701046130
1701046131
1701046132
1701046133
1701046134
图6-10
1701046135
1701046136
现在已规定了对应∂q：Tq（K）→Cq-1（K），并且它满足引理的条件，即∂q（－s）＝－∂qs（因为∂q（－s）（t）＝［－s；t］＝－［s；t］＝－∂qs（t），∀t∈Tq-1（K））．于是它可以唯一地扩张为Cq（K）到Cq-1（K）的同态，仍记作∂q，称为Cq（K）到Cq-1（K）的边缘同态．
1701046137
1701046138
1701046139
1701046140
取定K的αq个定向单形它们构成Cq（K）的基．设链则因为∂q是同态，所以有
1701046141
1701046142
1701046143
1701046144
1701046145
当q≤0或q＞dimK时，规定∂q是零同态．
1701046146
1701046147
1701046148
定理6.1 ∀q∈Z，∂q-1∂q＝0．
1701046149
1701046150
1701046151
证明 只须对1＜q≤dimK的情形证明，并且只用验证∀s∈Tq（K），∂q-1∂qs＝0．
1701046152
1701046153
记s＝a0a1…aq，则
1701046154
1701046155
1701046156
1701046157
1701046158
图6-11的复形K中，设2维链c＝a0a1a4＋a1a3a4＋a1a2a3．a1a4是a0a1a4的顺向面，是a1a3a4的逆向面，因此它在∂2c中不出现（即∂2c（a1a4）＝0）．同理∂2c中也没有a1a3．可算得∂2c＝a0a1＋a1a2＋a2a3＋a3a4＋a4a0，直观上看是围这3个三角形的有向闭折线，方向由三角形的转向决定，∂1（∂2c）＝0．
1701046159
1701046160
1701046161
1701046162
1701046163
图6-11
1701046164
1701046165
2.4 同调群
1701046166
1701046167
设K为复形．我们已对每个整数q建立了q维链群Cq（K），并定义了边缘同态∂q：Cq（K）→Cq-1（K）．所有这些链群和边缘同态合在一起，称为K的链复形，记作C（K），即
1701046168
1701046169
C（K）：＝｛Cq（K）；∂q｜q∈Z｝．
1701046170
1701046171
C（K）也可看作交换群与同态的一个序列
1701046172
1701046173
1701046174
1701046175
1701046176
从链复形C（K）出发建立同调群，只是代数问题了．
1701046177
1701046178
定义6.6 称边缘同态∂q：Cq（K）→Cq-1（K）的核为K的q维闭链群，记作Zq（K），它的元素称为K的q维闭链；称边缘同态∂q+1：Cq+1（K）→Cq（K）的像为K的q维边缘链群，记作Bq（K），其元素称为K的q维边缘链．
1701046179