9.33 축-각도(Axis-Angle) 표현의 정의

1. 축-각도 표현의 기본 개념

축-각도 표현(axis-angle representation)은 3차원 회전을 회전 축 $\hat{\mathbf{u}}$ 와 회전 각 $\phi$ 의 쌍 $(\hat{\mathbf{u}}, \phi)$ 로 나타내는 방식이다. 오일러 각처럼 세 번의 기본 회전으로 분해하지 않고, 회전을 단일한 기하학적 작용으로 통합하여 표현한다.

2. 오일러의 회전 정리

축-각도 표현의 수학적 근거는 **오일러의 회전 정리(Euler’s rotation theorem)**이다.

정리: 3차원 공간에서 원점을 고정하는 모든 강체 회전은, 원점을 지나는 어떤 직선(회전 축)과 그 축 주위의 하나의 회전 각으로 표현될 수 있다.

이 정리는 오일러(Leonhard Euler, 1776)가 증명했으며, 3차원 회전이 본질적으로 하나의 축 주위의 단일 회전으로 환원될 수 있음을 나타낸다. 즉, 아무리 복잡한 연속적 회전 합성도 결과적으로는 어떤 단일 축 주위의 회전과 동일하다.

3. 정식 정의

축-각도 표현은 다음의 두 성분으로 구성된다.

3.1 회전 축 $\hat{\mathbf{u}}$

원점을 지나는 회전 축의 방향을 나타내는 단위 벡터.

$\hat{\mathbf{u}} = (u_x, u_y, u_z)^T \in \mathbb{R}^3, \quad \lVert \hat{\mathbf{u}} \rVert = 1$

회전 축은 $S^2$ (3차원 단위 구면) 상의 점으로 표현된다. 단위 벡터 조건에 의해 자유도는 2이다.

3.2 회전 각 $\phi$

회전 축 주위로 얼마나 회전하는지를 나타내는 스칼라 각도.

$\phi \in [0, \pi]$

회전 각은 통상 $[0, \pi]$ 의 범위로 제한된다. 이는 $\phi > \pi$ 인 회전이 반대 방향 축에 대한 $2\pi - \phi$ 회전과 동일하기 때문이다.

4. 축-각도 쌍의 대칭성

축-각도 쌍은 다음의 대칭 관계를 만족한다.

$(\hat{\mathbf{u}}, \phi) \equiv (-\hat{\mathbf{u}}, -\phi)$

즉, 축의 방향을 뒤집고 각도의 부호를 바꾸면 같은 회전을 나타낸다. 이 대칭성은 오른손 법칙에 따른 회전의 자연스러운 성질이다.

5. 회전 벡터 표현

축과 각도를 하나의 3차원 벡터로 결합한 것이 회전 벡터(rotation vector) 또는 **지수 좌표(exponential coordinates)**이다.

$\boldsymbol{\phi} = \phi \hat{\mathbf{u}} \in \mathbb{R}^3$

회전 벡터의 크기는 회전 각, 방향은 회전 축이다.

$\phi = \lVert \boldsymbol{\phi} \rVert, \quad \hat{\mathbf{u}} = \boldsymbol{\phi}/\phi$

이 표현은 세 성분으로 회전을 기술하며, $SO(3)$ 의 리 대수 $\mathfrak{so}(3)$ 의 자연스러운 좌표이다.

6. 자유도의 분석

축-각도 표현은 다음과 같이 3자유도를 가진다.

회전 축 $\hat{\mathbf{u}} \in S^2$ : 2자유도
회전 각 $\phi \in [0, \pi]$ : 1자유도

합계 3자유도로 $SO(3)$ 의 차원과 일치한다.

7. 기하학적 시각화

축-각도 표현은 손목시계의 시침처럼 직관적으로 이해할 수 있다. 회전 축은 시계 판 중심을 지나 기계 내부로 향하는 막대로 상상하고, 시침이 이 막대 주위를 $\phi$ 만큼 회전하는 것과 같다. 시계 판이 기울어진 정도가 축의 방향을 결정하고, 시침의 회전이 회전 각을 결정한다.

8. 축-각도와 기본 회전의 관계

세 기본 회전은 축-각도 표현의 특수한 경우에 해당한다.

$\mathbf{R}_x(\phi) = \mathrm{AxisAngle}((1, 0, 0), \phi)$

$\mathbf{R}_y(\phi) = \mathrm{AxisAngle}((0, 1, 0), \phi)$

$\mathbf{R}_z(\phi) = \mathrm{AxisAngle}((0, 0, 1), \phi)$

즉, 축이 기본 방향의 단위 벡터일 때 축-각도 표현이 기본 회전 행렬과 같아진다.

9. 항등 회전과의 관계

$\phi = 0$ 일 때 축-각도 표현은 항등 회전을 나타낸다.

$\mathrm{AxisAngle}(\hat{\mathbf{u}}, 0) = \mathbf{I}$

이 경우 어떤 축 $\hat{\mathbf{u}}$ 도 유효하며, 축이 유일하게 결정되지 않는다. 이는 축-각도 표현의 경미한 특이성이다.

10. $\phi = \pi$ 에서의 특이성

$\phi = \pi$ (180도 회전)일 때에도 축-각도 쌍이 유일하지 않다. $(\hat{\mathbf{u}}, \pi)$ 와 $(-\hat{\mathbf{u}}, \pi)$ 가 같은 회전을 나타내기 때문이다.

$\mathbf{R}(\hat{\mathbf{u}}, \pi) = \mathbf{R}(-\hat{\mathbf{u}}, \pi)$

이는 180도 회전이 축의 방향과 무관하게 같은 결과를 만든다는 사실에서 유래한다.

11. 로드리게스 공식과의 연결

축-각도 표현 $(\hat{\mathbf{u}}, \phi)$ 로부터 회전 행렬로의 변환은 **로드리게스 공식(Rodrigues’ rotation formula)**으로 주어진다.

$\mathbf{R} = \mathbf{I} + \sin\phi\,[\hat{\mathbf{u}}]_\times + (1 - \cos\phi)\,[\hat{\mathbf{u}}]_\times^2$

여기서 $[\hat{\mathbf{u}}]_\times$ 는 $\hat{\mathbf{u}}$ 의 반대칭(skew-symmetric) 행렬이다.

$[\hat{\mathbf{u}}]_\times = \begin{bmatrix}0 & -u_z & u_y \\ u_z & 0 & -u_x \\ -u_y & u_x & 0\end{bmatrix}$

이 공식은 축-각도 표현의 실용적 계산의 기초가 된다.

12. 지수 사상으로의 확장

회전 벡터 $\boldsymbol{\phi} = \phi \hat{\mathbf{u}}$ 에 대해 회전 행렬은 행렬 지수 함수로 표현된다.

$\mathbf{R} = \exp([\boldsymbol{\phi}]_\times)$

이 관계는 $\mathfrak{so}(3)$ 에서 $SO(3)$ 으로의 지수 사상이며, 리 군 이론의 기본 구성이다. 로드리게스 공식은 이 지수 함수의 닫힌 형태에 해당한다.

13. 축-각도 표현의 장점

13.1 특이점이 거의 없음

오일러 각의 짐벌 락에 해당하는 심각한 특이점이 없다. $\phi = 0$ 에서 축이 불확정이나, 이는 국소적이고 수치적으로 처리가 간단한 특이성이다.

13.2 물리적 직관성

회전의 축과 각도가 각각 명확한 물리적 의미를 가진다. 특히 작은 회전의 경우 축은 각속도의 방향, 각도는 각속도의 크기에 가깝게 해석된다.

13.3 리 대수와의 직접 연결

지수 좌표로서 $\mathfrak{so}(3)$ 의 자연스러운 좌표이므로, 리 군 이론의 기법을 직접 적용할 수 있다. 이는 최적화와 접공간 기반 필터링에서 중요하다.

14. 축-각도 표현의 단점

14.1 합성의 복잡성

두 축-각도 표현의 합성은 회전 행렬이나 쿼터니언 수준에서만 직접 가능하며, 축과 각도 수준에서의 합성 공식은 존재하지만 복잡하다.

14.2 $\phi \approx 0$ 에서의 수치적 이슈

$\phi$ 가 0에 가까울 때 $\hat{\mathbf{u}} = \boldsymbol{\phi}/\phi$ 의 계산에서 0으로 나누는 문제가 발생한다. 테일러 전개를 이용한 수치적 안정화가 필요하다.

15. 로봇 공학에서의 응용

15.1 회전 오차의 표현

두 자세의 차이를 표현하는 회전 오차는 축-각도 또는 회전 벡터로 기술하는 것이 자연스럽다. 오차의 크기가 회전 각, 방향이 회전 축이다.

15.2 경로 계획

두 자세 사이의 “가장 짧은 회전“은 축-각도 표현의 단일 축 주위 회전이다. 이는 회전 공간의 측지선이며, 경로 계획에 최적이다.

15.3 자세 제어

자세 제어에서 목표 자세와 현재 자세의 회전 오차를 축-각도로 표현하고, 회전 벡터를 제어 피드백으로 사용하는 방식이 일반적이다.

15.4 센서 측정

많은 관성 센서와 시각 SLAM 시스템이 회전 증분을 축-각도 또는 회전 벡터 형태로 출력한다.

16. 참고 문헌

Euler, L. (1776). “Formulae Generales pro Translatione Quacunque Corporum Rigidorum.” Novi Commentarii Academiae Scientiarum Petropolitanae, 20, 189–207.
Rodrigues, O. (1840). “Des lois géométriques qui régissent les déplacements d’un système solide dans l’espace.” Journal de Mathématiques Pures et Appliquées, 5, 380–440.
Murray, R. M., Li, Z., & Sastry, S. S. (1994). A Mathematical Introduction to Robotic Manipulation. CRC Press.
Shuster, M. D. (1993). “A Survey of Attitude Representations.” Journal of the Astronautical Sciences, 41(4), 439–517.
Barfoot, T. D. (2017). State Estimation for Robotics. Cambridge University Press.

version: 1.0