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
1701043619
基础拓扑学讲义 [:1701040217]
1701043620
§2 基本群的定义
1701043621
1701043622
基本群是在道路及其运算（逆和乘积）的基础上建立的．但道路不能直接当作元素来建立群．有两个问题：一是道路的乘法没有结合律；二是并非任何两条道路都可相乘．我们用道路类替代道路，解决了第一个问题；用取定基点的办法解决第二个问题．
1701043623
1701043624
2.1 道路类的逆和乘积
1701043625
1701043626
1701043627
1701043628
命题4.5 （1）如果则
1701043629