リーマン球上の円が複素平面上では円または直線であることについてまとめた。複素関数論講義(野村) 11.1章を参考にした。
リーマン球と複素平面
リーマン球 は3次元座標系で と定義される。 の北極点を で表す。 平面を複素平面 と同一視して、複素数は小文字を使って と表す。 上の点 と を結ぶ直線と 平面の交点を複素数と対応させる。こうして から を除いて複素数と1対1の対応がつく。 は無限遠点に対応させる。 と を対応させる式を求める。 上の点 と を結ぶ直線は と表される。 座標を 0 とすると、 となるから、対応する複素数では となる。したがって、 から への対応は次のようになる。
今度は複素数 に 上の点を対応させよう。3次元座標系で複素数 と を通る直線は と表される。 との交点では となるから、 である。 は に対応するから、 である。このとき、, , となる。以上により、 から への対応は次のようになる。
微積分で三角関数の有理関数の積分を求める時の変数変換に現れる式に似ている気がする。円絡みの計算だから不思議でもないか。
リーマン球と直線
をある平面で切断すると断面は円になる。逆に に含まれる円はある平面上にある。 上の円 が を通るとき を含む平面と 平面は直線で交わるので、 を通る円は複素平面で直線になる。逆に、 平面上の直線と を含む平面は唯一存在する。この平面と が交わる部分は を含む円である。こうして、 を通る 上の円と 上の直線が対応することが分かる。
リーマン球と円
上の を通らない円と 上の円が対応することを示す。 上の円は を満たす実数 と複素数 を使って と表される。この円を 、対応する 上の曲線を とする。 が円になることを示す。 が閉曲線であることから、ある平面上にあることを示せば、 上の円であることが分かる。
を使って、 を の式に変換する。 とすると、円の方程式は となる。(1) – (3) より が得られ、これらを円の方程式に代入する。
これは平面の式だから、 上の円が 上の円に対応することが分かった。 を左辺に代入すると 2 になることから、 を通らないことも分かる。
上の を通らない円を の平面 による断面とする。 と平面 が交わるためには原点から の距離が1より小さい必要があるので、。したがって、 である。(1) – (3) を の方程式に代入すると、次式を得る。
もし ならば が を通ることになり仮定に反するので、。
とおくと、 となり、 とおけば、 上の円の方程式の形となり、後は を示せば良い。
以上により、 上の を通らない円は 上の円である。
まとめ
上の円と 上の直線および円の対応をまとめておく。