四元数

数学における**四元数**（しげんすう、）とは、複素数を拡張した数体系であり、虚数単位  を用いて
:
と表せる数のことである。ここで、 は実数であり、虚数単位  は以下の関係を満たす。
:i^2=j^2=k^2=ijk=-1
このとき  は実数体上線型独立である。

四元数は純粋数学のみならず応用数学、特に3Dグラフィクスやコンピュータビジョンにおいてでも用いられる。これはオイラー角や回転行列或いはそれらに代わる道具などと共に、必要に応じて利用される。

四元数についての最初の記述は、1843年にアイルランドの数学者ウィリアム・ローワン・ハミルトンによってなされ、3次元空間の力学に応用された。

四元数の特徴は、積について非可換であることである。ハミルトンは、四元数を三次元空間内の二つの有向直線の商として定義した。これは二つのベクトルの商と言っても同じである。四元数をスカラーと三次元のベクトルとの和として表すこともできる。

なお、虚数単位i,j,kについても非可換であることが知られている。

現代数学の観点からは、四元数全体からなる集合は、実数体上の4次元結合的ノルム多元体であり、またそれゆえに非可換整域となる。歴史的には四元数の体系は、最初に発見された非可換多元体である。四元数全体の成すこの代数は、ハミルトンに因んで **H**（或いは黒板太文字で ）と書かれる。またこの代数を、クリフォード代数  として定義することもできる。

この代数  は解析学において特別な位置を占めている。というのも、フロベニウスの定理に従えば  は実数全体 ℝ を真の部分環として含む有限次元可除環の2種類しかないうちの一つ（もう一つは複素数全体 ℂ）だからである。

従って、単位四元数は三次元球面  上の群構造を選んだものとして考えることができて、群  を与える。これは 次特殊ユニタリ群  に同型、或いはまた の普遍被覆に同型である。→リー群一覧表も参考
## 歴史
[thumb|[ダブリンのブルーム橋にある四元数を記念する盾（）。碑文にはとある。]]
四元数の成す代数系は、1843年にウィリアム・ローワン・ハミルトンによって導入された。これにはオイラーの四平方恒等式（1748年）やの（1840年）などを含む重要な先駆的研究があったが、何れもその四径数回転を代数として扱ったものではなかった。ガウスもまた1819年に四元数を発見していたのだが、そのことが公表されるのは1900年になってからである。

ハミルトンは複素数が座標平面における点として解釈できることを知っており、三次元空間の点に対して同じことができる方法を探していた。空間の点はそれらの座標としての数の三つ組によって表すことができ、ハミルトンはそれらの三つ組に対して加法や減法をどのようにすべきかはずっと前から分かっていたのだが、乗法と除法をどう定めるかという問題については長く行き詰ったままであった。ハミルトンは、空間における二点の座標の商をどのように計算すべきかを形にできなかったのである。

四元数についての大きな転換点がついに訪れたのは、1843年10月16日の月曜日、ダブリンにおいてハミルトンが理事会の長を務めることになるへの道すがら、妻と伴にの引き船道に沿って歩いているときであった。四元数の背景となる概念が頭の中で形になり、答えが明らかになったとき、ハミルトンは衝動を抑えられずに、四元数の基本公式
:i^2 = j^2 = k^2 = ijk = -1
を、渡っていたの石に刻みつけた。

次の日ハミルトンは、友人でフェロー数学者であったへ宛てて、彼の発見へと至る一連の道筋をしたためた書簡を記している。この書簡は後に *London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science*, vol. xxv (1844), pp.489-95.で公表されている。この中でハミルトンは、

と述べている。ハミルトンは、これらの乗法規則を備えた四つ組を *quaternion* と呼び、残りの人生の大半をその研究と教育に捧げた。は、四元数の代数的性質を強調する現代的なアプローチよりも幾何学的なものである。ハミルトンは "*quaternionists*" の学校を設立し、数々の本で四元数の普及を図った。最後にして最長の本が *Elements of Quaternions*（『四元数原論』）でにも及ぶ（出版されたのは彼の死後少ししてからである）。 

ハミルトンの死後も弟子のテイトが四元数の振興を続けた。同時に、ダブリンでは四元数が試験の必須題目になっていた。物理学と幾何学の主題においては、今日ではベクトルを用いて記述するような空間の運動エネルギーやマクスウェルの方程式などが、まったく四元数の言葉で記述されていた。四元数や他の超複素数系を専ら研究するプロの研究機関であるさえ存在した。

1880年代の半ば頃から、ギブス、ヘヴィサイド、ヘルムホルツらの創始したベクトル解析によって四元数は取って代わられるようになる。ベクトル解析は四元数と同じ現象を記述するために、四元数に関する文献から自由に用語法や考え方を拝借していたが、ベクトル解析の方が概念的に簡単で、記法もすっきりしていたので、遂には数学と物理学における四元数の役割は小さく追いやられることとなった。このような変遷の副作用で、現代的な読者にはハミルトンの仕事は難しく複雑なものと化してしまった。ハミルトンのオリジナルの定義は馴染みがなく、その書き振りは冗長で不明瞭である。

四元数は20世紀後半になって、三次元の自由な回転を記述する能力を買われて、多用されることとなった。四元数による3次元の回転（姿勢）の表現は、3次正方行列による表現と比べて記憶容量が小さくて演算のスピードも速い。加えて、オイラー角と違ってジンバルロックが起きない。この特徴は、地上における上下方向のような絶対的な軸の無い、宇宙機のような三次元の自由度が完全にある場合の姿勢制御などでの利用に適しており、宇宙機以外にもCG、コンピュータビジョン、ロボット工学、制御理論、信号処理、物理学、生物情報学、分子動力学法、及び軌道力学など、他にも多くの応用がある。

また、四元数は二次形式との関係性により、数論からの後押しも受けている。

1989年以降、アイルランド国立大学メイヌース校の数学教室は、科学者（2002年には物理学者のマレー・ゲルマン、2005年にスティーヴン・ワインバーグなど）や数学者（2003年のアンドリュー・ワイルズなど）からなる、ダンシンク天文台からロイヤル運河の橋までを歩く巡礼の旅を開催している。ハミルトンが橋に刻みつけた公式はもはや見ることはできないが。

### 物理学への歴史的影響
P.R.ジラールのエッセイ *The quaternion group and modern physics*（『四元数群と現代物理学』）は、四元数の物理学における役割について論じている。それは現代代数学において "：SO&#8289;(3)、ローレンツ群、一般相対性群、クリフォード代数 SU&#8289;(2) 及び共形群などが容易く四元数群に関連付けられることを示している"。ジラールは群の表現論を議論し、結晶学に関するいくつかの空間群を表現することから始めて、続いて剛体運動の運動学、その後を含む特殊相対論のローレンツ群の表現に「複四元数」(complex quaternion)（）を用いている。ジラールはマクスウェルの方程式を四元数変数のポテンシャル函数を用いて一本の微分方程式に表したをはじめとする5人の著者を引いている。一般相対性を考慮してルンゲ＝レンツベクトルを表し、またクリフォード代数の例としてクリフォード複四元数（）に言及した。最後にジラールは、複四元数の逆数を使って時空の共形写像について述べている。にも及ぶ参考文献には、アレクサンダー・マクファーレンおよび四元数学会におけるジラール自身の広報も含まれている。また、1999年にジラールはアインシュタインの一般相対性の方程式が如何にして四元数に直結するクリフォード代数を用いて定式化されるかを示している。

四元数についてのより個人的な見解をが1995年に書いている。エッセイ *If Hamilton had prevailed: quaternions in physics*（『もしハミルトンが勝利していたら：物理学における四元数』）には "My own interest as a graduate student was raised by the inspiring book by Silberstein"（院生としての私の興味はシルバースタインの本に刺激を受けて生じた）とある。ランベックは He concluded by stating "I firmly believe that quaternions can supply a shortcut for pure mathematicians who wish to familiarize themselves with certain aspects of theoretical physics."（「私は四元数が、理論物理学のある種の側面に習熟しようと望む純粋数学者へ、近道を与えるものと堅く信じる」）と述べて結論を下している。

2007年、アレキサンダー・エフレモフとその共同研究者は、四元数空間幾何がヤン・ミルズ場と近しい関係にあることを示し、とクライン-ゴルドン方程式への関連性を指摘した。

## 定義
集合としては、四元数全体  は実数体上の4次元数ベクトル空間  に等しい。 には3種類の演算（加法、スカラー乗法、四元数の乗法）が入る。 の二元の和は、 の元としての和で定義され、同様に  の元の実数倍も  におけるスカラー倍として定義される。 の二元の積を定めるには、まず  の基底を決めなければならないが、その元を通例  と記す。 の各元はこれら基底元の線型結合で表される。つまり
:（ は実数）
の形に一意に表される。基底元  は  の乗法単位元であるため、通常省略して
: 
と表すのが普通である。この基底が与えられたところで、四元数の結合的乗法は、初めに基底元同士の積を定義して、一般の積はそれを分配律を用いて拡張することで定義される。

### 基底間の乗法

 の基底元  に対して等式
:i^2=j^2=k^2=ijk=-1
は  の間の可能な全ての積を決定する。例えば -1=ijk の両辺に  を右から掛ければ
:\begin{align}
-k &=ijkk=ij(k^2) =ij(-1), \\
 k &=ij. 
\end{align}
を得る。他の積も同様にして得られて、結局
:\begin{alignat}{2}
ij &=k, &\qquad ji &=-k, \\
jk &=i, &kj &=-i, \\
ki &=j, &ik &=-j, 
\end{alignat}
が可能な全ての積を列挙したものとなる。これは左側の因子を列に、右側の因子を行にそれぞれ充てて、表の形にまとめられる（乗積表）。

### ハミルトン積
二つの四元数  と  に対し、それらの**ハミルトン積**  は、基底間の積と分配律によって与えられる。具体的には、この積は分配律により基底元の積和の形に展開することができて、
:\begin{align}
 &a_1a_2 + a_1b_2\,i + a_1c_2\,j + a_1d_2\,k \\
 &\quad + b_1a_2\,i + b_1b_2\,i^2 + b_1c_2\,ij + b_1d_2\,ik \\
 &\quad + c_1a_2\,j + c_1b_2\,ji + c_1c_2\,j^2 + c_1d_2\,jk \\
 &\quad + d_1a_2\,k + d_1b_2\,ki + d_1c_2\,kj + d_1d_2\,k^2
\end{align}
となるので、ここで先の基底元の間の乗法規則を適用して
:\begin{align}
 &a_1a_2 - b_1b_2 - c_1c_2 - d_1d_2 \\
 &\quad + (a_1b_2 + b_1a_2 + c_1d_2 - d_1c_2)\,i \\
 &\quad + (a_1c_2 - b_1d_2 + c_1a_2 + d_1b_2)\,j \\
 &\quad + (a_1d_2 + b_1c_2 - c_1b_2 + d_1a_2)\,k
\end{align}
を得る。

### 順序組として
 の基底  を用いて  を四つ組の集合
: \mathbb{H} = \{(a, b, c, d) \mid a, b, c, d \in \mathbb{R}\}
として表すことができる。このとき基底元は
: \begin{align}
1 &=(1,0,0,0), \\
i &=(0,1,0,0), \\
j &=(0,0,1,0), \\
k &=(0,0,0,1)
\end{align}
であり、加法、乗法の定義式は
: \begin{align}
 &(a_1,\, b_1,\, c_1,\, d_1) + (a_2,\, b_2,\, c_2,\, d_2) \\
 &\quad = (a_1 + a_2,\, b_1 + b_2,\, c_1 + c_2,\, d_1 + d_2)
\end{align}
: \begin{align}
(a_1,\, b_1&,\, c_1,\, d_1)(a_2,\, b_2,\, c_2,\, d_2)\\
=( &a_1a_2 - b_1b_2 - c_1c_2 - d_1d_2, \\
   &a_1b_2 + b_1a_2 + c_1d_2 - d_1c_2, \\
   &a_1c_2 - b_1d_2 + c_1a_2 + d_1b_2, \\
   &a_1d_2 + b_1c_2 - c_1b_2 + d_1a_2)
\end{align}
で与えられる。

### スカラー部とベクトル部
四元数  について、特に  であるものは**[[実数]]**体上の**[[スカラー (数学)|スカラー]]**である。 で、 の内少なくとも一つが、 でないもの  を**純虚** (*pure imaginary*) という。

四元数  に対して、 をその**実部** (*real part*) または**スカラー部** (*scalar part*) といい、 をその**虚部** (*imagenary part*) または **ベクトル部** (*vector part*) という。四元数のスカラー部は実数であり、ベクトル部は  または純虚である。任意の四元数は4次元ベクトル空間のベクトルではあるけれども、ここではベクトルあるいはベクトル元という言葉を、専ら純虚四元数を指すのに用いる。この規約の下、ベクトル元ということはベクトル空間  の元ということと同じ意味になる。

ハミルトンは純虚四元数を **right quaternion**（「正しい四元数」）と呼び、実（四元）数を **scalar quaternion**（「スカラー四元数」）と呼んだ。

四元数をスカラー部とベクトル部に分解して
: q = (r,\vec{v} )\quad (q\in \mathbb{H} ,\,r\in \mathbb{R} ,\,\vec{v} \in \mathbb{R}^3)
と表すと、加法、乗法の定義式は
: (r_1 ,\vec{v}_1) + (r_2 ,\vec{v}_2) = (r_1 + r_2 ,\; \vec{v}_1 +\vec{v}_2)
: (r_1 ,\vec{v}_1) (r_2 ,\vec{v}_2) = (r_1 r_2 - \vec{v}_1 \cdot \vec{v}_2 ,\; r_1 \vec{v}_2 +r_2 \vec{v}_1 + \vec{v}_1 \times \vec{v}_2)

となる。ここで "***'" はベクトルの[[ドット積]]、"***'" はベクトルのクロス積である。特に、実部が  の四元数に対しては
: (0,\vec{v}_1 ) (0,\vec{v}_2 ) = ( -\vec{v}_1\cdot\vec{v}_2 ,\;\vec{v}_1\times \vec{v}_2 )
が成り立つ。

## 共軛、ノルムおよび逆数
四元数の共軛（きょうやく）は複素共役及びクリフォード代数の元の転置 (transposition) あるいは逆転 (reversal) の類似物である。四元数  に対して、 の共軛は
:
で定義される。これを  などで表す。共軛をとる操作は対合、つまり自身を自身の逆とする変換であり、一つの元の共軛を二度とればもとの元に戻る。2つの四元数の積の共軛は、それぞれの四元数の共軛を「順番を逆にして」掛けたものになる。つまり  を四元数とすれば
:
であって  でない。

複素数における共軛とは異なり、四元数の共軛は乗法と加法を用いて完全に書き表すことができる：
:q^* = - \frac{1}{2} (q+iqi+jqj+kqk)
共軛を用いると、四元数  の実部、虚部はそれぞれ
:
となる。

四元数  のノルム  は、自身とその共軛の積の平方根として定義される：
:\lVert q \rVert = \sqrt{qq^*} = \sqrt{q^*q} = \sqrt{a^2 + b^2 + c^2 + d^2}
（ハミルトンはこれを四元数のテンソルと呼んだが、この用語は現代的な意味でのテンソルと衝突する）

これは、 を数ベクトル空間  と見なした時のユークリッドノルムに等しく、ノルムの公理を満たす。すなわち、常に非負の実数で、任意の2つの四元数  に対して
:\lVert pq \rVert = \lVert p \rVert\lVert q \rVert
が成り立つ。特に、実数  に対して
:\lVert\alpha q\rVert = |\alpha|\lVert q\rVert
が成り立つ。

この乗法性は、積の共軛に関する式からの帰結である。あるいは、正方行列の行列式の乗法性と公式
:a^2 + b^2 + c^2 + d^2 = \det \begin{pmatrix}
a+ib &id+c \\
id-c &a-ib
\end{pmatrix}
（ は通常の虚数単位）から乗法性を示すこともできる。

このノルムを使って、四元数  と  の間の**[[距離]]**  を、それらの差のノルム () として定義することができる。これにより  は距離空間となり、加法と乗法はこの距離位相に関して連続になる。

### 単位四元数

ノルムが  の四元数を**単位四元数**という。 でない四元数  に対して、そのノルムで割って得られる単位四元数
:\operatorname{\mathbf{U}} q = \frac{q}{\lVert q\rVert}
を、 のという。

任意の四元数  は、その極分解
:
を持つ。

共軛とノルムにより、四元数の逆数（自身との積が  である数）が得られる：
:q^{-1} = \frac{q^*}{\lVert q\rVert^2}
これにより、2つの四元数  に対して、二種類の除法が定義される。即ち、それらの商は  または  のどちらかである。複素数（一般には可換体）の範囲と異なり、 と書くと  で左から割っているのか右から割っているのかが特定されないため紛らわしい。

## 代数的性質
[thumb|四元数群  の[ケイリーグラフ：赤矢印は  の右からの積を表し、緑矢印は  の右からの積を表す。]]
四元数全体のなす集合  は実数体上の 4次元ベクトル空間を成す（実数全体は 1次元、複素数全体は 2次元、八元数全体は 8次元である）。四元数は加法と、結合的で分配的な乗法を持つが、その乗法は可換でない。従って四元数の全体  は実数体上の非可換結合多元環である。 には複素数体 ℂ の複製が含まれるが、 は  上の結合多元環にはならない。

四元数は除法が可能であるから、 は多元体（乗法が可換でないことを除けば可換体と同様の構造）である。実数体上の有限次元結合的多元体は非常に少なく、フロベニウスの定理はそれが  のちょうど3種類であることを述べるものである。また、四元数のノルムにより四元数の全体はノルム多元環となるが、実数体上のノルム多元体もまた非常に限られ、はそれが  の四種類（ は八元数全体）であることを述べる。四元数全体はまた、合成代数や単位的バナッハ環の一例でもある。

基底元の積は別の基底元に符号を付けたものになるから、集合  はその乗法に関して群を成す。この群は四元数群と呼ばれ、 で表す。 の実係数群環  は環であり、また  上の 次元ベクトル空間でもあり、 の各元を基底ベクトルに持つ。四元数体  は  を  で生成するイデアルで割った剰余環になっている。ここで、生成元となっている各差の第一項は基底元  のそれぞれ一つであり、第二項は残りの基底元  のそれぞれ一つであって、これらは  の（群環の加法に関する）加法的逆元でないことに注意（剰余環、つまり  の中では加法逆元になる）。

## 四元数と  の幾何
四元数のベクトル部は  のベクトルゆえ、 の幾何は四元数の代数構造に反映される。ベクトルに対する多くの演算は四元数を用いて定義することができるし、それによって四元数的な手法を空間ベクトルから生じる様々なものに適用することができる。例えば、電磁気学や3DCGなどにこの方法論が使える。

本節では  を  の虚基底ベクトルと  の基底の両方の意味で用いる。 を一斉にそれぞれ  に取り替えることはベクトルを加法的逆元（マイナス）へ写すので、ベクトルの加法的逆元をとることと四元数の共軛をとることとは同じ意味になることに注目しよう。これを以って、四元数の共軛を「空間反転」(*spatial inverse*) と呼ぶことがある。

2つの純虚四元数  に対して、それらのドット積は
:p \cdot q = b_1b_2 + c_1c_2 + d_1d_2
で与えられる。これは  のどのスカラー部にも等しい（これらのベクトル部は相異なることに注意）。それゆえドット積については
:p \cdot q = \frac{1}{2}(p^*q + q^*p) = \frac{1}{2}(pq^* + qp^*)
という等式も成り立つ。また、 と  のクロス積は基底  の元の順序（から定まる向き）に依存して
:p \times q = (c_1d_2 - d_1c_2)i + (d_1b_2 - b_1d_2)j + (b_1c_2 - c_1b_2)k
と定義される（符号を決めるために向きが必要であることを想起せよ）。これは四元数としての積  のベクトル部に等しく、 のベクトル部とも同じく等しい。ゆえに、これについても
:p \times q = \frac{1}{2}(pq - q^*p^*)
なる等式が成り立つ。一般に  が四元数（純虚でなくてよい）のとき、これをスカラー部とベクトル部との和
:p = p_s + \vec{p}_v,
:q = q_s + \vec{q}_v
に分解すれば、等式
:pq = p_sq_s - \vec{p}_v\cdot\vec{q}_v + p_s\vec{q}_v + \vec{p}_vq_s + \vec{p}_v \times \vec{q}_v
が成り立つ。これを見ると、四元数の乗法の非可換性が純虚四元数の乗法からくるものであることが分かり、また2つの四元数が可換となるための必要十分条件がそれらのベクトル部が共線となることなども分かる。

## 行列表現
複素数の行列表現と全く同様に、四元数も行列で表現することができる。四元数を行列で表現し、四元数の加法と乗法を行列のそれに対応させる方法は、少なくとも二つあり、一つは 複素 次正方行列を用いるもの、もう一つは実 次正方行列を用いるものである。何れの場合も、表現は線型に関連する表現の族として与えられるもので、抽象代数学の観点からは、 からそれぞれ全行列環  および  への単射環準同型である。

複素 次正方行列を用いて、四元数  は
: \begin{pmatrix}
 a+bi &c+di \\
-c+di &a-bi
\end{pmatrix}
と表現される。この表現は以下の性質を持つ：
* 複素数 () は対角行列に対応する。
* 四元数のノルム（複素数のノルム同様に、自身とその共軛との積の平方根）は対応する行列の行列式の平方根に一致する。
* 四元数の共軛は、対応する行列のエルミート共軛に対応する。
* 単位四元数に制限すれば、この表現は  と  との間の同型を与える。後者の群は量子力学においてスピンを記述するのに重要である（パウリ行列を参照）。

実 次正方行列を用いれば、同じ四元数は
: \begin{pmatrix}
 a &  b & c & d \\
-b &  a &-d & c \\
-c &  d & a &-b \\
-d &-c  & b & a
\end{pmatrix}
: = a \begin{pmatrix}
1 &0 &0 &0 \\
0 &1 &0 &0 \\
0 &0 &1 &0 \\
0 &0 &0 &1
\end{pmatrix} + b \begin{pmatrix}
 0 &1 &0 & 0 \\
-1 &0 &0 & 0 \\
 0 &0 &0 &-1 \\
 0 &0 &1 & 0
\end{pmatrix} + c
\begin{pmatrix}
 0 & 0 &1 &0 \\
 0 & 0 &0 &1 \\
-1 & 0 &0 &0 \\
 0 &-1 &0 &0
\end{pmatrix} + d
\begin{pmatrix}
 0 &0 & 0 &1 \\
 0 &0 &-1 &0 \\
 0 &1 & 0 &0 \\
-1 &0 & 0 &0
\end{pmatrix}
で表される。この表現では、四元数の共軛は対応する行列の転置に対応する。また、四元数のノルムの四乗は対応する行列の行列式に等しい。複素数は、行列を  のブロックに分けたときの区分対角行列に対応する。

## 四平方和定理

四元数を、数論におけるラグランジュの四平方和定理（任意の非負整数が四つの整数の平方の和で表せること）の証明に用いることもできる。ラグランジュの四平方和定理は定理それ自体が美しいだけでなく、のような数論以外の数学の分野においても有意な応用を持つ。四元数に基づく証明では四元数全体ではなくその部分環でユークリッドの互除法が使えるが用いられる。

## 複素数の対として

四元数は複素数の対として表現することができる。この側面からは、四元数は複素数全体にケーリー＝ディクソン構成を適用して得られたものということになる。これは、複素数の実数の対としての構成を一般化したものである。

 を複素数体上の二次元ベクトル空間とし、基底  をとる。 に属するベクトルは
:(a + bi)1 + (c + di)j
と表される。ここで  および  であるものと定めると、分配律により二つのベクトルの掛け算が定義できる。いま、積  を  とおくと、通常の四元数の乗法規則と同じになるので、従って上記の複素ベクトルは四元数
:
に対応するものである。 の元を順序対として、四元数を四つ組としてそれぞれ書けば、この対応は
:(a+bi,\ c+di) \leftrightarrow (a,b,c,d)
となる。

## の平方根
 の平方根は、複素数の範囲では  であるが、 では  の平方根は無数に存在する。 の四元数解は三次元空間内の単位球面を成すのである。これを見るのに  を四元数とし、その平方が  に等しいものと仮定する。 が満たすべき条件は
:a^2 - b^2 - c^2 - d^2 = -1,
:2ab = 0,
:2ac = 0,
:2ad = 0
である。後の3つの方程式より  または  であるが、後者は残りの方程式から  となり、 は実数であるから不可能である。故に  &#8896;  となる。即ち、平方が  になる四元数は、ノルムが  の純虚四元数であることが分かる。定義により、このような四元数全体の成す集合は2次単位球面である。

故に、負の実四元数は無数の平方根を持つことも分かるが、それ以外の四元数の平方根はただ二つ（ についてはただ一つ）である。

 における  の平方根のこのような同定はハミルトンが与えているが、他の文献では触れられないことがよくある。1971年にサム・パーリスは &minus;1 の平方根の成す球面について、出版の「代数学における歴史的話題」(*Historical Topics in Algebra* p.39) において3ページを割いて触れている。より近くでは、の本「クリフォード代数と古典群」(*Clifford Algebras and the Classical Groups* Cambridge, 1995, proposition 8.13, p.60) にこの球面についての記述があり、また  のp.40には「任意の虚数単位を *i*, それに直交する虚数単位の一つを *j*, それらの積を *k*」(" i j k") として、この球面についての別な言明がある。

### 複素数平面の合併としての
 の平方根のどの二つをとっても、四元数の中で複素数の相異なる複製を作ることができる。  とすれば、そのような複製は写像
:a + b\sqrt{-1} \mapsto a + bq
によって決定される。抽象代数学の言葉でいえば、それぞれが  から  への単射環準同型（埋め込み）である。 と  に対応する埋め込みの像は集合としては同じになる。

任意の実でない四元数は  に同型な  の部分空間上にあることを見よう。四元数  をスカラー部とベクトル部の和として
:q = q_s + \vec{q}_v
とし、さらにベクトル部をノルムとベルソルの積に分解（極分解）して、
:q = q_s + \lVert \vec{q}_v \rVert \cdot \mathbf{U} \vec{q}_v
と書く（これは  とは異なることに注意）。 のベクトル部のベルソル  は純虚な単位四元数ゆえ、その平方は  である。従ってこれから、写像
:a + b\sqrt{-1} \mapsto a + b \mathbf{U} \vec{q}_v
によって複素数の複製が得られるが、この写像の下で  は複素数  の像になる。

以上から、 は実数直線を共通の交わりとして持つ無数の複素数平面の合併であることが分かる。ただし、この合併は  の平方根の成す球面全体を（球面の対蹠点が同じ平面に対応することを踏まえた上で）わたって取ったものである。

### 可換部分環
各四元数が  のどの部分複素数平面に含まれるかという関係性は、可換部分環族の言葉を使っても同定し書き表すことができる。具体的に言えば、二つの四元数  と  が可換 () となるのはそれらが  の同じ部分複素数平面上にあるときに限られるだから、四元数全体の成す環の可換部分環を全て求めたければ、そこに複素数平面の合併として  の  が生じる。この可換部分環を求める方法は、全体や実二次正方行列全体の性質を知るのにも利用できる。

## 四元数を変数とする函数

複素変数の函数同様に、四元変数の函数から有効な物理モデルが得られることが示唆される。例えば、マクスウェルによるもともとの電磁場の記述には四元変数函数が用いられていた。

### 指数・対数・冪函数
四元数
:q=a+bi+cj+dk=a+\mathbf{v}
に対して、指数函数は
:\exp (q) = \textstyle\sum\limits_{n=0}^\infty \displaystyle\frac{q^n}{n!} =e^a \left( \cos \|\mathbf{v} \| + \frac{\mathbf{v}}{\| \mathbf{v} \|} \sin \|\mathbf{v} \| \right)
と計算され、その逆函数として対数函数は
:\ln (q) = \ln \|q\| + \frac{\mathbf{v}}{\|\mathbf{v}\|} \cos^{-1} \frac{a}{\|q\|}
として与えられる。
これを用いて、四元数の極分解を
:q=\| q\| e^{\hat{n}\theta}
の形に書くことができる。ここで角  および単位ベクトル \hat{n} は
:a=\| q\| \cos \theta
および
:\mathbf{v} =\hat{n} \| \mathbf{v} \| =\hat{n} \| q\| \sin \theta
で定まるものである。任意の単位四元数は極形式として
: e^{\hat{n}\theta}
と表される。 

任意の実数を冪指数とする四元数の冪は
:q^\alpha =\|q\|^\alpha e^{\hat{n}\alpha\theta}
で与えられる。

## 三次元および四次元の回転群

「共軛（きょうやく）」あるいは「」という言葉は、上で述べた意味以外にも、適当な非零元 *r* によって元 *a* を *rar* へ写す変換（内部自己同型）の意味にも使われる。この変換の意味で与えられた元に共軛な元の全体は、実部が等しく、かつベクトル部のノルムも等しい（従って、共軛四元数はこの変換の意味でも共軛元である）。

故に、非零四元数全体の成す乗法群は、純虚四元数全体の成す **R** の複製の上に共軛変換によって作用する。このとき、実部が  である単位四元数による共軛変換は、虚部方向を回転の軸とする回転角  の回転になる。四元数を用いる優位性としては、
# （オイラー角などの場合と比べて）非特異な表現である。
# 行列を用いるよりも簡潔に記述できて演算のスピードも速くできる。
# 単位四元数の対で、4次元空間の回転を表せる。
などが挙げられる。

単位四元数（ベルソル）の全体は三次元球面  を成し、また乗法に関して群を成し、3次特殊直交群（行列式が  の 次直交行列全体） の二重被覆群というリー群になる（これは上記の対応において各回転に対応する単位四元数がちょうど「2つ」あることによる）。

（ 自体には標準的な群構造はないが）ベルソルの成す部分群の像は点群であり、逆に点群の逆像はベルソル全体の成す部分群となる。有限点群の逆像は、それぞれの点群の名前に**二項** (*binary*) を付けて呼ぶ。例えば二十面体群の逆像は二項二十面体群である。

ベルソル全体の成す群は、次特殊ユニタリ群  に同型である。

 が何れも整数となるかまたは何れも分母が2の既約分数である有理数となる四元数  全体の成す集合を *A* とする。集合 *A* は環（実は整域）であり、また束であって、フルヴィッツ整数環と呼ばれる。この環は 24 個の単位四元数を持ち、それらは正24胞体（シュレーフリ記号で {3,4,3}）の頂点になっている。

## 一般化

 を標数が  でない体とし、 を  の元とする。 を基底とし、（従って ）を満たす  上の四次元単位的結合多元環が定義できる。これらは**四元数環**と呼ばれ、 の選び方に依り  上の 2次正方行列に同型であるか、さもなくば  上の多元体を成す。

## クリフォード代数 Cℓ&#8289;(R) の偶部分としての四元数体
幾何学的計算に対する四元数の有用性は、四元数体をクリフォード代数 Cℓ&#8289;(**R**) の偶部分 Cℓ&#8289;(**R**) と同一視することによって、他の次元にも一般化することができる。これは基本基底元 σ, σ, σ から構成される結合的多重ベクトル環で、基底元は
:{\sigma_1}^2 = {\sigma_2}^2 = {\sigma_3}^2 = 1,
:\sigma_i \sigma_j = - \sigma_j \sigma_i \qquad (j \neq i)
なる積の規則に従う。これらの基本基底元が三次元空間のベクトルを表すものとすれば、ベクトル *r* の単位ベクトル *w* に直交する平面に関する**鏡映** (*reflection*) が
:r' = - wrw
で表され、二つの鏡映の合成はそれぞれの鏡映に対する平面同士のなす角の二倍の回転角をもつ回転を与えることから、
:r* = \sigma_2 \sigma_1 \, r \, \sigma_1 \sigma_2</math>
は σ と σ とを含む平面における 180° 回転が対応する。これは四元数の対応する公式
:<math>r* = -\mathbf{k}r\mathbf{k}
とよく似ているが、実はこの二つは同一視できる。それには
:\mathbf{k} = \sigma_2 \sigma_1, \mathbf{i} = \sigma_3 \sigma_2, \mathbf{j} = \sigma_1 \sigma_3
と同一視して、かつこれがハミルトンの関係式
:\mathbf{i}^2 = \mathbf{j}^2 = \mathbf{k}^2 = \mathbf{i} \mathbf{j} \mathbf{k} = -1
を保つことを確認すればよい。この描像において、四元数はベクトルではなく二重ベクトル (bivector) に対応する（これは一次元的な「向き」ではなくて、特定の二次元平面に付随する向きと大きさを持った量である）。また、複素数との関係もより明らかになる。つまり、二次元ではそれぞれ σ と σ の方向を持つ二つのベクトルに対して、ただ一つの基底二重ベクトル元 σσ が存在するから、虚数単位は一つだけしかないが、ベクトルの方向が三つある三次元では、三つの二重ベクトル基底 σσ, σσ, σσ が存在して、三つの虚数単位を持つ。

この理由付けはさらに拡張することができて、クリフォード代数 Cℓ&#8289;(**R**) においては、基本となるベクトルが相異なる四つの方向を持つから、従って平面を張る線型独立な組は六種類であり、二重ベクトル基底元は六つ存在する。このような空間において、回転子 (*rotor*) と呼ばれるそのような四元数の拡張を用いた回転は、斉次座標系を用いた応用において非常に有効である。しかし、三次元の場合に限っては、基底二重ベクトルの数と基底ベクトルの数が一致し、各二重ベクトルを擬ベクトルと同一視することができる。

ドルストらはこの広い設定において四元数の占める優位性を以下のように同定した：
* 回転子は幾何代数において自然であり何の不思議もないし、それが含む二重鏡映の情報を容易に理解できる。
* 幾何代数において、回転子とそれが作用する対象は同じ空間に属する。これにより表現を変える必要がなくなり、かつ新しいデータ構造や（四元数に関する線型代数学を要求する）方法を考える必要もなくなる。
* 回転子はベクトル元や他の四元数だけでなく、直線や平面、円、半直線など、この代数の任意の元に普遍的に適用可能である。
* ユークリッド幾何の共形モデルにおいて、回転子はこの代数の一つの元で回転、平行移動、拡大縮小を行ることができて、任意の元に普遍的に作用する。特にこれは、四元数の場合はその軸が原点を通るものに限られるのに対して、回転子は任意の軸の周りでの回転を表現できることを意味する。
* 回転子の示す変換は、特に直接的に解釈することができる。

クリフォード代数のさらに詳細な幾何学的描像はの項を参照せよ。

## ブラウアー群

四元数体 **H** は「本質的に」唯一の（非自明な）中心的単純環である。これは実数体上の任意の中心的単純環は **R** または **H** の何れかにブラウアー同値（森田同値）であるという意味である。明確に述べれば、**R** のブラウアー群は、**R** および **H** をそれぞれの代表元とする二つの同値類からなる。ここで、ブラウアー群というのは中心的単純環全体の成す集合を、一方の中心的単純環が他方の中心的単純環の上の全行列環となるという同値関係で割って得られるものであった。アルティン・ウェダーバーンの定理（のウェダーバーンの部分）によって、任意の中心的単純環は何らかの斜体上の行列環となるから、従って四元数体が実数体上で唯一の非自明な多元体であることが分かる。

中心的単純環（体上の環であって、それ自身が体同様に非自明な両側イデアルを持たないという意味で単純環であり、かつその中心が基礎体に一致するもの）は、体の拡大の非可換版の類似物であり、一般の環の拡大よりも限定的である。四元数体が実数体上の（同値を除いて）唯一の非自明な中心的単純環であるという事実は、複素数体が実数体上の唯一の非自明な拡大体であることに比肩する。

## 注記

## 関連項目

*オイラー角
*外積代数
*回転 (数学)
*
*
*クリフォード代数
*結合多元環
*三次元球面
*
*四元数群
*
*
*正八胞体
*双曲四元数
*
*多元体
*多元数
*二重四元数
*八元数
*複素数
*フルヴィッツ四元整環
*
*
*ベクトル解析
*
*

## 参考文献
### 出版物
*
**
*
**
*
*
*
*
*ウィリアム・ローワン・ハミルトン (1853), "*[http://historical.library.cornell.edu/cgi-bin/cul.math/docviewer?did=05230001&seq=9 Lectures on Quaternions]*". Royal Irish Academy.
*ウィリアム・ローワン・ハミルトン (1866) *[https://books.google.com/books?id=fIRAAAAAIAAJ Elements of Quaternions]* University of Dublin Press. Edited by William Edwin Hamilton, son of the deceased author.
*ウィリアム・ローワン・ハミルトン (1899) *Elements of Quaternions* volume I, (1901) volume II. Edited by Charles Jasper Joly; published by Longmans, Green & Co..
*Tait, Peter Guthrie (1873), "*An elementary treatise on quaternions*". 2d ed., ケンブリッジ大学出版局。
*Michiel Hazewinkel, Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V. Kirichenko. *Algebras, rings and modules*. Volume 1. 2004. Springer, 2004. ISBN 1-4020-2690-0
*ジェームズ・クラーク・マクスウェル (1873), "*[[A Treatise on Electricity and Magnetism]]*". オックスフォード大学出版局。
*Tait, Peter Guthrie (1886), "**'". M.A. Sec. R.S.E. [[Encyclopaedia Britannica]], Ninth Edition, 1886, Vol. XX, pp.&nbsp;160&ndash;164. (bzipped [[PostScript]] file)
*Joly, Charles Jasper (1905), "''A manual of quaternions''". London, Macmillan and co., limited; New York, The Macmillan company. LCCN 05036137 //r84
*[[Alexander Macfarlane|Macfarlane, Alexander]] (1906), "''Vector analysis and quaternions''", 4th ed. 1st thousand. New York, J. Wiley & Sons; [etc., etc.]. LCCN es 16000048
*[[ブリタニカ百科事典第11版]]："''[http://www.1911encyclopedia.org/Quaternions Quaternions]''".
*Finkelstein, David, Josef M. Jauch, Samuel Schiminovich, and David Speiser (1962), "''Foundations of quaternion quantum mechanics''". J. Mathematical Phys. 3, pp.&nbsp;207&ndash;220, MathSciNet.
*[[Patrick du Val|Du Val, Patrick]] (1964), "''Homographies, quaternions, and rotations''". Oxford, Clarendon Press (Oxford mathematical monographs). LCCN 64056979 //r81
*Crowe, Michael J. (1967), [[A History of Vector Analysis]]: ''The Evolution of the Idea of a Vectorial System'', University of Notre Dame Press. Surveys the major and minor vector systems of the 19th century (Hamilton, Möbius, Bellavitis, Clifford, Grassmann, Tait, Peirce, Maxwell, Macfarlane, MacAuley, Gibbs, Heaviside).
*Altmann, Simon L. (1986), "''Rotations, quaternions, and double groups''". Oxford [Oxfordshire] : Clarendon Press ; New York : Oxford University Press. LCCN 85013615 ISBN 0-19-855372-2
*Altmann, Simon L. (1989), "''Hamilton, Rodrigues, and the Quaternion Scandal''". Mathematics Magazine. Vol. 62, No. 5. pp.291-308, Dec. 1989.
*Adler, Stephen L. (1995), "''Quaternionic quantum mechanics and quantum fields''". New York : Oxford University Press. International series of monographs on physics (Oxford, England) 88. LCCN 94006306 ISBN 0-19-506643-X
*[http://members.cox.net/vtrifonov/ Trifonov, Vladimir] (1995), "''A Linear Solution of the Four-Dimensionality Problem''", Europhysics Letters, **32 (8)** 621&ndash;626, 
*Ward, J. P. (1997), "''Quaternions and Cayley Numbers: Algebra and Applications''", Kluwer Academic Publishers. ISBN 0-7923-4513-4
*Kantor, I. L. and Solodnikov, A. S. (1989), "''Hypercomplex numbers, an elementary introduction to algebras''", Springer-Verlag, New York,  ISBN 0-387-96980-2
*Gürlebeck, Klaus and Sprössig, Wolfgang (1997), "''Quaternionic and Clifford calculus for physicists and engineers''". Chichester ; New York : Wiley (Mathematical methods in practice; v. 1). LCCN 98169958 ISBN 0-471-96200-7
*Kuipers, Jack (2002), "''Quaternions and Rotation Sequences: A Primer With Applications to Orbits, Aerospace, and Virtual Reality''" (reprint edition), [[Princeton University Press]]. ISBN 0-691-10298-8
*[[ジョン・ホートン・コンウェイ]], and Smith, Derek A. (2003), "''On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry''", A. K. Peters, Ltd. ISBN 1-56881-134-9 ([https://nugae.wordpress.com/2007/04/25/on-quaternions-and-octonions/ review]).
*[[Vladislav Kravchenko|Kravchenko, Vladislav]] (2003),  "''Applied Quaternionic Analysis''", Heldermann Verlag ISBN 3-88538-228-8.
*[https://www.cs.indiana.edu/~hanson/quatvis/ Hanson, Andrew J.] (2006), "''Visualizing Quaternions''", Elsevier: Morgan Kaufmann; San Francisco. ISBN 0-12-088400-3
*[http://members.cox.net/vtrifonov/ Trifonov, Vladimir] (2007), "''Natural Geometry of Nonzero Quaternions''", International Journal of Theoretical Physics, **46 (2)** 251&ndash;257, 
*Ernst Binz & Sonja Pods (2008) ''Geometry of Heisenberg Groups'' [[American Mathematical Society]], Chapter 1: "The Skew Field of Quaternions" (23 pages) ISBN 978-0-8218-4495-3.
*Vince, John A. (2008), ''Geometric Algebra for Computer Graphics'',  Springer, ISBN 978-1-84628-996-5.
*For molecules that can be regarded as classical rigid bodies [[molecular dynamics]] computer simulation employs quaternions.  They were first introduced for this purpose by D.J. Evans,  (1977), "On the Representation of Orientation Space", Mol. Phys., vol 34, p 317.
*Zhang, Fuzhen (1997), "Quaternions and Matrices of Quaternions", Linear Algebra and its Applications, Vol. 251, pp. 21--57.
* Joao Pedro Morais, Svetlin Georgiev,and Wolfgang Sprosig：''Real Quaternionic Calculus Handbook'', Springer, ISBN 978-3-03480622-0 (2014).

===Links and monographs===
* [https://www.j3d.org/matrix_faq/matrfaq_latest.html Matrix and Quaternion FAQ v1.21] Frequently Asked Questions
* "Geometric Tools documentation" ([https://www.geometrictools.com/Documentation/Documentation.html frame]; [http://www.geometrictools.com/Documentation/DocumentationBody.html body]) includes several papers focusing on computer graphics applications of quaternions.  Covers useful techniques such as spherical linear interpolation.
* [https://sites.google.com/site/patrickmaillot/english Patrick-Gilles Maillot] Provides free Fortran and C source code for manipulating quaternions and rotations / position in space. Also includes mathematical background on quaternions.
* "Geometric Tools source code" ([http://www.geometrictools.com/LibFoundation/Mathematics/Mathematics.html frame]; [http://www.geometrictools.com/LibFoundation/Mathematics/MathematicsBody.html body]) includes free C++ source code for a complete quaternion class suitable for computer graphics work, under a very liberal license.
* Doug Sweetser, [https://world.std.com/~sweetser/quaternions/qindex/qindex.html Doing Physics with Quaternions]
* [http://www.fho-emden.de/~hoffmann/quater12012002.pdf Quaternions for Computer Graphics and Mechanics (Gernot Hoffman)]
* [https://arxiv.org/pdf/math-ph/0201058 The Physical Heritage of Sir W. R. Hamilton] (PDF)
* D. R. Wilkins, [https://www.maths.tcd.ie/pub/HistMath/People/Hamilton/Quaternions.html Hamilton’s Research on Quaternions]
* [http://www.unpronounceable.com/julia/ Quaternion Julia Fractals] 3D Raytraced Quaternion [[Julia set|Julia Fractals]] by David J. Grossman
* [https://www.euclideanspace.com/maths/algebra/realNormedAlgebra/quaternions/index.htm Quaternion Math and Conversions] Great page explaining basic math with links to straight forward rotation conversion formulae.
* John H. Mathews, [http://math.fullerton.edu/mathews/c2003/QuaternionBib/Links/QuaternionBib_lnk_3.html Bibliography for Quaternions].
* [http://www.gamedev.net/reference/articles/article1095.asp Quaternion powers on GameDev.net]
* Andrew Hanson, [http://books.elsevier.com/companions/0120884003/vq/index.html Visualizing Quaternions home page].
* [https://web.archive.org/web/20070625184105/http://ai.stanford.edu/~diebel/attitude.html Representing Attitude with Euler Angles and Quaternions: A Reference], Technical report and Matlab toolbox summarizing all common attitude representations, with detailed equations and discussion on features of various methods.（2007年6月25日時点の[[インターネットアーカイブ|アーカイブ]]）
* Charles F. F. Karney, ''Quaternions in molecular modeling'', J. Mol. Graph. Mod. **25**(5), 595-604 (Jan. 2007); ; E-print [https://arxiv.org/abs/physics/0506177 arxiv:0506177].
* Johan E. Mebius, [https://arxiv.org/abs/math/0501249 A matrix-based proof of the quaternion representation theorem for four-dimensional rotations.], ''arXiv General Mathematics'' 2005.
* Johan E. Mebius, [https://arxiv.org/abs/math/0701759  Derivation of the Euler-Rodrigues formula for three-dimensional rotations from the general formula for four-dimensional rotations.], ''arXiv General Mathematics'' 2007.
* [[NUI Maynooth]] [http://www.maths.nuim.ie/links/hamilton.shtml Department of Mathematics, Hamilton Walk].
* [http://gpwiki.org/index.php/OpenGL:Tutorials:Using_Quaternions_to_represent_rotation OpenGL:Tutorials:Using Quaternions to represent rotation]
* David Erickson, [[Defence Research and Development Canada]] (DRDC), Complete derivation of rotation matrix from unitary quaternion representation in DRDC TR 2005-228 paper. [https://web.archive.org/web/20080228100448/http://aiss.suffield.drdc-rddc.gc.ca/uploads/quaternion.pdf Drdc-rddc.gc.ca]
* Alberto Martinez, University of Texas Department of History, "Negative Math, How Mathematical Rules Can Be Positively Bent",[https://webspace.utexas.edu/aam829/1/m/NegativeMath.html Utexas.edu]
* D. Stahlke, Quaternions in Classical Mechanics [https://www.stahlke.org/dan/phys-papers/quaternion-paper.pdf Stahlke.org] (PDF)
* Morier-Genoud, Sophie, and Valentin Ovsienko. "Well, Papa, can you multiply triplets?", [https://arxiv.org/abs/0810.5562 arxiv.org]  describes how the quaternions can be made into a skew-commutative algebra graded by **Z**/2&times;**Z**/2&times;**Z'''/2.
* Curious Quaternions by Helen Joyce hosted by John Baez.
* Luis Ibanez "Tutorial on Quaternions" Part I Part II (PDF)

### ソフトウェア
* Quaternion Calculator [javascript], bluetulip.org
* Quaternion Calculator [Java], theworld.com
* Quaternion Toolbox for Matlab, https://sourceforge.net/projects/qtfm/
* Boost library support for Quaternions in C++, boost.org
* Mathematics of flight simulation >Turbo-PASCAL software for quaternions, Euler angles and Extended Euler angles, xs4all.nl

## 外部リンク
*
*四元数 - 物理のかぎしっぽ
*
*