Chapter 11. 리 군과 리 대수 (Lie Groups and Lie Algebras)

1. 장의 개요

리 군(Lie group)과 리 대수(Lie algebra)는 연속적인 대칭 구조를 수학적으로 기술하는 강력한 도구이며, 현대 로봇공학의 이론적 기반 중 하나이다. 강체의 회전과 변환, 매니퓰레이터의 운동학, 자세 추정, 상태 추정, 운동 계획 등 로봇공학의 광범위한 영역에서 리 군과 리 대수의 개념이 핵심적인 역할을 한다. 본 장에서는 리 군과 리 대수의 기초 이론에서 출발하여, 로봇공학에서 가장 빈번하게 등장하는 회전군 SO(3)와 강체 변환군 SE(3)의 구조와 응용까지 체계적으로 다룬다.

2. 리 군과 리 대수의 학문적 위치

2.1 수학적 배경

리 군은 19세기 말 노르웨이의 수학자 소푸스 리(Sophus Lie)에 의해 처음 제안되었다. 리는 미분 방정식의 대칭성을 연구하는 과정에서 연속적 변환 군의 구조를 체계화하였으며, 이로부터 리 군 이론이 탄생하였다. 리 군은 매끄러운 다양체이면서 동시에 군 구조를 갖는 대상이며, 두 구조가 매끄럽게 양립한다.

리 대수는 리 군의 항등원에서의 접선 공간이며, 리 군의 무한소 구조를 선형 공간 위에서 다룬다. 리 군과 리 대수는 지수 사상(exponential map)과 로그 사상(logarithm map)으로 연결되어 있으며, 이 사상이 두 대상 사이의 가교 역할을 한다.

2.2 로봇공학에서의 위치

로봇공학에서 리 군과 리 대수가 중요한 이유는 다음과 같다.

• 강체의 자세는 회전군 SO(3)의 원소로 자연스럽게 표현된다.
• 강체의 위치와 자세는 강체 변환군 SE(3)의 원소로 표현된다.
• 매니퓰레이터의 관절 운동은 리 군 위의 운동으로 기술된다.
• 자세 추정과 상태 추정에서 리 군의 구조가 활용된다.
• 운동 계획에서 리 군 위의 측지선이 자연스러운 경로가 된다.

3. 본 장의 학습 목표

본 장의 학습을 통해 독자는 다음을 이해하고 활용할 수 있게 된다.

3.1 이론적 이해

• 리 군과 리 대수의 정의와 기본 성질을 이해한다.
• 지수 사상과 로그 사상의 의미와 계산 방법을 학습한다.
• SO(3)와 SE(3)의 구조와 성질을 이해한다.
• 행렬 리 군의 일반적 이론을 파악한다.

3.2 계산적 능력

• 리 군 원소와 리 대수 원소 사이의 변환을 계산할 수 있다.
• 회전 행렬과 강체 변환의 지수와 로그를 계산할 수 있다.
• 야코비안 등 미분 사상을 다룰 수 있다.

3.3 응용 능력

• 자세 추정 알고리즘에 리 군 이론을 적용할 수 있다.
• 매니퓰레이터의 운동학에 리 군 이론을 활용할 수 있다.
• 운동 계획에서 측지선과 보간을 설계할 수 있다.

4. 본 장의 구성

본 장은 크게 다음의 부분으로 구성된다.

4.1 기초 이론

리 군과 리 대수의 정의, 성질, 기본 사상이 다루어진다. 군과 다양체의 결합으로서의 리 군의 구조, 리 대수의 정의와 리 괄호, 지수 사상과 로그 사상의 정의와 성질이 포함된다.

4.2 주요 행렬 리 군

로봇공학에서 가장 중요한 회전군 SO(3), 강체 변환군 SE(3), 그리고 일반선형군과 직교군 등 다른 행렬 리 군들의 구조가 다루어진다. 각 군의 차원, 매개변수화, 항등 원소 근방의 접선 공간이 포함된다.

4.3 지수 사상과 닫힌 형태

행렬 지수의 정의와 성질, 회전군과 강체 변환군에서의 지수 사상의 닫힌 형태가 다루어진다. 로드리게스 공식, SE(3)의 지수 사상과 야코비안의 계산이 포함된다.

4.4 미분과 야코비안

리 군 위의 함수의 미분, 우측과 좌측 야코비안, BCH(Baker-Campbell-Hausdorff) 공식 등 리 군의 미분 구조가 다루어진다.

4.5 응용

로봇공학의 다양한 응용에서 리 군 이론이 어떻게 활용되는지 다룬다. 자세 추정의 곱셈 갱신, 매니퓰레이터의 곱지수 공식, 시각적 SLAM의 자세 최적화, 운동 계획의 측지선 등이 포함된다.

5. 사전 지식

본 장의 내용을 효과적으로 이해하기 위해 다음의 사전 지식이 권장된다.

5.1 선형 대수학

벡터 공간, 행렬 연산, 고유값과 고유벡터, 선형 변환, 직교 행렬 등의 기본 개념이 필요하다.

5.2 미적분학

다변수 함수의 미분, 편미분, 야코비안 등의 개념이 필요하다.

5.3 다양체의 기초

다양체의 기본 개념(접선 공간, 매끄러운 사상)에 대한 직관이 도움이 된다. 다만 본 장에서는 필요한 내용을 직관적으로 설명한다.

5.4 회전과 변환

3차원 회전 행렬, 쿼터니언, 동차 변환 행렬에 대한 친숙도가 도움이 된다. 이는 이전 장에서 다루어진다.

6. 표기법과 관습

본 장에서 사용되는 주요 표기법은 다음과 같다.

7. 본 장이 다루는 핵심 개념

7.1 리 군의 정의와 성질

리 군은 매끄러운 다양체와 군 구조의 양립이며, 군 연산과 역원 연산이 매끄러운 함수이다. 이 정의로부터 다양한 성질이 유도된다.

7.2 리 대수의 정의와 성질

리 대수는 항등원에서의 접선 공간이며, 리 괄호라는 이항 연산과 함께 정의된다. 리 괄호는 리 군의 비가환성을 무한소 수준에서 표현한다.

7.3 지수 사상

지수 사상은 리 대수에서 리 군으로의 사상이며, 리 대수의 무한소 운동을 리 군의 유한 운동으로 사상한다. 행렬 리 군에서는 행렬 지수와 일치한다.

7.4 로그 사상

로그 사상은 지수 사상의 역이며, 리 군의 원소를 리 대수의 원소로 사상한다. 항등원 근방에서 정의된다.

7.5 공역 사상

공역 사상은 리 군의 원소가 리 대수에 작용하는 방식을 기술한다. 이는 좌표계 변환에서 리 대수 원소를 변환하는 데 사용된다.

7.6 좌측과 우측 곱

리 군의 비가환성으로 인해 좌측 곱과 우측 곱이 다른 결과를 산출한다. 이는 좌측 자코비안과 우측 자코비안이라는 두 종류의 미분으로 이어진다.

8. 리 군 이론의 실용적 가치

8.1 통일된 이론적 틀

리 군 이론은 다양한 자세 표현(회전 행렬, 쿼터니언, 회전 벡터)을 통일된 틀에서 다룰 수 있게 한다. 각 표현이 리 군의 다른 매개변수화이며, 본질적인 구조는 같음을 보여준다.

8.2 견고한 알고리즘

리 군의 구조를 활용한 알고리즘은 단위성 보존, 다양체 위의 자연스러운 운동 등의 좋은 성질을 가진다. 이는 수치적 안정성과 정확성을 향상시킨다.

8.3 자동 미분과 최적화

리 군 위의 자동 미분이 가능해지고 있으며, 이는 비선형 최적화 알고리즘에 활용된다. Ceres Solver, GTSAM 등의 라이브러리가 리 군 기반 최적화를 지원한다.

8.4 학술적 일관성

학술 논문과 교과서에서 리 군 이론을 사용한 표현이 표준이 되어가고 있다. 이를 이해하면 최신 연구를 따라잡기 용이하다.

9. 본 장의 활용

9.1 직접적인 활용

본 장의 내용은 자세 추정, 매니퓰레이터 제어, 시각적 SLAM, 운동 계획 등 다양한 응용에 직접 활용된다.

9.2 다른 장과의 연결

본 장은 이전의 회전 행렬과 쿼터니언 장을 통합적 관점에서 조망한다. 이후의 매니퓰레이터 운동학과 동역학 장에서도 본 장의 개념이 활용된다.

9.3 추가 학습 방향

리 군 이론은 깊이 있는 분야이며, 본 장에서 다루는 내용은 입문에 해당한다. 더 깊이 학습하고자 하는 독자는 리만 기하학, 미분 위상수학, 표현론 등의 분야로 확장할 수 있다.

10. 본 장 학습의 어려움과 극복

10.1 추상성의 어려움

리 군과 리 대수는 추상적인 수학적 대상이며, 처음 접하는 독자에게는 어렵게 느껴질 수 있다. 본 장에서는 직관적 설명과 구체적 예시를 통해 이 어려움을 극복하도록 돕는다.

10.2 표기법의 다양성

리 군 이론의 표기법은 분야와 저자에 따라 다양하다. 본 장에서는 로봇공학 분야에서 일반적으로 사용되는 표기를 채택하고, 다른 표기와의 관계를 명시한다.

10.3 응용으로의 연결

이론과 응용 사이의 간극이 클 수 있다. 본 장에서는 각 개념이 어떻게 로봇공학에 활용되는지 명확히 보여준다.

11. 본 장의 차별화

11.1 로봇공학 중심

본 장은 일반적인 수학 교과서와 달리 로봇공학에 직접 활용되는 내용을 중심으로 다룬다. 추상적 일반론보다 구체적이고 실용적인 내용에 초점을 맞춘다.

11.2 계산 가능성

본 장에서 다루는 모든 개념은 컴퓨터에서 계산 가능한 형태로 제시된다. 닫힌 형태, 효율적인 알고리즘, 수치적 안정성 등이 강조된다.

11.3 통합적 시각

자세 표현과 변환, 추정, 제어 등 다양한 분야를 리 군 이론이라는 단일 시각에서 통합한다.

12. 참고 문헌

• Hall, B. C. (2015). Lie Groups, Lie Algebras, and Representations: An Elementary Introduction (2nd ed.). Springer.
• Stillwell, J. (2008). Naive Lie Theory. Springer.
• 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.
• Sola, J., Deray, J., & Atchuthan, D. (2018). “A Micro Lie Theory for State Estimation in Robotics.” arXiv:1812.01537.
• Selig, J. M. (2005). Geometric Fundamentals of Robotics (2nd ed.). Springer.

version: 1.0