四元数とは? わかりやすく解説

四元数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/07/21 00:03 UTC 版)

四元数の単位の乗積表
× 1 i j k
1 1 i j k
i i −1 k j
j j k −1 i
k k j i −1

数学における四元数(しげんすう、: quaternion)とは、複素数を拡張した体系であり、虚数単位 i, j, k を用いて

a + bi + cj + dk

と表せる数のことである。ここで、a, b, c, d実数であり、虚数単位 i, j, k は以下の関係を満たす。

四元数数の単位の積を四次元空間の 90° 回転として視覚的に表現したもの。ij = k, ji = −k, ij = −ji

歴史

ダブリンのブルーム橋にある四元数を記念する盾(北緯53度22分23秒 西経6度18分00秒 / 北緯53.37299度 西経6.30008度 / 53.37299; -6.30008)。碑文には
Here as he walked by
on the 16th of October 1843
William Rowan Hamilton
in a flash of genius discovered
the fundamental formula for
quaternion multiplication
i2 = j2 = k2 = ijk = −1
& cut it on a stone of this bridge(1843年の10月16日、ここを通りかかったウィリアム・ローワン・ハミルトンは、天才の閃きを以って四元数の乗法の基本公式(略)を思いつき、この橋の石にそれを刻んだ)
とある。

四元数の成す代数系は、1843年ウィリアム・ローワン・ハミルトンによって導入された[6]。これにはオイラーの四平方恒等式1748年)やオリンデ・ロドリゲス英語版四つの径数を用いた一般の回転のパラメータ付け英語版1840年)などを含む重要な先駆的研究があったが、何れもその四径数回転を代数として扱ったものではなかった[7][8]ガウスもまた1819年に四元数を発見していたのだが、そのことが公表されるのは1900年になってからである[9]

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

四元数についての大きな転換点がついに訪れたのは、1843年10月16日月曜日ダブリンにおいてハミルトンが理事会の長を務めることになるアイルランド王立アカデミー英語版への道すがら、妻と伴にロイヤル運河英語版の引き船道に沿って歩いているときであった。四元数の背景となる概念が頭の中で形になり、答えが明らかになったとき、ハミルトンは衝動を抑えられずに、四元数の基本公式

四元数群 Q8ケイリーグラフ:赤矢印は i の右からの積を表し、緑矢印は j の右からの積を表す。

四元数全体のなす集合 H は実数体上の 4次元ベクトル空間を成す(実数全体は 1次元複素数全体は 2次元八元数全体は 8次元である)。四元数は加法と、結合的で分配的な乗法を持つが、その乗法は可換でない。従って四元数の全体 H は実数体上の非可換結合多元環である。H には複素数体 ℂ の複製が含まれるが、HC 上の結合多元環にはならない。

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

Q8 の乗積表
× 1 i j k −1 i j k
1 1 i j k −1 i j k
i i −1 k j i 1 k j
j j k −1 i j k 1 i
k k j i −1 k j i 1
−1 −1 i j k 1 i j k
i i 1 k j i −1 k j
j j k 1 i j k −1 i
k k j i 1 k j i −1

基底元の積は別の基底元に符号を付けたものになるから、集合 {±1, ±i, ±j, ±k} はその乗法に関してを成す。この群は四元数群と呼ばれ、Q8 で表す[19]Q8 の実係数群環 RQ8 は環であり、また R 上の 8次元ベクトル空間でもあり、Q8 の各元を基底ベクトルに持つ。四元数体 HRQ81 + (−1), i + (−i), j + (−j), k + (−k) で生成するイデアルで割った剰余環になっている。ここで、生成元となっている各差の第一項は基底元 1, i, j, k のそれぞれ一つであり、第二項は残りの基底元 −1, −i, −j, −k のそれぞれ一つであって、これらは 1, i, j, k の(群環の加法に関する)加法的逆元でないことに注意(剰余環、つまり H の中では加法逆元になる)。

四元数と R3 の幾何

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

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

2つの純虚四元数 p = b1i + c1j + d1k, q = b2i + c2j + d2k に対して、それらのドット積

一覧
  • カテゴリ:数

  • 四元数

    出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/09/06 10:18 UTC 版)

    クリフォード代数」の記事における「四元数」の解説

    このセクションにおいて、ハミルトンの四元数がクリフォード代数 Cℓ0,3(R) の偶部分代数として構成されるベクトル空間 V を実 3 次元空間 R3 とし、二次形式 Q を通常のユークリッド計量からいれる。すると、v, w ∈ R3 に対して二次形式あるいはスカラー積 v ⋅ w = v 1 w 1 + v 2 w 2 + v 3 w 3 . {\displaystyle \mathbf {v} \cdot \mathbf {w} =v_{1}w_{1}+v_{2}w_{2}+v_{3}w_{3}.} をもっている。今次与えられるベクトル v と w のクリフォード積を導入する v w + w v = − 2 ( v ⋅ w ) . {\displaystyle \mathbf {v} \mathbf {w} +\mathbf {w} \mathbf {v} =-2(\mathbf {v} \cdot \mathbf {w} ).\!} この定式化は負の符号用いているので四元数との対応は容易に示されるR3直交単位ベクトル集合e1, e2, e3 として表記すると、クリフォード積は関係 e 2 e 3 = − e 3 e 2 , e 3 e 1 = − e 1 e 3 , e 1 e 2 = − e 2 e 1 , {\displaystyle \mathbf {e} _{2}\mathbf {e} _{3}=-\mathbf {e} _{3}\mathbf {e} _{2},\,\,\,\mathbf {e} _{3}\mathbf {e} _{1}=-\mathbf {e} _{1}\mathbf {e} _{3},\,\,\,\mathbf {e} _{1}\mathbf {e} _{2}=-\mathbf {e} _{2}\mathbf {e} _{1},\!} および e 1 2 = e 2 2 = e 3 2 = − 1 {\displaystyle \mathbf {e} _{1}^{2}=\mathbf {e} _{2}^{2}=\mathbf {e} _{3}^{2}=-1\!} を生み出すクリフォード代数 Cℓ0,3(R)一般の元は A = a 0 + a 1 e 1 + a 2 e 2 + a 3 e 3 + a 4 e 2 e 3 + a 5 e 3 e 1 + a 6 e 1 e 2 + a 7 e 1 e 2 e 3 {\displaystyle A=a_{0}+a_{1}\mathbf {e} _{1}+a_{2}\mathbf {e} _{2}+a_{3}\mathbf {e} _{3}+a_{4}\mathbf {e} _{2}\mathbf {e} _{3}+a_{5}\mathbf {e} _{3}\mathbf {e} _{1}+a_{6}\mathbf {e} _{1}\mathbf {e} _{2}+a_{7}\mathbf {e} _{1}\mathbf {e} _{2}\mathbf {e} _{3}\!} によって与えられるCℓ0,3(R) の偶次数元の線型結合一般Q = q 0 + q 1 e 2 e 3 + q 2 e 3 e 1 + q 3 e 1 e 2 {\displaystyle Q=q_{0}+q_{1}\mathbf {e} _{2}\mathbf {e} _{3}+q_{2}\mathbf {e} _{3}\mathbf {e} _{1}+q_{3}\mathbf {e} _{1}\mathbf {e} _{2}\!} とともに Cℓ 00,3 (R) の偶部分代数定義する基底元は四元数基底元 i, j, k と i = e 2 e 3 , j = e 3 e 1 , k = e 1 e 2 {\displaystyle i=\mathbf {e} _{2}\mathbf {e} _{3},j=\mathbf {e} _{3}\mathbf {e} _{1},k=\mathbf {e} _{1}\mathbf {e} _{2}} として同一視することができ、これは偶部分代数 Cℓ 00,3 (R)ハミルトンの実四元数代数であることを示している。 これを見るには、 i 2 = ( e 2 e 3 ) 2 = e 2 e 3 e 2 e 3 = − e 2 e 2 e 3 e 3 = − 1 , {\displaystyle i^{2}=(\mathbf {e} _{2}\mathbf {e} _{3})^{2}=\mathbf {e} _{2}\mathbf {e} _{3}\mathbf {e} _{2}\mathbf {e} _{3}=-\mathbf {e} _{2}\mathbf {e} _{2}\mathbf {e} _{3}\mathbf {e} _{3}=-1,\!} と i j = e 2 e 3 e 3 e 1 = − e 2 e 1 = e 1 e 2 = k {\displaystyle ij=\mathbf {e} _{2}\mathbf {e} _{3}\mathbf {e} _{3}\mathbf {e} _{1}=-\mathbf {e} _{2}\mathbf {e} _{1}=\mathbf {e} _{1}\mathbf {e} _{2}=k\!} を計算する最後にi j k = e 2 e 3 e 3 e 1 e 1 e 2 = − 1. {\displaystyle ijk=\mathbf {e} _{2}\mathbf {e} _{3}\mathbf {e} _{3}\mathbf {e} _{1}\mathbf {e} _{1}\mathbf {e} _{2}=-1.\!}

    ※この「四元数」の解説は、「クリフォード代数」の解説の一部です。
    「四元数」を含む「クリフォード代数」の記事については、「クリフォード代数」の概要を参照ください。

    ウィキペディア小見出し辞書の「四元数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ

    四元数

    出典:『Wiktionary』 (2021/08/22 12:36 UTC 版)

    語源

    4つによって構成される数であることから。

    名詞

    (しげんすう

    1. 複素数拡張した概念実数a,b,c,dとi2=j2=k2=ijk=-1を満たす3つの虚数単位用いてai+bj+ck+dの形に表される


    英和和英テキスト翻訳>> Weblio翻訳
    英語⇒日本語日本語⇒英語
      

    辞書ショートカット

    すべての辞書の索引

    「四元数」の関連用語

    四元数のお隣キーワード
    検索ランキング

       

    英語⇒日本語
    日本語⇒英語
       



    四元数のページの著作権
    Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

       
    ウィキペディアウィキペディア
    All text is available under the terms of the GNU Free Documentation License.
    この記事は、ウィキペディアの四元数 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
    ウィキペディアウィキペディア
    Text is available under GNU Free Documentation License (GFDL).
    Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのクリフォード代数 (改訂履歴)、回転 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
    Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
    Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの四元数 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

    ©2025 GRAS Group, Inc.RSS