「数」4.2 四元数の計算規則
キーワード：四元数、共役、絶対値
今回は、前回導入した四元数の計算がどのように行われるのかということを見ていきましょう。四元数の3つの虚数単位どうしの計算規則から、四元数の計算規則を導いていきたいと思います。また、複素数と同じように共役・絶対値が定義できることを確認します。また、四元数を用いた場合に方程式がどのようになるか、ということについても若干の注意をしておきたいと思います。
四元数の和・差
以下の議論では、
\begin{eqnarray}
p = a + bi +cj + dk\\
q = e + fi + gj + hk
\end{eqnarray}
とおいて計算します。
和と差については、各項ごとに計算すればいいので簡単です。
\begin{eqnarray}
p+q = (a+e) + (b+f)i +(c+g)j + (d+h)k\\
p-q = (a-e) + (b-f)i +(c-g)j + (d-h)k
\end{eqnarray}
これについて、特に注意点はないでしょう。
四元数の積
四元数の積については若干計算がめんどうです。これを簡単にするルールについては次回でやるとして、ここでは基本の計算規則を用いて計算してみましょう。
\begin{eqnarray}
p q &=& (a + bi +cj + dk)(e + fi + gj + hk)\\
&=& ae + a(fi + gj + hk) + e(bi +cj + dk) \nonumber\\
& & +(bi +cj + dk) (fi + gj + hk)
\end{eqnarray}
計算が長くなるので最後の項だけ計算してしまいましょう。
\begin{eqnarray}
(bi +cj + dk) (fi + gj + hk) &=& bfi^2 + cgj^2 + dhk^2 \nonumber \\
& & + bgij + cfji + chjk + dgkj + dfki + bhik \\
&=& -bf -cg -dh \nonumber \\
& &+(bg-cf)k + (ch-dg)i + (df-bh)j
\end{eqnarray}
ここで$i^2=j^2=k^2=-1$と$ij=k$などを用いて変形しました。これを用いると
\begin{eqnarray}
p q &=& ae + a(fi + gj + hk) + e(bi +cj + dk) \nonumber\\
&& -bf -cg -dh + (ch-dg)i + (df-bh)j + (bg-cf)k
\end{eqnarray}
となります。これを見て、ベクトルの演算を知っている方はぴんとくるものがあるかもしれません。ですが、その話は次回のテーマとさせてもらいます。複素数と比べてもかなりややこしい計算になっていますが、これを整理する方法はありますので、今回はまず四則演算がきちんとできて閉じていることを確認してしまいましょう。また、別に計算した2行目の四元数になる部分については、積の順番を交換すると符号が変わります。四元単位$i,j,k$の積が交換しないことの影響で、一般に四元数の積は交換しません。
共役と絶対値
次に共役を定義しましょう。前回の因数分解の議論を踏まえれば、共役な四元数を
\begin{equation}
p^{*} = a – bi -cj – dk
\end{equation}
と定義すれば
\begin{equation}
p^{*}p = p p^{*} = (a + bi +cj + dk)(a – bi -cj – dk) = a^2 + b^2 + c^2 + d^2
\end{equation}
となりますので、これを四元数の共役として問題なさそうです。上に書いたように、一般に四元数の積の順番は交換できませんが、それは結果に四元単位が現れるときだけです。結果が実数になる共役四元数との積は交換可能です。
またここに出てきた右辺の実数を、三平方の定理を踏まえれば四元数の「長さ」とみなしてよさそうです。これを絶対値といい、
\begin{equation}
|p| = \sqrt{a^2 + b^2 + c^2 + d^2}
\end{equation}
で定義します。ここは複素数の自然な拡張として理解しやすいと思います。
逆元の存在と商の定義
以上の道具立てを用いて、商（割り算）を定義しましょう。
まずは積に関する逆元を求めます。つまり、0でない四元数$p$に対して、
\begin{equation}
p p^{-1} = p^{-1} p = 1\label{10-1}
\end{equation}
となるような逆元$p^{-1}$を求めてみましょう。といっても、前節の議論を用いれば複素数と同様に、
\begin{equation}
p^{-1} = \frac{1}{|p|^2} p^{*} = \frac{a – bi -cj – dk}{a^2 + b^2 + c^2 + d^2}
\end{equation}
と定義すれば、これが式(\ref{10-1})を満たすことはすぐ確認できるでしょう。
これを持ちいれば、
\begin{equation}
\frac{q}{p} = \frac{ (e + fi + gj + hk)(a – bi -cj – dk)}{a^2 + b^2 + c^2 + d^2}
\end{equation}
となって、商が計算できます。
以上で、四元数に関しての和・差・積・商が定義でき、すべて四元数の中で閉じていることが確認できたと思います。
$p^2=-1$の解
今回の話の最後に、四元数の困った性質について触れておきます。これは前回ちょっとだけ注意事項としてふれたことです。
いま四元数に関する方程式
\begin{equation}
p^2 = -1\label{10-2}
\end{equation}
を考えます。積の定義に当てはめると、
\begin{eqnarray}
p^2 &=& aa + a(bi + cj + dk) + a(bi +cj + dk) \nonumber\\
&& -bb -cc -dd + (cd-dc)i + (db-bd)j + (bc-cb)k \\
&=& a^2 – b^2 – c^2- d^2 +2 a(bi + cj + dk)
\end{eqnarray}
これを見れば、$a=0$の「純虚」四元数ならば、絶対値1にすると自動的に$p^2=-1$になることが分かります。つまり、
\begin{equation}
a=0, b^2 + c^2 + d^2 =1
\end{equation}
を満たす四元数はすべて方程式(\ref{10-2})を満たします。つまり、代数方程式に無数の解が存在することになります。
このように四元数では「代数学の基本定理」（方程式の次数と解の個数が一致する）が成立しない。そういう意味ではすこしやっかいです。
まとめ
今回は四元数の基本計算だったので少々退屈だったかもしれません。四元数において、複素数の拡張として四則演算を定義できることを確認したわけですが、とくに積のところは計算が複雑です。これが何を表しているのかなかなかイメージがつかみにくいかもしれません。次回は、この四元数の積に注目して、ベクトル演算との関係を用いて四元数の計算を見通し良く行う方法を見ていきたいと思います。