八元数による7次元回転

八元数の基本性質と7次元回転について説明します。

八元数についての基本事項は記事内で説明するため、前提とはしません。また、必ずしも四元数を前提とはしませんが、その延長線上で扱うため、四元数の知識があればスムーズです。

八元数の基本構造

八元数は、四元数を拡張した8次元の代数系です。実数、複素数、四元数に続くノルム付き可除代数として知られます。wiki-norm

八元数は以下のような特徴を持ちます：

八元数は以下の8つの基底から構成されます：

ここで、1は実部を表し、$e_1$から$e_7$は7つの虚数単位を表します。

八元数$o$は一般に以下の形で表されます：

$$ o = o_0 + o_1e_1 + o_2e_2 + o_3e_3 + o_4e_4 + o_5e_5 + o_6e_6 + o_7e_7 $$

ここで、$o_0, o_1, \dots, o_7$は実数であり、$e_1, e_2, \ldots, e_7$は虚数単位です。

虚数単位の性質

これらの虚数単位は以下の性質を持ちます：

1. 各虚数単位の2乗は$-1$となる
   $e_i^2 = -1$ （$i = 1, 2, \ldots, 7$）
2. 積の順序を変えると符号が反転する（反交換性）
   $e_ie_j = -e_je_i$ （$i \neq j$）
3. 異なる虚数単位の積は別の虚数単位となり、組み合わせによっては負となる（反交換性を反映）
   $e_ie_j = e_k$または$-e_k$ （$i,j,k$は相異なる）

これらの性質により、八元数の乗法構造は複雑になりますが、同時に豊かな代数的・幾何学的構造を持つことになります。

八元数の共役は、虚部を符号反転として定義されます。この記事では上付きの$*$で共役を表記します。

八元数のノルムは以下のように定義されます：

このノルムは、八元数の幾何学的な長さを表すと同時に、代数的な性質も持っています。特に、ノルムの積の法則が成立します：

ここで$o$と$p$は任意の八元数です。

八元数の乗法構造とファノ平面

八元数の乗法構造を理解するために、7つの三つ組（triads）を導入します。これらの三つ組は、互いに直交する3つの虚数単位から成り、四元数と同型な部分構造を形成します。

7つの三つ組の古典的な定義は以下の通りです：

1つの虚数単位は3つの三つ組に含まれます。各三つ組内では、四元数と同じ乗算規則が成り立ちます（例として最初の三つ組を使用）：

$$ \begin{aligned} e_1e_2 &= -e_2e_1 = e_3 \\ e_2e_3 &= -e_3e_2 = e_1 \\ e_3e_1 &= -e_1e_3 = e_2 \end{aligned} $$

ファノ平面による乗法規則の視覚化

八元数の乗法構造は、ファノ平面と呼ばれる幾何学的図形を用いて視覚化できます。ファノ平面は、7つの点と7つの線（うち1つは円）から成る射影平面です。

ファノ平面

この図では、向き付けられた円と6本の線（三角形の3辺と3本の垂線）が、7つの三つ組に対応しています。円上に$e_1,e_2,e_3$を配置し、それらと円の中心に置かれた$e_4$との添え字の足し算によって、$e_5,e_6,e_7$が生成されるように配置しています。円と三角形上の線の向きは反時計回りで統一しています。

ファノ平面を用いて、八元数の乗法規則を以下のように構成できます：

例えば：

• $e_1e_2 = e_3$ （$e_1,e_2$は円上で順方向に隣接）
• $e_2e_1 = -e_3$ （$e_2,e_1$は円上で逆方向に隣接）
• $e_1e_4 = e_5$ （$e_1, e_4$は線上で順方向に隣接）

このように、八元数の複雑な乗法構造を視覚的に理解することができます。実用上は、まずファノ平面を描いて、そこから三つ組が再構成できれば十分です。

非結合性

八元数の重要な特徴の一つに非結合性があります。これは、3つ以上の八元数の積を計算する際に、括弧の位置によって結果が変わることを意味します。

具体的に計算してみると：

1. $(e_1e_2)e_4 = e_3e_4 = e_7$
2. $e_1(e_2e_4) = e_1e_6 = -e_7$

この例では結果が異なりましたが、一致する場合もあります：

1. $(e_1e_2)e_3 = e_3e_3 = -1$
2. $e_1(e_2e_3) = e_1e_1 = -1$

このように、八元数の乗法では必ずしも結合法則が成り立ちません。これは四元数までには見られなかった性質で、八元数の複雑さを示す特徴の一つです。非結合性があるため、八元数の計算では括弧の位置に注意を払う必要があります。

純虚八元数の積と7次元空間

純虚八元数は、実部がなく、虚部のみによって構成される八元数です。一般的な形式は以下のようになります：

純虚八元数は、7次元ベクトル空間の元に対応します：

$$ \vec{x} = (x_1, x_2, x_3, x_4, x_5, x_6, x_7)^T $$

この対応により、純虚八元数の代数的操作を7次元空間の幾何学的操作として解釈することができます。

純虚八元数の積

純虚八元数$v,w$の積を計算します。

$$ \begin{aligned} v&=v_1e_1 + v_2e_2 + v_3e_3 + v_4e_4 + v_5e_5 + v_6e_6 + v_7e_7 \\ w&=w_1e_1 + w_2e_2 + w_3e_3 + w_4e_4 + w_5e_5 + w_6e_6 + w_7e_7 \\ vw&=-(v_1w_1+v_2w_2+v_3w_3+v_4w_4+v_5w_5+v_6w_6+v_7w_7) \\ &+\{(v_2w_3-v_3w_2)+(v_4w_5-v_5w_4)+(v_7w_6-v_6w_7)\}e_1 \\ &+\{(v_3w_1-v_1w_3)+(v_4w_6-v_6w_4)+(v_5w_7-v_7w_5)\}e_2 \\ &+\{(v_1w_2-v_2w_1)+(v_4w_7-v_7w_4)+(v_6w_5-v_5w_6)\}e_3 \\ &+\{(v_5w_1-v_1w_5)+(v_6w_2-v_2w_6)+(v_7w_3-v_3w_7)\}e_4 \\ &+\{(v_1w_4-v_4w_1)+(v_7w_2-v_2w_7)+(v_3w_6-v_6w_3)\}e_5 \\ &+\{(v_1w_7-v_7w_1)+(v_2w_4-v_4w_2)+(v_5w_3-v_3w_5)\}e_6 \\ &+\{(v_6w_1-v_1w_6)+(v_2w_5-v_5w_2)+(v_3w_4-v_4w_3)\}e_7 \end{aligned} $$

純虚八元数の積の実部を内積の符号反転、虚部を外積と定義します。

内積と外積の性質について見ていきます。

内積の定義と性質

7次元ベクトル$\vec v,\vec w$の内積は以下のように定義されます：

この定義は純虚八元数の内積と一致し、以下の性質を持ちます：

1. 対称性: $\vec v \cdot \vec w = \vec w \cdot \vec v$
2. 線形性: $(a\vec v + b\vec w) \cdot \vec u = a(\vec v \cdot \vec u) + b(\vec w \cdot \vec u)$
3. 正定値性: $\vec v \cdot \vec v \geq 0$, かつ $\vec v \cdot \vec v = 0 \iff \vec v = \vec 0$

3次元空間の特殊性と外積

7次元外積は3次元外積から構成されるため、まず3次元外積について説明します。

3次元空間では、任意の平面に対して向きの違いを除いて一意に法線ベクトルが定まります。この特殊性が、3次元空間での外積（ベクトル積）の定義を可能にします。

3次元ベクトル$\vec{a} = (a_1, a_2, a_3)^T$と$\vec{b} = (b_1, b_2, b_3)^T$の外積は以下のように定義されます：

外積は$\vec{a}$と$\vec{b}$の両方に垂直なベクトルを生成します。これは$\vec{a}$と$\vec{b}$が張る平行四辺形に対する法線ベクトルとなり、長さはその平行四辺形の面積となります。

外積（右手系）

八元数による7次元外積の実現

7次元空間では平面に対する法線が定まらないため、外積を直接的には定義できません。

八元数は7つの三つ組を内包しています。これら三つ組は3次元部分空間を形成します。純虚八元数の積の虚部から定義される7次元外積は、各3次元部分空間内での外積を組み合わせた形となります：7shi-oct

成分ごとに見ると、3つの3次元外積が組み合わされた形をしています。これは、1つの虚数単位が3つの三つ組に含まれる構造を反映しています。

八元数による7次元回転

一般に$n$次元空間における回転は、2次元部分空間を回転面として考えることができます。7shi-rot

7次元空間には以下の数の2次元部分空間の基底が存在します：

$$ \binom{7}{2} = 7×6÷2 = 21 $$

したがって、7次元空間における一般的な回転は21個の独立したパラメーターによって完全に記述されます。これらのパラメーターによって、7次元空間内で任意の回転面が指定できます。

八元数による7次元回転は単位八元数によって指定されます。八元数は8つのパラメーターを持ちますが、単位八元数はノルムが$1$という制約があるため自由度は7となります。そのため自由度が21である一般的な7次元回転を完全には表現できず、特定の種類の回転しか表現できません。nakajima

具体的には、回転軸に直交する3つの2次元平面で同期した回転となります。これは、7次元空間を3つの2次元平面と1つの1次元軸（回転軸）に分解していると解釈できます。

単位八元数による回転の表現

単位八元数$r$は以下の形式で表現できます：7shi-coord

ここで、$\theta$は回転角、$n$は単位純虚八元数で回転軸を表します。

具体的な回転操作は、単位八元数とその共役とで両側から挟むことで表現できます：

この操作は、$n$に直交する3つの2次元平面のそれぞれで$\theta$の回転を引き起こします。

具体的な計算結果をベクトルとして示します：

$$ \begin{pmatrix} \cosθ\,x_1+\sinθ\{(n_2x_3-n_3x_2)+(n_4x_5-n_5x_4)+(n_7x_6-n_6x_7)\}+(1-\cosθ)n_1(n \cdot x) \\ \cosθ\,x_2+\sinθ\{(n_3x_1-n_1x_3)+(n_4x_6-n_6x_4)+(n_5x_7-n_7x_5)\}+(1-\cosθ)n_2(n \cdot x) \\ \cosθ\,x_3+\sinθ\{(n_1x_2-n_2x_1)+(n_4x_7-n_7x_4)+(n_6x_5-n_5x_6)\}+(1-\cosθ)n_3(n \cdot x) \\ \cosθ\,x_4+\sinθ\{(n_5x_1-n_1x_5)+(n_6x_2-n_2x_6)+(n_7x_3-n_3x_7)\}+(1-\cosθ)n_4(n \cdot x) \\ \cosθ\,x_5+\sinθ\{(n_1x_4-n_4x_1)+(n_7x_2-n_2x_7)+(n_3x_6-n_6x_3)\}+(1-\cosθ)n_5(n \cdot x) \\ \cosθ\,x_6+\sinθ\{(n_1x_7-n_7x_1)+(n_2x_4-n_4x_2)+(n_5x_3-n_3x_5)\}+(1-\cosθ)n_6(n \cdot x) \\ \cosθ\,x_7+\sinθ\{(n_6x_1-n_1x_6)+(n_2x_5-n_5x_2)+(n_3x_4-n_4x_3)\}+(1-\cosθ)n_7(n \cdot x) \end{pmatrix} $$

これをまとめると、八元数版のロドリゲスの回転公式が得られます：

これは四元数による表式と同じ形をしています。7shi-rod

回転操作の幾何学的意味

回転操作$rxr^*$において、$x$の$n$方向の成分は変化しません。つまり、回転軸方向は保存されます。$n$に直交する空間は6次元で、これが3つの2次元平面に分解されます。各平面ではそれぞれ$θ$回転が起こります。

$e_1$の成分である$x_1$が不変で、$(e_2,e_3),(e_4,e_5),(e_7,e_6)$の3つの平面上で回転が起きています。この平面は$e_1$を含む三つ組$(e_1,e_2,e_3),(e_1,e_4,e_5),(e_1,e_7,e_6)$に由来します。

この構造により、7次元空間のうち1次元の回転軸を保持しながら、3つの2次元平面での同期した回転が起こります。この回転は21パラメーターの完全な7次元回転$SO(7)$の部分集合となります。

おわりに

この記事では八元数の基礎から始めて、単位八元数とその共役とで両側から挟むことによる7次元回転と、その特異な構造を説明しました。

この発展として、鏡映による完全な8次元回転$\mathrm{SO}(8)$（7次元回転$\mathrm{SO}(7)$を含む）があります。nakajima

また、八元数に関係して、$G_2$と呼ばれる群構造を持った別の回転があります。こちらについても機会を改めて取り上げる予定です。