回転行列
線型代数において、回転行列(かいてんぎょうれつ、rotation matrix)とは、ユークリッド空間内における原点中心の回転変換の表現行列のことである。
2次元や3次元の回転は、幾何学、物理学、コンピュータグラフィックスの分野での計算に非常によく使われている。大半の応用で扱うのはこのふたつの場合だが、一般の次元でも回転行列を定義することができる。
n 次元空間における回転行列は、実数を成分とする正方行列であって、行列式が 1 の n 次直交行列として特徴づけられる:
{}^t\!R =R^{-1} ,\;\det R=1.
n 次元の回転行列の全体は特殊直交群(あるいは回転群)と呼ばれる群をなす。
2次元ユークリッド空間では、原点中心の θ 回転(反時計回りを正とする)の回転行列は、以下の形で表すことができる。
R(\theta )=\begin{bmatrix}
\cos \theta &-\sin \theta \\
\sin \theta &\cos \theta \\
\end{bmatrix}
なぜならば、原点中心に θ 回転して点 (x, y) が (x ', y ') に写るとすると、図形的考察または三角関数の加法定理より、x ', y ' は以下のように表されることが分かる。
x'=x\cos \theta -y\sin \theta
y'=x\sin \theta +y\cos \theta
このことを行列の積で表すと、
\begin{bmatrix} x' \\ y' \end{bmatrix} = \begin{bmatrix}
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta \\
\end{bmatrix}
\begin{bmatrix} x \\ y \end{bmatrix}
となるからである。
逆の回転は、回転角が −θ になるだけなので、
R(-\theta )=\begin{bmatrix}
\cos (-\theta) & -\sin (-\theta) \\
\sin (-\theta) & \cos (-\theta) \\
\end{bmatrix} = \begin{bmatrix}
\cos \theta & \sin \theta \\
-\sin \theta & \cos \theta \\
\end{bmatrix}
となる。
R(\theta) = \exp\left(\theta \begin{bmatrix} 0 & -1 \\ 1 & 0 \end{bmatrix}\right)
もある。
3次元空間でのx軸、y軸、z軸周りの回転を表す回転行列は、それぞれ次の通りである:
R_x (\theta )=\begin{bmatrix}
1 &0 &0 \\
0 &\cos \theta &-\sin \theta \\
0 &\sin \theta &\cos \theta \\
\end{bmatrix}
R_y (\theta )=\begin{bmatrix}
\cos \theta &0 &\sin \theta \\
0 & 1 & 0 \\
-\sin \theta &0 &\cos \theta \\
\end{bmatrix}
R_z (\theta )=\begin{bmatrix}
\cos \theta &-\sin \theta &0 \\
\sin \theta &\cos \theta &0 \\
0 &0 &1
\end{bmatrix}
ここで回転の方向は、R_x はy軸をz軸に向ける方向、R_y はz軸をx軸に向ける方向、R_z はx軸をy軸に向ける方向である。
一般の回転行列も、これら3つの各軸周りの回転行列 R_x,R_y,R_z の積によって得ることができる。
例えば、次の積
R_z (\gamma ) R_x (\beta ) R_y (\alpha )
は、yxz系で表したときのオイラー角が α, β, γ であるような回転を表す。
任意の回転行列は、ある軸 \mathbf{n} まわりの角度 \theta の回転という形に表示できる(オイラーの定理 (剛体) )。このような回転行列はロドリゲスの回転公式により
R_\mathbf{n} (\theta ) = \begin{bmatrix}
\cos \theta + n_{x}^{2} \left( 1- \cos \theta \right) & n_{x}n_{y} \left( 1- \cos \theta \right) - n_{z} \sin \theta & n_{z}n_{x} \left( 1- \cos \theta \right) + n_{y} \sin \theta \\
n_{x}n_{y} \left( 1- \cos \theta \right) + n_{z} \sin \theta & \cos \theta + n_{y}^{2} \left( 1- \cos \theta \right) & n_{y}n_{z} \left( 1- \cos \theta \right) - n_{x} \sin \theta \\
n_{z}n_{x} \left( 1- \cos \theta \right) - n_{y} \sin \theta & n_{y}n_{z} \left( 1- \cos \theta \right) + n_{x} \sin \theta & \cos \theta + n_{z}^{2} \left( 1- \cos \theta \right) \\
\end{bmatrix}
と表示できる。また、任意のベクトル \mathbf{r} へのその作用は
R_\mathbf{n} ( \theta ) \mathbf{r} = \mathbf{r} \cos \theta + \mathbf{n} ( \mathbf{n} \cdot \mathbf{r} ) ( 1 - \cos \theta ) + (\mathbf{n} \times \mathbf{r}) \sin \theta
と書ける。
フェリックス・クラインによって考案されたケーリー・クラインのパラメータは、回転行列を4つの複素数 \alpha, \beta, \gamma, \delta(ただし \beta = \gamma^*, \delta = \alpha^*を満たすものとする)を用いて
R ( \alpha, \beta, \gamma, \delta ) = \begin{bmatrix}
\frac{1}{2} ( \alpha^2 - \gamma^2 + \delta^2 - \beta^2 ) & \frac{i}{2} ( \gamma^2 - \alpha^2 + \delta^2 - \beta^2 ) & \gamma \delta - \alpha \beta \\
\frac{i}{2} ( \alpha^2 + \gamma^2 - \beta^2 - \delta^2 ) & \frac{1}{2} ( \alpha^2 + \gamma^2 + \beta^2 + \gamma^2 ) & - i ( \alpha \beta + \gamma \delta ) \\
\beta \delta - \alpha \gamma & i ( \alpha \gamma + \beta \delta ) & \alpha \delta + \beta \gamma
\end{bmatrix}
と表示するものである。