あ～あ

パウリ行列指数関数のカテゴリの内容、一旦消しました・・・

やっぱりうまくいかないことがわかりました。
渾身の一作だと思ったんだけどなぁー

実装してみるとちゃんと回転しなかったんですよorz


exp(X)×exp(Y)=exp(X+Y)　とは限らないってのを

こんな風に、パウリ行列とクォータニオンと、岡部のラジオ体操とロドリゲスの回転公式を使って可視化したかったんですけどねえー
残念だったなぁー


ロドリゲスと行列指数関数はつながった。
クォータニオンとパウリ行列もつながった。
あとつながってないのは・・・クォータニオンとロドリゲス？
なんかこう、合体ロボがあったら全部合体させて終えたいじゃん
せっかくデジタルなんだし、捨てパーツなしで行きたいんだよ

クォータニオンによる任意軸回転が
どうして半分の角度ずつ複素共役を持ってきて、両側からサンドイッチするのか
余分なコサイン実数(単位行列)がどう効いてくるのかわからん


そもそもどうして、ロドリゲスの指数の肩はあの交代行列なんだろう？
実は、交代行列や歪エルミート行列の指数関数がユニタリになるっていうのは最近知った
（ような気がする。）

3×3行列の指数関数が3×3になるのは必然だし
実数のユニタリにするには、歪エルミートではだめで、交代行列にならざるを得ない
でもなんだろう、まだ決め手に欠けるというか、
これをどうやったらクォータニオンに応用できるのかがつながらない