6.79 강체 변환군 SE(3)의 정의와 구조

1. 도입

강체의 운동은 회전과 병진의 결합으로 기술되며, 이러한 운동 전체의 집합은 단순한 집합을 넘어 풍부한 대수적, 기하학적 구조를 가지는 군(group)을 이룬다. 이 군을 특수 유클리드군(special Euclidean group) 또는 강체 변환군이라 부르며, 3차원 공간에서의 강체 변환군은 $SE(3)$ 로 표기된다. $SE(3)$ 는 회전군 $SO(3)$ 와 병진군 $\mathbb{R}^{3}$ 의 단순한 곱이 아니라, 회전이 병진에 작용하는 비자명한 방식으로 결합된 반직접곱(semidirect product) 구조를 가진다. 이러한 구조는 강체 운동의 비가환성과 풍부한 기하학적 성질을 동시에 설명하며, 로봇 운동학과 동역학, 자세 추정, 경로 계획 등의 수학적 토대가 된다. 본 절에서는 $SE(3)$ 의 정의, 군 연산, 위상적 구조, 리 군적 성질, 그리고 로봇 공학에서의 활용을 학술적으로 기술한다.

2. 강체 변환의 정의

2.1 강체 운동의 기하학적 정의

$\mathbb{R}^{3}$ 에서의 사상 $f : \mathbb{R}^{3} \to \mathbb{R}^{3}$ 가 다음 두 조건을 만족할 때 이를 강체 변환(rigid transformation)이라 한다.

첫째, 거리 보존 조건이다. 임의의 두 점 $\mathbf{p}_{1}, \mathbf{p}_{2}$ 에 대하여

$\| f(\mathbf{p}_{1}) - f(\mathbf{p}_{2}) \| = \| \mathbf{p}_{1} - \mathbf{p}_{2} \|$

이 성립한다. 둘째, 방향 보존 조건이다. $f$ 는 오른손 좌표계를 오른손 좌표계로 옮긴다. 첫 번째 조건만 만족하는 사상은 일반 등거리 변환이며, 반사를 포함할 수 있다. 두 번째 조건이 추가됨으로써 거울 반사를 배제하고 물리적으로 실현 가능한 강체 운동만이 포함된다.

2.2 회전과 병진의 결합 표현

강체 변환의 기본 정리는 다음과 같이 진술된다. 임의의 강체 변환 $f$ 는 회전 행렬 $R \in SO(3)$ 와 병진 벡터 $\mathbf{t} \in \mathbb{R}^{3}$ 를 이용하여 다음과 같이 일의적으로 표현된다.

$f(\mathbf{p}) = R \mathbf{p} + \mathbf{t}$

이 표현이 일의적이라는 사실은 강체 변환을 $(R, \mathbf{t})$ 의 쌍으로 식별할 수 있음을 의미하며, 강체 변환군의 원소를 회전 부분과 병진 부분의 결합으로 표현하는 출발점이 된다.

3. $SE(3)$ 의 행렬 표현

3.1 동차 변환 행렬

강체 변환을 동차 좌표 위에서 행렬 곱으로 표현하면, 다음과 같은 $4 \times 4$ 동차 변환 행렬을 얻는다.

$T = \begin{bmatrix} R & \mathbf{t} \\ \mathbf{0}^{T} & 1 \end{bmatrix}$

여기서 $R \in SO(3)$ 이고 $\mathbf{t} \in \mathbb{R}^{3}$ 이다. 이 표현 아래에서 $SE(3)$ 는 다음과 같이 정의된다.

$SE(3) = \left\{ \begin{bmatrix} R & \mathbf{t} \\ \mathbf{0}^{T} & 1 \end{bmatrix} \,\bigg|\, R \in SO(3), \, \mathbf{t} \in \mathbb{R}^{3} \right\}$

이 집합은 일반 선형군 $GL(4, \mathbb{R})$ 의 부분 집합이며, 행렬 곱셈에 대하여 닫혀 있고 군의 공리를 만족한다.

3.2 군 연산의 명시적 형태

두 강체 변환 $T_{1} = (R_{1}, \mathbf{t}_{1})$ 과 $T_{2} = (R_{2}, \mathbf{t}_{2})$ 의 합성은 다음과 같이 행렬 곱으로 계산된다.

$T_{2} T_{1} = \begin{bmatrix} R_{2} & \mathbf{t}_{2} \\ \mathbf{0}^{T} & 1 \end{bmatrix} \begin{bmatrix} R_{1} & \mathbf{t}_{1} \\ \mathbf{0}^{T} & 1 \end{bmatrix} = \begin{bmatrix} R_{2} R_{1} & R_{2} \mathbf{t}_{1} + \mathbf{t}_{2} \\ \mathbf{0}^{T} & 1 \end{bmatrix}$

쌍 표기법으로는 $(R_{2}, \mathbf{t}_{2}) \cdot (R_{1}, \mathbf{t}_{1}) = (R_{2} R_{1}, R_{2} \mathbf{t}_{1} + \mathbf{t}_{2})$ 가 된다. 회전 부분은 단순한 회전 곱이지만, 병진 부분에는 첫 번째 회전이 두 번째 병진에 작용한 항이 추가되며, 이것이 바로 반직접곱 구조의 본질이다.

3.3 항등원과 역원

$SE(3)$ 의 항등원은 $T = (I_{3}, \mathbf{0}) = I_{4}$ 이다. 임의의 원소 $T = (R, \mathbf{t})$ 에 대한 역원은 다음과 같이 닫힌 형태로 주어진다.

$T^{-1} = \begin{bmatrix} R^{T} & -R^{T} \mathbf{t} \\ \mathbf{0}^{T} & 1 \end{bmatrix}$

쌍 표기법으로는 $T^{-1} = (R^{T}, -R^{T} \mathbf{t})$ 이다. 이 닫힌 형태는 회전 행렬의 역이 전치라는 사실로부터 직접 유도되며, 일반적인 $4 \times 4$ 역행렬 계산을 거치지 않고도 효율적으로 구할 수 있다.

4. 반직접곱 구조

4.1 군의 분해

$SE(3)$ 는 회전군과 병진군의 단순한 직접곱이 아니다. 직접곱이라면 두 인자가 서로 영향을 주지 않아야 하지만, 위에서 본 합성 법칙에서 회전이 병진에 작용하는 항 $R_{2} \mathbf{t}_{1}$ 이 등장하기 때문이다. 정확한 표현은 다음과 같다.

$SE(3) = \mathbb{R}^{3} \rtimes SO(3)$

여기서 $\rtimes$ 기호는 반직접곱(semidirect product)을 나타낸다. 회전군 $SO(3)$ 가 병진군 $\mathbb{R}^{3}$ 에 자연스러운 회전 작용을 통하여 작용하며, 이 작용이 반직접곱의 구조를 결정한다.

4.2 정규 부분군

병진군 $\mathbb{R}^{3}$ 는 $SE(3)$ 의 정규 부분군(normal subgroup)이다. 즉 임의의 강체 변환 $T$ 와 임의의 병진 $T(\mathbf{t})$ 에 대하여 $T \, T(\mathbf{t}) \, T^{-1}$ 도 병진이며, 그 변위 벡터는 $R \mathbf{t}$ 이다. 반면 회전군 $SO(3)$ 는 $SE(3)$ 의 부분군이지만 정규 부분군은 아니다. 이러한 비대칭성 또한 반직접곱 구조의 특징이다.

4.3 몫군과 잉여류

$SE(3) / \mathbb{R}^{3}$ 은 $SO(3)$ 와 동형이며, 이는 강체 변환에서 병진을 무시한 회전 부분만을 추출하는 사상에 대응한다. 이러한 사상은 강체 자세에서 회전 성분만을 분리하는 절차에 자연스럽게 등장한다.

5. 위상적 및 기하학적 구조

5.1 매끄러운 다양체 구조

$SE(3)$ 는 6차원 매끄러운 다양체이며, 이는 $SO(3)$ 의 3차원 자유도와 $\mathbb{R}^{3}$ 의 3차원 자유도가 결합된 결과이다. 다양체로서 $SE(3)$ 는 $SO(3) \times \mathbb{R}^{3}$ 와 위상동형이다. 그러나 군 구조 측면에서는 두 군의 직접곱이 아니므로, 위상적 동형과 군적 동형은 구별되어야 한다.

5.2 비콤팩트성

$SO(3)$ 는 콤팩트 군이지만, $\mathbb{R}^{3}$ 는 비콤팩트하다. 따라서 $SE(3)$ 는 콤팩트하지 않은 군이며, 이는 강체 변환의 병진 성분이 임의로 큰 값을 가질 수 있다는 사실과 일치한다.

5.3 양 불변 계량의 부재

$SO(3)$ 와 달리 $SE(3)$ 위에는 양 불변 리만 계량이 존재하지 않는다. 즉 좌측 평행이동과 우측 평행이동에 동시에 불변인 계량이 정의될 수 없으며, 이는 회전 단위와 거리 단위가 서로 다른 차원을 가진다는 사실과도 관련이 있다. 따라서 $SE(3)$ 위에서의 거리는 보통 좌측 불변 또는 우측 불변 계량으로 정의되며, 응용에 따라 적절히 선택된다.

6. 리 군적 구조

6.1 리 군으로서의 $SE(3)$

$SE(3)$ 는 6차원 리 군이다. 리 군이라 함은 군 구조와 매끄러운 다양체 구조가 양립하며, 군의 곱셈과 역원 연산이 매끄러운 사상이라는 의미이다. 이러한 구조 덕분에 $SE(3)$ 위에서 미분 기하학적 도구를 자유롭게 사용할 수 있다.

6.2 리 대수 $\mathfrak{se}(3)$

$SE(3)$ 의 항등원에서의 접공간은 리 대수 $\mathfrak{se}(3)$ 이며, 다음과 같은 형태의 $4 \times 4$ 행렬로 구성된다.

$\xi^{\wedge} = \begin{bmatrix} [\boldsymbol{\omega}]_{\times} & \mathbf{v} \\ \mathbf{0}^{T} & 0 \end{bmatrix}$

여기서 $\boldsymbol{\omega} \in \mathbb{R}^{3}$ 는 각속도 부분이고, $\mathbf{v} \in \mathbb{R}^{3}$ 는 선속도 부분이다. 이 두 성분을 묶은 6차원 벡터 $\xi = [\mathbf{v}^{T}, \boldsymbol{\omega}^{T}]^{T}$ 를 트위스트(twist)라 한다. 따라서 $\mathfrak{se}(3)$ 는 $\mathbb{R}^{6}$ 와 동형이다.

6.3 지수 사상과 트위스트

리 대수 $\mathfrak{se}(3)$ 의 원소를 행렬 지수 함수에 대입하면 $SE(3)$ 의 원소가 산출된다.

$\exp : \mathfrak{se}(3) \to SE(3), \quad \xi^{\wedge} \mapsto e^{\xi^{\wedge}}$

이 사상은 트위스트로부터 강체 변환을 생성하며, 닫힌 형태의 공식이 알려져 있다. 이는 회전 행렬의 로드리게스 공식의 자연스러운 일반화에 해당한다. 모든 강체 변환은 이 지수 사상을 통하여 단일 트위스트로부터 생성될 수 있으며, 이 사실은 챠슬(Chasles)의 정리, 즉 임의의 강체 변환은 단일 스크류 운동(screw motion)으로 표현될 수 있다는 고전적 정리와 일치한다.

6.4 리 괄호 구조

$\mathfrak{se}(3)$ 위의 리 괄호는 행렬 교환자로 정의되며, 6차원 트위스트 공간 위에서는 다음과 같은 명시적 형태로 표현된다.

$[\xi_{1}, \xi_{2}] = \begin{bmatrix} \boldsymbol{\omega}_{1} \times \mathbf{v}_{2} - \boldsymbol{\omega}_{2} \times \mathbf{v}_{1} \\ \boldsymbol{\omega}_{1} \times \boldsymbol{\omega}_{2} \end{bmatrix}$

이 구조는 강체 운동의 비가환성을 정량적으로 다루는 데 사용되며, 리 군 위의 적분기, 베이커-캠벨-하우스도르프 공식의 응용 등에서 핵심적으로 등장한다.

7. 로봇 공학에서의 활용

7.1 자세 표현의 통합

매니퓰레이터 말단 장치, 무인기, 자율 주행 차량 등 모든 강체의 자세는 $SE(3)$ 의 원소로 표현된다. 회전 부분과 병진 부분을 분리하지 않고 단일 객체로 다룰 수 있다는 점은 운동학적 절차를 일관되게 기술할 수 있게 해주며, 좌표계 변환, 측정 갱신, 시각화 등의 절차에서 단일화된 형식적 처리가 가능해진다.

7.2 운동학 사슬과 자세 누적

다관절 매니퓰레이터의 운동학은 각 관절의 강체 변환을 베이스에서 말단까지 차례로 곱하는 형태로 표현된다.

$T_{0,n} = T_{0,1} T_{1,2} \cdots T_{n-1,n}$

여기서 각 인자 $T_{i-1,i}$ 는 $SE(3)$ 의 원소이며, 곱셈의 비가환성은 운동학적 정확성을 위하여 엄밀히 준수되어야 한다.

7.3 자세 추정과 위치 추정

시각-관성 항법, 슬램, 자율 주행의 위치 추정 등에서 로봇의 자세는 $SE(3)$ 위의 점으로 표현되며, 그 시간에 따른 변화는 트위스트로 표현된다. 리 군 위의 칼만 필터, 입자 필터, 불변 칼만 필터 등은 모두 $SE(3)$ 의 군 구조를 직접적으로 활용한다.

7.4 스크류 이론과 운동학적 해석

챠슬의 정리에 따라 임의의 강체 변환은 단일 스크류 축에 대한 회전과 그 축 방향의 병진으로 표현될 수 있다. 이러한 해석은 매니퓰레이터의 운동학을 트위스트와 스크류 좌표로 기술하는 현대적 접근의 기반이 되며, 지수 사상을 이용한 매니퓰레이터 운동학의 산출은 $SE(3)$ 의 리 군 구조를 핵심적으로 활용한다.

7.5 동역학과 일반화 좌표

강체의 동역학을 라그랑주 형식으로 기술할 때, 자세는 $SE(3)$ 의 원소로 표현되고 운동량은 $\mathfrak{se}(3)$ 의 쌍대 공간의 원소로 표현된다. 강체 동역학의 기하학적 형식화는 $SE(3)$ 의 군 구조 위에서 자연스럽게 진행되며, 리 군 위의 변분 적분기와 같은 고급 수치 기법의 토대가 된다.

7.6 경로 계획과 운동 보간

작업 공간에서의 강체 경로 계획은 본질적으로 $SE(3)$ 위의 곡선을 설계하는 문제이며, 측지선, 트위스트 보간, 스크류 보간 등은 모두 $SE(3)$ 의 리 군 구조 위에서 정의된다. 이러한 보간법은 매니퓰레이터의 작업 경로뿐 아니라 무인기 자세 천이, 카메라 시점 변화 등 광범위한 응용에서 사용된다.

8. 결론

강체 변환군 $SE(3)$ 는 회전군 $SO(3)$ 와 병진군 $\mathbb{R}^{3}$ 의 반직접곱으로 정의되는 6차원 비가환 리 군이며, 강체 운동을 기술하는 가장 자연스러운 수학적 객체이다. 그 동차 변환 행렬 표현은 회전과 병진을 단일 행렬로 통합하며, 군 연산은 행렬 곱셈의 형태로 명시적으로 기술된다. $SE(3)$ 의 리 대수 $\mathfrak{se}(3)$ 는 트위스트 표현을 제공하며, 지수 사상을 통하여 모든 강체 변환을 단일 스크류 운동으로 환원할 수 있게 해준다. 이러한 풍부한 구조는 운동학의 통합적 표현, 동역학의 기하학적 형식화, 자세 추정의 견고한 알고리듬, 경로 계획의 자연스러운 정의 등 로봇 공학의 광범위한 영역에서 핵심적인 역할을 수행한다. $SE(3)$ 에 대한 명확한 이해는 강체 운동을 다루는 모든 알고리듬의 정확성과 일관성을 확보하기 위한 본질적인 출발점이다.

참고문헌

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.
Selig, J. M. (2005). Geometric Fundamentals of Robotics (2nd ed.). Springer.
Spong, M. W., Hutchinson, S., & Vidyasagar, M. (2020). Robot Modeling and Control (2nd ed.). Wiley.
Siciliano, B., Sciavicco, L., Villani, L., & Oriolo, G. (2009). Robotics: Modelling, Planning and Control. Springer.
Hall, B. C. (2015). Lie Groups, Lie Algebras, and Representations: An Elementary Introduction (2nd ed.). Springer.
Stillwell, J. (2008). Naive Lie Theory. Springer.
Bullo, F., & Lewis, A. D. (2005). Geometric Control of Mechanical Systems. Springer.
Marsden, J. E., & Ratiu, T. S. (1999). Introduction to Mechanics and Symmetry (2nd ed.). Springer.
Chasles, M. (1830). “Note sur les propriétés générales du système de deux corps semblables entr’eux.” Bulletin des Sciences Mathématiques, 14, 321–326.

Version: 1.0