>>623
黒田
     E 
  f~ /|
  /  ↓g
Y −→ X
  f

>これで
>gは普通の関数 Eが普通の定義域 Xは普通の値域
>だよ

それ嘘な
gはexp でCからC-{0}への被覆写像
だからf~はfのリフト
違うというなら、exp のどこがどう
被覆写像の条件に反するか
具体的に示してくれる?