このページは[url=https://www.geogebra.org/m/ddm5798j]マス旅[/url]の一部です。[br][br]ハミルトンさんの人物像や4元数の歴史などの周辺はすっとばして、[br]初回である今回は、計算中心で、[br]複素数の拡張版としての4元数の特徴をつかんでいきましょう。

[b][size=150]＜ハミルトン流のベクトル積＝外積ー内積＞[/size][/b][br][br]R_3のベクトルの[b]正規直交基底ベクトルをi,j,k[/b]とすると、[br][b]i^2=j^2=k^2=1,i・j=j・k=k・i=0[/b]であり、[br]コトバの意味から自明な結果だね。[br][br]一方で、[br]4元数が作る空間の[b]4基底ベクトルをi,j,k[/b]とすると、[br][b][color=#0000ff][size=200]i^2=j^2=k^2=-1,[br]ij=-ji=k,jk=-kj=i,ki=-ik=j, ijk=-1[br][/size][/color][/b]と基底の積については[br][b]交代性[/b]と[b]サイクリック性[/b]があるという奇怪な定義がされる。[br]なぜだろうか？[br][br]これは、ベクトルの積についてのハミルトン流の定義があることから出てくる。[br]ハミルトンの[b]4元数の基底ベクトルの積は外積ー内積[/b]で定義されている。[br][br]通常の[b]内積a・b=|a||b|cosθ[/b]から、a・a= |a|^2 、θ=π/2のとき、a・b=0[br][b]外積＝a×b[/b](a,bに垂直なベクトルで、aからbに向かう右ねじの位置にある。）[br][b]外積は交代性[/b]がある。[br][br][b]ij=i×j -i・j =i×j[/b]から、直交基底どうしの積は外積と同じ性質を持ち、右手系なら、[b]ij=i×j=k[/b]となる。[br]また、[b]i^2=0- |i|^2=-1[/b]となる。さらに、[b]ijk=kk=-1[/b]もすぐわかる。[br][br]これで、R_3の正規直交基底ベクトルについて、ベクトルの[b][color=#0000ff][size=150]ハミルトン流の積＝外積ー内積[/size][/color][/b][br]というルールの追加をするだけで、[br]4元数の基底ベクトルの性質がすべて導けたね。[br][br][b][size=150]＜4元数の演算と複素数の演算に似ている＞[br][/size][/b][br][b][color=#0000ff][size=200]4元数＝スカラー部＋R_3ベクトル部[/size][/color][br][/b][br]という定義をする。[br][b]スカラー部をq0[/b], ベクトル部qvの基底をi,j,kとしたときの成分が[b](q1,q2,q3)[/b]ならば、[br][b][size=150]4元数q=(q0,q1,q2,q3)[br][/size][/b]と４つの実数で表記できるから、4元数という。[br][br][color=#9900ff]「表記」について、[br][/color]クォータ二オンはチルダを上につけて表すが、誤解がなければ何もつけない。[br]クォータというと4分の1というイメージが強いのでただ要素が４つあるという感じで[br]4元数という名称を使うことにする。[br]対象が4元数とわかるときはそれすら書かない。[br][b][size=150][color=#0000ff][br][size=200]q=q0+qv[br][/size][/color][/size][/b]や（q0,qv)とかくと面白い。4元数を2要素のようにかけるからだ。[br][br]複素数は共役は虚部の符号を反対にしたように、[br][b][color=#0000ff]共役*はベクトル部の符号を反転[/color][/b]する。[br]複素数のノルムが共役との積の平方根だったように、4元数のノルムも同じだ。[br]複素数の逆数が共役をノルム2乗で割ったように、4元数の逆数も同じだ。[br]複素数の和差の実部は実部の和差、和差の虚部は虚部の和差でした。[br]4元数の場合も同様で、和差は実部どうし、ベクトルどうしになります。[br][br]すっとばしてしまったが、大切な4元数の積はどうだろう。[br]p=p0+pv,q=q0+qvの積だね。[b]積＝外積ー内積[/b][br]pq=(p0+pv)(q0+qv)=p0q0+q0pv+p0qv+pvqv[br]=p0q0+q0pv+p0qv+pv×qv-pv・qv[br]ここで、pv,qvの成分p1,p2,p3,q1,q2,q3と基底i,j,kにまで落とし込むと複雑な公式ができる。[br]それよりも、外積はベクトルで、内積は実数になることを考えて、実部とベクトル部に[br]わけてみましょう。[br][b][color=#0000ff][size=150](p0+pv)(q0+qv)＝(p0q0-pv・qv)+(q0pv+p0qv+pv×qv)[br][/size][/color][/b]とかけば、きれいに見えますね。

[b][size=150]＜回転を行列にする＞[/size][/b][br][br]オイラー等式e^{ix}= cosｘ＋isinｘを使うと、[br]ｎを単位ベクトルにして、e^{nθ/2}でθ/2回転を表す4元数が作れる。[br][b][color=#0000ff][size=150][size=200]θ回転の4元数をq=cosθ/2+n sinθ/2＝q0+qv[br][/size][/size][/color][/b]とする。[br]なぜθ回転なのに、θ/2を入れるかというと、qとq*をセットにして使うからだ。[br]n^2が、i^2のときのように-1になり、qの共役はベクトル部だけ符号が反転することから、qのノルムは１になる。[br][b][color=#0000ff][size=150][size=200]位置ベクトルのθ回転はr'=qrq*で、[br]座標系のθ回転はr'=q*rqで[br][/size][/size][/color][/b]実現できる。[br][br]r・nの値をrnとすると、[br]位置ベクトルのθ回転でr'=qrq*=(cosθ/2+n sinθ/2)r(cosθ/2-n sinθ/2)[br][b]=(rn)n+(r-(rn)n)cosθ＋n×r sinθ[br][/b]n=(0,0,1)とr=(x,y,z)とすれば、行列R=[br]{{cos θ, -sinθ, 0}, {sinθ, cosθ,0 }, { 0,0,1}}によって、r'=Rr[br]r'=(q0+qv)r(q0-qv)を展開して、qの成分でRを表すこともできるね。[br][br]同様に座標系の回転でr'=q*rq=(cosθ/2-n sinθ/2)r(cosθ/2+n sinθ/2)[br][b]=(rn)n+(r-(rn)n)cosθ＋r×n sinθ[br][/b]n=(0,0,1)としてｚ軸回りの行列Sは[br]{{cos θ, sinθ, 0}, {-sinθ, cosθ,0 }, { 0,0,1}}によって、r'=S r[br]r'=(q0-qv)r(q0+qv)を展開して、qの成分でSを表すこともできるね。[br][br]RとSの関係は視点の変更でしかないから、転置行列になる。[b]tR=S[/b][br]しかも、RとSは直交行列なので、[b]RS=I[/b]（単位行列）[br]また、どちらももとのベクトルに対して行列をかけるだけだから、[br][b]連続的な回転は、行列の積で実現できる。[br][/b][br]具体的な設定で３D回転を4元数でやってよう。[br][br]#位置ベクトルkをj（ｙ軸）を軸にπ/2回転する場合[br]n=(0,j,0),r=(x,y,z)[br]q=cosπ/4+nsinπ/4=1/√2(1+j)[br]k'=1/√2(1+j) k 1/√2(1-j)=1/2(1+j)(k-kj)=1/2(k+jk-kj-jkj)[br]=1/2(k+jk+jk-k)=jk=i[br]k(z軸上）が90度回転して、i(ｘ軸上に移動する）[br][br]#位置ベクトル3j(y軸上）を直線y=xを軸にπ回転する場合[br]n=(1/√2,1/√2,0),r=(x,y,z)[br]q=cosπ/2+1/√2(i+j)sinπ/2=1/√2(i+j)[br](3j)'=1/√2(i+j) 3j 1/√2(-i-j)=-3/2(i+j)(ji+jj)[br]=-3/2(i+j)(-k-1)=3/2(ik + i +jk +j)=-3/2(ki+kj-i-j)[br]=-3/2(j-i-i-j)=3i(x軸上）[br]基底ベクトルの積のルールから、回転の行先がわかるね。[br]予想どうりの結果になりましたね。[br][br][size=150][b]＜回転の合成＞[br][/b][/size][br]剛体Pの進行方向の方向ベクトルをp=[[px],[py],[pz]]とする。[br][b]z軸を中心にPをγ（ヨー角）回転[/b]するとき、cosをc、sinをsとかくと、[br]Rz={{cγ, -sγ, 0}, {sγ, cγ,0 }, { 0,0,1}}だった。[br]同様にして、[br][b]y軸を中心にPをβ（ピッチ角）回転[/b]するとき、[br]Ry={{cβ,0, sβ}, {0, 1,0 }, { -sβ,0,cβ}}となり、[br][b]x軸(ベクトルp)をα（ロール角）回転して姿勢変化[/b]するとき、[br]Rx={{1,0,0}, {0,cα,-sα }, { 0,sα,cα}}となる。[br][br]回転の合成によって、[br][b]G=Rz◦Ry◦Rx=[br][size=150][color=#0000ff][[cγcβ, cγsβsα-sγcα, cγsβcα+sγsα],[br] [sγcβ, sγsβsα+cγcα, sγsβcα-cγsα],[br] [-sβ, cβsα , cβcα ]][br][/color][/size][/b][br]となる。[br]また、4元数のまま積を求めることもできる。[br]成分で表すと[br]rz=(c(γ/2),0, 0, s(γ/2)), ry=(c(β/2),0,s(β/2),0),rx=(c(α/2),s(α/2),0,0)[br]G=(c(γ/2),0, 0, s(γ/2))(c(β/2),0,s(β/2),0)(c(α/2),s(α/2),0,0)[br][color=#0000ff][b][size=150]= ( [br] c(γ/2) c(β/2) c(α/2 ) + s(γ/2)s(β/2)s(α/2),[br] c(γ/2)c(β/2)s(α/2)-s(γ/2)s(β/2)c(α/2),[br] c(γ/2)s(β/2)c(α/2)+s(γ/2)c(β/2)s(α/2),[br] s(γ/2)c(β/2)c(α/2)-c(γ/2)s(β/2)s(α/2))[br][/size][/b][/color][br]4元数を成分として表した方が、cとsの双対ペア表現が見られるね。[br]3次行列SO3（特殊直交3次行列）の方が実用的ではあります。[br][br]どちらで計算しても、位置ベクトルｐは[br][b]p = G (0, 1, 0, 0) G∗ = (0, cγcβ, sγcβ,−sβ)[br][/b][br]つまり、pの成分にはαが出てきません。[br]当然ですが、[b][color=#0000ff]剛体Pの向きは姿勢変更角αの影響を受けてない[/color][/b]ことがわかりますね。[br]

[b][size=150]＜振り返り＞[/size][/b][br]こんなに4元数の計算がうまくできた理由は何だろう。[br]振り返ってみよう。[br][br]4元数の積が外積ー内積で定義されるという、単純明快なルールがあったから。[br]３つの基底i,j,kの積の交代性と2乗がー1になることはそのルールから導けたから。[br]共役がベクトル部の符号反転であることは複素数と似ていて違和感なく使えたから。[br][br]なによりも大きかったのは、[br][br]単位ベクトルnを軸にθ回転がq=e^{n θ/2}=cos θ/2 + n sin θ/2とかけることだった。[br]しかし、肝心のこの事実は天下りで使い、検証すらしていなかった。[br]r'=qrq*で2回かけているからθ/2でいいだろうくらいにしていた。[br]軸にする単位ベクトルをn=(ux,uy,uz)とするとき、[br]4元数q=(cosθ/2,ux sinθ/2,uy sinθ/2,uz sin θ/2)=(q0,q1,q2,q3)とおけば、[br]4元数r=(0,x,y,z)として、r'=qrq*を展開整理するとロドリゲスのθ回転の公式と[br]一致する。ロドリゲスの公式自体は、ベクトルの外積と内積から導くことができる。[br][br][color=#0000ff][u][b][size=150]課題：4元数成分の数式が回転後の３D座標になることを確認しよう。[br][/size][/b][/u][/color][br]タイトルは「目でみるロドリゲスの公式」[br]θ = Slider(0, 2π, 0.01) #回転角（これだけアニメーションにします。）[br]α = Slider(0, 2π, 0.01) #回転軸の傾き[br]β = Slider(-π/2, π/2, 0.01)[br]n = (cos(β)*cos(α), cos(β)*sin(α), sin(β)) #単位回転軸ベクトルn[br]R = (1, 2, 3) #回転させたい点[br]Vector((0,0,0), R) #位置ベクトルR[br][br]#4元数成分(q0, q1, q2, q3)[br]q0 = cos(θ / 2)[br]q1 = x(n) * sin(θ / 2)[br]q2 = y(n) * sin(θ / 2)[br]q3 = z(n) * sin(θ / 2)[br]x_p = (q0^2 + q1^2 - q2^2 - q3^2)*x(R) + 2*(q1*q2 - q0*q3)*y(R) + 2*(q1*q3 + q0*q2)*z(R)[br]y_p = 2*(q1*q2 + q0*q3)*x(R) + (q0^2 - q1^2 + q2^2 - q3^2)*y(R) + 2*(q2*q3 - q0*q1)*z(R)[br]z_p = 2*(q1*q3 + q0*q2)*x(R) + 2*(q2*q3 + q0*q1)*y(R) + (q0^2 - q1^2 - q2^2 + q3^2)*z(R)[br]R' = (x_p, y_p, z_p)[br]Vector((0,0,0), R') #回転後のベクトルR'[br]Circle((R n) n, Distance(R, (R n) n), n)#R'の軌道円（設定は点線）[br][br]見た目は、点がきれいに動くだけのことだけれども、[br]やっている内容はすごいですね。[br]4元成分を関数式扱いにして、そのまま３Dの座標にうまく入れ込んでいるのですからね。[br][br]詳しい計算は省きますが、4元数の積qrq^* を代数的に計算すると[br][b]たとえば、iを軸に回転したとき、r=xi+yj+zkをサンドイッチして、線形にわけると、[br]xiのサンドは何もしないと同じになるのですが、yj+zkのサンドは左からのかけ算と右からのかけ算が同じ方向として重なりあい、θ回転を生みます。[br][/b]「挟み込むことで、軸方向を変えずに垂直面だけを綺麗に2倍（θ/2 + θ/2 = θ）回転させるフィルターとして機能している」という事実が、ロドリゲス公式との一致から一目瞭然になりますね。[br][br]