ニコニコ大百科モバイル

7/2(月)よりスマホまたはPCでアクセスした場合、各デバイス向けのサイトへ自動で転送致します


四元数


ヨミ: シゲンスウ
掲示板をミル!
29カキコ!

四元数(しげんすう、quaternion(クォターニオン))とは,アイルランド数学ウィリアム・ローワン・ハミルトンが創った代数系である.


概要


 複素数面上の点の変換を上手く記述しているように,四元数は間内の点の変換を記述出来る代数系である.ハミルトンの発見当時はその奇妙さからほとんど使われなかったが,ベクトル解析やクリフォード代数などの重要な数学分野のさきがけとなった.
 今日ではコンピューターグラフィックスやロボット制御などの応用分野で広く使われている.

→ 四元数の歴史について詳しくはウィリアム・ローワン・ハミルトンページを参照.


定義


 一般の四元数q は次のように定義される.

q = a + bi + cj + dk .

ここでa, b, c, d はスカラー(実数)であり,i, j, k は次のような性質を満たす元である.

i2 = j2k2ijk = -1.

これらの公理から,任意の四元数の組に対して結合則および分配則を満たすような積を定義できる.

四元数q =  a + bi + cj + dk のうち,aの部分をスカラー部,bi + cj + dk の部分をベクトル部と呼ぶ.
スカラー部が0でベクトル部のみからなる四元数を,ベクトル元,あるいは複素数になぞらえて純虚四元数と呼ぶ. 

四元数のノルム(絶対値)|q| は次のように定義される.

q =  a + bi + cj + dk に対して, |q|2 = a2 + b2 + c2 + d2

やってみよう

 上記の定義から実際に四元数どうしの掛け算を考えてみる.
一例として,

ij = (-1)(ij)(-1)
   = (-1)(ij)(k2)
   = (-1)(ijk)k
   = (-1)2k
   = k

 また,

ji = (-1)(ji)(-1)
   = (-1)(ji)( ijk )
   = (-1) j (i2)(jk)
   = (-1)2(j2)k
   = (-1)3k
   = -k

他の積も同様に得ることが出来る. 

ijkjk =  iki =  j
ji = -kkj = -iik = -j . 

ここで注すべきは,ij と ji が等しくない = 掛ける方向によって結果が変わってしまう点である(積の非可換性).
四元数のこのような性質は実数複素数には見られないもので,数学史上初めての発見とされる.

次のような掛け算を考えてみる.

(ji)(ij) = (-k)k
          = -k2
          = 1.

この結果から ji は ij の逆数(逆元)になっていることが解る.逆数が存在すれば割り算が定義出来る.実際,0でない任意の四元数は逆元を持つ.


四元数の極形式


 0でないベクトルbi + cj + dk について,四元数 I を次のように定義する.

I = (bi + cj + dk)/(|bi + cj + dk|).

I を使って表すと四元数q は次のように書ける.

q = a + bi + cj + dk = a + |bi + cj + dkI

A = a, B = |bi + cj + dk| と置けば,

q = A + B I

となる.どこかで見たような形式だが,実際

I2 = -1

となることが確かめられる.すなわち,任意の四元数は複素数として表すことが出来る複素数のなかで二乗してマイナス1になるような元は±i の一組しか存在しなかったが, 四元数においてそのような元 I数に存在することが解る.

複素数として表せるならば当然,極形式でも表せる.

q = A + B I = |q|(cosθI sinθ) = |q|eIθ


I とは何か


 上で登場した四元数 I = (bi + cj + dk)/(|bi + cj + dk|) をどのように考えることが出来るだろうか.
四元数q = a + bi + cj + dk を極形式で表したとき,I 以外のパラメーターは |q| とθで2つある.四元数の全体は4つの次元を持つから,I は2次元自由度を持つ量であることが示唆される.実は四元数の幾何においては,I3次元間のベクトル bi + cj + dk を軸とする回転を表す量(ベクトル,または軸性ベクトル)と考えるのである.
 bi + cj + dk に直交する面に含まれる単位ベクトルから i1i2適当に選ぶとき

I = i1 × i2

が成り立つ(×はクロス積).このとき,積の順序が I の回転の向きを定める.

■im4288534(静画)

 一つの I が一つの複素数面 { A + B I } を定めるのだから,四元数の全体は数の複素数面が集まったものと捉えることが出来る.


単位四元数eIθ


 四元数のうちノルムが1に等しいものを単位四元数と呼ぶ.単位四元数q は極形式で

q = cosθI sinθeIθ

と表される.
単位四元数には次のような重要な性質がある.

単位四元数eIθのこのような性質は,eIθ単位球面上の弧として考えると理解しやすい.そのとき,I は弧の通る球面上の円周を,θは弧と球の中心点が作る度を表す.

■im4288537(静画)
■im4288538(静画)

eIθの逆元は逆向きに同じ度だけ動く弧,e-Iθになる.

(eIθ)-1 = e-Iθ


3次元空間の回転


 任意の3次元間のベクトル u = u1i + u2j + u3k に対して,uを I の周りにθラジアンだけ回転する変換 RIθは次のように表される.

RIθ(u) = eIθ/2ue-Iθ/2

四元数eIθ/2回転子と呼ばれる.

■im4288540(静画)

回転子の積は変換の合成を表す.

RI2θ2RI1θ1(u) = (eI2θ2/2eI1θ1/2)u(eI2θ2/2eI1θ1/2)-1

回転子の逆元は逆変換を表す.

RIθ-1(u) = e-Iθ/2ueIθ/2

四元数を使った回転表現は他の表現とべて,

などの利点がある.


関連動画



■sm27293572[ニコ動]

■sm17827614[ニコ動]


関連商品


■az4627054416
■az4875253141
■az4875252439
■az4563003697


関連項目



最終更新日: 18/02/07 03:00
タグ検索 パソコン版を見る


[0]TOP
ニコニコ動画モバイル
運営元:ドワンゴ