logo

複素解析における反転 📂複素解析

複素解析における反転

定義 1

直線 L:2px+2qy+c=0L: 2px + 2qy + c = 0 C:zA=r\mathscr{C}: |z - A | = r、そしてそれらにない点 P:z=x+iyP: z = x + iy を考えよう。これに対する逆点は次のように定義される。

  1. yyxx=qp\displaystyle {{y - y^{ \ast }} \over {x - x^{ \ast }}} = {{q} \over {p}}p(x+x)+q(y+iy)+c=0p(x + x^{ \ast }) + q(y + i y^{ \ast }) + c = 0 を満たす Q:z=x+iyQ: z^{ \ast } = x^{ \ast } + i y^{ \ast } を、PP直線 LL に対する逆点と定義する。 20180209\_121849.png2. APAQ=r2\overline{AP} \cdot \overline{AQ} = r^2 を満たす Q:z=x+iyQ: z^{ \ast } = x^{ \ast } + i y^{ \ast } を、PPC\mathscr{C} に対する逆点と定義する。 20180209\_121857.png

説明

直線に対する対称点を逆点と定義するのはかなり直感的だが、円に対する逆点は馴染みがないかもしれない。特に、円の中心の逆点が無限遠、すなわち PAP \to A である時 QQ \to \infty はかなり受け入れがたいかもしれない。しかし、定義と図が複雑に描かれているのでそう感じるだけで、本質的には円の中心と軸をとって r2z\displaystyle {{r^2} \over {z}} を取ったのと同じだ。

ピンとこなければ、C:z=2\mathscr{C}: |z| = 2 に対して P=1P = 1 として直接 QQ を計算してみよう。三角比を使えば Q=4=221\displaystyle Q = 4 = { {2^2} \over {1} } であることを容易に確認できるだろう。単純に考えても、円内の全ての点は円外の全ての点と一対一対応するので、こんなに簡単な概念を使わなかったわけがない。だが、書きながら曖昧な表現を除外しようとすると、多くのものが省略されてしまったので、見慣れないものに見えるだけだ。

次の原理は、円や直線は双線形変換を施しても円や直線であるという事実から容易に導かれる。

対称性の原理

zzzz^{ \ast } が互いに逆点であるとする。

  • [1] 直線: Bz+Bz+c=0Bz + \overline{Bz} + c = 0     \iff Bz+Bz+c=0Bz^{ \ast } + \overline{Bz} + c = 0
  • [2] 円: azz+Bz+Bz+c=0a z \overline{z} + Bz + \overline{Bz} + c = 0     \iff azz+Bz+Bz+c=0a z^{ \ast } \overline{z} + Bz^{ \ast } + \overline{Bz} + c = 0
  • [3] 全ての双線形変換は、C~\tilde { \mathbb{C} } の逆点を C~\tilde { \mathbb{C} } の逆点に対応させる。

  1. Osborne (1999). Complex variables and their applications: p205. ↩︎