2

行列も四元数もわからないけど空間で回転したい!!

150
0

はじめに

こんにちは!競技数学と競プロが好きな高校生のButterFlvです.
内容はタイトルの通りです.

経緯

複素数の積は平面での回転相似変換と対応するというなかなか面白い性質を持っています. ここで空間だとどうなるか気になって四元数行列などを調べていたのですが, 普通に理解が難しくて諦めました. なので自分で考えてみたいと思います.

まずは複素数から

複素数がうれしい理由

z複素数であるとは, 実数の組a,b虚数単位i:=1を用いてz=a+biと表されるということです. 和(差)は各成分の和(差), 積は展開して虚数単位の定義から計算, 商は共役な複素数(z:=abi)を二項に掛けて積と定数倍に帰着して計算します.
今回注目するのは積の性質で, 2つの複素数をかけるとと計算結果の複素数は絶対値が二つの積, 偏角が和となっていることから回転が記述できるわけです.

積の見方をすこし変える

さて, ここから三次元に複素数の積の考え方を拡張するわけですが, ひとつ回転への解釈を加えておきます.

複素数zを掛けるという操作は, 1が表す点をつまんでzが表す点に移動させるときにつられてほかの点も移動するような操作である.

この解釈があると, 偏角を足したり絶対値を掛けたりするというイメージだけでは表現しにくい操作も表現できるようになります.

"つられて"動くとはどういうことか(本質部分)

紙に二つ小さな穴をあけて片方の穴をコンパスなどで固定し, もう片方の穴に鉛筆などを通して動かすことを想像してください. これがつられて動くということです.

(+α)自由度をひとつ増やす

ここは完全に後のためですが, 二つ前の節では積を1zに移動する操作という解釈をしていますがこれを二つの複素数α,βαβとしてみても同じような操作ができることが確認できます.(βα=z1が成立しているとき, 一致する操作となります.)

自然に三次元へと拡張してみる

三次元で"つられて"動くとはどういうことか

三次元になると紙では厳しいので地球儀を使ってみましょう. ただし, どんな向きでも自由に回転できるタイプが必要です. (僕は持っていません)
始点と終点を指定してαβのように移動してみましょう. これがつられて動くということです.
ただし, ここで一つ注意点があります. それは移動するときは最短ルートでなければならないということです. 動かすときに地球儀上の様々なルートを通っていると, ルートごとに地球儀の最終的な状態が変わっていることに気が付くかもしれません. 2つの点と操作とをちゃんと結びつけるには操作に制約をつける必要があります.

始点と終点と中心を含む平面に注目してみる("最"本質部分)

もうすこし地球儀で遊んでみましょう. 始点と終点と中心を含む平面を考え, それを垂直に見ながら回転してみてください. こうすることで, この視線が回転の軸と一致していることがわかると思います. 表現を変えると, 平面にそれぞれの点を垂直に射影すると, その平面において複素数平面のときと同様な回転をしているということになります!!

なぜ前章で自由度を1つ増やしたのか

前節を踏まえると見えてくるのですが, 始点を固定してしまうと回転の軸を, 始点に垂直な向きにしか取れなくなってしまうからです.

数式による表現

あとはもうこの感覚を数式に落とし込むだけです. 2つのベクトルa,bを用意して回転作用素R(a,b)を定義し, pに作用させてみましょう. 内積と外積は知っている前提でいきます. 知らないふりをしたほうが良い記事になるのではと思いましたが便利すぎたので諦めました.

だいたいの流れ

  1. pをいい感じに3つの直交するベクトルに分解する. (x軸,y軸,z軸を取り直す.)
  2. 変換後のx軸とy軸に注目して複素数の積と同じように回転を計算する.
    このあとのパートはなるべく図形的表現を避けて数式処理をしていきます.

導出パート

pが以下の性質を満たす3つのベクトルex,ey,ezで,

(使いません)

ex=ey=ez=1
ex×ey=ez
ey×ez=ex
ez×ex=ey(x,y,z)

p=xex+yey+zezと表せるとします. (pが指す位置は空間の直交座標における点(x,y,z)と対応します.)
コンピュータに計算させるとすれば, これが入力になります.
また以下のように3つのベクトルfx,fy,fzを定めてみます.

fx:=aa, fy:=fz×fx, fz:=a×ba×b

この3つのベクトルはex,ey,ezが満たすもととまったく同じ条件を満たします. ただ, 定義からわかるようにfxaを長さ1にしたもの,fzは位置0,a,bを含む平面に垂直な長さ1のベクトル,fyは前ふたつに垂直なベクトルになっています. (つまり, 向きが変わった直交座標です.)
このように定めることで以下のかなりうれしい情報が得られます.

p=(pfx)fx+(pfy)fy+(pfz)fz

つまり, もとめたい成分の単位ベクトルと, もとのベクトルとの内積が成分と一致しているということです. これは単位ベクトルを座標の軸に沿わせている場合では取るに足らない性質ですが, そうでないときはかなり役に立ちます. (ただし, 内積とスカラー倍は入れ替えてはいけないことに注意です. 右辺が3pとなってしまうことからも明らかだと思います.)
ここでfxfyの係数に注目すると軸に垂直な平面における座標になっているのでここで複素数の積っぽい変換をしてあげれば良さそうということになります. bのそれぞれの成分も内積で書けること, aの大きさが影響することに注意しながら計算すると変換後の位置ベクトルR(a,b)pを計算しましょう.

(px,py,pz):=(pfx,pfy,pfz)(bx,by,bz):=(bfx,bfy,bfz)
とおく. (ただしbz=0となっている)
(px+pyi)(bx+byi)=(pxbxpyby)+(pxby+pybx)i から
R(a,b)p=pxbxpybyafx+pxby+pybxafy+pzfz=pxbxfx+byfya+pybyfx+bxfya+pzfz=pxba+pyfz×ba+pzfz=(pfx)ba+(pfy)fz×ba+(pfz)fz

よくみたら自明な式が出てきてしまいましたね(汗)
つまりベクトルの成分だけ抜き出してベクトルの向きを変えて成分を付け直す, みたいなことをすればよかったというわけでした.
ということで,

ちゃんと定義

回転作用素 R(a,b)

0,a,bを含む平面をαとしたとき, 任意の点についてαに射影したときに0を中心とした回転相似変換となっており,αとの距離が変化せず,abに移っているような変換を表す作用素をR(a,b)とする. このとき,pR(a,b)を作用させたときのベクトルR(a,b)pは以下のようにかける.

R(a,b)p=(pfx)gx+(pfy)gy+(pfz)gz

ただし, fx,fy,fz,gx,gy,gz は以下を満たすものとする.

fx:=aa, fy:=fz×fx, fz:=a×ba×b

gx:=ba, gy:=fz×ba, gz:=fz

複数の点に作用させたいときはfx,fy,fz,gx,gy,gzをあらかじめ計算しておくことで計算のボトルネックとなる浮動小数点数の掛け算の回数を減らすことができますね. ちなみにこの場合, 個別ケースに対して18回の掛け算が必要なのでもう少し減らしたいところですね~
でも表現のわかりやすさで勝るケースもあるはず...!

さいごに

残念ながら今回は四元数へのつながりは見出すことはできませんでしたが, ゆる~く, ユニークな記事にはなったのではないかなと思います. 書きながらとても楽しめたのでよし!ということでここまで読んでいただきありがとうございます.

追記 (2025/01/24)

現状の表示より全然いい表示が見つかったので書きます.
R(a,b)の定義は同じです.

R(a,b) のいい感じの表示

R(a,b)p=Cp+S(d×p)+(dp)((1C)d)

ただし,

d=a×ba×b

C=aba2

S=a×ba2

d=a×ba×bは前章でのfzに対応します. ここでfxfyを固定せず, fxpを平面に射影したものと定めて fyは他2つに垂直になるように取っているのと同じようになります.

a,bが平面において対応する複素数をβα=C+Siとなるように実数C,Sを取ります. これは原点さえ一致していれば軸の取り方によりません. 極形式を思い浮かべるとC=aba2,S=a×ba2であることがわかります.

pを平面に射影した点はp(dp)dと書けます. dの成分を取り出してその分引いています. 平面においてこのベクトルを実軸と考えるのでexとおいておきましょう. 虚軸はey=d×exです. これらの長さは1とは限りませんがd=1なのでex=eyとなります.
R(a,b)p=Cex+Sey+(dp)d=C(p(dp)d)+Sd×(p(dp)d)+(dp)d=Cp+Sd×p+(dp)((1C)d)
d,C,S,Sd,(1C)dを前計算しておけば1ケースごと15回の乗算ですみます!

投稿日:123
更新日:124
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

数学とか競プロとか Twitter -> @ButterFlv_beats

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 経緯
  3. まずは複素数から
  4. 複素数がうれしい理由
  5. 積の見方をすこし変える
  6. "つられて"動くとはどういうことか(本質部分)
  7. (+α)自由度をひとつ増やす
  8. 自然に三次元へと拡張してみる
  9. 三次元で"つられて"動くとはどういうことか
  10. 始点と終点と中心を含む平面に注目してみる("最"本質部分)
  11. なぜ前章で自由度を1つ増やしたのか
  12. 数式による表現
  13. だいたいの流れ
  14. 導出パート
  15. ちゃんと定義
  16. さいごに
  17. 追記 (2025/01/24)