1701043713
1701043714
1701043715
1701043716
1701043717
1701043718
1701043719
1701043720
记是［0，3］上的道路（图4-7）：则
1701043721
1701043722
1701043723
1701043724
1701043725
1701043726
1701043727
1701043728
1701043729
和是凸集［0，3］上从0到3的两条道路，因此（上节习题7）．再用命题4.6的（1）和（2），得到
1701043730
1701043731
1701043732
▎
1701043733
1701043734
1701043735
命题4.8 设道路类α的起终点分别是x0和x1．记分别是x0，x1处的点道路，则
1701043736
1701043737
1701043738
（1）
1701043739
1701043740
1701043741
（2）
1701043742
1701043743
1701043744
证明 记idI是I的恒同映射，e0，e1分别是I上在0，1处的点道路．取a∈α．则i＝0，1．利用I的凸性，有
1701043745
1701043746
1701043747
1701043748
1701043749
1701043750
1701043751
1701043752
用a分别与上述各式的两边复合，得到
1701043753
1701043754
1701043755
1701043756
1701043757
1701043758
1701043759
1701043760
1701043761
因此 ▎
1701043762