打字猴:1.701046868e+09
1701046868
1701046869
1701046870 ∀x∈X,    (1)
1701046871
1701046872
1701046873 这里是φ决定的连续映射.
1701046874
1701046875
1701046876
1701046877
1701046878 条件(1)要求和f(x)在L的同一单形CarLf(x)中(f(x)是其内点,不必是内点),这就是“逼近”的含义.利用直线同伦,知道
1701046879
1701046880 下面给出单纯逼近的另一种描述形式,它具有更强的几何直观性.需要用到一个新概念.
1701046881
1701046882 定义7.4 设K是复形,a∈K0,a的星形是|K|的子集,记作StKa,规定为
1701046883
1701046884 StKa∶={x∈|K|│a≺CarKx}.
1701046885
1701046886 于是x∈StKa等价于a≺CarKx.
1701046887
1701046888 图7-1是由3个2维单形及它们的面构成的复形K.以a1为顶点的单形有(a1,a2,a5),(a1,a2),(a1,a5)以及顶点a1本身,它们的内点构成StKa1,于是StKa1=(a1,a2,a5)(a2,a5)StKa2=|K|((a1,a5)∪(a5,a4)∪(a3,a4)).
1701046889
1701046890
1701046891
1701046892
1701046893 图7-1
1701046894
1701046895
1701046896 不难看出,当x∈StKa时,线段因此StKa是由从a辐射出的许多线段构成.沿着这些线段,StKa可形变收缩到a.
1701046897
1701046898 命题7.5 StKa是|K|的开子集.
1701046899
1701046900 证明 只须证明|K|StKa是闭集.
1701046901
1701046902
1701046903 记则L是K的子复形,并且
1701046904
1701046905
1701046906
1701046907
1701046908 因此|K|StKa是紧致的,从而是|K|的闭集. ▎
1701046909
1701046910 显然,{StKa|a∈K0}是|K|的一个开覆盖.
1701046911
1701046912 命题7.6 单纯映射φ∶K→L是连续映射f∶X→Y的单纯逼近的一个充分必要条件是
1701046913
1701046914 ∀a∈K0,f(StKa)⊂StLφ(a).    (2)
1701046915
1701046916 证明 条件(1)也就是
1701046917
[ 上一页 ]  [ :1.701046868e+09 ]  [ 下一页 ]