리 군
두 리 군 사이의 연속 군 준동형은 항상 매끄러운 함수이자 해석함수이다.