9.49 강체 변환의 6자유도 표현

1. 자유도의 의미

3차원 강체 변환은 정확히 6개의 자유도(degrees of freedom, DoF)를 가진다. 이는 강체의 자세를 완전히 기술하기 위해 필요한 독립적인 매개변수의 최소 개수를 의미한다. 6자유도는 다음과 같이 분리된다.

병진 자유도: 3 (3차원 위치 $\mathbf{t} = (t_x, t_y, t_z)^T$ )
회전 자유도: 3 ( $SO(3)$ 의 차원)

이 6개의 매개변수가 3차원 공간에서 강체의 모든 가능한 자세를 매개화한다.

2. 자유도 분석의 출발점

2.1 점의 자유도

3차원 공간의 단일 점은 3자유도(좌표 $x, y, z$ )를 가진다.

2.2 강체의 자유도

강체는 점의 집합이지만 내부 거리가 고정되어 있으므로, 다음과 같이 자유도를 계산할 수 있다.

강체 내부의 한 점 $A$ 의 위치: 3자유도
두 번째 점 $B$ 의 위치: $A$ 로부터의 거리가 고정되므로 구면 위의 점, 2자유도
세 번째 점 $C$ 의 위치: $A$ 와 $B$ 로부터의 거리가 고정되므로 두 구면의 교차원 위의 점, 1자유도

세 점만 결정되면 강체의 형태가 완전히 정해지므로(나머지 점들은 결정됨), 총 자유도는 $3 + 2 + 1 = 6$ 이다.

이는 회전과 병진의 분해와 정확히 일치한다.

3. 자유도의 매개화 방식

6자유도를 표현하는 방법은 여러 가지가 존재한다. 모두 같은 강체 변환을 기술하지만 매개변수의 수와 형태가 다르다.

3.1 위치 + 오일러 각

가장 직관적인 표현이다.

$(t_x, t_y, t_z, \phi, \theta, \psi)$

총 6개의 실수로 구성되며, 처음 세 개가 위치(병진), 나머지 세 개가 오일러 각(회전)이다. 사용자 인터페이스와 상태 보고에 적합하지만, 짐벌 락 특이점이 존재한다.

3.2 위치 + 쿼터니언

쿼터니언을 회전 표현으로 사용한다.

$(t_x, t_y, t_z, q_w, q_x, q_y, q_z)$

총 7개의 실수로 구성되며, 단위 쿼터니언 제약 $\lVert \mathbf{q} \rVert = 1$ 이 부과되므로 실제 자유도는 $7 - 1 = 6$ 이다. 짐벌 락이 없고 합성과 보간이 효율적이다.

3.3 위치 + 회전 행렬

가장 일반적인 표현이다.

$(t_x, t_y, t_z, r_{11}, r_{12}, \ldots, r_{33})$

총 12개의 실수로 구성되며, 회전 행렬의 정규 직교 제약이 6개의 등식을 부과하므로 실제 자유도는 $12 - 6 = 6$ 이다. 메모리 사용이 크지만 합성과 변환이 직접적이다.

3.4 동차 변환 행렬

$4 \times 4$ 행렬 형태로 16개의 실수를 가지나, 마지막 행이 고정 $(0, 0, 0, 1)$ 이고 회전 부분의 정규 직교 제약을 고려하면 자유도는 6이다.

3.5 회전 벡터 + 병진 벡터

리 대수 $\mathfrak{se}(3)$ 의 자연스러운 좌표이다.

$\boldsymbol{\xi} = (\boldsymbol{\phi}^T, \mathbf{t}^T)^T \in \mathbb{R}^6$

여기서 $\boldsymbol{\phi}$ 는 회전 벡터(축 $\hat{\mathbf{u}}$ 와 각도 $\phi$ 의 곱), $\mathbf{t}$ 는 병진 벡터이다. 정확히 6개의 매개변수로 표현되며 어떠한 제약도 부과되지 않는다.

3.6 트위스트(Twist)

$\mathfrak{se}(3)$ 의 또 다른 표현으로, 각속도와 병진 속도의 쌍이다.

$\boldsymbol{\xi} = (\boldsymbol{\omega}^T, \mathbf{v}^T)^T \in \mathbb{R}^6$

스크류 운동의 매개변수에 해당한다.

3.7 듀얼 쿼터니언(Dual Quaternion)

쿼터니언의 듀얼 수 확장으로 강체 변환을 8개의 실수로 표현한다. 두 가지 단위 제약이 부과되어 실제 자유도는 6이다.

4. 표현법 비교

표현법	매개변수 수	제약 수	자유도	특이점
위치 + 오일러 각	6	0	6	짐벌 락
위치 + 쿼터니언	7	1	6	부호 이중성
위치 + 회전 행렬	12	6	6	없음
동차 변환 행렬	16	10	6	없음
회전 벡터 + 병진	6	0	6	$\phi = \pi$ 에서 경미
트위스트	6	0	6	동일
듀얼 쿼터니언	8	2	6	부호 이중성

5. 매개변수 수와 매니폴드 차원의 차이

5.1 자유 매개변수 표현

오일러 각, 회전 벡터, 트위스트와 같이 정확히 6개의 자유 매개변수를 사용하는 표현은 매개변수 공간 $\mathbb{R}^6$ 이 매니폴드 $SE(3)$ 와 일대일 대응한다. 그러나 위상적 차이로 인해 전역적으로 특이점 없이 매개화하는 것이 불가능하다(짐벌 락, 무한 다중 동등 등).

5.2 제약 매개변수 표현

쿼터니언, 회전 행렬, 동차 변환 행렬은 자유도보다 많은 매개변수를 사용하며 추가 제약을 부과한다. 이는 매니폴드를 더 큰 유클리드 공간에 임베딩한 것이며, 전역적으로 부드러운 표현이 가능하다.

매개변수가 많을수록 메모리 사용은 증가하지만 수치적 안정성과 특이점 처리가 용이해진다.

6. 자유도의 물리적 분류

6.1 병진 자유도 (3)

전후(Surge): $x$ 축 방향 이동
좌우(Sway): $y$ 축 방향 이동
상하(Heave): $z$ 축 방향 이동

이 용어들은 해양 공학과 항공 우주 공학에서 표준적으로 사용된다.

6.2 회전 자유도 (3)

롤(Roll): $x$ 축 주위 회전
피치(Pitch): $y$ 축 주위 회전
요(Yaw): $z$ 축 주위 회전

이 분류는 비행체와 선박의 자세를 묘사하는 데 사용되며, 사용자가 직관적으로 이해할 수 있는 표준 용어이다.

7. 부분 자유도 시스템

3차원 공간에서 작동하지만 일부 자유도가 제약된 시스템도 흔하다.

7.1 평면 모바일 로봇 (3 자유도)

지상 평면에서만 움직이는 로봇은 $(x, y, \theta)$ 의 3자유도를 가진다. 높이( $z$ ), 롤, 피치가 모두 0으로 고정된다. 이는 $SE(2)$ 의 원소로 표현된다.

7.2 카르테시안 매니퓰레이터 (3 자유도)

평면 또는 3축 직선 운동만 수행하는 매니퓰레이터는 회전 자유도가 없으며 $\mathbb{R}^3$ 의 병진 부분만을 가진다.

7.3 사이드 슬립 없는 차량 (제약된 운동)

전륜 조향식 자동차는 6자유도의 강체이지만, 비홀로노믹(nonholonomic) 제약(횡방향 이동 불가)으로 인해 즉시 가능한 운동의 자유도가 제한된다.

8. 자유도와 매니퓰레이터 설계

매니퓰레이터가 임의의 6자유도 자세를 달성하려면 최소 6개의 관절이 필요하다. 그러나 단순히 6개의 관절이 있다고 해서 임의의 자세 도달이 가능한 것은 아니며, 관절 배치(DH 매개변수)가 적절해야 한다.

8.1 자유도 매니퓰레이터

PUMA, Stäubli RX 등 산업용 6축 매니퓰레이터는 임의의 작업 영역에서 6자유도 자세를 달성한다.

8.2 자유도 이상의 여유 매니퓰레이터

KUKA LBR iiwa, Franka Emika Panda 등은 7개의 관절을 가지며, 같은 말단 자세를 무한히 많은 관절 구성으로 달성할 수 있다. 이 여분의 자유도를 이용하여 장애물 회피, 특이점 회피, 에너지 최소화 등의 부가 목적을 달성한다.

9. 표현법 선택의 지침

9.1 사용자 인터페이스

위치 + 오일러 각이 가장 직관적이다.

9.2 내부 계산

위치 + 쿼터니언 또는 동차 변환 행렬이 효율적이며 특이점이 없다.

9.3 최적화

회전 벡터 + 병진 벡터(트위스트) 형태가 자유 매개변수 공간으로 사용하기에 적합하다.

9.4 메모리 제약

오일러 각 또는 회전 벡터 표현이 가장 메모리 효율적이다.

9.5 보간

쿼터니언이 부드러운 보간(SLERP)에 적합하다.

10. 자유도 표현의 일관성 보장

다양한 표현법 사이의 변환에서 정보 손실이 없도록 주의해야 한다. 특히 짐벌 락 근처에서 오일러 각과 다른 표현 사이의 왕복 변환은 수치 오차를 야기할 수 있다. 표준적 패턴은 내부 계산은 쿼터니언이나 회전 행렬로, 인터페이스만 오일러 각으로 처리하는 것이다.

11. 참고 문헌

Murray, R. M., Li, Z., & Sastry, S. S. (1994). A Mathematical Introduction to Robotic Manipulation. CRC Press.
Lynch, K. M., & Park, F. C. (2017). Modern Robotics: Mechanics, Planning, and Control. Cambridge University Press.
Siciliano, B., Sciavicco, L., Villani, L., & Oriolo, G. (2009). Robotics: Modelling, Planning and Control. Springer.
Spong, M. W., Hutchinson, S., & Vidyasagar, M. (2020). Robot Modeling and Control (2nd ed.). Wiley.
Selig, J. M. (2005). Geometric Fundamentals of Robotics (2nd ed.). Springer.

version: 1.0