11.5 리 대수의 정의와 접선 공간

1. 리 대수의 직관적 이해

리 대수(Lie algebra)는 리 군의 무한소(infinitesimal) 구조를 선형 공간 위에서 표현한 수학적 대상이다. 리 군이 일반적으로 비선형이고 매끄러운 다양체인 반면, 리 대수는 선형 공간이며 다루기가 훨씬 쉽다. 리 대수는 리 군의 항등원에서의 접선 공간으로 정의되며, 지수 사상을 통해 리 군과 연결된다. 직관적으로 리 대수의 원소는 리 군 위에서의 “방향“이나 “속도“에 해당하며, 이를 적분하면 리 군의 원소(유한한 변환)가 얻어진다.

2. 접선 공간의 기초

2.1 곡선의 접선 벡터

매끄러운 다양체 $M$ 위의 매끄러운 곡선 $\gamma : (-\epsilon, \epsilon) \to M$ 이 점 $p = \gamma(0)$ 를 지난다고 하자. 이 곡선의 점 $p$ 에서의 접선 벡터는 곡선의 그 순간의 “속도“이며, 형식적으로는 매끄러운 함수에 작용하는 미분 연산자로 정의된다.

2.2 접선 공간의 정의

다양체 $M$ 의 점 $p$ 에서 그 점을 지나는 모든 매끄러운 곡선의 접선 벡터의 집합은 선형 공간을 이루며, 이를 점 $p$ 에서의 접선 공간 $T_pM$ 이라 한다.

$T_pM = \{\dot\gamma(0) : \gamma \text{ is a smooth curve in } M, \gamma(0) = p\}$

2.3 접선 공간의 차원

접선 공간의 차원은 다양체의 차원과 같다. $\dim(T_pM) = \dim(M)$ 이다. 모든 점에서 접선 공간의 차원이 같다.

2.4 접선 공간의 선형 구조

접선 공간은 자연스럽게 선형 공간(벡터 공간)의 구조를 가진다. 두 접선 벡터의 합과 스칼라 곱이 정의되며, 이러한 연산이 접선 공간 안에 머문다.

3. 리 군의 접선 공간

3.1 모든 점에서의 접선 공간

리 군 $G$ 의 임의의 점 $g \in G$ 에서의 접선 공간 $T_gG$ 는 정의된다. 리 군의 차원이 $n$ 이면 $T_gG$ 의 차원도 $n$ 이다.

3.2 항등원에서의 특별함

리 군의 항등원 $e$ 에서의 접선 공간 $T_eG$ 는 특별한 의미를 가진다. 이 공간이 리 군의 리 대수가 된다.

$\mathfrak{g} = T_eG$

여기서 $\mathfrak{g}$ (“프락투어 g”)는 리 대수의 표준 표기이다.

3.3 다른 점으로의 평행 이동

리 군의 좌측 곱이나 우측 곱을 사용하면 한 점의 접선 공간을 다른 점으로 평행 이동할 수 있다. 즉, 모든 점의 접선 공간이 항등원에서의 접선 공간과 동치이다.

$T_gG \cong T_eG = \mathfrak{g}$

이러한 평행 이동의 가능성이 리 군의 동질성(homogeneity)을 표현한다.

4. 리 대수의 정의

4.1 형식적 정의

리 대수 $\mathfrak{g}$ 는 다음의 두 가지 구조를 갖는 대상이다.

선형 공간: $\mathfrak{g}$ 는 어떤 체(일반적으로 실수체) 위의 선형 공간이다.
리 괄호: $[\cdot, \cdot] : \mathfrak{g} \times \mathfrak{g} \to \mathfrak{g}$ 가 다음을 만족하는 이항 연산이다.

리 괄호의 성질은 다음과 같다.

이중 선형성: 두 인자 각각에 대해 선형이다.
반대칭성: $[X, Y] = -[Y, X]$
야코비 항등식: $[X, [Y, Z]] + [Y, [Z, X]] + [Z, [X, Y]] = 0$

4.2 리 괄호의 의미

리 괄호는 리 군의 비가환성을 무한소 수준에서 표현한다. 두 원소의 곱 순서가 다르면 결과가 달라지는 정도를 측정한다.

4.3 리 군의 리 대수

리 군 $G$ 의 리 대수는 항등원에서의 접선 공간이며, 리 괄호는 리 군의 곱 구조에서 자연스럽게 유도된다.

5. 행렬 리 대수

5.1 행렬 리 군의 리 대수

행렬 리 군 $G \subset GL(n, \mathbb{R})$ 의 리 대수는 다음과 같이 정의된다.

$\mathfrak{g} = \{X \in \mathbb{R}^{n \times n} : e^{tX} \in G, \forall t \in \mathbb{R}\}$

즉, 리 대수의 원소는 모든 시간 $t$ 에 대해 행렬 지수 $e^{tX}$ 가 $G$ 에 속하는 행렬이다. 이러한 정의는 리 대수를 직관적으로 “리 군 위의 1매개 변수 부분 군의 무한소 생성원“으로 이해할 수 있게 한다.

5.2 행렬 리 괄호

행렬 리 대수에서 리 괄호는 행렬 교환자(commutator)로 정의된다.

$[X, Y] = XY - YX$

이 정의가 위에서 언급한 리 괄호의 성질을 만족함을 확인할 수 있다.

5.3 행렬 리 대수의 예

행렬 리 대수의 주요 예는 다음과 같다.

리 군	리 대수	설명
$GL(n, \mathbb{R})$	$\mathfrak{gl}(n, \mathbb{R}) = \mathbb{R}^{n \times n}$	모든 $n \times n$ 행렬
$SL(n, \mathbb{R})$	$\mathfrak{sl}(n, \mathbb{R})$	트레이스 0 행렬
$O(n)$ , $SO(n)$	$\mathfrak{so}(n)$	반대칭 행렬
$U(n)$	$\mathfrak{u}(n)$	반에르미트 행렬
$SU(n)$	$\mathfrak{su}(n)$	트레이스 0 반에르미트

6. $\mathfrak{so}(3)$ 의 구조

6.1 정의

3차원 회전군 $SO(3)$ 의 리 대수는 다음과 같이 정의된다.

$\mathfrak{so}(3) = \{\mathbf{A} \in \mathbb{R}^{3 \times 3} : \mathbf{A}^T = -\mathbf{A}\}$

이는 3차원의 반대칭 행렬의 집합이다.

6.2 차원과 기저

$\mathfrak{so}(3)$ 은 3차원 선형 공간이다. 표준 기저는 다음과 같다.

$\mathbf{E}_1 = \begin{bmatrix}0 & 0 & 0 \\ 0 & 0 & -1 \\ 0 & 1 & 0\end{bmatrix}, \quad \mathbf{E}_2 = \begin{bmatrix}0 & 0 & 1 \\ 0 & 0 & 0 \\ -1 & 0 & 0\end{bmatrix}, \quad \mathbf{E}_3 = \begin{bmatrix}0 & -1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0\end{bmatrix}$

이 세 행렬이 각각 x, y, z 축 주위의 무한소 회전에 해당한다.

6.3 벡터 표현

3차원 벡터 $\boldsymbol{\omega} = [\omega_x, \omega_y, \omega_z]^T$ 를 다음과 같이 반대칭 행렬로 매핑할 수 있다.

$[\boldsymbol{\omega}]_\times = \begin{bmatrix}0 & -\omega_z & \omega_y \\ \omega_z & 0 & -\omega_x \\ -\omega_y & \omega_x & 0\end{bmatrix}$

이 사상은 $\mathbb{R}^3$ 과 $\mathfrak{so}(3)$ 사이의 동형사상이다.

6.4 리 괄호와 외적의 관계

$\mathfrak{so}(3)$ 의 리 괄호는 행렬 교환자이며, 벡터 표현으로는 외적과 일치한다.

$[[\boldsymbol{\omega}_1]_\times, [\boldsymbol{\omega}_2]_\times] = [\boldsymbol{\omega}_1 \times \boldsymbol{\omega}_2]_\times$

이 식은 다음의 리 괄호를 의미한다.

$[\boldsymbol{\omega}_1, \boldsymbol{\omega}_2]_{\mathfrak{so}(3)} = \boldsymbol{\omega}_1 \times \boldsymbol{\omega}_2$

6.5 물리적 해석

$\mathfrak{so}(3)$ 의 원소는 각속도로 해석된다. 회전 행렬의 시간 미분이 $\mathbf{R}[\boldsymbol{\omega}]_\times$ 의 형태로 표현되며, 여기서 $\boldsymbol{\omega}$ 가 본체 좌표계의 각속도이다.

7. $\mathfrak{se}(3)$ 의 구조

7.1 정의

3차원 강체 변환군 $SE(3)$ 의 리 대수는 다음과 같이 정의된다.

$\mathfrak{se}(3) = \left\{\begin{bmatrix}[\boldsymbol{\omega}]_\times & \mathbf{v} \\ \mathbf{0}^T & 0\end{bmatrix} : \boldsymbol{\omega}, \mathbf{v} \in \mathbb{R}^3\right\}$

이는 6차원 선형 공간이다.

7.2 벡터 표현

$\mathfrak{se}(3)$ 의 원소는 6차원 벡터로 표현된다.

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

여기서 $\boldsymbol{\omega}$ 는 회전 부분(각속도), $\mathbf{v}$ 는 병진 부분(선형 속도)이다. 이 벡터는 트위스트(twist)라고 불린다.

7.3 해트 사상

벡터에서 행렬로의 사상은 해트(hat) 연산자로 표시된다.

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

또는 다른 표기로 $\boldsymbol{\xi}^\wedge$ 로 쓰기도 한다.

7.4 리 괄호

$\mathfrak{se}(3)$ 의 리 괄호는 행렬 교환자이며, 벡터 표현으로는 다음과 같다.

$[\boldsymbol{\xi}_1, \boldsymbol{\xi}_2] = \begin{bmatrix}\boldsymbol{\omega}_1 \times \boldsymbol{\omega}_2 \\ \boldsymbol{\omega}_1 \times \mathbf{v}_2 - \boldsymbol{\omega}_2 \times \mathbf{v}_1\end{bmatrix}$

이는 6차원 벡터로 표현된 리 괄호이다.

7.5 물리적 해석

$\mathfrak{se}(3)$ 의 원소는 강체의 6차원 속도(트위스트)로 해석된다. 각속도와 선형 속도가 결합된 형태이며, 강체 운동학에서 자연스럽게 등장한다.

8. 일반 행렬 리 대수의 예

8.1 $\mathfrak{gl}(n, \mathbb{R})$

$GL(n, \mathbb{R})$ 의 리 대수는 모든 $n \times n$ 실수 행렬의 집합이다.

$\mathfrak{gl}(n, \mathbb{R}) = \mathbb{R}^{n \times n}$

차원은 $n^2$ 이다.

8.2 $\mathfrak{sl}(n, \mathbb{R})$

$SL(n, \mathbb{R})$ 의 리 대수는 트레이스가 0인 행렬의 집합이다.

$\mathfrak{sl}(n, \mathbb{R}) = \{X \in \mathbb{R}^{n \times n} : \mathrm{tr}(X) = 0\}$

차원은 $n^2 - 1$ 이다.

8.3 $\mathfrak{u}(n)$

$U(n)$ 의 리 대수는 반에르미트 행렬의 집합이다.

$\mathfrak{u}(n) = \{X \in \mathbb{C}^{n \times n} : X^* = -X\}$

차원(실수 차원)은 $n^2$ 이다.

9. 접선 공간의 기저와 좌표

9.1 기저

리 대수는 선형 공간이므로 기저를 가진다. 행렬 리 대수의 표준 기저는 행렬 단위(matrix units) 또는 그 변형으로 주어진다.

9.2 좌표

기저가 정해지면 리 대수의 원소를 좌표(스칼라)로 표현할 수 있다. $\mathfrak{so}(3)$ 에서는 $(\omega_x, \omega_y, \omega_z)$ 가 좌표이다.

9.3 좌표 변환

기저를 바꾸면 좌표가 변환된다. 이는 일반적인 선형 대수의 좌표 변환과 같다.

10. 리 군과 리 대수의 대응 관계

10.1 일대일 대응 (지역적)

리 군과 리 대수 사이의 대응은 항등원 근방에서 일대일이다. 즉, 항등원 근방의 리 군 원소는 리 대수의 원소로 유일하게 표현된다.

10.2 지수 사상

리 대수에서 리 군으로의 사상은 지수 사상으로 표현된다.

$\exp : \mathfrak{g} \to G$

행렬 리 군에서는 행렬 지수와 일치한다.

$\exp(X) = e^X = \sum_{k=0}^{\infty}\frac{X^k}{k!}$

10.3 로그 사상

지수 사상의 역인 로그 사상이 항등원 근방에서 정의된다.

$\log : G \to \mathfrak{g}$

이는 리 군의 원소를 리 대수의 원소로 사상한다.

11. 리 군의 비가환성과 리 괄호

11.1 비가환성의 무한소 표현

리 군이 비가환이면 두 원소 $A$ , $B$ 의 곱 순서를 바꾸는 것이 다른 결과를 낳는다.

$AB \neq BA \quad \text{일반적으로}$

이러한 비가환성을 무한소 수준에서 표현한 것이 리 괄호이다.

11.2 Baker-Campbell-Hausdorff 공식

두 리 대수 원소 $X$ , $Y$ 의 행렬 지수의 곱은 다음의 BCH 공식으로 표현된다.

$e^Xe^Y = e^{X + Y + \frac{1}{2}[X, Y] + \frac{1}{12}[X, [X, Y]] - \frac{1}{12}[Y, [X, Y]] + \ldots}$

이 식에서 리 괄호 항들이 비가환성으로 인한 보정이다. 가환 리 군에서는 모든 리 괄호가 0이며, 단순히 $e^Xe^Y = e^{X+Y}$ 이다.

12. 응용에서의 의미

12.1 자세 추정

자세 추정 알고리즘에서 자세 오차를 리 대수의 원소로 표현하면 선형화가 자연스럽다. 이는 곱셈 확장 칼만 필터와 오차 상태 칼만 필터의 기초이다.

12.2 운동학과 동역학

매니퓰레이터의 운동학에서 관절의 무한소 운동이 리 대수의 원소로 표현된다. 동역학에서도 트위스트와 렌치가 리 대수의 원소이다.

12.3 비선형 최적화

비선형 최적화에서 리 군 위의 변수를 리 대수의 원소로 매개변수화하면 표준 최적화 기법을 적용할 수 있다.

12.4 자동 미분

리 군 위의 자동 미분이 리 대수의 구조를 통해 자연스럽게 정의된다. 이는 학습 기반 방법에 활용된다.

13. 리 대수의 학습 가치

리 대수를 이해하는 것은 다음과 같은 이점을 제공한다.

13.1 이론적 이점

리 군의 비선형성을 선형 공간에서 다룰 수 있다.
리 군의 비가환성을 명확히 표현할 수 있다.
자세, 운동, 변환 등 다양한 개념을 통합적으로 다룰 수 있다.

13.2 실용적 이점

자세 추정 알고리즘을 더 깊이 이해할 수 있다.
매니퓰레이터의 운동학과 동역학을 효율적으로 다룰 수 있다.
비선형 최적화를 자세 다양체 위에 적용할 수 있다.
학술 문헌의 표준 표기를 이해할 수 있다.

14. 참고 문헌

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.

version: 1.0