1701045170
1701045171
1701045172
1701045173
1701045174
1701045175
1701045176
回到定理的证明．｛F-1（U）｜U⊂B是基本邻域｝是X×I的开覆盖．于是，∀x∈X，存在正整数n，将I等分为n个小区间I1，I2，…，In，则∀l，F（｛x｝×Il）包含于某个基本邻域．依次对｛x｝×I1，…，｛x｝×In用引理（注意在x连续，由连续得到在x连续），得到在｛x｝×I的一个邻域上连续．由x的任意性，得到连续． ▎
1701045177
1701045178
1701045179
1701045180
1701045181
图5-9
1701045182
1701045183
命题5.3的证明
1701045184
1701045185
1701045186
1701045187
1701045188
1701045189
1701045190
1701045191
1701045192
1701045193
1701045194
1701045195
设H：I×I→B是a到b的定端同伦．根据同伦提升定理，存在H的提升使得因为H｜｛i｝×I（i＝0，1）是常值映射，所以也是常值映射（§1习题12）．记是由规定的道路，则也是b的提升，并且由提升唯一性得到于是 ▎
1701045196
1701045197
2.2 映射提升定理
1701045198
1701045199
1701045200
1701045201
定理5.3（映射提升定理） 设X是道路连通、局部道路连通的空间，f：X→B连续，x0∈X，b0＝f（x0），e0∈p-1（b0）．则存在f的提升使得
1701045202
1701045203
1701045204
1701045205
证明．如果存在，则
1701045206
1701045207
1701045208
1701045209
1701045210
1701045211
1701045212
1701045213
1701045214
1701045215
．构造如下：∀x∈X，取X中从x0到x的道路w，记是fw的以e0为起点的提升．规定
1701045216
1701045217
1701045218
首先证明与w的选择无关．如果w′是另一条从x0到x的道路．因为
1701045219