9.10 이차원 회전 행렬의 성질

1. 회전 행렬의 정의

이차원 회전 행렬은 반시계 방향으로 각도 $\theta$ 회전을 표현한다.

$\mathbf{R}(\theta) = \begin{bmatrix}\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta\end{bmatrix}$

이 행렬이 $SO(2)$ 군의 원소이며, 모든 이차원 회전의 집합을 형성한다.

2. 직교성과 특수 직교성

2.1 직교성(Orthogonality)

$\mathbf{R}^T\mathbf{R} = \mathbf{R}\mathbf{R}^T = \mathbf{I}$

열벡터들이 정규 직교(orthonormal)이다. 각 열이 단위 길이이고 서로 수직이다.

2.2 특수 직교성(Special Orthogonality)

$\det(\mathbf{R}) = +1$

$\det = -1$ 인 직교 행렬은 반사를 포함하므로 회전이 아니다. 회전 행렬은 손잡이를 보존하며, 오른손 좌표계를 오른손 좌표계로 사상한다.

2.3 $SO(2)$ 군

특수 직교 행렬의 집합 $SO(2) = \{\mathbf{R} \in \mathbb{R}^{2 \times 2} : \mathbf{R}^T\mathbf{R} = \mathbf{I}, \det\mathbf{R} = 1\}$ 이 군(group)을 형성한다.

3. 군 구조

3.1 항등원

$\theta = 0$ 에서 $\mathbf{R}(0) = \mathbf{I}$ 가 군의 항등원이다.

3.2 역원

각 회전의 역은 반대 방향 회전이다.

$\mathbf{R}(\theta)^{-1} = \mathbf{R}(-\theta) = \mathbf{R}(\theta)^T$

3.3 결합 법칙

행렬 곱셈의 결합 법칙에 의해 $(\mathbf{R}_1\mathbf{R}_2)\mathbf{R}_3 = \mathbf{R}_1(\mathbf{R}_2\mathbf{R}_3)$ 이다.

3.4 닫힘(Closure)

두 회전 행렬의 곱도 회전 행렬이다.

$\mathbf{R}(\theta_1)\mathbf{R}(\theta_2) = \mathbf{R}(\theta_1 + \theta_2)$

3.5 교환 법칙

이차원 회전은 가환이다.

$\mathbf{R}(\theta_1)\mathbf{R}(\theta_2) = \mathbf{R}(\theta_2)\mathbf{R}(\theta_1)$

이는 $SO(2)$ 가 아벨 군(abelian group)임을 의미한다. 이 성질은 $SO(3)$ 에서 성립하지 않는 점이 주된 차이이다.

4. 기하학적 보존 성질

4.1 거리 보존

$\lVert\mathbf{R}\mathbf{u} - \mathbf{R}\mathbf{v}\rVert = \lVert\mathbf{u} - \mathbf{v}\rVert$

4.2 각도 보존

두 벡터 사이의 각도가 회전에 의해 유지된다.

4.3 면적 보존

면적이 보존된다. 이는 $\det(\mathbf{R}) = 1$ 의 결과이다.

4.4 원점 보존

회전은 원점을 고정한다: $\mathbf{R}\mathbf{0} = \mathbf{0}$ .

5. 고유값과 고유벡터

이차원 회전 행렬의 고유값은 복소수이다.

$\lambda = \cos\theta \pm i\sin\theta = e^{\pm i\theta}$

실수 영역에서 고유벡터가 없음은 회전이 실수 직선을 고정하지 않음을 의미한다. 단, $\theta = 0$ (항등)과 $\theta = \pi$ (반전)는 예외이다.

6. 복소수 표현

이차원 회전은 복소수로도 표현된다. 복소 평면에서 점 $z = x + iy$ 는 $e^{i\theta}$ 곱으로 회전된다.

$z' = e^{i\theta}z = (\cos\theta + i\sin\theta)(x + iy)$

실수부와 허수부를 분리하면 행렬 형식과 일치한다.

7. 리 군 구조

$SO(2)$ 는 1차원 연결 리 군(Lie group)이다. 매개변수는 회전 각도 $\theta$ 이며, 군 원소를 매끄럽게 매개변수화한다.

7.1 리 대수 $\mathfrak{so}(2)$

$SO(2)$ 의 리 대수는 반대칭 $2 \times 2$ 행렬의 집합이다.

$\mathfrak{so}(2) = \left\{\begin{bmatrix}0 & -a \\ a & 0\end{bmatrix} : a \in \mathbb{R}\right\}$

이는 1차원 벡터 공간이며, 회전 각속도를 표현한다.

7.2 지수 사상

$\mathfrak{so}(2)$ 에서 $SO(2)$ 로의 지수 사상:

$\exp\begin{bmatrix}0 & -\theta \\ \theta & 0\end{bmatrix} = \begin{bmatrix}\cos\theta & -\sin\theta \\ \sin\theta & \cos\theta\end{bmatrix}$

이 사상은 전단사이며(surjective이고 국소 주입적), $SO(2)$ 의 매끄러운 매개변수화를 제공한다.

8. 보간(Interpolation)

두 회전 $\mathbf{R}(\theta_1)$ 과 $\mathbf{R}(\theta_2)$ 사이의 선형 보간은 각도의 선형 보간이다.

$\mathbf{R}(t) = \mathbf{R}((1 - t)\theta_1 + t\theta_2), \quad t \in [0, 1]$

각도는 원형이므로 최단 경로 보간을 위해 $\theta_2 - \theta_1$ 을 $[-\pi, \pi]$ 로 정규화해야 한다.

9. 미분과 각속도

시간에 따라 변하는 회전 $\mathbf{R}(t) = \mathbf{R}(\theta(t))$ 의 미분:

$\dot{\mathbf{R}} = \dot{\theta}\mathbf{J}\mathbf{R}$

여기서 $\mathbf{J} = \begin{bmatrix}0 & -1 \\ 1 & 0\end{bmatrix}$ 이다. $\dot{\theta}$ 는 각속도이며, $\mathbf{J}$ 는 리 대수의 기저이다.

10. 로봇 공학에서의 활용

이동 로봇의 방위: 평면 이동 로봇의 방위각이 이차원 회전으로 표현된다.

2D SLAM: 실내 이동 로봇의 SLAM에서 자세가 $(x, y, \theta)$ 로 표현되며, $\theta$ 가 $SO(2)$ 의 원소이다.

영상 정합(Image Registration): 회전 변환을 이용한 영상 정합에 이차원 회전 행렬이 사용된다.

11. 참고 문헌

Lynch, K. M., & Park, F. C. (2017). Modern Robotics: Mechanics, Planning, and Control. Cambridge University Press.
Siciliano, B., Sciavicco, L., Villani, L., & Oriolo, G. (2009). Robotics: Modelling, Planning and Control. Springer.
Hall, B. C. (2015). Lie Groups, Lie Algebras, and Representations (2nd ed.). Springer.

version: 1.0