어떤 집합이 다음 세 가지 조건을 만족할 때 리 군(Lie group)이라고 정의된다.
제1조건, 집합 X는 군일 것.
제2조건, X는 패러콤팩트 실해석적 다양체(實解析的多樣體)일 것.
제3조건, X×X에서 X로의 사상 (x,y) → xy − 1은 실해석적일 것.
분류: 수학 토막글 | 군론