22/06/27 06:36:49.13 JUz7D3+h.net
>>590
>被覆空間とか、リフトとか、関係ないんだ
いや、そのものズバリじゃん
f(z)=e^h(z)
E
h /|
/ ↓e^z
D -→ X
f
で
e^()が被覆写像
hがfのリフト
じゃん
あんたいったいどこ見てんの?
ついでにパスのリフトを定義域全体のリフトにする場合
定義域が単連結なら十分じゃん
起点〜終点間のどんなパスもホモトープだから
あんた、読みもせずにコピペしてんの?
ダメだよ コピペする前に読んで考えなくちゃ