10.45 회전 표현의 특이점 비교 분석

1. 회전 표현과 특이점의 관계

3차원 회전 $SO(3)$ 을 매개화하는 다양한 방법 각각이 고유한 특이점을 가진다. 위상학적으로 $SO(3)$ 은 3 매개변수로 매끄럽게(특이점 없이) 덮을 수 없으므로, 3 매개변수 표현은 반드시 특이점을 가진다. 4 매개변수 이상을 사용하면 매끄러운 매개화가 가능하지만, 제약 조건이 추가된다.

본 절에서는 주요 회전 표현의 특이점을 체계적으로 비교 분석한다.

2. 매개화의 기본 원리

2.1 매개변수 수와 특이점의 관계

매개변수 수	특이점	제약
3	필연	없음
4	회피 가능	1개
9	없음	6개

매개변수 수가 많을수록 특이점을 회피할 가능성이 높지만, 제약 조건이 증가한다.

2.2 털공 정리와 $SO(3)$

위상학적으로 $SO(3)$ 은 단순 연결이 아니며, 3 매개변수로 매끄럽게 덮을 수 없다. 이는 3 매개변수 표현이 반드시 특이점을 가진다는 것을 의미한다.

3. 주요 회전 표현

본 절에서 다루는 주요 회전 표현은 다음과 같다.

오일러 각 (3 매개변수)
축-각도 (4 매개변수, 1 제약)
회전 벡터 (3 매개변수)
쿼터니언 (4 매개변수, 1 제약)
회전 행렬 (9 매개변수, 6 제약)
CRP (Cayley-Rodrigues Parameter) (3 매개변수)
MRP (Modified Rodrigues Parameter) (3 매개변수)

4. 오일러 각의 특이점

4.1 특이점의 위치

오일러 각의 특이점은 중간 각의 특정 값에서 발생한다.

테이트-브라이언 (예: $ZYX$ ): 중간 각 $= \pm\pi/2$
고유 오일러 각 (예: $ZYZ$ ): 중간 각 $= 0$ 또는 $\pi$

4.2 짐벌 락

이 특이점이 짐벌 락이다. 두 회전 축이 평행하게 정렬되어 자유도가 손실된다.

4.3 심각성

오일러 각의 특이점은 매우 심각하다. 매개변수의 자유도가 실제로 감소하고, 수치 알고리즘이 발산할 수 있다.

5. 축-각도 표현의 특이점

5.1 항등 회전

회전 각 $\phi = 0$ 에서 회전 축이 결정되지 않는다. 이는 “축이 모호한” 특이점이다.

5.2 도 회전

$\phi = \pi$ 에서 $(\hat{\mathbf{u}}, \pi)$ 와 $(-\hat{\mathbf{u}}, \pi)$ 가 같은 회전을 나타낸다.

5.3 심각성

축-각도의 특이점은 경미하다. 항등 회전은 임의의 축을 선택하여 처리할 수 있고, 180도 이중성은 관례로 해결된다.

6. 회전 벡터의 특이점

6.1 정의

회전 벡터는 $\boldsymbol{\phi} = \phi\hat{\mathbf{u}}$ 로 축과 각도를 결합한 형태이다.

6.2 특이점

$\phi = 0$ : 축 모호성 (매우 경미, 영벡터로 표현됨)
$\phi = \pi$ : 매개변수 공간의 경계에서의 “접힘”

6.3 위상학적 분석

회전 벡터는 반지름 $\pi$ 의 공 내부의 점으로 $SO(3)$ 을 매개화한다. 경계 $\phi = \pi$ 에서 대척점이 동일시되어 매개변수 공간이 복잡한 위상을 가진다.

6.4 심각성

작은 회전에서는 회전 벡터가 매우 잘 작동하지만, $\phi = \pi$ 근처에서는 주의가 필요하다. 오일러 각의 짐벌 락보다는 덜 심각하다.

7. 쿼터니언의 “특이점”

7.1 부호 이중성

$\mathbf{q}$ 와 $-\mathbf{q}$ 가 같은 회전을 나타낸다.

7.2 엄격한 의미의 특이점 없음

쿼터니언 매개화는 엄격한 의미의 특이점이 없다. 부호 이중성은 매개변수가 감소하거나 야코비안이 특이해지는 것이 아니라 단순히 같은 회전의 두 가지 표현이다.

7.3 심각성

매우 경미하다. 일관된 부호 처리로 쉽게 해결된다. 대부분의 실용적 응용에서 거의 느껴지지 않는다.

8. 회전 행렬의 특이점

8.1 완전한 매개화

회전 행렬은 9 매개변수를 사용하지만, 정규 직교 조건과 $\det = 1$ 조건으로 자유도가 3이다. 이 매개화는 $SO(3)$ 전체를 매끄럽게 덮는다.

8.2 특이점 없음

회전 행렬 매개화에는 특이점이 없다. 이것이 회전 행렬의 가장 큰 장점이다.

8.3 단점

메모리 많이 사용 (9 매개변수)
정규 직교 제약 유지가 필요
부동 소수점 오차로 단위 노름이 손실되면 재정규화 필요

9. CRP (Cayley-Rodrigues Parameter)

9.1 정의

$\mathbf{p} = \tan(\phi/2)\hat{\mathbf{u}}$

9.2 특이점

$\phi = \pi$ 에서 $\tan(\pi/2) = \infty$ 이므로 특이점이다. 즉, 180도 회전을 표현할 수 없다.

9.3 심각성

심각하다. 180도 회전에 접근할 수 없으므로 실용성이 제한된다. 작업 영역이 $\phi < \pi$ 로 제한된 응용에서만 사용된다.

10. MRP (Modified Rodrigues Parameter)

10.1 정의

$\mathbf{p} = \tan(\phi/4)\hat{\mathbf{u}}$

10.2 특이점

$\phi = 2\pi$ 에서 $\tan(\pi/2) = \infty$ 이므로 특이점이다.

10.3 심각성

CRP보다 덜 심각하다. $\phi = 2\pi$ 는 $\phi = 0$ 과 같은 회전이므로, 대체 MRP(shadow MRP)로 전환하여 처리할 수 있다.

11. 비교 표

표현	매개변수	제약	특이점 위치	심각성
오일러 각	3	0	짐벌 락	높음
축-각도	3+1	1	항등, 180°	낮음
회전 벡터	3	0	$\phi = \pi$ 경계	중간
쿼터니언	4	1	부호 이중성만	매우 낮음
회전 행렬	9	6	없음	없음
CRP	3	0	$\phi = \pi$	높음
MRP	3	0	$\phi = 2\pi$	중간

12. 특이점의 실용적 영향

12.1 오일러 각의 짐벌 락

작업 영역을 제한해야 함
자세 추정과 제어에 부적합
사용자 인터페이스에는 여전히 유용

12.2 축-각도의 특이점

항등 회전 처리를 위한 예외 처리만 필요
대부분의 응용에서 문제 없음

12.3 회전 벡터의 경계

$\phi = \pi$ 근처에서 주의 필요
비선형 최적화에서 가끔 문제

12.4 쿼터니언의 부호 이중성

일관된 처리로 쉽게 해결
거의 모든 응용에서 표준

12.5 회전 행렬의 특이점 없음

유일하게 완전히 매끄러운 표현
단점은 메모리와 제약

12.6 CRP의 180도 회피

실용성이 심각하게 제한
특수 응용에만 사용

12.7 MRP의 그림자 전환

대체 매개화로 해결 가능
우주선 자세 제어에서 주로 사용

13. 응용에 따른 선택

13.1 내부 상태 표현

쿼터니언이 가장 일반적이다. 짐벌 락 없고 효율적이다.

13.2 사용자 인터페이스

오일러 각이 직관성 때문에 사용된다. 짐벌 락은 UI에서만 문제이므로 수치 알고리즘에는 영향이 없다.

13.3 점 변환

회전 행렬이 효율적이다. 쿼터니언으로 저장하고 변환이 필요할 때 행렬로 변환한다.

13.4 비선형 최적화

회전 벡터 또는 리 대수 좌표가 자유 매개변수이므로 적합하다. 큰 회전이 있으면 쿼터니언과 함께 사용한다.

13.5 시각적 분석

축-각도가 가장 직관적이다. 회전의 축과 크기가 명확히 분리된다.

13.6 우주선 자세 제어

쿼터니언 또는 MRP가 우주 항공에서 사용된다. 특이점 처리가 우주 임무의 안전에 중요하다.

14. 혼합 사용

실제 시스템은 여러 표현을 혼합하여 사용한다.

14.1 일반적 패턴

내부 저장: 쿼터니언 또는 회전 행렬
사용자 UI: 오일러 각
비선형 최적화: 회전 벡터
점 변환: 회전 행렬
보간: 쿼터니언 SLERP

15. 위상학적 관점

15.1 $SO(3)$ 의 위상

$SO(3)$ 은 컴팩트 3차원 매니폴드이며, 실사영 공간 $\mathbb{RP}^3$ 와 동형이다. 이는 “이중 피복“을 통해 이해할 수 있다.

$SO(3) = S^3/\{\pm 1\}$

15.2 매개화의 한계

위상학적으로 $\mathbb{RP}^3$ 는 3차원 유클리드 공간 $\mathbb{R}^3$ 와 동형이 아니다. 따라서 3 매개변수로 매끄럽게 매개화할 수 없다.

15.3 매개변수의 이점

4 매개변수 $S^3$ 은 단순 연결이며, $SO(3)$ 의 보편 피복이다. 이 구조가 쿼터니언이 짐벌 락을 회피할 수 있게 한다.

16. 다른 고급 표현

16.1 듀얼 쿼터니언

회전과 병진을 결합한 이중 쿼터니언은 $SE(3)$ 을 매개화한다. 특이점 성질은 쿼터니언과 비슷하다.

16.2 스크류 이론

스크류 이론 기반 매개화도 특이점 분석이 가능하며, 쿼터니언과 비슷한 장점을 가진다.

16.3 리 대수 좌표

$\mathfrak{so}(3)$ (반대칭 행렬) 좌표는 회전 벡터와 같으며, 작은 회전에서 잘 작동한다.

17. 특이점 처리의 실용적 전략

17.1 특이점 감지

알고리즘이 특이점 근처에 도달하면 감지하고 특별 처리한다.

if near_singularity(state):
    handle_singularity(state)

17.2 매개화 전환

특이점 근처에서 다른 매개화로 전환한다. 예를 들어 MRP에서 그림자 MRP로.

17.3 작업 영역 제한

특이점이 발생할 수 있는 영역을 피하도록 작업 영역을 설계한다.

17.4 수치 안정화

특이점 근처에서 수치 계산이 불안정해지지 않도록 정규화, 클램핑 등을 적용한다.

18. 결론

3차원 회전의 매개화는 매개변수 수와 특이점 사이의 균형이다. 3 매개변수 표현(오일러 각, CRP, MRP)은 반드시 특이점을 가지며, 4 매개변수 표현(쿼터니언, 축-각도)은 매끄러울 수 있지만 제약이 있다. 9 매개변수 회전 행렬은 완전히 매끄럽지만 메모리가 많이 든다. 응용의 요구에 따라 적절한 표현을 선택해야 하며, 대부분의 로봇 공학 응용에서는 쿼터니언이 균형 잡힌 선택이다.

19. 참고 문헌

Stuelpnagel, J. (1964). “On the Parametrization of the Three-Dimensional Rotation Group.” SIAM Review, 6(4), 422–430.
Shuster, M. D. (1993). “A Survey of Attitude Representations.” Journal of the Astronautical Sciences, 41(4), 439–517.
Diebel, J. (2006). “Representing Attitude: Euler Angles, Unit Quaternions, and Rotation Vectors.” Stanford University Technical Report.
Markley, F. L., & Crassidis, J. L. (2014). Fundamentals of Spacecraft Attitude Determination and Control. Springer.
Kuipers, J. B. (1999). Quaternions and Rotation Sequences. Princeton University Press.

version: 1.0