1701049021
基础拓扑学讲义 [:1701040244]
1701049022
基础拓扑学讲义 附录C 链同伦及其应用
1701049023
1701049024
本附录先从纯代数的角度回顾第六、七章中提到的链复形和链映射的概念，然后提出链同伦概念，并用来解决第七章中的两个问题．
1701049025
1701049026
1．链复形、链映射和链同伦
1701049027
1701049028
1701049029
定义C.1 链复形是由交换群序列｛Cq｜q∈Z｝和满足条件∂q－1∂q＝0（∀q∈Z）的同态序列｛∂q∶Cq→Cq－1｜q∈Z｝构成的代数组合体，记作C＝｛Cq；∂q｜q∈Z｝．称Cq是C的q维链群，称∂q是C的q维边缘同态．
1701049030
1701049031
1701049032
1701049033
1701049034
1701049035
称Zq（C）Ker ∂q为C的q维闭链群，Bq（C）Im∂q＋1是C的q维边缘链群．从∂q∂q＋1＝0容易推出Bq（C）⊂Zq（C）．称Hq（C）Zq（C）/Bq（C）为C的q维同调群．
1701049036
1701049037
1701049038
1701049039
定义C.2 设C和C′是两个链复形，同态序列如果与边缘同态交换，即∀q∈Z，图表
1701049040
1701049041
1701049042
1701049043
1701049044
可交换，则称φ是C到C′的一个链映射，记作φ∶C→C′．
1701049045
1701049046
当φ∶C→C′是链映射时，φq（Zq（C））⊂Zq（C′），φq（Bq（C））⊂Bq（C′），从而φ诱导出同调群同态φ*q∶Hq（C）→Hq（C′）．
1701049047
1701049048
1701049049
1701049050
如果φ∶C→C′，φ′∶C′→C″都是链映射，则是从C到C″的链映射，并且
1701049051
1701049052
1701049053
1701049054
1701049055
1701049056
1701049057
1701049058
设C和C′是两个链复形，是一系列同态（不必与边缘同态交换）．由D可规定链映射如下（见下面图表）：∀q∈Z，
1701049059
1701049060
1701049061
1701049062
1701049063
则
1701049064
1701049065
1701049066
1701049067
1701049068
即φD与边缘同态是可交换的，因此确为链映射．
1701049069
1701049070
∀〈z〉∈Hq（C），则