4.2節 複素射影直線
著者:梅谷 武
語句:複素射影直線, 複素射影変換群
複素射影直線とその上の複素射影変換群について述べる。
作成:2009-09-14
更新:2011-03-08
射影直線の定義における実数を複素数に置き換えます。同時には
0にならない二つの複素数の組の集合を考えます。
この集合を次のような同値関係で分類します。
この同値類を
で表わすことにします。これは斉次座標あるいは同次座標と呼ばれるものです。第2成分が
0でない同値類全体は
と表現でき、複素平面と同じものとみなせます。第2成分が
0の同値類は
∞ :=
| | | |
|
と表現でき、これは無限遠点です。この同値類全体の集合
を
複素射影直線ふくそしゃえいちょくせん, complex projective lineと呼びます。
複素射影直線は平面を含みますから射影直線P1とは異なり、無限遠直線ではなく無限遠点との和集合ですから射影平面P2とも異なります。平面幾何を拡張するための新しい空間です。
複素射影直線
P1(ℂ)には一般線形群
GL(2,ℂ)が作用します。実際に計算してみると
c = 0のときは相似変換で
∞は
∞に写されます。
そうでないときも複素射影直線
P1(ℂ)上の全単射を引き起こします。
複素射影変換群
PGL(2,ℂ)は次の条件を満たし、かつこれらの条件を満たす変換群はこれ以外に存在しない。
(1)
| 複素射影直線P1(ℂ)に推移的に作用する。
|
(2)
| 無限遠点の固定部分群は向きを変えない相似変換群に一致する。
|
(3)
| 円を円に写し、複比を保存する。
|
(4)
| 複素微分可能である。特に等角写像である。
|
証明
略■
数 学
複素射影直線 ふくそしゃえいちょくせん, complex projective line
複素射影変換群 ふくそしゃえいへんかんぐん, complex projective transformation group