1701044462
图4-23
1701044463
1701044464
例12 把三角形的三边如图4-24（a）中所示粘合，得到所谓“蜷帽”，记作Q．难以想象Q的可缩性．但它也确实是可缩的．下面给出此断言的论证概要．
1701044465
1701044466
1701044467
1701044468
1701044469
图4-24
1701044470
1701044471
Q可看成一个圆锥体的侧面粘合底边与一条母线而得商空间（图4-24（b））．作圆锥体的商空间S，它是把圆锥体的底边与一条母线粘合，而得到的（图4-24（c））．因为圆锥体的侧面是圆锥体的强形变收缩核，所以Q是S的强形变收缩核．而S可强形变收缩为图4-24（d）中的图形，而后者是一圆盘．这样S可缩．从而Q也可缩．请读者自己补出以上论证的细节．
1701044472
1701044473
习 题
1701044474
1701044475
1701044476
1．设Y道路连通，且π1（Y）是交换群．如果并且对x0∈X，f（x0）＝g（x0）＝y0．则
1701044477
1701044478
fπ＝gπ：π1（X，x0）→π1（Y，y0）
1701044479
1701044480
1701044481
2．设f，g都是S1到S1的连续映射，并且都保持1∈S1不动．则
1701044482
1701044483
3．设f：X→Y是一个同伦等价，则f的所有同伦逆构成Y到X的一个映射类．
1701044484
1701044485
4．与道路连通空间同伦等价的拓扑空间也道路连通．
1701044486
1701044487
1701044488
5．π0（X）表示空间X的道路分支的集合．证明若则π0（X）与π0（Y）之间可建立一一对应．
1701044489
1701044490
6．若B是A的形变收缩核，A是X的形变收缩核，则B也是X的形变收缩核．
1701044491
1701044492
7．若B⊂A⊂X，A是X的收缩核，B是X的形变收缩核，则B也是A的形变收缩核．
1701044493
1701044494
8．若X1，X2是X的两个闭子集，X1∪X2＝X，又X0＝X1∩X2非空，且是X的形变收缩核．则X0也是X1和X2的形变收缩核．
1701044495
1701044496
9．设Y是可缩空间．证明任何拓扑空间到Y只有一个映射类．
1701044497
1701044498
10．设X是Möbius带，A是它的边界，x0∈A．证明包含映射i：A→X诱导的同态iπ：π1（A，x0）→π1（X，x0）不是同构．
1701044499
1701044500
11．证明Möbius带的边界不是它的收缩核．
1701044501
1701044502
12．设x0是Dn的边界Sn-1上一点．证明Sn-1｛x0｝是Dn｛x0｝的形变收缩核．
1701044503
1701044504
13．证明下列各空间互相同伦等价：
1701044505
1701044506
（1）球面S2加一条直径（图4-25（a））；
1701044507
1701044508
（2）在环面的一个纬圆上粘接一个圆盘（图4-25（b））；
1701044509
1701044510
（3）球面S2加一圆周S1（它们相切，图4-25（c））．
1701044511