等角性

上で述べたように、正則関数は一次式で近似できる関数と見ることができる。 ffz=z0z=z_0で正則でありf(z0)0f'(z_0)\neq0とする。 z0z_0を通る二曲線についてz0z_0での接線をffでうつして得られるf(z0)f(z_0)を通る二曲線の接線を考える。 このとき、うつす前の接線のなす角とうつした後の接線のなす角は一致する。

というのも、z(t)z(t)を曲線CCのパラメータとし、w(t)=f(z(t))w(t)=f(z(t))をうつした曲線のパラメータとすると、 w(t)=z(t)f(z(t))w'(t)=z'(t)f'(z(t))より

argw(t)=argz(t)+argf(z(t)) \arg{w'(t)}=\arg{z'(t)}+\arg{f'(z(t))}

となるためである。 この性質を等角性という。

正則関数の等角性 z0z_0で交わる適切な滑らかさの曲線γ1,γ2\gamma_1, \gamma_2について、 z0z_0での接ベクトルのなす角と、 f(z0)f(z_0)においてf(γ1),f(γ2)f(\gamma_1), f(\gamma_2)の接ベクトルのなす角の大きさは等しい。 写像の微分により、ヤコビアンで解釈できる。