>>619
>リフトの数学的定義を述べよ
あんた、>>586でコピペしてんじゃん
読まずにコピペしてんの？

定義 7.1 (リフト).
p : E → X を被覆写像とする．
f : Y → X のリフト def ⇔ f~ : Y → E, p *f~ = f.
次の図式が可換になるような f~ が f のリフトである：
　　　 　E　
　 f~ ／｜
　 ／ 　↓p
Y −→ X
　　f