9.15 기본 회전 행렬의 합성 원리

1. 합성의 동기

임의의 3차원 회전은 세 기본 회전 행렬 $\mathbf{R}_x$ , $\mathbf{R}_y$ , $\mathbf{R}_z$ 의 연쇄 곱으로 표현할 수 있다. 이는 오일러 회전 정리(Euler’s rotation theorem)와 오일러 각 표현의 존재성에 기반한다. 기본 회전 행렬의 합성 원리는 로봇 공학에서 자세 표현, 기구학 연쇄, 좌표 변환 연쇄의 수학적 근간을 형성한다.

2. 행렬 곱에 의한 합성

두 회전 변환의 합성은 행렬 곱으로 표현된다. 회전 $\mathbf{R}_1$ 을 먼저 적용하고 회전 $\mathbf{R}_2$ 를 이어서 적용한 합성은 다음과 같다.

$\mathbf{R}_{\text{합성}}\mathbf{v} = \mathbf{R}_2(\mathbf{R}_1\mathbf{v}) = (\mathbf{R}_2\mathbf{R}_1)\mathbf{v}$

따라서 합성 회전 행렬은 $\mathbf{R}_2\mathbf{R}_1$ 이며, 적용 순서의 반대 방향으로 행렬을 곱하는 규약이 성립한다.

3. 회전 합성의 비가환성

3차원 회전의 가장 중요한 성질은 **비가환성(non-commutativity)**이다. 일반적으로

$\mathbf{R}_2\mathbf{R}_1 \neq \mathbf{R}_1\mathbf{R}_2$

이며, 회전의 적용 순서에 따라 최종 자세가 달라진다. 예를 들어 $\mathbf{R}_x(\pi/2)$ 와 $\mathbf{R}_y(\pi/2)$ 의 합성은 순서에 따라 서로 다른 결과를 산출한다.

$\mathbf{R}_x(\pi/2)\mathbf{R}_y(\pi/2) = \begin{bmatrix}0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0\end{bmatrix}$

$\mathbf{R}_y(\pi/2)\mathbf{R}_x(\pi/2) = \begin{bmatrix}0 & 1 & 0 \\ 0 & 0 & -1 \\ -1 & 0 & 0\end{bmatrix}$

두 결과가 다름은 유한한 회전의 비가환성을 직접 보여준다. 비가환성은 로봇 공학에서 자세 조립의 순서 약정을 엄격히 명시해야 하는 근본 이유이다.

4. 무한소 회전의 가환성

반면 무한소 회전(infinitesimal rotation)은 근사적으로 가환한다. $\delta\theta$ 가 작을 때

$\mathbf{R}_i(\delta\theta_i)\mathbf{R}_j(\delta\theta_j) \approx \mathbf{I} + \delta\theta_i\mathbf{J}_i + \delta\theta_j\mathbf{J}_j + O(\delta\theta^2)$

이며, 1차 항만을 고려하면 순서 의존성이 사라진다. 이는 각속도 벡터(angular velocity vector)가 일반 벡터처럼 합산 가능한 이유이다. 반면 2차 항 이상의 비가환 기여는 리 대수의 브라켓 $[\mathbf{J}_i, \mathbf{J}_j] = \mathbf{J}_i\mathbf{J}_j - \mathbf{J}_j\mathbf{J}_i$ 로 기술된다.

5. 고정 축 합성과 이동 축 합성

기본 회전의 합성은 참조하는 축에 따라 두 가지 해석이 가능하다.

5.1 고정 축(Extrinsic) 합성

모든 회전이 고정된 월드 좌표계의 축을 기준으로 이루어진다. 회전 순서 $\alpha, \beta, \gamma$ 에 대해 $z$ - $y$ - $x$ 고정 축 합성은 다음과 같이 표현된다.

$\mathbf{R}_{\text{ext}} = \mathbf{R}_x(\alpha)\mathbf{R}_y(\beta)\mathbf{R}_z(\gamma)$

최초 적용되는 회전 $\mathbf{R}_z(\gamma)$ 가 가장 오른쪽에 놓이며, 벡터에 먼저 곱해진다.

5.2 이동 축(Intrinsic) 합성

각 회전이 이전 회전에 의해 이미 변환된 좌표계의 축을 기준으로 이루어진다. 회전 순서 $\alpha, \beta, \gamma$ 에 대해 $z$ - $y'$ - $x''$ 이동 축 합성은 다음과 같이 표현된다.

$\mathbf{R}_{\text{int}} = \mathbf{R}_z(\alpha)\mathbf{R}_y(\beta)\mathbf{R}_x(\gamma)$

최초 적용되는 회전 $\mathbf{R}_z(\alpha)$ 가 가장 왼쪽에 놓인다. 고정 축 합성과 이동 축 합성은 동일한 결과를 주지만, 회전 순서가 역순으로 표현된다는 점에서 차이가 있다.

6. 임의의 회전의 오일러 각 분해

3차원 공간의 임의의 회전 $\mathbf{R} \in SO(3)$ 은 세 번의 기본 회전의 곱으로 분해할 수 있다. 분해 방식에 따라 12가지 오일러 각 규약이 존재한다. 대표적 예로 $ZYX$ 고유 오일러 각(intrinsic Tait-Bryan) 분해는 다음과 같다.

$\mathbf{R}(\psi, \theta, \phi) = \mathbf{R}_z(\psi)\mathbf{R}_y(\theta)\mathbf{R}_x(\phi)$

여기서 $\psi$ 는 요, $\theta$ 는 피치, $\phi$ 는 롤에 해당하며, 항공기 자세 표현의 표준 규약이다.

7. 합성 결과의 닫힘성

두 회전 행렬의 곱은 항상 회전 행렬이다. 즉, $\mathbf{R}_1, \mathbf{R}_2 \in SO(3)$ 이면

$\mathbf{R}_1\mathbf{R}_2 \in SO(3)$

이 성립한다. 증명은 다음 두 가지 성질로부터 직접 유도된다.

$(\mathbf{R}_1\mathbf{R}_2)^T(\mathbf{R}_1\mathbf{R}_2) = \mathbf{R}_2^T\mathbf{R}_1^T\mathbf{R}_1\mathbf{R}_2 = \mathbf{R}_2^T\mathbf{R}_2 = \mathbf{I}$

$\det(\mathbf{R}_1\mathbf{R}_2) = \det(\mathbf{R}_1)\det(\mathbf{R}_2) = 1 \cdot 1 = 1$

이 닫힘성은 $SO(3)$ 이 행렬 곱 연산에 관해 군(group)을 이루는 근거가 된다.

8. 합성의 결합 법칙

행렬 곱은 결합 법칙을 만족하므로 회전 합성 역시 결합적이다.

$(\mathbf{R}_3\mathbf{R}_2)\mathbf{R}_1 = \mathbf{R}_3(\mathbf{R}_2\mathbf{R}_1)$

따라서 다단계 합성에서 괄호의 위치는 결과에 영향을 주지 않으며, 로봇 기구학 연쇄의 계산에서 부분 변환을 사전 계산하여 재사용할 수 있다.

9. 합성 회전의 역

합성 회전의 역은 각 회전의 역을 역순으로 곱한 것과 같다.

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

이는 군 연산의 일반적 성질이며, 회전 연쇄의 역변환을 체계적으로 계산하는 기준이 된다.

10. 로봇 공학에서의 응용

10.1 기구학 연쇄

매니퓰레이터의 관절 회전이 $\mathbf{R}_{i,i+1}$ 로 표현되면, 베이스에서 말단 장치까지의 누적 회전은 다음과 같다.

$\mathbf{R}_{0,n} = \mathbf{R}_{0,1}\mathbf{R}_{1,2}\cdots\mathbf{R}_{n-1,n}$

이는 순기구학(forward kinematics)에서 각 관절의 기본 회전이 연쇄적으로 합성되는 형태이다.

10.2 자세 추정에서의 업데이트

자세 추정 필터에서 이전 자세 $\mathbf{R}_k$ 에 작은 회전 갱신 $\delta\mathbf{R}$ 을 적용할 때, 고정 축 갱신 $\delta\mathbf{R}\mathbf{R}_k$ 와 이동 축 갱신 $\mathbf{R}_k\delta\mathbf{R}$ 은 서로 다른 결과를 낳는다. 구현 시 규약을 명확히 선택해야 한다.

10.3 좌표계 연쇄 변환

월드 좌표계에서 카메라 좌표계로의 회전은 월드-로봇 회전과 로봇-카메라 회전의 합성으로 표현된다.

$\mathbf{R}_{W \to C} = \mathbf{R}_{R \to C}\mathbf{R}_{W \to R}$

11. 참고 문헌

Siciliano, B., Sciavicco, L., Villani, L., & Oriolo, G. (2009). Robotics: Modelling, Planning and Control. Springer.
Craig, J. J. (2018). Introduction to Robotics: Mechanics and Control (4th ed.). Pearson.
Spong, M. W., Hutchinson, S., & Vidyasagar, M. (2020). Robot Modeling and Control (2nd ed.). Wiley.
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.

version: 1.0