1701046688
1701046689
习 题
1701046690
1701046691
1．设K是单纯锥，a为锥顶，L为锥底．设c∈Cq－1（L），证明∂q（ac）＝c－a∂q－1c．
1701046692
1701046693
2．设K＝Bd（a0，a1，a2，a3）∪Bd（a0，a1，a4）（图6-19），求K的各维同调群．
1701046694
1701046695
1701046696
1701046697
1701046698
图6-19
1701046699
1701046700
1701046701
1701046702
1701046703
图6-20
1701046704
1701046705
3．设K＝Bd（a0，a1，a2，a3）∪Bd（a0，a1，a2，a4）（图6-20），求K的各维同调群．
1701046706
1701046707
4．求图6-21中的复形K的各维同调群．
1701046708
1701046709
1701046710
5．利用Euler-Poincaré公式证明关于组合数的公式
1701046711
1701046712
1701046713
1701046714
1701046715
1701046716
1701046717
（提示：考虑n－1维单形的闭包复形的Euler示性数．）
1701046718
1701046719
1701046720
1701046721
1701046722
图6-21
1701046723
1701046724
6．设K是P2的剖分（见例5），计算Hq（K；Q），Q是有理数域．
1701046725
1701046726
7．设K是单纯锥，G是交换群，计算Hq（K；G）．
1701046727
1701046728
① 欧氏空间中一个k维线性子空间L经过平移得到的像称为一个k维超平面，如果平移向量为a，则记此超平面为L＋a．
1701046729
1701046730
1701046731
1701046732
1701046733
基础拓扑学讲义 [:1701040233]
1701046734
基础拓扑学讲义 第七章 单纯同调群（下）
1701046735
1701046736
第六章中建立的同调群只是复形上的一种代数结构，还没有体现出它的拓扑特性．本章要建立拓扑空间（多面体和可剖分空间）的同调群，自然是要利用它们的剖分的同调群来规定．于是我们就面临着同调群的拓扑不变性问题：有相同（或同胚）多面体的复形的同调群是不是同构？这就要把同调群的研究向前发展．我们要对从多面体｜K｜到｜L｜的连续映射f，建立从同调群Hq（K）到Hq（L）的同态f*q．这是一项难度较大、技术性很强的工作．我们还要讨论同调群的同伦不变性，它也是计算同调群的一个工具．
1701046737