1701043569
下面是命题4.1和4.2的平行结果，证明从略．
1701043570
1701043571
命题4.3 取定A⊂X，则C（X，Y）中相对于A的同伦也是等价关系．
1701043572
1701043573
1701043574
1701043575
命题4.4 设并且f0（A）⊂B，则
1701043576
1701043577
1701043578
1701043579
定义4.3 设a，b是X上的两条道路，如果则称a与b定端同伦，记作
1701043580
1701043581
1701043582
显然的一个必要条件是a与b有相同的起终点．a到的一个定端同伦是从矩形I×I到X的一个连续映射．它把左右侧边分别映为a（0）点和a（1）点，在下底和上底上的限制分别是道路a和b（图4-5）．
1701043583
1701043584
1701043585
1701043586
1701043587
图4-5
1701043588
1701043589
1701043590
X的所有道路在关系下分成的等价类称为X的道路类．X的所有道路类的集合记作［X］．一条道路a所属的道路类记作〈a〉，称a的起、终点为〈a〉的起、终点．起终点重合的道路类称为闭路类．称起（终）点为它的基点．
1701043591
1701043592
习 题
1701043593
1701043594
1．验证直线同伦的连续性．
1701043595
1701043596
1701043597
1701043598
1701043599
2．设y1，y2∈Y，是将X映为｛yi｝的常值映射．证明：与y2在Y的同一道路分支中．
1701043600
1701043601
3．证明：如果连续映射f：X→Sn不满，则f零伦．
1701043602
1701043603
1701043604
4．证明：连续映射f：X→Y零伦f可扩张到CX上．
1701043605
1701043606
1701043607
1701043608
5．设f：X→Y连续，X中道路证明
1701043609
1701043610
6．记p：I→S1规定为p（t）＝ei2πt．f，g∈C（S1，X）．证明
1701043611
1701043612
1701043613
1701043614
1701043615
7．设X是En中的凸集，则X上有相同起、终点的两条道路必定端同伦．
1701043616
1701043617
8．证明：如果连续映射f：S1→S1与恒同映射不同伦，则f有不动点．
1701043618