군 GGG가 다음과 같은 조건을 만족할 때, 이를 리 군Lie group이라 한다.
미분가능한 구조를 갖는다.
GGG에서 정의된 이항연산 ⋅:G×G→G\cdot : G \times G \to G⋅:G×G→G가 미분가능하다.
역원 −1:G→G{}^{-1} : G \to G−1:G→G가 미분가능하다.
쉽게 말해서 리 군이란, 미분가능한 군이다.
유클리드 공간은 미분가능한 구조를 갖는다.
f:(x,y)↦x+y∈C∞f : (x,y) \mapsto x+y \in C^{\infty}f:(x,y)↦x+y∈C∞
g:x↦−x∈C∞g : x \mapsto -x \in C^{\infty}g:x↦−x∈C∞
Manfredo P. Do Carmo, Riemannian Geometry (Eng Edition, 1992), p39-40 ↩︎