logo

複素解析における等角写像とは? 📂複素解析

複素解析における等角写像とは?

定義 1

関数$f: A \subset \mathbb{C} \to \mathbb{C}$が$\mathscr{R} \subset A$で解析的であり、すべての$z \in \mathscr{R}$に対して$f ' (z) \ne 0$を満たす場合、$f$とすると等角写像conformal mappingまたは等角変換conformal transformという。一方で、$f ' (\alpha) = 0$を満たす点$\alpha$が存在する場合、$\alpha$を$f$の臨界点critical pointという。

説明

等角等角という漢字そのまま、等角変換を取ると形状が作る角が保持される。

その名の通り、等角写像同士の合成は等角写像であるという事実を覚えておこう。証明は、以下の対偶を確認することで十分だ。 $$ (f \circ g) ' = f '(g) g' = 0 \iff g' = 0 \lor f ' = 0 $$

このような等角変換は、単純閉路を多く扱う複素解析において非常に重要で、積分経路を扱うときに便利に使われる。幾何学的には、臨界点を考えると、つまり完全に停止するために方向を変えなければならない、つまり折れる点と言える。一方、解析的で単射である関数は、以下の二つの重要な性質を持つ。

基本性質 1

  • [1]: もし関数$f$が$\mathscr{R}$で解析的であり単射ならば、すべての$z \in \mathscr{R}$で$f ' (z) \ne 0$が成り立つ。言い換えると、$f$は等角写像である。
  • [2]: もし関数$f$が$\mathscr{R}$で解析的であり単射であり、単純閉路$\mathscr{C}$を$\mathscr{C} ' $に対応させる場合、$f$は$\mathscr{C}$内部の点を$\mathscr{C} ' $の内部か外部のみに対応させる。

  • [1]で必要十分条件ではないことに注意しよう。[2] は特に重要な性質であって、$\mathscr{C}$内部の一点だけチェックすれば、他の点が$\mathscr{C} ' $の内部に行くか外部に行くかがわかる。

  1. Osborne (1999). Complex variables and their applications: p193, 196. ↩︎ ↩︎