1701043641
1701043642
容易验证
1701043643
1701043644
1701043645
（2）设作H：I×I→X为（图4.6）
1701043646
1701043647
1701043648
1701043649
1701043650
1701043651
1701043652
由于a（1）＝c（0），时H1（1，t）＝a（1）＝c（0）＝H2（0，t），H的定义合理．根据粘接引理，H连续．容易验证 ▎
1701043653
1701043654
1701043655
1701043656
1701043657
图4-6
1701043658
1701043659
1701043660
定义4.4 （1）规定道路类α的逆其中a∈α；
1701043661
1701043662
（2）若道路类α的终点与β的起点重合，规定α与β的乘积αβ＝〈ab〉，其中a∈α，b∈β．
1701043663
1701043664
命题4.5说明定义是合理的（与a，b的选择无关）．
1701043665
1701043666
α-1的起点和终点分别是α的终点和起点；αβ的起点和终点分别是α的起点和β的终点．
1701043667
1701043668
1701043669
1701043670
由道路逆和乘积的性质：马上得到（α-1）-1＝α；（αβ）-1＝β-1α-1．
1701043671
1701043672
2.2 道路类运算的性质
1701043673
1701043674
命题4.6 设f：X→Y是连续映射，a，b是X上两条道路．
1701043675
1701043676
1701043677
1701043678
（1）如果则
1701043679
1701043680
1701043681
1701043682
（2）如果a与b可乘，则fa与fb也可乘，并且
1701043683
1701043684
1701043685
1701043686
1701043687
（fa）（fb）＝f（ab）；
1701043688
1701043689
1701043690
（3）