回転 (数学)のソースを表示

{{otheruses|幾何学|ベクトル解析|回転 (ベクトル解析)}}
[[file:Rotation illustration2.svg|right|thumb|平面における点 ''O'' の周りでの回転]]

[[初等幾何学]]および[[線型代数学]]における'''回転'''（かいてん、{{lang-en-short|''rotation''}}）は、平面あるいは空間において固定された一点の周りでの[[剛体]]の運動を記述する。回転は、不動点を持たない[[平行移動]]とは違うし、剛体を「裏返し」にしてしまう[[鏡映]]とも異なる。回転を含めたこれらの変換は[[等距変換]]、即ちこれらの変換の前後で二点間の距離を変えない。

回転を考える際には[[基準系]]を知ることが重要であり、全ての回転はある特定の基準系に対するものとして記述される。一般に、ある[[座標系]]に関する剛体の任意の[[直交変換]]に対し、その逆変換が存在して、それを基準系に施すと剛体はもとと同じ座標にいることになる。例えば二次元の座標上の1点を定めて剛体を置いた時、1点を軸として剛体を時計回りに回すことと、剛体を動かさず1点を軸として座標を反時計回りに回すことは等価である。

== 関連概念・用語 ==
[[回転群]]は特定の一点の周りの回転全体の成す[[リー群]] {{math|SO(''n'')}} を言う。この（共通の）[[不動点]]を回転の'''中心'''と呼び、普通はこれを[[原点 (数学)|原点]]と同一視する。回転群は（向きを保つ）{{仮リンク|運動 (数学)|label=運動|en|motion (geometry)}}の成すより大きい群の[[安定化部分群|一点固定部分群]]である。

一つの回転に関して:
* '''{{仮リンク|回転の軸|en|Axis of rotation|label=回転（の）軸}}''' (''axis of rotation'') とは、その回転の不動点全体の成す[[直線]]を言う。これは次元 {{math|''n'' > 2}} においてのみ存在する。
* '''{{仮リンク|回転不変面|en|Plane of rotation|label=回転の面}}''' (''plane of rotation'') とは、その回転の[[群作用]]の下で安定（不変）な[[平面]]（すなわち、回転不変面）を言う。回転軸と異なり、この平面上の各点それ自身はその回転の不動点でない。回転軸が存在するならば、回転軸と回転不変面とは互いに[[直交]]する（軸直交回転面）。
<!--回転の'''表現'''とは、代数的あるいは幾何学的に、媒介変数を用いて回転写像を表す特定の方法論を言う。これはある意味で[[群の表現]]とは逆である。

[[アフィン空間|点の空間]]の回転と[[ベクトル空間]]に関する回転はしばしば区別が曖昧である。前者をアフィン回転、後者をベクトル回転と呼ぶことがあるがこの用語はミスリーディングである。詳細は後述。-->

== 二次元 ==
{{Main|U(1)}}
[[file:Rotation4.svg|right|thumb|平面上で、ある点の周りでの回転に続けて別な点の周りでの回転を行えば、全体としての運動は（図にあるように）回転となるか、さもなくば[[平行移動]]となる。]]
[[file:Simx2=rotOK.svg|right|thumb|ある軸に対する[[鏡映]]に続けて最初の軸と平行でない別な軸に対する鏡映を行った結果は、両軸の交点を中心とする回転運動を与える。]]

二次元における回転を特定するには、'''回転角'''と呼ばれる[[角度]]を一つ決めさえすればよい。回転を記述するために、[[行列]]や[[複素数]]を利用することができる。何れの場合も、回転は[[原点]]を中心に[[反時計回り]]に角 θ だけ物体を回すものとして作用する。

=== 線型代数 ===
行列を用いて回転を記述するには、回転させられる点 (''x'', ''y'') を[[空間ベクトル|ベクトル]]として書いて、角 θ の回転を与えるように計算された行列を掛け合わせることによって
:<math> \begin{bmatrix} x' \\ y' \end{bmatrix} =
 \begin{bmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix}</math>
なる記述を得る。ここで (''x''′, ''y''′) は回転後の点の座標であり、この等式を書き下せば、''x''′ および ''y''′ に関する式
: <math>\begin{align}
x'&=x\cos\theta-y\sin\theta\\
y'&=x\sin\theta+y\cos\theta
\end{align}</math>
を得ることができる。二つのベクトル
: <math>\begin{bmatrix} x \\ y \end{bmatrix},\quad \begin{bmatrix} x' \\ y' \end{bmatrix} </math>
は同じ大きさを持ち、予期された通りの角 &theta; を成す。

=== 複素数 ===
点を複素数を使って回転させることもできる。複素数全体の成す集合は幾何学的には二次元の平面を成し、[[複素平面]]と呼ばれる。平面上の点 (''x'', ''y'') は複素数
: <math>z = x + iy</math>
で表現され、これを角 θ だけ回転させるには ''e''<sup>''i''θ</sup> を掛ける。その積を[[オイラーの公式]]を使って展開すれば

:<math>\begin{align}
e^{i \theta} z &= (\cos \theta + i \sin \theta) (x + i y) \\
               &= (x \cos \theta + i y \cos \theta + i x \sin \theta - y \sin \theta) \\
               &= (x \cos \theta - y \sin \theta) + i (x \sin \theta + y \cos \theta) \\
               &= x' + i y'
\end{align}</math>
となるが、これはすでに前節で得た結果と同じものである。

複素数の積がそうであるように、二次元における回転の任意の合成は[[交換法則|可換]]で、これはより高次の場合にはないものである。二次元の回転の[[自由度]]は 1 しかなく、回転はその回転角によって完全に決定されてしまう<ref>Lounesto 2001, p.30.</ref>。

== 三次元 ==
{{Main|SO(3)}}

[[ユークリッド空間|通常の三次元空間]]における回転は、種々の重要な方法において二次元の場合との違いがある。三次元の回転は一般には[[可換]]でないから、回転を施す順番は重要である。三次元での回転の自由度は 3 で、次元の値と同一である。

三次元回転を特定する方法は様々にあり、もっともよく用いられるものをいくつか以下に挙げる。

=== 線型代数 ===
{{Main|回転行列}}
二次元の場合と同様、点 (''x'', ''y'', ''z'') を点 (''x''′, ''y''′, ''z''′) に写す回転に対しても行列を用いることができる。ここで用いるのは 3&nbsp;×&nbsp;3 行列
: <math>\mathbf{A} = \begin{bmatrix} a & b & c \\ d & e & f \\ g & h & i  \end{bmatrix}</math>
であり、これを点を表すベクトルに掛け合わせれば、
: <math>
 \mathbf{A}
 \begin{bmatrix} x \\ y \\ z \end{bmatrix} =
 \begin{bmatrix} a & b & c \\ d & e & f \\ g & h & i  \end{bmatrix}
 \begin{bmatrix} x \\ y \\ z \end{bmatrix} =
 \begin{bmatrix} x' \\ y' \\ z' \end{bmatrix} </math>
を得る。この行列 '''A''' は三次元[[特殊直交群]] SO(3) の元、つまり[[行列式]] 1 の[[直交行列]]である。直交行列であるということは、その行ベクトルが互いに[[直交]]する[[単位ベクトル]]の集合（つまり[[正規直交基底]]）となることを意味する（列ベクトルについても同じことが言える）から、このことを使えば、行列が回転行列であるかの検討を付けたり確かめたりすることは容易である。回転行列の行列式の値は 1 でなければならず、ほかに直交行列が取れる行列式の値は -1 だけであって、この場合に得られる直交変換は[[鏡映]]、[[回映]]または[[点に関する反転]]であって回転ではない。

行列は、それが[[線型写像]]を直截に表現するものであるのと同様、特に多数の点を同時に変換する際の変換を表すものとしてもよく用いられるものである。様々な方法で表された回転は、それを行列表示に直すこともよく行われる。[[斉次座標系]]を用いれば回転も変換も同時に表すように拡張して扱うことができる。[[射影空間|斉次座標系を備えたこの空間]]における変換は 4&nbsp;×&nbsp;4 行列で表され、これ自体は回転行列ではないけれども、その左上の 3 行 3 列は回転行列になっている。

行列を用いることの不利な点は主に、計算量が多くなることと、計算に持ち込むのが面倒であることである。行列に関しては[[数値的安定性|数値的不安定性]]が増加しやすい傾向があるので、計算には[[直交性]]を確保することが要となるが、それも行列にとっては計算量の負担となるので頻繁に行っておく必要がある。

=== 移動体の主軸回転 ===
{{Main|ローリング|ピッチング|ヨーイング}}
[[file:Flight dynamics with text.png|right|thumb|空間における回転の主軸]]
二次元の回転角を一般化する一つの方法として、三つの主軸の周りでの転回を与える三つの回転角を指定する方法がある。それらは個々に[[ローリング|ロール]]・[[ピッチング|ピッチ]]・[[ヨーイング|ヨー]]角と一般には呼ばれているが、数学においてはより数学的な名前で[[オイラー角]]という。これらの角は[[ジンバル]]や[[ジョイスティック]]のような物理的系の数々のモデル化において優れており、容易に視覚化することもできるし、非常に簡潔に回転を記録することができる。しかしこの角の概念は計算には向いておらず、たとえ回転を組み合わせる単純な操作でさえも、計算を実行するのは手が掛かりすぎる。また、ある種の回転に対してはオイラー角が一意に決まらないという[[ジンバルロック]]といった形でも弱点を持っている。

=== オイラー回転 ===
{{Main|オイラー角}}
[[file:Praezession.svg|thumb|170px|left|地球に対するオイラー回転: 自転 (緑), 歳差 (青), 章動 (赤)]]
オイラー回転は、三つの[[オイラー角]]のうち二つを動かさずに残りの一つだけを変化させて得られる運動としての、三種類の回転からなる集合を言う。オイラー回転を外部の基準系や移動体とともに回転する基準系の言葉で記述することはできず、それらを組み合わせなければならない。そうして'''回転の混合軸系''' (''mixed axes of rotation'' system) が得られ、第一の角は外部軸 ''z'' の周りで結節点の成す直線を動かし、第二のはその結節点の成す直線の周りでの回転を示し、第三の角は移動体に固定された軸の周りでの内部的な回転（自転）を表す。

これらの三種の回転をそれぞれ、[[歳差運動]] (Precession), [[章動運動]] (Nutation), [[自転]] (intrinsic rotation) と呼ぶ。

=== 軸角 ===
{{Main|軸角度表現}}
[[file:Euler AxisAngle.png|thumb|right|150px|オイラー軸と角によって表される回転]]
二次元の[[回転角]]を一般化するもう一つの方法として、その周りで回転を行う軸と軸との角度とを特定するやり方がある。これは[[蝶番]]と[[心棒]]によって制約を受ける運動をモデル化するのに用いることができ、従って視覚化が（恐らくオイラー角よりも）容易である。軸角度表現には
* 二つの角度と軸方向の単位ベクトルの組として表す方法、
* 回転ベクトルと呼ばれる、単位ベクトルに回転角を掛け合わせたもので表す方法
の二種類の表し方がある。普通は角度と軸の対を合わせて扱う方が容易であり、一方の回転ベクトルは、オイラー角同様に三つの数値が与えられればよいから、より簡潔に表せる。しかし、オイラー角同様に、先に述べたような他の表現に直して扱うことの方が普通である。

=== 四元数 ===
{{Main|四元数と空間回転}}

[[四元数]]は、ある意味で三次元の回転を表すのに最も直観の少ない方法である。これらは行列などを用いる一般的なアプローチでは実態として三次元ではないし、オイラー角や軸角のように実世界との関連も容易に見て取ることはできないが、しかしそれらの手法の何れと比べても四元数を用いるほうが記述や扱いが簡潔であり、それ故に実世界における応用に際してもしばしば用いられる{{Citation needed|date=July 2010}}。

回転を表す四元数は四つの実数の組であり、それ故ベクトルとしての長さが 1 であるという制約を課して、回転四元数の自由度を期待されるべき 3 に制限する。四元数は複素数の一般化（例えば[[ケイリー・ディクソン構成]]）として考えることができて、回転も同様に乗法を使って生成することができるが、行列や複素数の場合と異なり、二つの回転四元数を掛けて
: <math>\mathbf{x}' = q\mathbf{x}q^{-1}</math>
とする必要がある。ここで、''q'' は回転四元数、''q''<sup>−1</sup> はその逆数で、'''x''' はベクトルとして扱われた四元数である。四元数を軸角回転の形の回転ベクトルに、四元数上の[[指数函数]]
: <math>q = e^{\mathbf{v}/2}</math>
を用いて関連付けることができる。ここで '''v''' は四元数として扱った回転ベクトルである。

== 四次元 ==
{{See also|四次元ユークリッド空間における回転}}
[[File:8-cell.gif|thumb|四次元ユークリッド空間において回転する[[超立方体]]を三次元に正射影したもの]]

四次元における一般の回転は、回転の中心となる一点のみを固定し、回転軸を持たない代わりに互いに直交する二つの回転不変面（回転によって、その平面上の各点が回転の後もその平面内に留まるという意味で、固定される面）を持つ。故に四次元での回転は、各[[回転不変面|回転面]]においてその上の点の平面回転として定まる、二つの回転角を持つ。その回転角を ω<sub>1</sub> および ω<sub>2</sub> とすれば、これら回転面上にない任意の点は ω<sub>1</sub> と ω<sub>2</sub> の間の角を通じて回転する。

ω<sub>1</sub> = ω<sub>2</sub> となる場合、回転は二重回転となり、全ての点は同一の回転角を持つ。故に任意の直交二平面を回転面として取ることができる。また、ω<sub>1</sub> と ω<sub>2</sub> のいずれか一方が零であるときは、一方の回転面は各点が不動となり、回転は単回転になる。ω<sub>1</sub> と ω<sub>2</sub> がともに零であるような回転は、恒等回転である<ref>Lounesto 2001, pp. 85, 89.</ref>。

四次元の回転は、回転行列の一般化としての、4-次の[[直交行列]]で表される。四元数もまた四次元へ一般化された概念であり、四次元[[幾何代数]]に属する[[多重ベクトル]]ともなる。第三のアプローチとして、これは四次元でしか意味を成さないけれども、{{仮リンク|四元数と空間回転|en|Quaternions and spatial rotation#Pairs_of_unit_quaternions_as_rotations_in_4D_space|label=単位四元数の対}}を用いる方法がある。

四次元における回転の自由度は 6 であり、このことを見るには二つの単位四元数を用いるのが最も容易である（[[三次元球面]]上の点として各単位四元数の自由度は 3, 二つで 2 × 3 = 6 の自由度になる）。

=== 相対論 ===
四次元における回転は[[特殊相対論]]にも応用があり、空間次元 3 と時間次元 1 で張られる四次元空間としての[[時空]]における操作と考えることができる。特殊相対論においてこの空間は線型であり、[[ローレンツ変換]]と呼ばれる四次元回転は実際の物理学的な解釈を持つ。

単回転は空間三次元に関してのみ起きる（つまり、回転面が空間の全体に亙る）ならば、回転は三次元における空間回転と同じになる。しかし、空間次元と時間次元の張る平面の周りの単回転は「ブースト」、つまり二つの異なる[[基準系]]の間の変換で、基準系間の相対論的関係によって決まる時空の性質を満たすものとなる。このような回転変換全体の成す集合は[[ローレンツ群]]を成す<ref>Hestenes 1999, pp. 580 - 588.</ref>。

== 一般化 ==
=== 直交行列 ===
上で述べた行列全体の成す集合 ''M''('''v''',θ) の上に[[行列の乗法]]を考えたものは[[SO(3)|回転群 ''SO''(3)]] である。

もっと一般に、任意次元における座標回転は直交行列によって表される。''n''-次元直交行列で真の回転を表すもの（行列式 1 のもの）全体の成す集合に、行列の乗法を入れたものは[[特殊直交群]] ''SO''(''n'') を成す。

直交行列は実成分で考えるが、その複素行列における対応物として[[ユニタリ行列]]がある。与えられた次元 ''n'' を持つユニタリ行列全体の成す集合は ''n''-次[[ユニタリ群]] ''U''(''n'') を成し、またその部分群として、真の回転を表すもの全体は ''n''-次[[特殊ユニタリ群]] ''SU''(''n'') を成す。''SU''(2) の元は[[量子力学]]において[[スピン角運動量|スピン]]の回転に用いられる。

== 関連項目 ==
* {{仮リンク|三次元における回転の各種定式化|en|Rotation formalisms in three dimensions}}
* [[スピノル]]
* [[SO(3)上のチャート]]
* [[オイラー角]]
* [[渦|渦流体]]
* {{仮リンク|座標回転と鏡映|en|Coordinate rotations and reflections}}
* [[ロドリゲスの回転公式]]
* [[回転行列]]
* [[向き]]
* [[無理回転]]

== 注 ==
{{Reflist}}

== 参考文献 ==
* {{cite book|last=Hestenes|first=David|authorlink= David Hestenes|title=New Foundations for Classical Mechanics|publisher=[[Springer Science+Business Media|Kluwer Academic Publishers]]|location=[[Dordrecht]]|isbn=0-7923-5514-8| year=1999}}
* {{Cite book| last=Lounesto| first=Pertti| title=Clifford algebras and spinors| publisher=[[Cambridge University Press]]| location=Cambridge ||isbn=978-0-521-00551-7| year=2001}}
* {{cite article|last=Brannon|first=Rebecca M.|authorlink=|title=A review of useful theorems involving proper orthogonal matrices referenced to three-dimensional physical space.|publisher=[[Sandia National Laboratories]]|location=[[Albuquerque]]|url=http://www.mech.utah.edu/~brannon/public/rotation.pdf| year=2002}}

== 外部リンク ==
* [http://www.euclideanspace.com/maths/geometry/affine/aroundPoint/ Rotation about any point]

{{DEFAULTSORT:かいてん}}
[[Category:ユークリッド空間の対称変換]]
[[Category:回転対称性]]
[[Category:一次変換]]
[[Category:ユニタリ作用素]]
[[Category:数学に関する記事]]

[[fr:Rotation#En mathématiques]]