1701049155
这样，我们规定了对应Dq∶Tq（K）→Cq＋1（L），满足
1701049156
1701049157
1701049158
1701049159
1701049160
并且它的线性扩张Dq∶Cq（K）→Cq＋1（L）满足
1701049161
1701049162
1701049163
1701049164
∂q＋1Dq＋Dq－1∂q＝ψq－φq．
1701049165
1701049166
归纳定义完成． ▎
1701049167
1701049168
作为定理的应用，我们来解决第七章中遇到的两个问题．
1701049169
1701049170
定理C. 2 如果φ，ψ∶k→L都是连续映射f∶｜K｜→｜L｜的单纯逼近，则φ*q＝ψ*q∶Hq（K）→Hq（L），∀q∈Z．
1701049171
1701049172
1701049173
1701049174
证明 仍用φ，ψ记它们所诱导的链映射，它们都是正常的．只须证明它们有公共的零调承载子．对的任一内点x，有
1701049175
1701049176
1701049177
1701049178
1701049179
1701049180
1701049181
1701049182
1701049183
1701049184
因此和是L中同一个单形的面．令是L中以为面的维数最小的单形的闭包复形，则ξ是φ和ψ的公共的零调承载子． ▎
1701049185
1701049186
1701049187
定理C.3 设π∶C（K（1））→C（K）是标准链映射，η∶C（K）→C（K（1））是重分链映射，则η*qπ*q＝id∶Hq（K（1））→Hq（K（1）），∀q∈Z．
1701049188
1701049189
1701049190
证明 π和η都是正常的，因此ηπ也是正常的，只须证明它与C（K（1））的恒同链映射有公共的零调承载子．
1701049191
1701049192
1701049193
1701049194
1701049195
1701049196
1701049197
1701049198
设是的首顶点，则是K（1）的零调子复形（因为它是单纯锥）．规定不难看出ξ是零调承载子，并且显然承载了ηπ和恒同链映射． ▎
1701049199
1701049200
1701049201
1701049202
1701049203
基础拓扑学讲义 [:1701040245]
1701049204
基础拓扑学讲义 习题解答与提示