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
1701047047
1701047048
1701047049
1701047050
我们先从直观上描述重心重分．0维单形的重分就是自己．设是1维单形，它被重心分成两个1维单形，这两个1维单形及三个顶点（的两个顶点和重心）一起构成的重心重分．设是2维单形，则它被三条中线分割成六个2维单形（图7-3），这六个2维单形以及它们的面就构成的重心重分．它的顶点是原有的顶点加上的重心和三个1维面的重心．它是一个以为锥顶的单纯锥，相应的锥底是的重心重分（即各1维面重心重分的并集）．
1701047051