更新:2025/01/06

四元数の意味と性質について

はるか
はるか
四元数って複素数を拡張したものだよね。
ふゅか
ふゅか
そう!計算も複素数みたいで、すごく面白いよ!あと、回転を表現できるのも重要だね!

1. 四元数とは何か

四元数は、1843年にアイルランドの数学者ウィリアム・ローワン・ハミルトンによって発見された、複素数を拡張した数の体系です。

2. 四元数の定義

四元数 \( q \) は、以下のように表されます:

\[ q = a + bi + cj + dk \]

  • \( a, b, c, d \):実数
  • \( i, j, k \):虚数単位で、以下の関係を持つ

これらの虚数単位は、以下の乗法規則を満たします:

  • \( i^2 = j^2 = k^2 = ijk = -1 \)
  • \( ij = k,\quad ji = -k \)
  • \( jk = i,\quad kj = -i \)
  • \( ki = j,\quad ik = -j \)

3. 四元数の加法と減法

成分ごとに計算します。

例:\( q_1 + q_2 = (a_1 + a_2) + (b_1 + b_2)i + (c_1 + c_2)j + (d_1 + d_2)k \)

4. 四元数の乗法

2つの四元数 \(q_1 = a_1 + b_1i + c_1j + d_1k\) と \(q_2 = a_2 + b_2i + c_2j + d_2k\) の積 \(q = q_1 \cdot q_2\) は、次のように計算します:

\[ q = (a_1a_2 - b_1b_2 - c_1c_2 - d_1d_2)+(a_1b_2 + b_1a_2 + c_1d_2 - d_1c_2)i+(a_1c_2 - b_1d_2 + c_1a_2 + d_1b_2)j+(a_1d_2 + b_1c_2 - c_1b_2 + d_1a_2)k \]

5. 四元数の性質

5.1. 非可換

四元数の乗法は一般に可換ではありません。つまり、\( pq \neq qp \) となる場合があります。

たとえば、\( p = 1 + i \)、\( q = 1 + j \) の場合、 \[ pq = (1 + i)(1 + j) = 1 + j + i + ij = 1 + j + i - k \] \[ qp = (1 + j)(1 + i) = 1 + i + j + ji = 1 + i + j + k \] よって、\( pq \neq qp \) となります。

5.2. ノルム(絶対値)

四元数の大きさを示す値で、\( \|q\| = \sqrt{a^2 + b^2 + c^2 + d^2} \) で計算されます。

例:四元数 \( q = 1 + 2i + 3j + 4k \) の場合、

\[ \|q\| = \sqrt{1^2 + 2^2 + 3^2 + 4^2} = \sqrt{1 + 4 + 9 + 16} = \sqrt{30} \]

5.3. 四元数の共役

\( q = a + bi + cj + dk \) の共役は \( q^* = a - bi - cj - dk \) となります。

例:\( q = 1 + 2i + 3j + 4k \) の場合、 \[ q^* = 1 - 2i - 3j - 4k \]

PR