四元数を定義し、その基本的性質について述べる。はじめにこれまでに実数とは直線上のベクトル比であり直線上の相似変換を定め、複素数とは平面上のベクトル比であり平面上の相似変換を定めることを見てきました。このことを、実数とは直線比例のことであり、複素数とは平面比例のことであると言い表しました。quaternionと名付けました。彼は複素数が平面とみなせるように、空間を四元数に埋め込み、空間の点をベクトル*1と呼び、四元数上に物理学を構築することに異常なまでの執念を燃やしました。彼とその学派の偏狭で硬直した活動は多くの数学者の反感を買うことになり、当時のアカデミズムに受け入れられることはありませんでした。ところが20世紀の終わりになって、SO(3)を特異点無しで被覆できることや、行列よりも計算が簡略化できることから、実用的な計算技法として四元数が見直され、おもに宇宙船の姿勢制御やコンピュータグラフィックスの分野を中心にして広まっていくことになりました。ここではハミルトンの発想に基づいて、四元数で立体幾何の変換群論的な側面を記述してみます。Rkとして定義されます。線形空間としての和と比例倍の他に積をもつことが数と呼ばれる所以です。積は線形構造に合わせて分配律が成り立つように定義されますが可換律は成り立ちません。eは単位元として機能しますが、混乱を避けるために複素数の場合のように1とは書きません。Reの元は実数ではなく、あくまでも四元数と考えます。基底間の積を以下の規則で定義します。j一般の元の積は分配律で展開します。Rと表現するとき次のように展開されます。eが成り立ち、aの逆元が求まります。四元数の積を定義どおりに手計算するのは大変なので、ここでは行列環に埋め込んで計算する技法について考えます。複素数は次のように行列環M(2,R)に埋め込みました。ia-bba四元数は次のように行列環M(2,C)に埋め込みます。a1i逆写像が次のように書けることからこの写像は全単射です。kMat(H)が加法と比例倍に関して閉じていることはすぐにわかります。行列の乗法に関して閉じていることも積を計算するとわかります。vz)-上の行列要素で(⋯)-は括弧内の共役を意味しています。+v2であり、これが0になるのは零行列の場合だけですから、零因子をもちません。Mat(H)は積を保存する。Kと展開することができることから、行列環の分配律により双方の乗法が同等であることがわかる。algebraであるといいます。A行列環M(2,R),M(2,C)はR上の多元環になっています。命題7.2.3.10四元数HはMat(H)と同型なR上の多元環であり、0でない元は単元である。結合律を満たすが、可換律は満たさない。Hは実部と虚部に直和分解されます。ImHこれにより、Hの任意の元aは実部と虚部の和として一意的に表現できます。H空間(U,V3)に正規直交座標系(O;e1,e2,e3)が与えられているとしましょう。Hを自然な線形同型写像によって同一視するというのがハミルトンの発想です。これは形式的に次のように基底を置き換える操作に他なりません。kベクトル空間V3上に定義されたノルム、内積、外積、ベクトル積もすべてそのまま導入します。ノルムと内積は四次元実線形空間の部分空間としてのノルムと内積に一致します。Hは空間に付随するベクトル空間とみなされ、その元はベクトルと呼ばれます。ベクトルの積を計算してみましょう。bが成り立っていることがわかります。Hは積に関して閉じていなくて、実部に余りが出ますが、その余りがちょうど内積の符号反転したものになり、虚部はベクトル積に一致します。Hこれを利用すると一般の四元数積も見易く表示できます。Im(b)この性質を使うと積の共役に関する重要な性質が出てきます。命題7.2.4.8四元数a,bについて、次が成り立つ。命題7.2.4.10四元数a,bについて、次が成り立つ。a=a2b2■この性質は四元数が数であることを実感させてくれます。一般に行列のノルムではこれは成り立ちません。ベクトルという言葉は1845年にハミルトンが最初に使った。