単位八元数による7次元三重回転

単位八元数とその共役で純虚八元数を挟むと、3面での7次元回転になることを説明します。

※ 以前は八元数についての基本事項を記事内で説明していましたが、別記事として分離しました。oct

純虚八元数の積と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$と呼ばれる群構造を持った別の回転があります。こちらについても機会を改めて取り上げる予定です。