射影線型群
射影変換群
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/23 08:58 UTC 版)
一般線形群 GL(n + 1, K) はベクトル空間 V = Kn+1 に原点を固定して作用し、原点を通る直線を原点を通る直線に写すので、射影空間 KPn には GL(n + 1, K) が作用する。単位行列の定数倍は射影空間に自明に作用するので、この作用は剰余群 PGL(n, K) = GL(n + 1, K)/K× を経由する。群 PGL(n, K) をKPn の射影変換群 (projective linear transformaton group) と言う。射影変換群は、代数多様体としての(あるいは K = C のときは、複素多様体としての)KPn の自己同型群にほかならない。 GL(n + 1, K) の KPn への作用の1点の等方部分群 (stabilizer) は ( a ∗ 0 A ) {\displaystyle {\begin{pmatrix}a&*\\0&A\end{pmatrix}}} ただし a ∈ K × , A ∈ G L ( n , K ) {\displaystyle a\in K^{\times },\quad A\in GL(n,K)} の形の行列からなる部分群 H であり、空間 KPn は、剰余類 GL(n + 1, K)/H と同型である。すなわち、KPn は等質空間である。等質空間としての記述の点でも、射影空間はグラスマン多様体や旗多様体のもっとも簡単な場合に当たる。
※この「射影変換群」の解説は、「射影空間」の解説の一部です。
「射影変換群」を含む「射影空間」の記事については、「射影空間」の概要を参照ください。
- 射影変換群のページへのリンク