22/06/17 13:27:00.53 n0YPPgGe.net
>>351
じゃ、聞くけど
、黒田の補助定理P169 (>>104&>>183)
(>>305)
引用
「補助定理」関数f(z)はz平面の開円板D：|z|<R で正則であって
そこでf(z)≠0であるとすれば、Dで
f(z)＝e^h(z)＝(g(z))^k (kは正の整数)
をみたすDでは正則な関数h(z),g(z)が存在する。ここで、h(0),g(0)は、値f(0)のみで定まる
証明 略
（本文ご参照）
この黒田の補助定理で、被覆空間の「持ち上げ」要る？
指数関数 e^z が、値0を取らず、従って 微分しても0の値を取らない
本質は、これで終わってるんじゃないかな？
事実、黒田本の証明では、”被覆空間の「持ち上げ」”は、使ってないよ
（参考）
URLﾘﾝｸ(imgur.com)
補助定理「f(z)=e^h(z)の存在他」と証明の最初の1行 P169 複素関数概説 黒田正 共立出版 初版18刷 2013
URLﾘﾝｸ(imgur.com) P170 上記証明の続きから定理7.10 （ショットキ(Schottky)）へ