1701045124
1701045125
1701045126
1701045127
19．设p：E→B是复叠映射，b∈B，e∈p-1（b）．a和a′都是B中从b到b1的道路，和分别是a和a′的以e为起点的提升．证明
1701045128
1701045129
基础拓扑学讲义 [:1701040225]
1701045130
§2 两个提升定理
1701045131
1701045132
本节讲两个重要的提升定理：同伦提升定理和映射提升定理，并介绍它们的一些应用．前一定理的一个应用是命题5.3，现在将补充其证明．本节中假定p：E→B是复叠映射．
1701045133
1701045134
2.1 同伦提升定理
1701045135
1701045136
1701045137
1701045138
1701045139
1701045140
定理5.2（同伦提升定理） 设和F：X×I→B都连续，并且满足则存在F的提升使得
1701045141
1701045142
1701045143
1701045144
1701045145
1701045146
1701045147
1701045148
1701045149
证明 ∀x∈X，记zx是F在x处的踪（见第四章§4），它是B上由zx＝F（x，t）决定的道路．由命题5.2，zx有唯一以为起点的提升，记作规定为则只须再验证的连续性．为此先证一个引理．
1701045150
1701045151
1701045152
1701045153
1701045154
引理 若F（｛x｝×［t0，t1］）在某个基本邻域中，并且的t0-切片在x连续，则存在x的邻域W，使得连续．
1701045155
1701045156
1701045157
1701045158
1701045159
1701045160
1701045161
证明 设F（｛x｝×［t0，t1］⊂基本邻域U，则因此有的开邻域V，使得p｜V：V→U是同胚．根据第二章§3中的引理和在x连续的假定，存在x的邻域W，使得并且F（W×［t0，t1］）⊂U（图5-9）．于是∀x′∈W，
1701045162
1701045163
1701045164
1701045165
1701045166
1701045167
1701045168
1701045169
并且连通，因此一定包含在V中．这样从而是连续的．引理证毕．
1701045170
1701045171
1701045172
1701045173
