前回は、四元数の計算規則を確認しました。今回は、特に積の計算をベクトルとの関係で見通し良くする方法について見ていきたいと思います。前回も計算した純虚四元数の積を再掲します。(2)(3)で、定義されます。これを見ると、それぞれが四元数の積において普通の数の部分と虚数単位がついている部分とになっていることが分かると思います。用いて、(4)とあらわし、それぞれをスカラー部分、ベクトル部分と呼ぶことにします。これを用いると、(5)(6)となることが分かります。してみると、かなりすっきりすると思います。共役と絶対値はそれぞれ、(7)(8)となります。絶対値を導入したわけですが、一つ証明していないことがありました。それは積の絶対値がそれぞれの絶対値の積になるのかどうか、ということです。(9)が成立するか、ということです。二つのベクトルのなす角)。積の絶対値がそれぞれの積とは異なるわけです。いまここで、式(9)の両辺を2乗して、スカラー部、ベクトル部を用いて表してみますす。(12)(13)この二つが果たして同じになるのかということです。一つ一つ計算していきましょう。(14)(15)ここでベクトルの内積と外積の性質を使います。なるので、(16)とまとめることができます。ここで成分でなく大きさと角度を用いた表現をしました。こちらのほうが計算の見通しがよくなります。以上の結果を用いれば、(17)となることが確認できました。これは成分だけの計算ですと項の数が多くなり分かりにくくなります。ベクトルの計算を用いることで計算が楽になりました(それもあって今回に回したのですが)。前回の予告では3重積について書く、と言ったのですが、3重積自体の説明が難しくまだ整理できていないので、これについては保留というか、別の文章として線形代数のシリーズを作るときに反映させたいと思います。その代りと言ってはなんですが、今回の最後に、四元数を「2重の複素数」として表すこと、そしてそこから量子力学で現れる「パウリ行列」との関係について示しておきたいと思います。考慮すると、(18)つまり、複素数の中にもう一つ複素数が入っているような形になっています。行列にして、(19)とできるかというとこれはうまくいきません。それは今までの議論からわかるように、これでは四元数の反可換性を再現できていないからです。方も何か行列で表して、反可換性をもつようにできるでしょうか。関係を満たすように決めてみましょう。あればよいことがわかります。2乗して単位行列の-1倍になるという性質も必要です。このような性質を持つ行列には任意性がありますが、もともと四元数を2重の複素数として表現した式を再現したいわけですから、それにもっとも近い形にするのが自然でしょう。書くならば、(22)としていたことになりますから、これを、(23)と変更するのがもっとも修正の少ない形です。これを用いれば、(24)となります。用いれば、(26)という複素行列で四元数が表現できるということが分かりました。ここではこれ以上この行列の性質には触れませんが、和・差はもちろん、積や絶対値といったものもきちんと再現できます。上の行列の行列式が四元数の絶対値を表すことは簡単に計算できると思います。行列の積と行列式の性質(積の行列式=行列式の積)を用いれば、前節で導いた絶対値と積の関係が容易に示せます。物理学ではスピンの性質を表すために登場し、パウリ行列という名前がついています。複素数が2次元の回転を表していたのと同様に、四元数もなんらかの回転と関係していそうです。これは次回のテーマになります。まとめ今回は、四元数を最初スカラー+3次元ベクトルという形にわけ、その積の計算の意味づけを行いました。後半では、四元数を2つの複素数で表現してみました。このように4つの次元を1+3とみるか、2+2とみるかは扱う問題の性質でことなってくるわけです。現代の視点からは、今回みたように四元数は非可換の代数の一つとして理解され、またベクトルの演算との関連から整理されています。1843年にハミルトンが四元数を発見したときは、「交換則を捨てる」という大きな変革を記す第一歩として大きな意義があったと思います。ベクトルやその内積・外積の概念が出てくるのは四元数発見の翌年、1844年のことです。この年、グラスマンは「拡大論」を発表し、いまでいうところの線形空間論を構築しました。この中で一次独立などの概念ばかりでなく、内積・外積といった演算も導入しています。グラスマンは、数学上で線形代数や代数学の抽象化への道を作ったばかりでなく、外積を用いて正しく磁場と電流の間に働く力に関する式をたて、これが作用・反作用の関係を満たさないことを初めて示すなど、今に残る大きな仕事をたくさんしています(光の三原色の法則からサンスクリット語の研究までその業績は幅広い)。発表当時、グラスマンの本は広く受け入れられたわけではなかったようです。そのせいか、いまでもグラスマンの名前はあまり有名とはいえません。私自身、場の量子論で「グラスマン数」というのを見るまで名前すら知りませんでした。最初にみたときは「グラスマンって誰?」と思ったぐらいです。後になって、数学・物理学の歴史、とくに電磁気学の歴史を調べる中でグラスマンの「偉大さ」に気付いたわけですが、もっと評価されてもいいのではないかと思います(残念ながら、日本語で読める資料は多いとは言えませんが)。四元数の方は一時期大きく取り上げられ、マクスウェルが電磁気学の初期に用いたりしました。ハミルトンも、四元数を用いて物理学を書き換えるという壮大な事業に取り掛かりました。)が発達して、その上に現代物理学が構築されていくことになります。次回はついにこの文章の最終テーマ「四元数と回転」についてです。一度は忘れられた四元数が、現代の3Dグラフィックスの世界によみがえることになったのは、四元数の演算が3次元における回転を効率よく表現できるからです。これは今回の前半のように1+3と分解して考えることによってその意味が明らかになります。次回ではまず最初に回転をどう表現するかという話からはじめ、次にそれを四元数を用いて記述するという形で展開していきたいと思います。