複素平面Cの自己同型群
はじめにの複素解析的自己同型群を求める。
求めようとして、まだ解析関数のことをよく理解していないことに気づいたので復習しながらトライしてみる。
の自己同型fは全平面で正則だから、とくに0において収束半径∞のテイラー級数に展開できる。
この級数展開で係数の中で0でないものが無限個あったと仮定すると、無限遠点∞がfの真性特異点になるという。fの∞における特異点とは の0における特異点のことであったから、
となってg(z)の0のまわりの級数展開の負ベキの項が無限個あることになるので、0がgの真性特異点となり、無限遠点∞がfの真性特異点となることがわかった。前にやったようにfの真性特異点の近傍ではfは任意のの値をとりうる。テキストでは証明なしで結果のみ紹介されていた Picardの大定理というのがあって、真性特異点の近傍においてfは高々1個の点を除きすべての値を無限回とるという*1。すなわち∀a∈Cに対して f(z)=a となる z が無限個あるのだから、f は単葉となりえない。
よって、係数の中で0でないものは有限個しかないことが結論され、f は多項式となる。
さて、f がn次の多項式であったとすると、代数学の基本定理により方程式
はn個の解を持つが、いまfはで単葉だから、上の解はただ一つの点でなければならない。すなわち、f は一次式
でなければならない。
逆にzの1次の多項式 はで正則であることは明らかで、もしなら よりとなるから単葉。
以上から、
であることが示された。