리 군(Lie群, 영어: Lie group)은 매끄러운 다양체위상군이다. 즉 의 연산이 매끄러움 구조에 따라 매끄러운 경우다. 소푸스 리의 이름을 땄다. 연속적인 대칭을 나타내기 위하여 쓰인다.

정의 편집

위상군  매끄러운 다양체의 구조가 갖추어지고, 또한 군의 곱셈과 역원

 
 

역시 매끄러운 함수라고 하자. 그렇다면  리 군이라고 한다. (사실, 힐베르트의 5번째 문제(영어: Hilbert’s Fifth Problem)의 해에 따라 다양체 · 매끄러운 다양체 · 해석다양체를 구분할 필요가 없다.) 범주론적으로, 이를 매끄러운 다양체범주에서의 군 대상으로 정의할 수도 있다. 리 군의 사상(영어: morphism)은 매끄러운 함수군 준동형이다.

짝수 차원 리 군  복소다양체의 구조가 갖추어지고, 또한 군의 곱셈과 역원

 
 

정칙 함수라고 하자. 그렇다면  복소수 리 군(영어: complex Lie group)이라고 한다. 복소수 리 군의 사상(영어: morphism)은 정칙 함수군 준동형이다.

표현 편집

리 군 G의 유한 차원 실수 또는 복소수 벡터 공간 V 위에서의 표현(表現, 영어: representation)은 매끄러운 군 준동형  이다. 힐베르트 공간   위의 표현일 경우, 대개 가역 유계 작용소의 군  으로 가는 매끄러운 준동형  로 정의한다.

반단순 리 군의 유한 차원 표현은 기약 표현의 직합으로 나타내어진다.

성질 편집

리 군은 다음과 같은 방법들로 구성 할 수 있다. 즉, 주어진 리 군들에 대해 다음 목록에 나오는 연산을 한 결과도 리 군이다.

위상수학적 성질 편집

국소적으로 유클리드 공간위상동형위상군은 항상 하우스도르프 공간이다.[2]:9, Exercise 1.1.6 따라서, 파라콤팩트 조건만을 추가하면 자동적으로 다양체를 이룬다.

힐베르트의 5번째 문제(영어: Hilbert’s Fifth Problem)의 해에 따르면, 임의의 국소적으로 유클리드 공간과 위상동형인 파라콤팩트 위상군에 대하여, 이와 위상동형이자 군으로서 동형인 리 군이 존재한다.[2]:9, Theorem 1.1.13 또한, 이러한 리 군은 유일하다.[2]:38, Corollary 1.2.23 즉, 리 군을 정의할 때, 다양체매끄러운 다양체를 굳이 구분할 필요가 없다.

또한, 리 군의 경우, 항상 해석다양체(추이 사상이 항상 해석함수매끄러운 다양체)로 만들 수 있으며, 그 군 연산 또한 해석함수가 되게 할 수 있다.[2]:45, Exercise 1.2.21

두 리 군 사이의 연속 군 준동형은 항상 매끄러운 함수이자 해석함수이다.[2]:45, Exercise 1.2.21

분류 편집

연결 공간이 아닌 리 군  는 다음과 같이 이산군과 연결 리 군으로 분해할 수 있다.  을 단위원을 포함하는 최대 연결 부분군이라고 하자. 그렇다면  은 이산군이다. 다시 말해, 모든 리 군은 연결 리 군의 이산군에 대한 확대이다. 모든 연결 리 군은 또한 (범피복군을 취하여) 단일 연결 리 군  몫군   (여기서  은 이산 중심 정규 부분군)으로 나타내어진다. 따라서 리 군의 분류는 단일 연결 리 군의 분류로 귀결된다.

(유한 차원) 단일 연결 리 군은 그 리 대수로 완전히 결정된다. 리 대수는 그 가해 부분 대수와 단순 부분 대수로 분해된다. 단순 리 군은 분류가 완료되었으나, 가해 리 군의 분류는 매우 어렵다.

예시 편집

 이것은 4차원 비콤팩트 실수 리 군이다. 이는  의 열린 부분집합이다. 이 군은 연결공간이 아니다. 행렬식의 양수 값과 음수 값에 해당하는 두 개의 연결 성분이 있다.

  • 회전 행렬은 SO(2, R) GL(2, R), R )의 부분 군을 형성한다. 이는 그 자체로 리 군이다. 구체적으로 말하면 원과 형태가 다른 1 차원 콤팩트 연결 리 군이다. 회전 각도 사용   매개변수로서 이 군은 다음과 같이 매개변수화 될 수 있다.

 각도의 덧셈은 SO(2, R) 원소의 곱셈에 해당하고, 반대 각도를 취하는 것은 반전에 해당한다. 따라서 곱셈과 역산은 모두 미분 가능한 사상이다.

  • 1차원의 아핀 군은 2차원 행렬 리 군으로 구성된다.   실수 상부 삼각 행렬. 첫 번째 대각선 항목은 양수이고 두 번째 대각선 항목은 1이다. 따라서 군은 다음 형식의 행렬로 구성된다.

 

예시가 아님 편집

이제 특정 위상에서 리 군이 아닌 셀 수 없이 많은 원소를 가진 군의 예를 제시한다. 고정된 무리수  에 대해,

 

 
  내부에 있는 군 의 일부분. 원소  의 작은 이웃들은  의 부분 집합 위상에서 연결이 아니다.

원환면  의 부분 군이다.  부분 공간 위상이 주어지면 이는 리 군이 아니다.[3]예를 들어  의 어떤 작은 이웃  을 취한다면,  에 안에 있는 부분은 연결 공간이 아니다. 군  는 나선의 이전 점에 도달하지 못한 채 원환체 주위를 반복적으로 감아서  조밀 부분 군을 형성한다.

그러나 군  에 대해 두 점   사이의 거리가   를 연결하는   안의 최단 경로의 길이로 정의되는 다른 위상이 주어질 수 있다. 이 위상에서는  는 각 원소를  의 정의에서 실수  로 식별하여 실수 직선과 위상동형이 된다. 이 위상을 사용하면  는 단지 실수 덧셈 군이므로 리 군이다.

위의 군  는 리 군의 닫힌 집합이 아닌" 리 부분 군"의 예이다.

행렬 리 군 편집

   성분   가역 행렬들의 군을 나타낸다.  의 임의의 닫힌 부분 군은 리 군이다.[4] 이러한 종류의 리 군을 행렬 리 군이라고 한다. 리 군의 흥미로운 사례 대부분은 행렬 리 군으로 표현될 수 있기 때문에 홀, [5] 로스만,[6] 및 스틸웰의 교재들을 포함하여 일부 교과서에서는 관심을 행렬 리 군으로 제한한다.[7] 행렬 리 군에 주의를 제한하면 리 대수와 지수 사상의 정의가 단순화된다. 다음은 행렬 리 군의 표준 예이다.

  •    위의 특수 선형 군은 각각   이다. 이들은 행렬식이 1인   또는   성분   행렬들이 이루는 군이다.
  • 유니터리 군   이 성립하는   복소 행렬들이 이루는 군이고 특수 유니터리 군   의 원소들 중에  이 성립하는 행렬들이 이루는 군이다.
  • 직교군   이 성립하는   실수 행렬들이 이루는 군이고 특수 직교군   의 원소들 중  인 행렬들이 이루는 군이다.

앞의 모든 예는 고전 군이라고 부른다.

1과 2차원 편집

1차원 연결 리 군은 실수 직선 덧셈군  원군   절대값 1인 복소수 곱셈군 밖에 없다.  군은 종종   유니터리 행렬군  과 같이 표시된다.

2차원에서 단일 연결 군은 리 대수로 분류된다. 2차원의 리 대수는 두 개뿐이다. 관련 단일 연결 리 군은 덧셈 군  과 1차원 아핀 군이다. 이전 절의 "첫 번째 예"에서 설명했다.

  • 군 SU(2)은 행렬식이    유니터리 행렬들의 군이다. 위상적으로,   -구  이다; 군으로서 단위 사원수 군으로 식별될 수 있다.
  • 하이젠베르크 군 차원 연결 멱영 리 군이다. 양자 역학에서 핵심적인 역할을 한다.
  • 로런츠 군민코프스키 공간의 선형 등거리 사상들이 이루는 6차원 리 군이다.
  • 푸앵카레 군은 민코프스키 공간의 아핀 등거리사상들이 이루는 10차원 리 군이다.
  • G 2, F 4, E 6, E 7, E 8 유형의 예외적인 리 군은 각각 14, 52, 78, 133, 248 차원이다. 단순 리 군의 ABCD 열과 함께 예외 군은 단순 리 군 목록을 완성한다.
  • 심플렉틱 군    위의 심플렉틱 형식 보존하는   행렬들이 이루는   차원 연결 리 군이다.

리 군과 리 대수 편집

모든 리 군에 기본 선형 공간이 항등원에서 리 군의 접공간이고 리 군의 국소 구조를 완전히 포착하는 리 대수를 연관시킬 수 있다. 대략적으로 리 대수의 원소를 항등원에 "무한히 가까운" 군의 원소로 생각할 수 있으며, 리 대수의 리 괄호는 그러한 두 무한소 원소들의 교환자와 관련된다. 추상적 정의를 제시하기 전에 몇 가지 예를 제시한다.

  • 선형 공간  의 리 대수는 다음과 같이 주어진 리 괄호
     
    가 주어진  이다 (일반적으로 연결 리 군의 리 괄호가 0임과 리 군이 아벨군임이 동치이다.)
  • 복소 가역 행렬들이 이루는 일반 선형 군

 의 리 대수는 리 괄호가 다음과 같이 주어진 정사각 행렬의 벡터 공간  이다.

 
  •    의 닫힌 부분 군인 경우  의 리 대수는 대략적으로   의 행렬  으로 볼 수 있다. 여기서   인 무한소 양수이다.(물론 그러한 실수  은 존재하지 않는다). 예를 들어, 직교 군   인 행렬들로 구성되므로 리 대수는  인 행렬  으로 구성된다.  이므로, 이는  과 동일하다.
  • 앞의 설명은 다음과 같이 더욱 엄밀해질 수 있다.  의 닫힌 부분군  의 리 대수는 다음과 같이 계산될 수 있다.
     
    [8] [5]여기서 exp(tX)는 행렬 지수 함수를 사용하여 정의된다. 그러면  의 리 대수는 대괄호 연산  하에서 닫혀 있는 실수 선형 공간이라는 것을 알 수 있다.[9]

행렬 군에 대해 위에 제공된 구체적인 정의는 다루기 쉬우나 몇 가지 사소한 문제가 있다. 이를 사용하려면 먼저 리 군을 행렬 군으로 표현해야 하지만 모든 리 군이 이런 방식으로 표현될 수는 없다. 더욱이 리 대수는 표현에 독립적인지 조차 분명하지 않다.[10] 이러한 문제를 해결하기 위해 리 군의 리 대수에 대한 일반적인 정의를 제공한다.

  1. 임의의 매끄러운 다양체  의 벡터장은 다양체의 매끄러운 함수 환의 미분  로 볼 수 있으므로, 리 괄호  에 대해 리 대수이다. 왜냐하면 두 미분의 리 괄호도 미분이기 때문이다.
  2.   다양체  에서 매끄럽게 작용하는 군인 경우 이는 벡터장에 작용하고 군에 의해 고정된 벡터장들의 선형 공간은 리 괄호 연산에 대해 닫혀 있으므로 리 대수를 형성한다.
  3. 다양체   리 군  의 기본 공간인 경우에, 왼쪽 곱  으로   에 작용하는 구성을 한다. 이때 왼쪽 곱은 매끄러운 사상이다. 이는 왼쪽 불변 벡터장( 를 만족하는 벡터장. 여기서 Lg*Lg에서 정의된 밂을 나타냄)의 공간은 리 군에서 벡터장의 리 괄호가 주어진 리 대수임을 보여준다.
  4. 리 군의 항등원에 접한 임의의 접벡터는 접벡터를 다양체의 다른 점으로 왼쪽으로 변환함으로써 왼쪽 불변 벡터장으로 확장될 수 있다. 구체적으로, 항등식에서 접공간의 원소 v의 왼쪽 불변 확장은 v^g = Lg*v 로 정의되는 벡터장이다. 이는 항등원의 접공간 TeG를 왼쪽 불변 벡터 체의 공간으로 식별하고 따라서 항등식의 접공간을 일반적으로 Fraktur로 표시되는  의 리 대수라고 불리는 리 대수  로 만든다. 리 괄호는 [vw] = [v^, w^]e.

이 리 대수  는 유한 차원이며 다양체  와 동일한 차원을 갖는다.  의 리 대수는   "국소 동형"을 기준으로 결정한다. 여기서 두 리 군은 항등원 근처에서 동일하게 보이는 경우 국소적 동형이라고 한다. 리 군에 대한 문제는 먼저 리 대수에 대한 해당 문제를 해결함으로써 해결되는 경우가 많으며, 군에 대한 결과는 일반적으로 쉽게 유도된다. 예를 들어 단순 리 군은 일반적으로 해당 리 대수를 먼저 분류하여 분류된다.

왼쪽 불변 벡터장 대신 오른쪽 불변 벡터장을 사용하여 Te 에 대한 리 대수 구조를 정의할 수도 있다. 이것은 동일한 리 대수로 이어진다. 왜냐하면 G 역 사상은 오른쪽 불변 벡터장과 왼쪽 불변 벡터장 동일시 하는 데 사용될 수 있고 접공간 Te 에서 −1에 해당하기 때문이다.

Te의 리 대수 구조는 다음과 같이 설명 될 수 있다. G × G에서 교환자 연산 (x, y) → xyx − 1 y − 1

은 (e , e)를 e로 보낸다. 그래서 미분은 TeG 위에서 쌍선형 연산을 생성한다. 이 쌍선형 연산은 실제로 영 사상이지만 접공간의 적절한 식별 하에서 2차 도함수는 리 괄호의 공리를 충족하는 연산을 생성하며 이는 왼쪽 불변 벡터장을 통해 정의된 것의 두 배와 같다.

역사 편집

리 군의 이론은 노르웨이의 수학자 소푸스 리가 1873년 경에 미분 방정식의 대칭성을 연구하기 위하여 "변환군"(독일어: Transformationsgruppe 트란스포르마치온스그루페[*])이라는 이름으로 도입하였다.[11][12][13][14][15][16] 그러나 리의 논문들은 (처음 하나를 제외하고) 모두 독일 저널이 아닌 노르웨이 저널에 출판되었기 때문에, 수학계에서 별다른 관심을 받지 못하였다. 1884년에 젊은 독일 수학자 프리드리히 엥겔(독일어: Friedrich Engel)이 리의 이론에 관심을 갖게 되었다. 리와 엥겔은 리 이론에 대한 총 3권의 책 《변환군론》(독일어: Theorie der Transformationsgruppen)을 1888년~1893년에 독일어로 출판하였고,[17][18][19] 이후 리 이론은 수학에서 중요한 위치를 차지하게 되었다.

1888년~1890년 동안 빌헬름 킬링은 리 군과 리 대수의 개념을 독자적으로 재발견하였고, 반단순 리 군의 구조론을 제창하였다.[20][21][22][23] 1893년에 리의 제자 아르튀르 트레스(프랑스어: Arthur Tresse)는 "리 군"(프랑스어: groupe de Lie)이라는 용어를 최초로 사용하였다.[24]:3 엘리 카르탕은 1894년 박사 학위 논문에서 킬링의 구조론을 개량·정리하였다.[25] 카르탕은 1930년에 카르탕 닫힌 부분군 정리를 증명하였다.[1]:§26

헤르만 바일반단순 리 군기약 표현들을 무게로서 분류하였고, 이에 대한 바일 지표 공식을 증명하였으며, 이를 양자역학에 응용하였다. 그 뒤 클로드 슈발레하리시찬드라 역시 리 군의 이론에 큰 공헌을 하였고, 이는 이후 로버트 랭글랜즈랭글랜즈 프로그램으로 이어졌다.

참고 문헌 편집

  1. Cartan, Élie (1930). “La théorie des groupes finis et continus et l’Analysis situs. 《Mémorial des sciences mathématiques》 (프랑스어) 42: 1–61. JFM 56.0370.08. 
  2. Tao, Terrence (2014). 《Hilbert’s fifth problem and related topics》 (PDF). Graduate Studies in Mathematics (영어) 153. American Mathematical Society. ISBN 978-1-4704-1564-8. 
  3. Rossmann 2001, Chapter 2.
  4. Hall 2015 Corollary 3.45
  5. Hall 2015.
  6. Rossmann 2001
  7. Stillwell 2008
  8. Helgason 1978, Ch. II, § 2, Proposition 2.7.
  9. Hall 2015 Theorem 3.20
  10. But see Hall 2015, Proposition 3.30 and Exercise 8 in Chapter 3
  11. Lie, Sophus (1874). “Ueber Gruppen von Transformationen”. 《Nachrichten von der Königlichen Gesellschaft der Wissenschaften und der Georg-Augusts-Universität zu Göttingen》 (독일어) 1874: 529–542. JFM 06.0093.01. 
  12. Lie, Sophus (1876). “Theorie der Transformations-Gruppen. Erste Abhandlung”. 《Archiv for Mathematik og Naturvidenskab》 (독일어) 3: 19–58. JFM 08.0212.01. 
  13. Lie, Sophus (1876). “Theorie der Transformations-Gruppen. Abhandlung II”. 《Archiv for Mathematik og Naturvidenskab》 (독일어) 3: 152–202. JFM 08.0212.01. 
  14. Lie, Sophus (1878). “Theorie der Transformations-Gruppen, III. Bestimmung aller Gruppen einer zweifach ausgedehnten Punkt-Mannigfaltigkeit”. 《Archiv for Mathematik og Naturvidenskab》 (독일어) 3: 93–165. JFM 10.0258.01. 
  15. Lie, Sophus (1878). “Theorie der Transformations-Gruppen. Abhandlung IV”. 《Archiv for Mathematik og Naturvidenskab》 (독일어) 3: 375–460. JFM 10.0260.01. 
  16. Lie, Sophus (1879). “Theorie der Transformations-Gruppen V”. 《Archiv for Mathematik og Naturvidenskab》 (독일어) 4: 232–261. JFM 11.0258.02. 
  17. Lie, Sophus; Engel, Friedrich (1888). 《Theorie der Transformationsgruppen. Erster Abschnitt》 (독일어). 라이프치히: Druck und Verlag von B. G. Teubner. JFM 20.0368.01. 
  18. Lie, Sophus; Engel, Friedrich (1890). 《Theorie der Transformationsgruppen. Zweiter Abschnitt》 (독일어). 라이프치히: Druck und Verlag von B. G. Teubner. JFM 23.0364.01. 
  19. Lie, Sophus; Engel, Friedrich (1893). 《Theorie der Transformationsgruppen. Dritter und Letzter Abschnitt》 (독일어). 라이프치히: Druck und Verlag von B. G. Teubner. JFM 25.0623.01. 
  20. Killing, Wilhelm (1888). “Die Zusammensetzung der stetigen endlichen Transformationsgruppen. Erster Theil”. 《Mathematische Annalen》 (독일어) 31 (2): 252–290. doi:10.1007/BF01211904. JFM 20.0368.03. 
  21. Killing, Wilhelm (1889). “Die Zusammensetzung der stetigen endlichen Transformationsgruppen. Zweiter Theil”. 《Mathematische Annalen》 (독일어) 33 (1): 1–48. doi:10.1007/BF01444109. JFM 20.0368.03. 
  22. Killing, Wilhelm (1889). “Die Zusammensetzung der stetigen endlichen Transformationsgruppen. Dritter Theil”. 《Mathematische Annalen》 (독일어) 34 (1): 57–122. doi:10.1007/BF01446792. JFM 21.0376.01. 
  23. Killing, Wilhelm (1890). “Die Zusammensetzung der stetigen endlichen Transformationsgruppen. Vierter Theil (Schluss)”. 《Mathematische Annalen》 (독일어) 36 (2): 161–189. doi:10.1007/BF01207837. JFM 22.0376.01. 
  24. Tresse, Arthur (1893). “Sur les invariants différentiels des groupes continus de transformations” (PDF). 《Acta Mathematica》 (프랑스어) 18: 1–88. doi:10.1007/bf02418270. ISSN 0001-5962. JFM 25.0641.01. 2016년 3월 3일에 원본 문서 (PDF)에서 보존된 문서. 2015년 9월 8일에 확인함. 
  25. Cartan, Élie (1894). “Sur la structure des groupes de transformations finis et continus” (프랑스어). 파리 대학교 박사 학위 논문. Librairie Nony et Cie. JFM 25.0638.02. 

리 이론의 역사 편집

응용 편집

같이 보기 편집

외부 링크 편집