1701046997
1701046998
1701046999
5．设K，L都是复形，φ0∶K0→L0是一个对应．证明φ0是某个单纯映射φ∶K→L的顶点映射＝（a0，a1，…，aq）∈K，φ0（a0），φ0（a1），…，φ0（aq）是L中同一单形的顶点．（称φ是φ0的扩张．）
1701047000
1701047001
1701047002
1701047003
6．设规定的星形为
1701047004
1701047005
1701047006
1701047007
1701047008
证明
1701047009
1701047010
1701047011
1701047012
（1）若则
1701047013
1701047014
1701047015
1701047016
（2）若则
1701047017
1701047018
基础拓扑学讲义 [:1701040235]
1701047019
§2 重心重分和单纯逼近存在定理
1701047020
1701047021
本节继续进行上节的工作，讨论单纯逼近的存在性．为此我们先要引进重心重分的概念．
1701047022
1701047023
2.1 重心重分
1701047024
1701047025
设K，L是复形，f∶｜K｜→｜L｜是连续映射．上面已说到，f不一定存在K到L的单纯逼近，并且不存在的原因是剖分K不够细，L不够粗．一般来说，使剖分变粗不一定做得到，但使剖分变细总是能做到的．重心重分就是加细剖分的一种办法．
1701047026
1701047027
设K，K′都是多面体X的剖分，并且K′的每个单形都包含于K的某个单形中，就说K′是K的一个重分．可以证明（习题1），K′的每个星形都含于K的某个星形中．重心重分是一种特殊的重分．
1701047028
1701047029
1701047030
1701047031
1701047032
1701047033
1701047034
设是一个q维单形．中，重心坐标为的点称为的重心，记作即
1701047035
1701047036
1701047037
1701047038
1701047039
0维单形a的重心就是a；1维单形（a0，a1）的重心就是它的中点；2维单形（a0，a1，a2）的重心就是平常意义下三角形的重心．
1701047040
1701047041
1701047042
1701047043
1701047044
1701047045
1701047046
