打字猴:1.701044176e+09
1701044176 基础拓扑学讲义 [:1701040220]
1701044177 §4 基本群的同伦不变性
1701044178
1701044179 本节穿插着讲两方面的内容:拓扑空间的同伦等价和基本群的同伦不变性.前者介绍拓扑空间集合中的一种新的等价关系,并讨论各种常用情况,它们都是代数拓扑学的重要的基本概念;后者包括同伦的映射导出的基本群同态间的关系以及基本群的伦型不变性,它们在基本群的计算和应用中起了十分重要的作用.
1701044180
1701044181 4.1 同伦的映射导出的基本群同态间的关系
1701044182
1701044183
1701044184 设于是f可以逐渐地变为g,那么基本群同态fπ也应该“逐渐地”变为gπ.也就是说fπ与gπ应该有着密切的联系.下面来探讨这种联系.
1701044185
1701044186
1701044187 取定x0∈X.记y0=f(x0),y1=g(x0).一般来说y0≠y1,因此fπ和gπ是从π1(X,x0)分别到不同群π1(Y,y0)和π1(Y,y1)的两个同态.设由w(t)=H(x0,t),t∈I,规定了Y中从y0到y1的道路w,称为H在x0处的踪.记ω=〈w〉.由定理4.2知,有同构ω#:π1(Y,y0)→π1(Y,y1).
1701044188
1701044189
1701044190 定理4.5 gπ=ω#fπ:π1(X,x0)→π1(Y,y1),即图表可交换.
1701044191
1701044192
1701044193
1701044194
1701044195
1701044196
1701044197
1701044198 证明 ∀〈a〉∈π1(X,x0),要验证gπ(〈a〉)=ω#(fπ(〈a〉)),即ω〈ga〉=〈fa〉ω,或
1701044199
1701044200
1701044201
1701044202
1701044203
1701044204
1701044205
1701044206
1701044207 规定F:I×I→Y为F(s,t)=H(a(s),t)(图4-13).记b0,b1,c0和c1是I×I上的道路,规定为:bi(t)=(t,i),ci(t)=(i,t),i=0,1.于是Fci=w,i=0,1;Fb0=fa,Fb1=ga.在凸集I×I上,道路c0b1与b0c1有相同的起、终点,从而此式两边都与F复合,得到 ▎
1701044208
1701044209
1701044210
1701044211
1701044212 图4-13
1701044213
1701044214
1701044215 定理4.5说明,当时,fπ与gπ相差一个同构.因此它们会具有许多共同的性质.例如当其中一个是单同态(或满同态,或同构)时,另一个也是.如果f零伦,则fπ是平凡同态.
1701044216
1701044217 4.2 拓扑空间的同伦等价
1701044218
1701044219 定义4.8 设X与Y为两个拓扑空间.如果存在连续映射f:X→Y和g:Y→X,使得
1701044220
1701044221
1701044222
1701044223
1701044224
1701044225 则说X与Y是同伦等价的(或有相同的伦型),记作称f和g为同伦等价(映射).称g是f的一个同伦逆,反之f也是g的同伦逆.
[ 上一页 ]  [ :1.701044176e+09 ]  [ 下一页 ]