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
1701046738
基础拓扑学讲义 [:1701040234]
1701046739
§1 单纯映射和单纯逼近
1701046740
1701046741
本节为定义连续映射诱导的同调群同态作准备，介绍单纯映射和单纯逼近这两个重要概念．
1701046742
1701046743
1.1 单纯映射
1701046744
1701046745
单纯同调群建立的基础是复形的组合结构，然而一般的连续映射并不保持这种组合结构，因此不像基本群那样能用自然的方式建立它所对应的同调群同态．我们先考虑一种与复形的组合结构相适应的映射，即复形间的单纯映射．
1701046746
1701046747
定义7.1 设K和L是复形，K到L的一个对应φ∶K→L（它把K的每个单形对应到L的一个单形）称为单纯映射①，如果它满足以下要求：
1701046748
1701046749
（1）若a是K的顶点，则φ（a）是L的顶点；
1701046750
1701046751
1701046752
1701046753
（2）若K中单形则的顶点集是｛φ（a0），φ（a1），…，φ（aq）｝（并不要求φ（a0），φ（a1），…，φ（aq）互不相同）．
1701046754