■シュタイナーの不定命題の不変量(その7)
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
===================================