■メビウス変換とシュタイナーの定理(その4)

  T(z)=(az+b)/(cz+d)=a/c+(bc−ad)/c(cz+d)

とくに,ad−bc=1の場合は

  T(z)=(az+b)/(cz+d)=a/c−1/c(cz+d)

と簡略化できる.

 実数係数で,ad−bc=1の場合がSL(2,R)であるが,

[3]SL(2,R)は複素平面の上半平面(Imz>0)を上半平面に移す.

===================================

 メビウス変換の虚部を調べてみよう.

  Im((az+b)/(cz+d))

=(ad−bc)/|cz+d|^2Im(z)

=1/|cz+d|^2Im(z)

 よって,Im(z)>0ならば,Im((az+b)/(cz+d))>0

===================================