1701046238
1701046239
习 题
1701046240
1701046241
1．设G是交换群，对应φ0：Tq（K）→G满足φ0（－s）＝－φ0（s），∀s∈Tq（K）．证明φ0可唯一地扩张为Cq（K）到G的同态．
1701046242
1701046243
2．证明复形的每条1维闭链都是若干简单闭链的和．
1701046244
1701046245
3．设K是n维复形，并且它的n维单形数不超过n＋1，证明Zn（K）＝0．
1701046246
1701046247
4．设K是E2中的2维复形，证明Z2（K）＝0．
1701046248
1701046249
5．设K是树，证明K的顶点数比1维单形数大1．
1701046250
1701046251
6．设K是连通复形，αq是K的q维单形个数，q∈Z．证明Z1（K）的秩等于α1－α0＋1．
1701046252
1701046253
7．设K是连通复形，a和b是K的两个顶点．证明K有1维简单链分别以a和b为起、终点．
1701046254
1701046255
基础拓扑学讲义 [:1701040231]
1701046256
§3 同调群的性质和意义
1701046257
1701046258
本节从同调群的定义出发，讨论它的一些简单性质；并讨论0维同调群的几何意义，1维同调群与基本群的关系；我们还将建立著名的Euler-Poincaré公式．
1701046259
1701046260
3.1 同调群的简单性质
1701046261
1701046262
1701046263
复形K的q维闭链群Zq（K）由同态∂q：Cq（K）→Cq-1（K）决定，q维边缘链群由∂q+1：Cq+1（K）→Cq（K）决定，因此，Hq（K）只与K的链复形中段有关．
1701046264
1701046265
1701046266
命题6.4 当r＞q时，
1701046267
1701046268
1701046269
1701046270
1701046271
证明 显然就是由此得到 ▎
1701046272
1701046273
当q＜0或q＞dimK时，因为Cq（K）＝0，所以Zq（K）＝0，Hq（K）＝0．
1701046274
1701046275
当q＝dimK时，因为Cq+1（K）＝0，所以Bq（K）＝0．于是Hq（K）＝Zq（K），它是自由交换群．
1701046276
1701046277
当q＝0时，Z0（K）＝C0（K）．
1701046278
1701046279
1701046280
1701046281
1701046282
设K不连通，K＝K1∪K2，其中K1和K2是不相交子复形．显然Cq（K）＝Cq（K1）Cq（K2），∀q∈Z，并且∂q把Cq（Ki）映到Cq-1（Ki）中，i＝1，2．于是Zq（K）＝Zq（K1）Zq（K2）．类似地有Bq（K）＝Bq（K1）Bq（K2）．由此立即得出
1701046283
1701046284
1701046285
Hq（K）＝Hq（K1）Hq（K2）．
1701046286
1701046287
以上结果可推广到K分解成多个不相交子复形的并集的情形，于是有