9.48 강체 변환(Rigid Body Transformation)의 정의
1. 강체 변환의 개념
강체 변환(rigid body transformation)은 3차원 유클리드 공간 \mathbb{R}^3 상의 사상 중 형태 변형 없이 강체 전체의 위치와 방향만을 변경하는 변환을 지칭한다. 강체란 어떠한 변형도 일어나지 않는 이상화된 물체이며, 변환 후에도 강체 내부의 모든 점들 사이의 거리와 각도가 보존된다.
2. 정식 정의
사상 \mathbf{f}: \mathbb{R}^3 \to \mathbb{R}^3이 다음 두 조건을 모두 만족할 때 강체 변환이라 한다.
2.1 거리 보존(Distance preservation)
임의의 두 점 \mathbf{p}, \mathbf{q} \in \mathbb{R}^3에 대해
\lVert \mathbf{f}(\mathbf{p}) - \mathbf{f}(\mathbf{q}) \rVert = \lVert \mathbf{p} - \mathbf{q} \rVert
이 성립한다. 즉, 두 점 사이의 유클리드 거리가 변환 후에도 동일하게 유지된다. 이 조건만 만족하는 사상을 **등거리 변환(isometry)**이라 한다.
2.2 방향 보존(Orientation preservation)
우수 좌표계가 우수 좌표계로 사상되어야 한다. 형식적으로 임의의 우수 직교 기저 \{\hat{\mathbf{e}}_1, \hat{\mathbf{e}}_2, \hat{\mathbf{e}}_3\}의 회전된 상이 다시 우수 직교 기저를 형성해야 한다.
(\mathbf{f}(\hat{\mathbf{e}}_1) \times \mathbf{f}(\hat{\mathbf{e}}_2)) \cdot \mathbf{f}(\hat{\mathbf{e}}_3) > 0
이 조건은 변환에 거울상(반사) 성분이 포함되지 않음을 보증한다.
3. 등거리 변환과의 구분
거리 보존만 만족하는 등거리 변환은 강체 변환과 거울상 변환(reflection) 두 부류로 구성된다. 강체 변환은 거울상이 아닌 등거리 변환의 부분집합이며, “고유 등거리 변환(proper isometry)“이라고도 한다.
| 변환 유형 | 거리 보존 | 방향 보존 |
|---|---|---|
| 강체 변환 | 예 | 예 |
| 거울상 변환 | 예 | 아니오 |
| 일반 등거리 변환 | 예 | (둘 중 하나) |
거울상 변환은 물리적 강체의 운동으로는 실현될 수 없다. 실제 강체를 거울상으로 만드는 것은 불가능하기 때문이다(왼손과 오른손의 차이를 회전과 병진으로 만들 수 없는 것과 같은 이치).
4. 강체 변환의 형식적 형태
모든 강체 변환은 회전과 병진의 결합으로 표현된다.
\mathbf{f}(\mathbf{p}) = \mathbf{R}\mathbf{p} + \mathbf{t}
여기서
- \mathbf{R} \in SO(3): 회전 행렬 (3 \times 3 정규 직교 행렬, \det = +1)
- \mathbf{t} \in \mathbb{R}^3: 병진 벡터
이는 강체 변환의 본질적 구조 정리(structure theorem)이다. 강체 변환의 집합과 (SO(3), \mathbb{R}^3)의 쌍 사이에 일대일 대응이 있다.
5. 정의의 동등성 증명
거리 보존과 방향 보존을 만족하는 임의의 사상이 위의 회전-병진 형태를 가짐을 다음과 같이 증명할 수 있다.
5.1 단계: 원점의 이미지 정의
\mathbf{t} = \mathbf{f}(\mathbf{0})로 정의한다. 그러면 사상 \mathbf{g}(\mathbf{p}) = \mathbf{f}(\mathbf{p}) - \mathbf{t}는 \mathbf{g}(\mathbf{0}) = \mathbf{0}이고 여전히 거리와 방향을 보존한다.
5.2 단계: \mathbf{g}의 선형성 확인
\mathbf{g}가 원점을 고정하고 거리를 보존하므로 마줄로의 정리(Mazur-Ulam theorem)에 의해 \mathbf{g}는 선형 사상이다.
5.3 단계: \mathbf{g}의 행렬 표현
선형 사상 \mathbf{g}는 행렬 \mathbf{R}로 표현된다. 거리 보존 조건이
\lVert \mathbf{R}\mathbf{p} - \mathbf{R}\mathbf{q} \rVert = \lVert \mathbf{p} - \mathbf{q} \rVert
를 의미하며, \mathbf{R}^T\mathbf{R} = \mathbf{I} 즉 \mathbf{R}이 직교 행렬임을 보장한다. 방향 보존 조건이 추가로 \det(\mathbf{R}) = +1을 부과한다. 따라서 \mathbf{R} \in SO(3)이다.
5.4 단계: 결론
\mathbf{f}(\mathbf{p}) = \mathbf{R}\mathbf{p} + \mathbf{t}이며 \mathbf{R} \in SO(3), \mathbf{t} \in \mathbb{R}^3이다.
6. 강체 변환과 SE(3)의 관계
강체 변환의 집합은 동차 변환 행렬의 집합 SE(3)과 일대일 대응한다.
\mathbf{f}(\mathbf{p}) = \mathbf{R}\mathbf{p} + \mathbf{t} \quad \leftrightarrow \quad \mathbf{T} = \begin{bmatrix}\mathbf{R} & \mathbf{t} \\ \mathbf{0}^T & 1\end{bmatrix}
따라서 SE(3)은 강체 변환을 형식화한 군이며, 모든 강체 변환의 합성, 역, 작용이 SE(3)의 군 연산으로 환원된다.
7. 보존되는 기하학적 양
강체 변환에 의해 다음의 기하학적 양들이 보존된다.
7.1 거리
두 점 사이의 유클리드 거리가 보존된다(정의에 의해).
7.2 각도
세 점 \mathbf{p}, \mathbf{q}, \mathbf{r}로 이루어진 각도 \angle\mathbf{pqr}이 보존된다. 이는 거리 보존으로부터 코사인 법칙으로 유도된다.
7.3 부피
강체 내부의 부피가 보존된다. 이는 행렬식 \det(\mathbf{R}) = +1로부터 직접 도출된다.
7.4 우/좌수성
강체의 우수/좌수 성질이 보존된다. 방향 보존 조건의 직접적 결과이다.
8. 보존되지 않는 양
8.1 절대 위치
각 점의 절대 좌표값은 변환에 의해 변한다.
8.2 방향(고정된 좌표계 기준)
강체의 방향이 회전에 의해 변한다.
9. 강체 변환과 자유도
3차원 강체 변환은 6개의 자유도를 가진다.
- 병진의 자유도: 3 (\mathbf{t}의 성분)
- 회전의 자유도: 3 (SO(3)의 차원)
이 6자유도가 3차원 공간에서 강체의 모든 가능한 자세를 매개화한다. 매니퓰레이터의 말단 장치, 비행체, 카메라 등 모든 강체 객체의 자세는 이 6자유도로 기술된다.
10. 강체 변환의 예
10.1 단순 병진
회전이 항등인 경우 \mathbf{f}(\mathbf{p}) = \mathbf{p} + \mathbf{t}. 모든 점이 동일한 벡터로 이동한다. 거리, 각도, 방향이 모두 보존된다.
10.2 단순 회전 (원점 기준)
병진이 영인 경우 \mathbf{f}(\mathbf{p}) = \mathbf{R}\mathbf{p}. 원점은 고정되며 모든 점이 원점 주위로 회전한다.
10.3 임의의 점 주위 회전
원점이 아닌 점 \mathbf{p}_0 주위의 회전은 다음과 같이 표현된다.
\mathbf{f}(\mathbf{p}) = \mathbf{R}(\mathbf{p} - \mathbf{p}_0) + \mathbf{p}_0 = \mathbf{R}\mathbf{p} + (\mathbf{p}_0 - \mathbf{R}\mathbf{p}_0)
회전 부분은 \mathbf{R}, 병진 부분은 \mathbf{t} = \mathbf{p}_0 - \mathbf{R}\mathbf{p}_0이다.
10.4 스크류 운동
회전과 회전 축에 평행한 병진이 결합된 운동을 스크류 운동(screw motion)이라 한다. 슈아세의 정리에 의해 모든 강체 변환은 적절한 좌표계에서 스크류 운동으로 표현된다.
11. 강체 변환의 시공간적 해석
11.1 운동학적 해석
강체 변환을 시간에 따른 자세의 변화로 보면, 강체의 운동이 매 시각의 변환 \mathbf{T}(t)로 기술된다. 시간 미분 \dot{\mathbf{T}}가 강체의 속도와 각속도를 담는다.
11.2 좌표 변환적 해석
강체 변환을 두 좌표계 사이의 관계로 보면, \mathbf{T}가 한 좌표계에서 다른 좌표계로 점의 표현을 변환하는 도구가 된다. 이는 같은 점의 두 가지 표현 사이의 관계이다.
두 해석은 수학적으로 동등하지만 응용에 따라 적절한 해석이 다르다.
12. 비강체 변환과의 대비
강체 변환은 매우 제한적인 변환의 집합이다. 일반적인 변환은 다음을 포함할 수 있다.
| 변환 | 보존되는 것 |
|---|---|
| 강체 변환 | 거리, 각도, 부피, 방향 |
| 등거리 변환 | 거리 (방향은 안 보존될 수 있음) |
| 닮음 변환 | 각도 (거리가 일정 비율로 변함) |
| 아핀 변환 | 평행성, 직선 |
| 사영 변환 | 직선, 비복비율 |
| 일반 미분 동형 | 위상 |
강체 변환은 이 중 가장 엄격한 것이며, 물리적 강체의 운동을 충실히 모델링한다.
13. 로봇 공학에서의 의의
강체 변환은 로봇 공학에서 다음의 용도로 사용된다.
13.1 강체 객체의 자세
매니퓰레이터의 각 링크, 모바일 로봇의 본체, 카메라, 도구 등 모든 강체 객체의 자세는 강체 변환으로 기술된다.
13.2 좌표계 사이의 관계
월드, 본체, 센서, 카메라, 작업물 등 다양한 좌표계 사이의 변환이 강체 변환이며, 이들의 합성이 좌표계 변환 트리를 형성한다.
13.3 운동 명령
로봇의 움직임은 시간에 따른 강체 변환의 변화로 표현된다. 목표 자세 도달 명령이 목표 강체 변환의 지정으로 환원된다.
13.4 캘리브레이션
손-눈, LiDAR-카메라, IMU 정렬 등의 외부 캘리브레이션 결과는 두 좌표계 사이의 강체 변환이다.
13.5 SLAM 포즈
SLAM 알고리즘의 핵심 변수는 로봇의 시각별 자세이며, 각 자세가 강체 변환이다.
14. 참고 문헌
- Murray, R. M., Li, Z., & Sastry, S. S. (1994). A Mathematical Introduction to Robotic Manipulation. CRC Press.
- 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.
- Lynch, K. M., & Park, F. C. (2017). Modern Robotics: Mechanics, Planning, and Control. Cambridge University Press.
version: 1.0