10.16 쿼터니언 회전의 기하학적 해석

1. 기하학적 해석의 필요성

쿼터니언은 4차원 대수 객체이므로 직관적으로 시각화하기 어렵다. 그러나 단위 쿼터니언이 3차원 회전을 표현하는 방식에는 명확한 기하학적 의미가 있으며, 이를 이해하면 쿼터니언의 다양한 성질을 직관적으로 파악할 수 있다.

2. 차원 단위 구면 $S^3$

단위 쿼터니언의 집합은 4차원 공간 $\mathbb{R}^4$ 의 단위 구면 $S^3$ 이다.

$S^3 = \{(q_w, q_x, q_y, q_z) : q_w^2 + q_x^2 + q_y^2 + q_z^2 = 1\}$

이는 일반적인 3차원 구면 $S^2$ 의 4차원 확장이다.

2.1 차원 비교

$S^1$ : 1차원 원 (2차원 공간 내)
$S^2$ : 2차원 구면 (3차원 공간 내, 일반적인 “구”)
$S^3$ : 3차원 구면 (4차원 공간 내, 시각화 어려움)

$S^3$ 는 시각화할 수 없지만, 그 위의 점이 3차원 회전을 매개화한다.

3. 단위 쿼터니언의 기하학적 매개화

회전을 표현하는 단위 쿼터니언

$\mathbf{q} = (\cos(\phi/2), \sin(\phi/2)\hat{\mathbf{u}})$

의 기하학적 해석은 다음과 같다.

3.1 스칼라 부분

$q_w = \cos(\phi/2)$ 는 회전 각의 절반의 코사인이다. 이는 $S^3$ 상의 점이 4차원 공간의 첫 번째 축( $w$ 축)으로부터 떨어진 거리와 관련된다.

3.2 벡터 부분

$\mathbf{q}_v = \sin(\phi/2)\hat{\mathbf{u}}$ 는 회전 축 방향에 회전 각의 절반의 사인을 곱한 벡터이다. 이는 $S^3$ 상의 점이 $w$ 축에 직교하는 3차원 부분 공간으로 투영된 위치이다.

3.3 항등 회전과 북극

회전이 없을 때 ( $\phi = 0$ ), 쿼터니언은 $(1, 0, 0, 0)$ 이다. 이는 $S^3$ 의 “북극“에 해당한다.

3.4 도 회전과 적도

회전 각이 $\pi$ 일 때, 쿼터니언은 $(0, \hat{\mathbf{u}})$ 이다. 스칼라 부분이 0이므로, 4차원 공간의 $w = 0$ 평면에 해당하며, 이 평면이 $S^3$ 의 “적도“이다. 모든 180도 회전이 적도 위의 점에 대응된다.

4. 절반의 각도와 이중 피복

쿼터니언이 회전 각의 절반을 사용하는 이유는 $S^3$ 이 $SO(3)$ 을 이중 피복하기 때문이다. 즉, $S^3$ 의 한 점이 $SO(3)$ 의 한 점에 대응되지만, $SO(3)$ 의 한 점이 $S^3$ 의 두 점( $\mathbf{q}$ 와 $-\mathbf{q}$ )에 대응된다.

4.1 $4\pi$ 주기

쿼터니언으로 회전 각을 매개화할 때, 한 바퀴 회전( $\phi = 2\pi$ )이 쿼터니언 공간에서는 반 바퀴에 해당한다.

$\mathbf{q}(\phi = 2\pi) = (\cos\pi, \sin\pi\hat{\mathbf{u}}) = (-1, 0)$

이는 항등 회전과 같지만 부호가 반대이다. 두 바퀴 회전( $\phi = 4\pi$ )을 해야 쿼터니언이 원래 자리( $+1, 0$ )로 돌아온다.

4.2 디라크의 벨트 트릭

이 $4\pi$ 주기성은 디라크의 벨트 트릭(Dirac’s belt trick) 또는 페울리 디스크의 회전(rotation of a Pauli disk)으로 시각화된다. 한 끝이 외부 환경에 묶인 벨트(또는 끈)을 한 바퀴 비틀면 끈에 꼬임이 생기지만, 두 바퀴 비틀면 꼬임이 풀린다. 이는 SO(3)이 단순 연결이 아니라는 위상적 사실의 물리적 표현이다.

5. 단위 쿼터니언의 구면적 해석

단위 쿼터니언을 4차원 단위 구면 위의 점으로 보면, 다음과 같은 기하학적 해석이 가능하다.

5.1 회전 각이 작은 경우

회전 각이 0에 가까우면 $\sin(\phi/2) \approx \phi/2$ 이고 $\cos(\phi/2) \approx 1$ 이므로

$\mathbf{q} \approx (1, \phi\hat{\mathbf{u}}/2)$

이는 $S^3$ 의 북극 근처의 점이다. 작은 회전이 북극 근처에 모여 있다.

5.2 회전 각이 큰 경우

회전 각이 $\pi$ 에 가까우면 $\cos(\phi/2) \approx 0$ 이고 $\sin(\phi/2) \approx 1$ 이므로

$\mathbf{q} \approx (0, \hat{\mathbf{u}})$

이는 $S^3$ 의 적도에 해당한다. 180도 회전이 적도에 모여 있다.

5.3 일반적인 경우

회전 각 $\phi \in [0, \pi]$ 에 대해 쿼터니언은 북극에서 적도로 균일하게 분포한다. $\phi$ 가 균일하게 증가하면 쿼터니언의 위도(극으로부터의 각도)도 균일하게 증가한다.

6. 회전 축의 기하학적 의미

회전 축 $\hat{\mathbf{u}}$ 는 단위 쿼터니언의 벡터 부분의 방향이다. 같은 축을 가진 모든 회전(다른 각도로)은 $S^3$ 상에서 한 “측지선“을 따라 분포한다.

6.1 측지선

같은 축을 가진 회전들이 $S^3$ 상의 대원을 그린다. 이 대원의 한 끝이 항등 회전 $(1, 0)$ 이고, 회전 각이 증가함에 따라 대원을 따라 이동한다.

7. 두 회전 사이의 거리

두 단위 쿼터니언 사이의 측지선 거리는 $S^3$ 상의 호 길이로 측정된다.

$d(\mathbf{q}_1, \mathbf{q}_2) = \arccos(\lvert\mathbf{q}_1\cdot\mathbf{q}_2\rvert)$

(절댓값은 부호 이중성을 고려한 것)

이 거리는 두 회전 사이의 회전 각의 절반과 같다. 따라서 회전 각으로 변환하려면 2를 곱한다.

$\Delta\phi = 2\arccos(\lvert\mathbf{q}_1\cdot\mathbf{q}_2\rvert)$

이는 $\mathbf{q}_1$ 의 회전을 적용한 후 $\mathbf{q}_2$ 의 회전을 적용하기 위해 추가로 필요한 회전 각이다.

8. 회전 합성의 기하학적 의미

두 회전의 합성은 단위 쿼터니언의 곱이다. 이는 $S^3$ 상에서 두 점을 곱하여 새 점을 얻는 연산이다. 이 연산이 매끄러운 군 작용임을 보장한다.

8.1 연속성

$S^3$ 상에서 쿼터니언이 연속적으로 변할 때, 합성된 회전도 연속적으로 변한다. 이는 회전 공간의 매끄러움을 반영한다.

8.2 매끄러움

쿼터니언 곱이 4차원 공간에서 매끄러운 함수이므로, 회전의 합성도 매끄럽다. 이는 미분 가능한 회전 보간(SLERP)을 가능하게 한다.

9. 쿼터니언과 SO(3) 매니폴드

회전군 $SO(3)$ 은 자체로 매니폴드이지만, 그 위에서의 연산(회전 합성, 보간 등)이 단위 쿼터니언 공간 $S^3$ 에서의 연산보다 더 복잡하다.

9.1 $S^3$ 의 단순함

$S^3$ 는 단순한 매개화(4 매개변수 + 1 제약)를 가지며, 곱셈이 단순한 형태이다.

9.2 $SO(3)$ 의 복잡함

$SO(3)$ 은 9 매개변수 + 6 제약(또는 다른 매개화)을 가지며, 다양한 특이점이 있다.

따라서 회전 표현을 $S^3$ 에서 다루는 것이 종종 더 효율적이다.

10. 부호 이중성의 기하학적 해석

부호 이중성( $\mathbf{q}$ 와 $-\mathbf{q}$ 가 같은 회전)은 다음의 기하학적 의미를 가진다.

10.1 대척점

$\mathbf{q}$ 와 $-\mathbf{q}$ 는 $S^3$ 상의 대척점(antipodal points)이다. 즉, 4차원 공간에서 원점을 통과하는 직선의 양 끝에 있는 두 점이다.

10.2 사영 공간

대척점을 동일시하면 4차원 사영 공간 $\mathbb{RP}^3$ 가 만들어진다. 이는 $SO(3)$ 과 위상적으로 같다.

$SO(3) \cong S^3/\{\pm 1\} \cong \mathbb{RP}^3$

이는 $SO(3)$ 이 위상적으로 $\mathbb{RP}^3$ 와 같다는 잘 알려진 사실이다.

11. $SO(3)$ 의 단순 비연결성

$SO(3)$ 이 단순 연결이 아니라는 사실은 다음의 기하학적 의미를 가진다.

11.1 폐곡선의 분류

$SO(3)$ 상의 폐곡선은 두 종류로 분류된다.

점으로 수축할 수 있는 폐곡선
수축할 수 없는 폐곡선 (전체 $SO(3)$ 을 한 번 도는 경로)

이 두 종류가 동등하지 않다는 것이 단순 비연결성이다.

11.2 두 바퀴의 동등성

두 종류의 수축 불가능한 경로(즉, $SO(3)$ 을 두 번 도는 경로)는 점으로 수축 가능하다. 이는 $\pi_1(SO(3)) = \mathbb{Z}/2\mathbb{Z}$ 로 표현되며, 디라크의 벨트 트릭의 수학적 기반이다.

11.3 쿼터니언과의 연결

쿼터니언 표현에서 $S^3$ 가 단순 연결이므로, 모든 $SO(3)$ 의 폐곡선이 $S^3$ 로 들어 올려질 수 있다. 이중 피복의 결과로, $S^3$ 상에서는 $SO(3)$ 의 두 바퀴 회전이 한 바퀴에 해당한다.

12. 시각화의 시도

4차원 객체인 $S^3$ 를 직접 시각화할 수는 없지만, 몇 가지 접근법이 있다.

12.1 입체 사영

$S^3$ 를 3차원 공간에 입체 사영(stereographic projection)할 수 있다. 한 점(예: 북극)을 제외한 $S^3$ 의 모든 점이 3차원 유클리드 공간으로 사상된다. 이 사영은 각도를 보존(conformal)하지만 거리를 보존하지 않는다.

12.2 호프 섬유화 (Hopf Fibration)

호프 섬유화는 $S^3$ 를 $S^2$ 상의 원의 다발로 표현하는 것이다.

$S^3 = \bigcup_{p \in S^2} S^1_p$

여기서 각 $p \in S^2$ 에 대해 한 원 $S^1_p$ 가 대응된다. 이 표현은 $S^3$ 의 구조를 시각적으로 이해하는 데 도움이 된다.

12.3 단면 시각화

$S^3$ 의 일정한 위도(스칼라 부분 $q_w$ 가 일정한 점들의 집합)를 고려하면, 각 단면이 3차원 구면 $S^2$ 이다(반지름이 위도에 따라 변함). 모든 단면을 모으면 $S^3$ 가 된다.

13. 작은 회전과 접공간

작은 회전은 항등 쿼터니언 $(1, 0)$ 근처의 점들이다. 이 근처에서 $S^3$ 의 접공간(tangent space)은 $\mathbb{R}^3$ 와 동형이다.

13.1 접공간

$S^3$ 상의 점 $(1, 0)$ 에서의 접공간은 $w$ 축에 수직한 3차원 부분 공간이다. 즉, 모든 순수 벡터 쿼터니언의 집합과 같다.

13.2 작은 회전의 표현

작은 회전 $\delta\mathbf{q}$ 는 다음과 같이 근사된다.

$\delta\mathbf{q} \approx (1, \delta\boldsymbol{\theta}/2)$

여기서 $\delta\boldsymbol{\theta}$ 는 무한소 회전 벡터이다. 벡터 부분이 회전 벡터의 절반이라는 점에 주의한다.

이 근사는 자세 추정의 칼만 필터, 매니퓰레이터의 자코비안 계산 등에서 핵심적으로 사용된다.

14. 회전 보간의 기하학적 의미

두 회전 사이의 보간은 $S^3$ 상의 측지선을 따른 운동이다. SLERP가 정확히 이를 구현한다.

14.1 측지선 보간

$S^3$ 의 두 점 사이의 측지선은 두 점을 포함하는 4차원 평면(원점을 통과하는)과 $S^3$ 의 교차로 결정되는 대원이다.

14.2 일정한 각속도

SLERP는 이 대원 위에서 일정한 각도 비율로 진행하므로, 보간 결과가 일정한 회전 각속도를 가진다.

14.3 선형 보간(LERP)과의 비교

LERP는 4차원 공간의 직선 보간이며, 결과가 $S^3$ 상에 있지 않다. 정규화 후에도 일정한 각속도를 보장하지 않는다. SLERP가 더 자연스러운 측지선 보간이다.

15. 호프 섬유화

$S^3$ 의 흥미로운 위상 구조 중 하나는 호프 섬유화이다. $S^3$ 를 $S^2$ 상의 원의 다발로 분해하는 것이다.

15.1 분해 공식

각 점 $p = (a, b, c) \in S^2$ 에 대해 원 $S^1_p \subset S^3$ 가 대응된다.

15.2 회전과의 관련

호프 섬유화는 회전 표현과 직접적인 관련은 없지만, $S^3$ 의 매끄러운 구조를 이해하는 데 도움이 된다.

16. 회전 표현과 $S^3$ 의 결론

쿼터니언 회전의 기하학적 해석은 다음의 핵심 사실로 요약된다.

단위 쿼터니언의 집합은 4차원 단위 구면 $S^3$ 이다.
$S^3$ 가 회전군 $SO(3)$ 을 이중 피복한다.
쿼터니언의 회전 각은 실제 회전 각의 절반이다.
$\mathbf{q}$ 와 $-\mathbf{q}$ 는 $S^3$ 상의 대척점이며 같은 회전을 나타낸다.
회전 합성은 단위 쿼터니언 곱이며, $S^3$ 상의 매끄러운 군 작용이다.
회전 보간은 $S^3$ 상의 측지선을 따른 운동이다.

이러한 기하학적 해석은 쿼터니언의 다양한 성질과 응용을 직관적으로 이해하는 기반이 된다.

17. 참고 문헌

Kuipers, J. B. (1999). Quaternions and Rotation Sequences. Princeton University Press.
Hanson, A. J. (2006). Visualizing Quaternions. Morgan Kaufmann.
Stillwell, J. (2008). Naive Lie Theory. Springer.
Sola, J. (2017). “Quaternion Kinematics for the Error-State Kalman Filter.” arXiv:1711.02508.
Hatcher, A. (2002). Algebraic Topology. Cambridge University Press.

version: 1.0