円周群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/10/31 10:27 UTC 版)
位相構造
円周群は単に抽象代数的対象であるだけでなく、複素数平面の部分空間としての自然な位相を持つ。乗法および反転が C× 上の連続写像となることから、円周群は位相群の構造を持つ。さらに、単位円は複素数平面の閉集合であるから、円周群は位相群としての C× の閉部分群となる。
もっと言えば、円周群は一次元実多様体で、乗法および反転は円周群上の実解析的写像となるから、円周群はリー群の実例としての一径数群の構造を持つ。実はこれは、同型を除いて唯一の一次元コンパクト連結リー群である。さらに、任意の n次元コンパクト連結可換リー群は Tn に同型となる。
位相群の同型
円周群は数学的に様々な形でその姿を明らかにする。よく知られた形のうちのいくつかを以下に挙げよう。特に知るべきは位相群の同型
である。斜線 / は剰余群を表している。
1次ユニタリ行列全体の成す集合は円周群に一致する。つまり、円周群は一次のユニタリ群に自然同型である。
純虚指数函数は実数の加法群 R から円周群 T への群準同型 exp: R → T
を与える。最後の等号はオイラーの公式である(あるいは複素指数函数を参照)。この実数 θ は単位円上で正の実軸から反時計回りに測った弧度法による角度に対応するものである。単位複素数同士の乗法は角度の和になるという事実:
により、上記の群準同型写像は同相である。またこの指数写像は明らかに R から T への全射となるが、単射でなく、準同型の核は 2π の整数倍全体の成す集合となるから、第一同型定理により
を得る。角度にスケール変換を施せば T ≅ R/Z も同様に言える。
複素数は実二次正方行列としても実現できる(複素数#行列表現を参照)。そのとき単位複素数は行列式 1 の直交行列に対応する。具体的には
と対応する。したがって、円周群は二次の回転群 SO(2) に同型である。この同型を幾何学的に解釈すれば、単位複素数による乗法は複素数平面上の通常 (proper) の回転を与え、またそのような回転はこの形に書けるということを表している。
性質
次元が 0 より大きい任意のコンパクトリー群 G は円周群に同型な部分群を含む。これは対称性の言葉で言えば、連続的に作用するコンパクト対称変換群は、一径数円周群の作用を含むことが期待できるということを意味する。
円周群は部分群を多く持つが、真の閉部分群は 1 の冪根からなる部分群に限られる。すなわち、各正整数 n に対する 1 の n乗根全体の成す集合は位数 n の巡回群となり、そのような部分群は同型を除いて一意に決まる。
- 円周群のページへのリンク