11.14 리 군과 스크류 이론의 관계

1. 두 이론의 만남

리 군 이론과 스크류 이론(screw theory)은 강체의 운동을 기술하는 두 개의 강력한 수학적 체계이다. 리 군 이론은 19세기 말 노르웨이의 수학자 소푸스 리에 의해 시작되어 추상적 대수와 미분 기하학의 방법으로 강체 운동을 다루며, 스크류 이론은 1900년 아일랜드의 수학자 로버트 볼(Robert Stawell Ball)이 A Treatise on the Theory of Screws에서 체계화한 이론으로 강체 운동의 기하학적 특성을 직접적으로 다룬다. 두 이론은 본질적으로 동일한 대상을 다루지만, 강조점과 표기법이 다르다. 본 절에서는 두 이론의 연결 관계를 명확히 하고, 로봇공학에서 두 시각이 어떻게 통합적으로 활용되는지 다룬다.

2. 스크류 이론의 기본 개념

2.1 스크류

스크류(screw)는 직선과 그 직선에 따른 피치(pitch)의 결합이다. 즉, 공간상의 한 직선과 그 직선 주위의 회전과 직선 방향의 병진의 비율을 나타내는 스칼라(피치)의 짝이다.

2.2 트위스트와 렌치

스크류 이론에서 두 개의 핵심 대상이 있다.

• 트위스트(twist): 강체의 6자유도 속도를 표현하는 대상
• 렌치(wrench): 강체에 작용하는 6자유도 힘과 토크를 표현하는 대상

이 두 대상은 모두 6차원 벡터로 표현되며, 스크류의 형태를 가진다.

2.3 슈아세의 정리

슈아세의 정리(Chasles’ theorem)는 임의의 강체 변환이 단일 스크류 운동(어떤 직선 주위의 회전과 그 직선 방향의 병진)으로 표현될 수 있음을 보여준다. 이는 스크류 이론의 출발점이며, 로봇공학에서 강체 운동을 다루는 자연스러운 방법을 제공한다.

3. 리 군 이론과의 연결

3.1 SE(3)과 강체 변환

리 군 이론에서 강체 변환은 특수 유클리드 군 SE(3)의 원소이다. 슈아세의 정리는 이 군의 모든 원소가 단일 스크류 운동으로 표현될 수 있음을 의미한다.

3.2 \mathfrak{se}(3)과 트위스트

리 대수 \mathfrak{se}(3)의 원소는 트위스트와 정확히 일치한다. 즉, 리 대수의 원소가 스크류 이론의 기본 대상이다.

3.3 지수 사상과 스크류 운동

리 군의 지수 사상은 트위스트(무한소 스크류 운동)에서 유한 스크류 운동으로의 사상이며, 슈아세의 정리의 정량적 형태를 제공한다.

\mathbf{T} = \exp(\hat{\boldsymbol{\xi}})

여기서 \hat{\boldsymbol{\xi}} \in \mathfrak{se}(3)이 트위스트이고 \mathbf{T} \in SE(3)이 결과 강체 변환이다.

4. 트위스트의 두 시각

4.1 리 군 시각

리 군 시각에서 트위스트는 다음과 같이 정의된다.

\hat{\boldsymbol{\xi}} = \begin{bmatrix}[\boldsymbol{\omega}]_\times & \mathbf{v} \\ \mathbf{0}^T & 0\end{bmatrix} \in \mathfrak{se}(3)

여기서 \boldsymbol{\omega}는 각속도, \mathbf{v}는 선형 속도이다. 트위스트는 6차원 벡터 표현으로

\boldsymbol{\xi} = \begin{bmatrix}\boldsymbol{\omega} \\ \mathbf{v}\end{bmatrix} \in \mathbb{R}^6

4.2 스크류 이론 시각

스크류 이론 시각에서 트위스트는 스크류 축과 피치의 결합으로 해석된다. 트위스트가 표현하는 스크류 운동의 매개변수는 다음과 같이 추출된다.

4.2.1 스크류 축의 방향

\hat{\mathbf{s}} = \frac{\boldsymbol{\omega}}{\lVert\boldsymbol{\omega}\rVert}

4.2.2 스크류 축의 위치

\mathbf{q} = \frac{\boldsymbol{\omega} \times \mathbf{v}}{\lVert\boldsymbol{\omega}\rVert^2}

4.2.3 피치

h = \frac{\boldsymbol{\omega}^T\mathbf{v}}{\lVert\boldsymbol{\omega}\rVert^2}

이러한 매개변수들이 트위스트가 표현하는 스크류 운동의 기하학적 특성을 결정한다.

4.3 두 시각의 동치성

리 군 시각과 스크류 이론 시각은 본질적으로 같은 대상을 다른 언어로 기술한다. 트위스트의 6차원 벡터 표현이 두 시각의 공통 매체이다.

5. 회전 관절과 직선 관절

5.1 영 피치 스크류 (회전 관절)

회전 관절은 영 피치 스크류로 표현된다. 즉, 회전만 있고 병진이 없는 운동이다. 트위스트의 형태는 다음과 같다.

\boldsymbol{\xi}_{\text{rev}} = \begin{bmatrix}\hat{\mathbf{s}} \\ -\hat{\mathbf{s}} \times \mathbf{q}\end{bmatrix}

여기서 \hat{\mathbf{s}}는 회전 축의 방향, \mathbf{q}는 회전 축 위의 한 점이다. 병진 부분 -\hat{\mathbf{s}} \times \mathbf{q}는 회전 축의 위치 정보를 표현한다.

5.2 무한 피치 스크류 (직선 관절)

직선 관절은 무한 피치 스크류로 표현된다. 즉, 병진만 있고 회전이 없는 운동이다.

\boldsymbol{\xi}_{\text{prism}} = \begin{bmatrix}\mathbf{0} \\ \hat{\mathbf{s}}\end{bmatrix}

여기서 \hat{\mathbf{s}}는 병진 방향이다.

5.3 통일된 표현

회전 관절과 직선 관절이 모두 트위스트로 표현되므로, 매니퓰레이터의 다양한 관절을 통일된 방식으로 다룰 수 있다. 이는 곱지수 공식에서 핵심적인 역할을 한다.

6. 곱지수 공식

6.1 정의

매니퓰레이터의 순기구학을 표현하는 곱지수(Product of Exponentials, POE) 공식은 다음과 같다.

\mathbf{T}(\boldsymbol{\theta}) = e^{\hat{\boldsymbol{\xi}}_1\theta_1}e^{\hat{\boldsymbol{\xi}}_2\theta_2}\cdots e^{\hat{\boldsymbol{\xi}}_n\theta_n}\mathbf{M}

여기서

• \hat{\boldsymbol{\xi}}_i: i번째 관절의 스크류 축(트위스트 형태)
• \theta_i: i번째 관절의 변수 (회전 관절은 회전 각, 직선 관절은 병진 거리)
• \mathbf{M}: 영 자세에서의 말단 장치 변환

6.2 의미

곱지수 공식은 매니퓰레이터의 운동학을 일련의 스크류 운동의 합성으로 표현한다. 이는 슈아세의 정리와 리 군의 지수 사상을 결합한 강력한 표현이다.

6.3 DH 매개변수와의 비교

전통적인 DH(Denavit-Hartenberg) 매개변수와 비교하여 곱지수 공식의 장점은 다음과 같다.

• 좌표계 부착이 자연스럽고 직관적이다.
• 모든 관절이 영 자세에서 정의되므로 표기가 통일적이다.
• 자코비안 계산이 직접적이다.
• 리 군 이론과 자연스럽게 연결된다.

7. 매니퓰레이터의 자코비안

7.1 공간 자코비안

매니퓰레이터의 공간 자코비안은 각 관절의 현재 트위스트(스크류 축)로 구성된다.

\mathbf{J}_s(\boldsymbol{\theta}) = [\mathcal{V}_{s,1}, \mathcal{V}_{s,2}, \ldots, \mathcal{V}_{s,n}]

각 열이 한 관절의 현재 스크류 축이며, 이는 관절 변수에 따라 변화한다. 첫 번째 관절의 스크류 축은 변하지 않지만, 다른 관절의 스크류 축은 이전 관절들의 변환에 의해 변환된다.

7.2 본체 자코비안

본체 자코비안은 본체 좌표계에서의 트위스트로 구성된다. 두 자코비안 사이의 변환은 수반 표현으로 이루어진다.

7.3 의미

자코비안은 관절 속도를 말단 장치의 트위스트로 매핑한다.

\mathcal{V} = \mathbf{J}(\boldsymbol{\theta})\dot{\boldsymbol{\theta}}

이는 매니퓰레이터의 미분 운동학의 핵심이다.

8. 트위스트의 좌표계 변환

8.1 수반 표현을 통한 변환

트위스트의 좌표계 변환은 수반 표현으로 표현된다.

\mathcal{V}_s = [\mathrm{Ad}_{\mathbf{T}_{sb}}]\mathcal{V}_b

여기서 \mathbf{T}_{sb}는 본체 좌표계에서 공간 좌표계로의 변환이다.

8.2 스크류 이론에서의 표현

스크류 이론에서는 이러한 변환을 직접적으로 다룬다. 스크류 축은 좌표계 변환에 의해 위치와 방향이 변하지만, 본질적인 스크류 운동은 보존된다.

8.3 두 표현의 일치

리 군 시각의 수반 표현과 스크류 이론의 좌표계 변환은 정확히 일치하는 표현이다.

9. 렌치와 코트랑겐트 공간

9.1 렌치의 정의

스크류 이론에서 렌치(wrench)는 강체에 작용하는 6자유도 힘과 토크의 결합이다.

\mathcal{F} = \begin{bmatrix}\boldsymbol{\tau} \\ \mathbf{f}\end{bmatrix} \in \mathbb{R}^6

여기서 \boldsymbol{\tau}는 토크, \mathbf{f}는 힘이다.

9.2 코트랑겐트 공간으로서의 렌치

리 군 시각에서 렌치는 리 대수의 코트랑겐트 공간 \mathfrak{se}(3)^*의 원소이다. 트위스트와 렌치 사이의 자연스러운 쌍대성이 존재한다.

P = \mathcal{F}^T\mathcal{V}

여기서 P는 동력(힘과 속도의 곱)이며, 두 6차원 벡터의 내적으로 표현된다.

9.3 렌치의 변환

렌치의 좌표계 변환은 트위스트와 다르며, 수반 표현의 트랜스포즈를 사용한다.

\mathcal{F}_s = [\mathrm{Ad}_{\mathbf{T}_{sb}}]^T\mathcal{F}_b

이는 코트랑겐트 공간의 자연스러운 변환이다.

10. 강체 동역학

10.1 운동 방정식

강체의 운동 방정식은 트위스트와 그 시간 미분으로 표현된다.

\mathbf{I}\dot{\mathcal{V}}_b - [\mathrm{ad}_{\mathcal{V}_b}]^T\mathbf{I}\mathcal{V}_b = \mathcal{F}_b

여기서 \mathbf{I}는 일반화된 관성 행렬이며, 회전 관성과 질량을 결합한 6 \times 6 행렬이다.

10.2 리 대수와의 연결

이 운동 방정식에서 [\mathrm{ad}_{\mathcal{V}_b}]^T의 등장이 리 대수의 구조와 직접 연결됨을 보여준다. 동역학의 비선형성이 리 대수의 비가환성으로부터 비롯된다.

10.3 매니퓰레이터 동역학

다관절 매니퓰레이터의 동역학은 각 링크의 트위스트와 렌치의 합성으로 기술된다. Featherstone의 articulated body algorithm은 이러한 표현을 활용한다.

11. 강체 운동의 보간

11.1 측지선 보간

SE(3) 위의 측지선 보간은 두 자세 사이의 가장 짧은 스크류 운동이다.

\mathbf{T}(t) = \mathbf{T}_0\exp(t\log(\mathbf{T}_0^{-1}\mathbf{T}_1))

이는 두 자세를 슈아세의 정리에 의해 단일 스크류 운동으로 연결하는 방법이다.

11.2 자연스러움

측지선 보간은 회전과 병진을 분리하여 보간하는 것보다 자연스럽고 효율적이다. 이는 스크류 이론과 리 군 이론의 통합이 운동 계획에 직접 활용되는 예이다.

12. 운동학적 적합성

12.1 비홀로노믹 시스템

스크류 이론은 비홀로노믹 시스템(예: 자동차, 자전거)의 분석에 적합하다. 이러한 시스템의 운동 제약은 스크류 형태로 자연스럽게 표현된다.

12.2 매니퓰레이터의 특이점

매니퓰레이터의 자코비안의 특이점은 스크류의 선형 종속성으로 해석된다. 자코비안의 열들이 선형 종속이면 매니퓰레이터의 운동이 제약된다.

12.3 잉여 자유도

잉여 자유도를 가진 매니퓰레이터의 분석에서 스크류 이론과 리 군 이론이 모두 활용된다.

13. 학술적 통합

13.1 표기법의 통일

현대 로봇공학 문헌에서는 리 군과 스크류 이론의 표기가 통합되어 사용된다. 트위스트, 렌치, 스크류 축 등의 용어가 두 이론에서 모두 등장한다.

13.2 교과서의 접근

Modern Robotics 교과서(Lynch & Park)와 같은 현대 로봇공학 교과서는 리 군 이론과 스크류 이론을 통합적으로 다루며, 두 시각의 장점을 모두 활용한다.

13.3 학술 논문

학술 논문에서는 응용에 따라 한 시각이 강조되지만, 두 이론의 연결은 항상 인식된다.

14. 응용 예시: 매니퓰레이터의 순기구학

매니퓰레이터의 순기구학을 곱지수 공식으로 표현해 보자. 6자유도 매니퓰레이터에 대해

\mathbf{T}(\theta_1, \theta_2, \ldots, \theta_6) = e^{\hat{\boldsymbol{\xi}}_1\theta_1}e^{\hat{\boldsymbol{\xi}}_2\theta_2}\cdots e^{\hat{\boldsymbol{\xi}}_6\theta_6}\mathbf{M}

각 \hat{\boldsymbol{\xi}}_i는 영 자세에서의 i번째 관절의 스크류 축이며, 영 자세를 정의한 후 결정된다. 이는 리 군의 지수 사상과 스크류 이론의 통합된 활용이다.

15. 응용 예시: 매니퓰레이터의 자코비안

매니퓰레이터의 공간 자코비안의 i번째 열은 다음과 같이 계산된다.

\mathbf{J}_{s,i}(\boldsymbol{\theta}) = [\mathrm{Ad}_{e^{\hat{\boldsymbol{\xi}}_1\theta_1}\cdots e^{\hat{\boldsymbol{\xi}}_{i-1}\theta_{i-1}}}]\boldsymbol{\xi}_i

이는 영 자세에서의 스크류 축이 이전 관절들에 의해 변환된 결과이다. 수반 표현이 핵심 역할을 한다.

16. 응용 예시: 시각적 SLAM

시각적 SLAM에서 카메라의 자세 변화는 SE(3)의 원소이며, 이러한 변화를 트위스트로 매개변수화한다. 작은 시간 간격 동안의 카메라 운동이 트위스트로 표현되고, 누적된 운동이 곱지수 공식의 형태로 표현된다.

17. 응용 예시: 운동 계획

자세 보간이나 경로 계획에서 두 자세 사이의 트위스트를 계산한다. 이 트위스트가 측지선의 방향을 결정한다.

\boldsymbol{\xi}_{\text{path}} = \log(\mathbf{T}_0^{-1}\mathbf{T}_1)

이 트위스트의 시간 함수가 부드러운 경로를 생성한다.

18. 학습의 가치

리 군 이론과 스크류 이론의 관계를 이해하는 것은 다음과 같은 이점을 제공한다.

• 강체 운동의 두 시각을 통합적으로 다룰 수 있다.
• 매니퓰레이터의 운동학과 동역학을 깊이 이해할 수 있다.
• 다양한 학술 문헌의 표기와 접근법을 모두 이해할 수 있다.
• 새로운 알고리즘 설계 시 두 이론의 도구를 활용할 수 있다.

19. 두 이론의 차이와 보완

19.1 강조점의 차이

19.2 상호 보완

두 이론은 서로의 약점을 보완한다. 리 군 이론은 추상적 분석에 강하고, 스크류 이론은 직관적 이해에 강하다. 두 이론을 함께 사용하면 가장 풍부한 이해가 가능하다.

20. 참고 문헌

• Ball, R. S. (1900). A Treatise on the Theory of Screws. Cambridge University Press.
• 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.
• Featherstone, R. (2008). Rigid Body Dynamics Algorithms. 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