PROFILPELAJAR.COM

数学において、 $n$ 次元の直交群（ちょっこうぐん、英: orthogonal group）とは、 $n$ 次元ユークリッド空間上のある固定された点を保つような距離を保つ変換全体からなる群であり、群の演算は変換の合成によって与える。 $O(n)$ と表記する。同値な別の定義をすれば、直交群とは、元が $n \times n$ の実直交行列であり、群の積が行列の積によって与えられるものをいう。直交行列とは、逆行列がもとの行列の転置と等しくなるような行列のことである。

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

用語「直交群」は上の定義を一般化して、体上のベクトル空間における非退化な対称双線型形式や二次形式^{[note 1]}を保つような、可逆な線形作用素全体からなる群を表すことがある。特に、体 $F$ 上の $n$ 次元ベクトル空間 $F n$ 上の双線型形式がドット積で与えられ、二次形式が二乗の和で与えられるとき、これに対応する直交群 $O(n, F)$ は、群の元が $F$ 成分 $n \times n$ 直交行列で群の積を行列の積で定めるものである。これは一般線形群 $GL(n, F)$ の部分群であって、以下の形で与えられる。

\mathrm {O} (n,F)=\{Q\in \mathrm {GL} (n,F)\mid Q^{\mathsf {T}}Q=QQ^{\mathsf {T}}=I\}.

ここで $Q T$ は $Q$ の転置であり、 $I$ は単位行列である。

偶数次元と奇数次元

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

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

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

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

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

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

実数体上の直交群

実数体 $R$ 上の直交群 $O(n, R)$ および特殊直交群 $SO(n, R)$ は特に誤解の恐れのない場合、 $O(n)$ や $SO(n)$ と書かれる。これらは $n (n - 1)/2$ 次元の実コンパクトリー群である。 $O(n, R)$ は二つの連結成分をもち、 $SO(n, R)$ が単位元成分、すなわち単位行列を含む連結成分である。

幾何学的解釈

$O(n, R)$ は $R n$ 上の等長変換全体からなる群であるユークリッドの運動群 $E (n)$ において、原点を保つ変換からなる部分群である。このことから、直交群をユークリッドの運動群と一般線型群の共通部分として与えることができる: $O(n, R) = E (n) \cap GL(n, R)$ . $SO(n)$ は、原点が中心であるような $(n - 1)$ 次元球面 (特に $n = 3$ のとき通常の球面) および球対称なすべての図形の対称群となっている。

円の対称群は $O(2, R)$ である。向きを保つ部分群 $SO(2, R)$ は円周群 $T$ あるいは $1$ 次元のユニタリ群 $U(1)$ に（実リー群として）同型である。この同型写像は、 $U(1)$ の元 $exp(φ i) = cos φ + i sin φ$ を以下の SO(2)の元に対応させる。

{\begin{bmatrix}\cos \phi &-\sin \phi \\\sin \phi &\cos \phi \end{bmatrix}}.

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

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

$O(1) = S 0$ , 2点からなる離散空間
$SO(1) = {1}$
$SO(2)$ は $S 1$
$SO(3)$ は $R P 3$
$SO(4)$ は $SU (2) \times SU(2) = S 3 \times S 3$ に二重被覆される

複素数上の直交群

複素数体 $C$ 上の直交群 $O(n, C)$ および特殊直交群 $SO(n, C)$ は、C 上 $n (n - 1)/2$ 次元の複素リー群である（つまり、 $R$ 上のリー群としてみると、その2倍の次元である）。 $O(n, C)$ は二つの連結成分をもち、 $SO(n, C)$ は単位行列を含むほうの連結成分である。 $n \geq 2$ ではこれらの群は非コンパクトである。

実数の場合と同じように、 $SO(n, C)$ は単連結でない。 $n > 2$ では SO(n, C) の基本群は位数 $2$ の巡回群であり、 $SO(2, C)$ の基本群は無限巡回群である。

有限体上の直交群

直交群は有限体 $F q$ 上にも定義できる。ここで $q$ は素数 $p$ の冪である。

標数が $2$ でない体上では、直交群は偶数次元では二つのタイプ $O + (2 n, q)$ と $O - (2 n, q)$ になり、奇数次元では、一つのタイプ $O(2 n + 1, q)$ になる^[2]。

$V$ を直交群 $G$ が作用するベクトル空間とすると、直交する部分空間の直和として、以下のように書ける。

V=L_{1}\oplus L_{2}\oplus \cdots \oplus L_{m}\oplus W,

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

とくに $n = 1$ である場合には、 $O ϵ (2, q)$ は位数 $2(q - ϵ)$ の二面体群である。

$O(n, q)$ の位数は、標数が2でないとき以下の式よって与えられる。

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

$-1$ が $F q$ において平方ならば

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

$-1$ が $F q$ において平方でないならば

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

直交リー代数

リー群 $O(n, F)$ , $SO(n, F)$ に対応するリー代数は、 $n$ 次交代行列全体からなり、リーブラケット $[ , ]$ は交換子によって与えられる。各 $n$ に対し同じリー代数が対応し、これを ${\mathfrak {o}}(n,F)$ あるいは ${\mathfrak {so}}(n,F)$ と記し、直交リー代数あるいは特殊直交リー代数という。実数体上のそれぞれの n についてのリー代数は、半単純リー代数の4つの族のうち2つのコンパクト実形 (compact real form) である。その2種類とは、 $n$ が奇数 $2 k + 1$ のとき $B k$ であり、偶数 $2 r$ のとき $D r$ である。

注釈

^ 基礎体の標数が $2$ でなければ、対称双線型形式と二次形式のどちらを使っても同値である。

文献

^ Hatcher, Allen (2002). Algebraic Topology. Cambridge University Press. pp. 293–294. ISBN 0-521-79160-X. Zbl 1044.55001
^ Wilson, Robert A. (2009). The Finite Simple Groups. Graduate Texts in Mathematics. 251. London: Springer. pp. 69–75. ISBN 978-1-84800-987-5. Zbl 1203.20012