10.8 쿼터니언의 켤레(Conjugate)와 성질

1. 켤레의 정의

쿼터니언 \mathbf{q} = q_w + q_x i + q_y j + q_z k의 켤레(conjugate)는 다음과 같이 정의된다.

\mathbf{q}^* = q_w - q_x i - q_y j - q_z k

또는 스칼라-벡터 표기로

\mathbf{q}^* = (q_w, -\mathbf{q}_v)

켤레는 쿼터니언의 벡터 부분(허수 부분)의 부호를 반전시키는 연산이다. 스칼라 부분(실수 부분)은 그대로 유지된다.

2. 켤레와 복소수의 켤레

쿼터니언의 켤레는 복소수의 켤레의 일반화이다. 복소수 z = a + bi의 켤레가 \bar{z} = a - bi인 것과 같이, 쿼터니언의 켤레도 허수 부분의 부호를 반전시킨다. 차이는 쿼터니언이 3개의 허수 단위(i, j, k)를 가지므로 세 부호를 모두 반전시킨다는 점이다.

3. 표기법

쿼터니언 켤레의 표기는 분야와 저자에 따라 다양하다.

• \mathbf{q}^*: 가장 일반적인 표기 (별표)
• \bar{\mathbf{q}}: 복소수와 같은 막대 표기
• \mathbf{q}^c: 위첨자 c
• \mathbf{q}^\dagger: 단검 표기 (양자 역학에서 차용)

본 절에서는 별표 표기 \mathbf{q}^*를 사용한다.

4. 켤레의 기본 성질

4.1 이중 켤레

쿼터니언을 두 번 켤레하면 원래 쿼터니언으로 돌아온다.

(\mathbf{q}^*)^* = \mathbf{q}

이는 부호를 두 번 반전시키면 원래로 돌아오는 것과 같다.

4.2 덧셈에 대한 분배

(\mathbf{q}_1 + \mathbf{q}_2)^* = \mathbf{q}_1^* + \mathbf{q}_2^*

켤레는 덧셈을 보존한다. 이는 켤레가 선형 연산이라는 사실의 표현이다.

4.3 스칼라 곱의 보존

(\alpha\mathbf{q})^* = \alpha\mathbf{q}^*

여기서 \alpha는 실수 스칼라이다. 실수의 켤레는 자기 자신이므로 위 식이 성립한다.

4.4 곱의 켤레

(\mathbf{q}_1\mathbf{q}_2)^* = \mathbf{q}_2^*\mathbf{q}_1^*

곱의 켤레는 켤레의 곱이지만 순서가 반전된다. 이는 행렬의 전치 (((\mathbf{A}\mathbf{B})^T = \mathbf{B}^T\mathbf{A}^T)와 같은 패턴이다. 비가환 대수에서 자주 나타나는 성질이다.

4.5 항등원의 켤레

항등 쿼터니언의 켤레는 자기 자신이다.

1^* = 1

이는 항등원이 순수 스칼라이므로 벡터 부분이 0이고, 부호 반전의 영향을 받지 않기 때문이다.

5. 켤레와 노름

쿼터니언의 노름은 켤레와의 곱으로 표현된다.

\lVert \mathbf{q} \rVert^2 = \mathbf{q}\mathbf{q}^* = \mathbf{q}^*\mathbf{q}

이 두 곱이 같다는 것은 쿼터니언과 그 켤레가 가환한다는 것을 의미한다(특수한 경우의 가환성).

증명: \mathbf{q}\mathbf{q}^*를 직접 계산하면

\mathbf{q}\mathbf{q}^* = (q_w + \mathbf{q}_v)(q_w - \mathbf{q}_v) = (q_w^2 + \lVert\mathbf{q}_v\rVert^2, q_w(-\mathbf{q}_v) + q_w\mathbf{q}_v + \mathbf{q}_v\times(-\mathbf{q}_v))

벡터 부분의 첫 두 항은 상쇄되고, \mathbf{q}_v\times(-\mathbf{q}_v) = -\mathbf{q}_v\times\mathbf{q}_v = \mathbf{0}이므로

\mathbf{q}\mathbf{q}^* = (q_w^2 + \lVert\mathbf{q}_v\rVert^2, \mathbf{0}) = q_w^2 + \lVert\mathbf{q}_v\rVert^2 = \lVert\mathbf{q}\rVert^2

이는 노름의 정의와 일치한다.

6. 켤레와 역원

쿼터니언의 역원은 켤레와 노름의 제곱으로 표현된다.

\mathbf{q}^{-1} = \frac{\mathbf{q}^*}{\lVert\mathbf{q}\rVert^2}

이는 \mathbf{q}\mathbf{q}^* = \lVert\mathbf{q}\rVert^2로부터 양변을 \lVert\mathbf{q}\rVert^2로 나누어 직접 얻어진다.

6.1 단위 쿼터니언의 경우

단위 쿼터니언(\lVert\mathbf{q}\rVert = 1)의 경우 역원이 켤레와 같다.

\mathbf{q}^{-1} = \mathbf{q}^* \quad \text{(단위 쿼터니언)}

이는 단위 쿼터니언의 매우 중요한 성질이다. 회전을 표현할 때 역회전을 켤레로 즉시 얻을 수 있다.

6.2 역행렬 계산의 회피

회전 행렬의 경우 역원은 전치이며, 이는 단위 쿼터니언의 켤레와 등가이다. 두 표현 모두 일반 역행렬 계산을 피할 수 있다는 효율성을 제공한다.

7. 켤레와 부호 반전의 차이

쿼터니언 \mathbf{q}의 켤레 \mathbf{q}^*와 부호 반전 -\mathbf{q}는 다른 연산이다.

7.1 부호 반전

-\mathbf{q} = -q_w - q_x i - q_y j - q_z k = (-q_w, -\mathbf{q}_v)

모든 성분(스칼라와 벡터)의 부호가 반전된다.

7.2 켤레

\mathbf{q}^* = q_w - q_x i - q_y j - q_z k = (q_w, -\mathbf{q}_v)

벡터 부분만 부호가 반전된다.

7.3 회전 표현에서의 의미

회전 표현에서 두 연산은 다른 의미를 가진다.

• -\mathbf{q}: 같은 회전을 나타냄(부호 이중성)
• \mathbf{q}^*: 반대 방향 회전(역회전)을 나타냄

이 차이는 매우 중요하며, 혼동하면 회전 계산에 큰 오류가 발생한다.

8. 켤레와 회전

회전을 표현하는 단위 쿼터니언 \mathbf{q} = (\cos(\phi/2), \sin(\phi/2)\hat{\mathbf{u}})에 대해 켤레는

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

이다. 이를 다시 회전 형태로 해석하면 회전 축이 -\hat{\mathbf{u}}이거나 회전 각이 -\phi인 회전이다. 어느 해석이든 결과는 원래 회전의 역회전이다.

이 사실이 단위 쿼터니언의 역원이 켤레와 같다는 결과의 기하학적 의미이다.

9. 켤레와 벡터 회전

3차원 벡터 \mathbf{v}를 단위 쿼터니언 \mathbf{q}로 회전시키는 공식은 다음과 같다.

\mathbf{v}' = \mathbf{q}\mathbf{v}\mathbf{q}^*

여기서 \mathbf{v}는 순수 벡터 쿼터니언 (0, \mathbf{v})로 표현된다. 이 공식에서 켤레가 핵심적인 역할을 한다.

9.1 켤레가 필요한 이유

만약 \mathbf{v}' = \mathbf{q}\mathbf{v}로만 정의한다면, 결과가 일반적으로 순수 벡터 쿼터니언이 아니다(스칼라 부분이 비영). 켤레와의 곱이 추가되어야 결과가 다시 순수 벡터 쿼터니언이 된다.

9.2 켤레의 효과

\mathbf{q}가 회전 축 \hat{\mathbf{u}} 주위 \phi 회전을 나타내면, \mathbf{q}\mathbf{v}는 일반적으로 \phi/2 회전과 같은 효과를 가진다. \mathbf{q}^*를 추가로 곱하면 \phi/2가 더해져 총 \phi 회전이 된다.

10. 켤레와 매트릭스의 비교

10.1 회전 행렬의 전치

회전 행렬의 역원은 전치이다.

\mathbf{R}^{-1} = \mathbf{R}^T

이는 회전 행렬이 직교 행렬이기 때문이다.

10.2 단위 쿼터니언의 켤레

단위 쿼터니언의 역원은 켤레이다.

\mathbf{q}^{-1} = \mathbf{q}^* \quad \text{(단위 쿼터니언)}

두 연산 모두 별도의 역행렬 계산 없이 효율적으로 수행된다.

10.3 시각적 비교

회전 행렬의 전치는 행과 열을 바꾸는 것이고, 쿼터니언의 켤레는 벡터 부분의 부호를 반전시키는 것이다. 두 연산은 매우 다른 형태이지만, 같은 기하학적 효과(역회전)를 가진다.

11. 켤레의 응용

11.1 역회전

단위 쿼터니언의 역원이 켤레이므로, 역회전이 매우 효율적으로 계산된다.

\mathbf{q}^{-1} = \mathbf{q}^*

세 부호 반전만으로 역회전을 얻는다.

11.2 벡터 회전

\mathbf{v}' = \mathbf{q}\mathbf{v}\mathbf{q}^*

이 공식이 쿼터니언으로 벡터를 회전하는 표준 방법이다.

11.3 자세 오차

두 자세의 오차는 한 자세의 켤레와 다른 자세의 곱이다.

\Delta\mathbf{q} = \mathbf{q}_1^*\mathbf{q}_2

이는 \mathbf{q}_1에서 \mathbf{q}_2로의 상대 회전을 나타낸다.

11.4 자세 추정

자세 추정 알고리즘에서 켤레가 빈번히 사용된다. 예를 들어 측정된 자세와 예측된 자세의 오차 계산, 자세의 누적 갱신 등이다.

11.5 손-눈 캘리브레이션

손-눈 캘리브레이션 방정식 \mathbf{A}\mathbf{X} = \mathbf{X}\mathbf{B}를 쿼터니언 형태로 표현할 때, 양변에 켤레가 곱해진다. 이는 캘리브레이션 알고리즘의 일부이다.

12. 켤레의 효율적 구현

쿼터니언 켤레는 매우 효율적으로 구현된다.

function conjugate(q):
    return Quaternion(q.w, -q.x, -q.y, -q.z)

세 번의 부호 반전(단순 비트 연산)만으로 충분하다. 이는 어떤 회전 표현의 어떤 연산보다도 효율적이다.

13. 켤레와 노름의 곱셈성

쿼터니언 노름은 곱에 대해 보존된다.

\lVert \mathbf{q}_1\mathbf{q}_2 \rVert = \lVert\mathbf{q}_1\rVert\cdot\lVert\mathbf{q}_2\rVert

이는 켤레의 성질로부터 직접 증명될 수 있다.

증명:

\lVert\mathbf{q}_1\mathbf{q}_2\rVert^2 = (\mathbf{q}_1\mathbf{q}_2)(\mathbf{q}_1\mathbf{q}_2)^* = (\mathbf{q}_1\mathbf{q}_2)(\mathbf{q}_2^*\mathbf{q}_1^*)

결합 법칙을 사용하면

= \mathbf{q}_1(\mathbf{q}_2\mathbf{q}_2^*)\mathbf{q}_1^* = \mathbf{q}_1\lVert\mathbf{q}_2\rVert^2\mathbf{q}_1^*

\lVert\mathbf{q}_2\rVert^2는 실수 스칼라이므로 어디에서 곱해도 같다.

= \lVert\mathbf{q}_2\rVert^2\mathbf{q}_1\mathbf{q}_1^* = \lVert\mathbf{q}_2\rVert^2\lVert\mathbf{q}_1\rVert^2

양변에 제곱근을 취하면 \lVert\mathbf{q}_1\mathbf{q}_2\rVert = \lVert\mathbf{q}_1\rVert\lVert\mathbf{q}_2\rVert이다. 이는 쿼터니언이 노름 대수임을 보인다.

14. 켤레의 행렬 표현

쿼터니언 켤레는 4-튜플 표기에서 부호 행렬과의 곱으로 표현된다.

\mathbf{q}^* = \mathbf{C}\mathbf{q}

여기서

\mathbf{C} = \mathrm{diag}(1, -1, -1, -1)

이는 스칼라 부분에 1을, 벡터 부분에 -1을 곱하는 대각 행렬이다.

15. 켤레와 미분

쿼터니언의 켤레에 대한 미분은 단순하다.

\frac{d\mathbf{q}^*}{d\mathbf{q}} = \mathbf{C}

여기서 \mathbf{C}는 위의 부호 행렬이다. 이는 자코비안 계산에서 자주 사용된다.

16. 참고 문헌

• Hamilton, W. R. (1844). “On Quaternions; or on a New System of Imaginaries in Algebra.” Philosophical Magazine, Vol. 25, 489–495.
• Kuipers, J. B. (1999). Quaternions and Rotation Sequences. Princeton University Press.
• Sola, J. (2017). “Quaternion Kinematics for the Error-State Kalman Filter.” arXiv:1711.02508.
• Conway, J. H., & Smith, D. A. (2003). On Quaternions and Octonions. A K Peters.
• Diebel, J. (2006). “Representing Attitude: Euler Angles, Unit Quaternions, and Rotation Vectors.” Stanford University Technical Report.

version: 1.0