回転 (数学)
(回転操作 から転送)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/03/20 00:27 UTC 版)
ナビゲーションに移動 検索に移動
初等幾何学および線型代数学における回転（かいてん、英: rotation）は、平面あるいは空間において固定された一点の周りでの剛体の運動を記述する。回転は、不動点を持たない平行移動とは違うし、剛体を「裏返し」にしてしまう鏡映とも異なる。回転を含めたこれらの変換は等距変換、即ちこれらの変換の前後で二点間の距離を変えない。
回転を考える際には基準系を知ることが重要であり、全ての回転はある特定の基準系に対するものとして記述される。一般に、ある座標系に関する剛体の任意の直交変換に対し、その逆変換が存在して、それを基準系に施すと剛体はもとと同じ座標にいることになる。例えば二次元の座標上の1点を定めて剛体を置いた時、1点を軸として剛体を時計回りに回すことと、剛体を動かさず1点を軸として座標を反時計回りに回すことは等価である。
関連概念・用語
回転群は特定の一点の周りの回転全体の成すリー群 SO(n) を言う。この（共通の）不動点を回転の中心と呼び、普通はこれを原点と同一視する。回転群は（向きを保つ）運動の成すより大きい群の一点固定部分群である。
一つの回転に関して:
- 回転（の）軸 (axis of rotation) とは、その回転の不動点全体の成す直線を言う。これは次元 n > 2 においてのみ存在する。
- 回転の面 (plane of rotation) とは、その回転の群作用の下で安定（不変）な平面（すなわち、回転不変面）を言う。回転軸と異なり、この平面上の各点それ自身はその回転の不動点でない。回転軸が存在するならば、回転軸と回転不変面とは互いに直交する（軸直交回転面）。
二次元
二次元における回転を特定するには、回転角と呼ばれる角度を一つ決めさえすればよい。回転を記述するために、行列や複素数を利用することができる。何れの場合も、回転は原点を中心に反時計回りに角 θ だけ物体を回すものとして作用する。
線型代数
行列を用いて回転を記述するには、回転させられる点 (x, y) をベクトルとして書いて、角 θ の回転を与えるように計算された行列を掛け合わせることによって
二次元の回転角を一般化する一つの方法として、三つの主軸の周りでの転回を与える三つの回転角を指定する方法がある。それらは個々にロール・ピッチ・ヨー角と一般には呼ばれているが、数学においてはより数学的な名前でオイラー角という。これらの角はジンバルやジョイスティックのような物理的系の数々のモデル化において優れており、容易に視覚化することもできるし、非常に簡潔に回転を記録することができる。しかしこの角の概念は計算には向いておらず、たとえ回転を組み合わせる単純な操作でさえも、計算を実行するのは手が掛かりすぎる。また、ある種の回転に対してはオイラー角が一意に決まらないというジンバルロックといった形でも弱点を持っている。
オイラー回転
オイラー回転は、三つのオイラー角のうち二つを動かさずに残りの一つだけを変化させて得られる運動としての、三種類の回転からなる集合を言う。オイラー回転を外部の基準系や移動体とともに回転する基準系の言葉で記述することはできず、それらを組み合わせなければならない。そうして回転の混合軸系 (mixed axes of rotation system) が得られ、第一の角は外部軸 z の周りで結節点の成す直線を動かし、第二のはその結節点の成す直線の周りでの回転を示し、第三の角は移動体に固定された軸の周りでの内部的な回転（自転）を表す。
これらの三種の回転をそれぞれ、歳差運動 (Precession), 章動運動 (Nutation), 自転 (intrinsic rotation) と呼ぶ。
軸角
二次元の回転角を一般化するもう一つの方法として、その周りで回転を行う軸と軸との角度とを特定するやり方がある。これは蝶番と心棒によって制約を受ける運動をモデル化するのに用いることができ、従って視覚化が（恐らくオイラー角よりも）容易である。軸角度表現には
- 二つの角度と軸方向の単位ベクトルの組として表す方法、
- 回転ベクトルと呼ばれる、単位ベクトルに回転角を掛け合わせたもので表す方法
の二種類の表し方がある。普通は角度と軸の対を合わせて扱う方が容易であり、一方の回転ベクトルは、オイラー角同様に三つの数値が与えられればよいから、より簡潔に表せる。しかし、オイラー角同様に、先に述べたような他の表現に直して扱うことの方が普通である。
四元数
四元数は、ある意味で三次元の回転を表すのに最も直観の少ない方法である。これらは行列などを用いる一般的なアプローチでは実態として三次元ではないし、オイラー角や軸角のように実世界との関連も容易に見て取ることはできないが、しかしそれらの手法の何れと比べても四元数を用いるほうが記述や扱いが簡潔であり、それ故に実世界における応用に際してもしばしば用いられる[要出典]。
回転を表す四元数は四つの実数の組であり、それ故ベクトルとしての長さが 1 であるという制約を課して、回転四元数の自由度を期待されるべき 3 に制限する。四元数は複素数の一般化（例えばケイリー・ディクソン構成）として考えることができて、回転も同様に乗法を使って生成することができるが、行列や複素数の場合と異なり、二つの回転四元数を掛けて
四次元ユークリッド空間において回転する超立方体を三次元に正射影したもの
四次元における一般の回転は、回転の中心となる一点のみを固定し、回転軸を持たない代わりに互いに直交する二つの回転不変面（回転によって、その平面上の各点が回転の後もその平面内に留まるという意味で、固定される面）を持つ。故に四次元での回転は、各回転面においてその上の点の平面回転として定まる、二つの回転角を持つ。その回転角を ω1 および ω2 とすれば、これら回転面上にない任意の点は ω1 と ω2 の間の角を通じて回転する。
ω1 = ω2 となる場合、回転は二重回転となり、全ての点は同一の回転角を持つ。故に任意の直交二平面を回転面として取ることができる。また、ω1 と ω2 のいずれか一方が零であるときは、一方の回転面は各点が不動となり、回転は単回転になる。ω1 と ω2 がともに零であるような回転は、恒等回転である[2]。
四次元の回転は、回転行列の一般化としての、4-次の直交行列で表される。四元数もまた四次元へ一般化された概念であり、四次元幾何代数に属する多重ベクトルともなる。第三のアプローチとして、これは四次元でしか意味を成さないけれども、単位四元数の対を用いる方法がある。
四次元における回転の自由度は 6 であり、このことを見るには二つの単位四元数を用いるのが最も容易である（三次元球面上の点として各単位四元数の自由度は 3, 二つで 2 × 3 = 6 の自由度になる）。
相対論
四次元における回転は特殊相対論にも応用があり、空間次元 3 と時間次元 1 で張られる四次元空間としての時空における操作と考えることができる。特殊相対論においてこの空間は線型であり、ローレンツ変換と呼ばれる四次元回転は実際の物理学的な解釈を持つ。
単回転は空間三次元に関してのみ起きる（つまり、回転面が空間の全体に亙る）ならば、回転は三次元における空間回転と同じになる。しかし、空間次元と時間次元の張る平面の周りの単回転は「ブースト」、つまり二つの異なる基準系の間の変換で、基準系間の相対論的関係によって決まる時空の性質を満たすものとなる。このような回転変換全体の成す集合はローレンツ群を成す[3]。
一般化
直交行列
上で述べた行列全体の成す集合 M(v,θ) の上に行列の乗法を考えたものは回転群 SO(3) である。
もっと一般に、任意次元における座標回転は直交行列によって表される。n-次元直交行列で真の回転を表すもの（行列式 1 のもの）全体の成す集合に、行列の乗法を入れたものは特殊直交群 SO(n) を成す。
直交行列は実成分で考えるが、その複素行列における対応物としてユニタリ行列がある。与えられた次元 n を持つユニタリ行列全体の成す集合は n-次ユニタリ群 U(n) を成し、またその部分群として、真の回転を表すもの全体は n-次特殊ユニタリ群 SU(n) を成す。SU(2) の元は量子力学においてスピンの回転に用いられる。
関連項目
注
参考文献
- Hestenes, David (1999). New Foundations for Classical Mechanics. Dordrecht: Kluwer Academic Publishers. ISBN 0-7923-5514-8.
- Lounesto, Pertti (2001). Clifford algebras and spinors. Cambridge: Cambridge University Press. ISBN 978-0-521-00551-7.
- Brannon, Rebecca M. (2002年). “A review of useful theorems involving proper orthogonal matrices referenced to three-dimensional physical space.”. Albuquerque: Sandia National Laboratories
