単位円板D(0;1)の自己同型群
次は単位円板D(0;1)。
この自己同型群を求めるのは少し道中が長い。
まずは演習問題(p115問1)の形で補題が与えられているので、これを解く。
問1は一つにまとまっているが内容的には3つに分かれるので(1)〜(3)としておく。
問1(1)
1次分数変換
は実数軸 を 単位円周に写す。
と書くことにする。(実数軸と言ったとき無限遠点も含むものなのかよくわからないが)
この記号を使ったとき を示せという問題。なので と を示せばよい。
ならあるによりとなるが、zが∞でなければある実数xによりz=xと表せるから
となる。z=∞かもしれない。その場合でも
と考えればよく、w∈B が言える。ゆえに 。
逆に∀w∈Bをとり としてこれをzについて解く。w=u + iv (u,v∈R)とすると、ややめんどうな計算により w≠1 であれば
となる。よって なら z は実数になるが、wは単位円上の点だからこれは成り立つ。ゆえに w≠1であればΦによりwに写される実軸上の点zがあることがわかった。
w=1のときは Φ(∞)=1 なので、∞も実軸上の点としてやれば w∈Φ(A)となる。ゆえに である(証明終)。
問1(2)
1次分数変換
は上半平面を 単位円板に写す。
z=x+iy (x,y∈R)とすると
となるから、z∈Pならy>0より となる。
変換Φは上半平面Pを単位円板の内部に写し、同様にして下半平面を単位円板の外部に写すこともわかる。(1)より実軸を単位円の円周に写す。
そしてだからΦは双正則で単葉なので、Φの定義域をPに制限するとΦはPからD(0;1)への解析同型であることがわかる。
問1(3)
複素平面上に任意に2つの円または直線を与えたとき、その一つを他方に写す1次分数変換が存在する。
これは任意の3点の組が与えられたとき
と変換する1次変換が存在することから証明されるという。上のようなRの存在は、として特にという組をとったとき、
で定義される1次変換がをに写すことが簡単に確かめられる。そこでを介在させることにより証明される。
上のS(z)を複比と呼び、という記号で表すそうだ。