直交群

テンプレート:翻訳中途 数学において、テンプレート:Math 次元の直交群（ちょっこうぐん、テンプレート:Lang-en-short）とは、テンプレート:Math 次元ユークリッド空間上のある固定された点を保つような距離を保つ変換全体からなる群であり、群の演算は変換の合成によって与える。テンプレート:Math と表記する。同値な別の定義をすれば、直交群とは、元がテンプレート:Math の実直交行列であり、群の積が行列の積によって与えられるものをいう。直交行列とは、逆行列がもとの行列の転置と等しくなるような行列のことである。

直交行列の行列式は テンプレート:Math か テンプレート:Math である。テンプレート:Math の重要な部分群である特殊直交群 テンプレート:Math は行列式が テンプレート:Math である直交行列からなる。この群は回転群ともよばれ、例えば次元 2 や 3 では、群の元が表す変換は（2次元における）点や（3次元における）直線のまわりの通常の回転である。低次元ではこれらの群の性質は幅広く研究されている。

用語「直交群」は上の定義を一般化して、体上のベクトル空間における非退化な対称双線型形式や二次形式を保つような、可逆な線形作用素全体からなる群を表すことがある。特に、体 テンプレート:Math 上の テンプレート:Math 次元ベクトル空間 テンプレート:Math 上の双線型形式がドット積で与えられ、二次形式が二乗の和で与えられるとき、これに対応する直交群 テンプレート:Math は、群の元が テンプレート:Math 成分 テンプレート:Math 直交行列で群の積を行列の積で定めるものである。これは一般線形群 テンプレート:Math の部分群であって、以下の形で与えられる。

$\mathrm{O}(n,F)=\{Q\in \mathrm{G}\mathrm{L}(n,F)\mid Q^{𝖳}Q=Q{Q}^{𝖳}=I\}.$

ここで テンプレート:Math は テンプレート:Math の転置であり、 テンプレート:Math は単位行列である。

偶数次元と奇数次元

直交群の構造は偶数次元と奇数次元でいくつかの点で異っている。例えば、[[実数|テンプレート:Math]] のような順序体上では、元 テンプレート:Math（テンプレート:Math は単位行列) は偶数次元では向きを保存するが奇数次元では反転させる。この区別を強調するときは、直交群を テンプレート:Math や テンプレート:Math と書くことがある。また、対応するリー代数の階数に対応することを念頭に置いて、文字 k のかわりに文字 p や r を使うこともある。あとで述べるように、対応するリー代数とは奇数次元では $𝔰𝔬(2r+1),$ 偶数次元では $𝔰𝔬(2r)$ である。

偶数次元における O(n) と SO(n) の違い

2次元空間で、O(2) は原点周りのすべての回転および、原点を通る直線によるすべての鏡映変換からなる群である。一方、SO(2) は原点周りのすべての回転からなる群である。

これらの群は密接に関連していて、SO(2) は O(2) の部分群である。なぜなら、二つの鏡映変換の合成は回転変換を与えるからである。

一般の次元で考えると、偶数回の鏡映変換は回転変換を与え、回転の後鏡映する操作、およびその逆は、一つの鏡映変換を与える。よって、回転操作は O(2) の部分空間となるが、鏡映変換のみの部分集合は部分群をなさないことがわかる。

「原点を中心とした鏡映変換」は、それぞれの座標軸に対して、一回ずつ鏡映することによって生成できる。この「原点中心の鏡映」は偶数次元においては通常の意味での鏡映ではなく、むしろ回転である。2次元では、2回適用すると恒等変換になるような唯一の非自明な回転である。一般次元において、この変換は逆変換が自分自身と一致する。4次元においてこれはisoclinic(等斜同型)であり、この分類が一般次元に拡張されるとしたら、すべての偶数次元においてそれは isoclinic であるといえる。

実数体上の直交群

実数体 テンプレート:Math 上の直交群 テンプレート:Math および特殊直交群 テンプレート:Math は特に誤解の恐れのない場合、テンプレート:Math や テンプレート:Math と書かれる。これらは テンプレート:Math 次元の実コンパクトリー群である。テンプレート:Math は二つの連結成分をもち、テンプレート:Math が単位元成分、すなわち単位行列を含む連結成分である。

幾何学的解釈

テンプレート:Math は テンプレート:Math 上の等長変換全体からなる群であるユークリッドの運動群 テンプレート:Math において、原点を保つ変換からなる部分群である。このことから、直交群をユークリッドの運動群と一般線型群の共通部分として与えることができる: テンプレート:Math. テンプレート:Math は、原点が中心であるような[[超球面|テンプレート:Math次元球面]] (特に テンプレート:Math のとき通常の球面) および球対称なすべての図形の対称群となっている。

円 の対称群は テンプレート:Math である。向きを保つ部分群 テンプレート:Math は円周群 テンプレート:Math あるいは テンプレート:Math次元のユニタリ群 テンプレート:Math に（実リー群として）同型である。この同型写像は、テンプレート:Math の元 テンプレート:Math を以下の SO(2)の元に対応させる。

$\left[\begin{array}{cc}\cos \varphi & -\sin \varphi \\ \sin \varphi & \cos \varphi \end{array}\right].$

低次元の直交群のトポロジー

低次元の実（特殊）直交群は良く知られた位相空間と同相である。

• テンプレート:Math, 2点からなる離散空間
• テンプレート:Math
• テンプレート:Math は [[円 (数学)|テンプレート:Math]]
• テンプレート:Math は [[射影空間|テンプレート:Math]]
• テンプレート:Math は テンプレート:Math に二重被覆される

複素数上の直交群

複素数体 テンプレート:Math 上の直交群 テンプレート:Math および特殊直交群 テンプレート:Math は、C 上 テンプレート:Math 次元の複素リー群である（つまり、テンプレート:Math 上のリー群としてみると、その2倍の次元である）。テンプレート:Math は二つの連結成分をもち、テンプレート:Math は単位行列を含むほうの連結成分である。 テンプレート:Math ではこれらの群は非コンパクトである。

実数の場合と同じように、テンプレート:Math は単連結でない。 テンプレート:Math では SO(n, C) の基本群は位数 テンプレート:Math の巡回群であり、テンプレート:Math の基本群は無限巡回群である。

有限体上の直交群

直交群は有限体 テンプレート:Math 上にも定義できる。ここで テンプレート:Math は素数 テンプレート:Math の冪である。

標数が テンプレート:Math でない体上では、 直交群は偶数次元では二つのタイプ テンプレート:Math と テンプレート:Mathになり、奇数次元では、一つのタイプ テンプレート:Mathになる。

テンプレート:Math を直交群 テンプレート:Math が作用するベクトル空間とすると、直交する部分空間の直和として、以下のように書ける。

$V=L_1\oplus L_2\oplus \cdots \oplus L_m\oplus W,$

ここで テンプレート:Math は双曲的直線で テンプレート:Math は特異ベクトルを含まない。テンプレート:Math が自明な部分空間 {0} のとき、テンプレート:Math は + のタイプである。テンプレート:Math が 1 次元のとき、テンプレート:Math は奇数次元になる。テンプレート:Math の次元が 2 のとき、テンプレート:Math は − のタイプである。

とくに テンプレート:Math である場合には、テンプレート:Math は位数 テンプレート:Math の二面体群である。

テンプレート:Mathの位数は、標数が2でないとき以下の式よって与えられる。

$|\mathrm{O}(2n+1,q)|=2q^n\prod _{i=0}^{n-1}(q^{2n}-q^{2i}).$

テンプレート:Math が [[平方剰余|テンプレート:Mathにおいて平方ならば]]

$|\mathrm{O}(2n,q)|=2(q^n-1)\prod _{i=1}^{n-1}(q^{2n}-q^{2i}).$

テンプレート:Math が テンプレート:Mathにおいて平方でないならば

$|\mathrm{O}(2n,q)|=2(q^n+(-1{)}^{n+1})\prod _{i=1}^{n-1}(q^{2n}-q^{2i}).$

直交リー代数

リー群 テンプレート:Math, テンプレート:Math に対応するリー代数は、テンプレート:Mvar 次交代行列全体からなり、リーブラケット テンプレート:Math は交換子によって与えられる。各 テンプレート:Mvar に対し同じリー代数が対応し、これを $𝔬(n,F)$ あるいは $𝔰𝔬(n,F)$ と記し、直交リー代数あるいは特殊直交リー代数という。実数体上のそれぞれの n についてのリー代数は、半単純リー代数の4つの族のうち2つのコンパクト実形 (compact real form) である。その2種類とは、テンプレート:Math が奇数 テンプレート:Math のとき テンプレート:Math であり、偶数 テンプレート:Math のとき テンプレート:Math である。