📂표현론

연결 리 군

정의¹

단위 성분

행렬 리 군 $G$에 대해서, $G$의 단위 성분^{identity component}이란 다음을 만족하는 집합을 말한다.

$$ G_{0} := \left\{ A \in G : \text{$A$ has a continuous path $A(t)$, $a \le t \le b$, } \right. \\ \qquad \qquad \qquad \qquad \qquad \left. \text{lying in $G$ with $A(a) = I$ and $A(b) = A$} \right\} $$

설명

단위성분이란, 항등원에서부터 자기자신까지로 오는 연속인 경로가 존재하는 행렬들의 집합이다.

아래의 정리에 따라 단위성분 $G_{0}$는 행렬 리 군 $G$의 부분군인데, 닫힌집합이기도 하므로 사실 행렬 리 군이 된다.

종류

아래의 행렬 리 군들은 연결이다.

• 일반선형군 $\operatorname{GL}(n, \mathbb{C})$
• 특수선형군 $\operatorname{SL}(n, \mathbb{C})$
• 유니터리군 $\operatorname{U}(n)$
• 특수유니터리군 $\operatorname{SU}(n)$
• 특수직교군 $\operatorname{SO}(n)$

정리

$G$가 행렬 리 군이면, $G$의 단위 성분 $G_{0}$는 $G$의 정규부분군이다.

증명

$G_{0}$를 행렬 리 군 $G$의 단위 성분이라 하자.

---

1단계: $G_{0}$는 $G$의 부분군이다

$A, B \in G_{0}$라고 하자. 그러면 $I$에서 각각 $A$와 $B$를 잇는 연속 경로 $A(t)$와 $B(t)$가 존재한다.

부분군 판정법

군 $G$의 공집합이 아닌 부분집합 $H$에 대해서, 다음의 두 조건을 만족하면 $H$는 $G$의 부분군이다.

1. $a$, $b \in H \implies ab \in H$
2. $a \in H \implies a^{-1} \in H$

부분군 판정법에 의해 $I$에서 $AB$를 잇는 연속경로와 $I$에서 $A^{-1}$를 잇는 연속경로가 존재함을 보이면 된다. $AB(t) = A(t)B(t)$는 연속함수의 곱이므로 여전히 연속이면서 $G$ 위에서 $I$부터 $AB$까지 연결한다. 따라서 $AB \in G_{0}$이다. 또한 $A^{-1}(t)$는 $G$ 위에서 $I$부터 $A^{-1}$까지 연결하는 연속인 경로이다. 따라서 $A^{-1} \in G_{0}$이고, $G_{0}$는 $G$의 부분군이다.

---

2단계: $G_{0}$는 $G$의 정규부분군이다

$A \in G_{0}$, 그리고 $B \in G$라고 하자. 그러면 $G$ 위에서 $I$부터 $A$를 잇는 연속 경로 $A(t)$가 존재한다. 그러면 $BA(t)B^{-1}$는 $G$ 위에서 $I$부터 $BAB^{-1}$까지 연결하는 연속인 경로이다. 따라서 $BAB^{-1} \in G_{0}$이고, $G_{0}$는 $G$의 정규부분군이다.

정규부분군 판정

$$ \forall g \in G, \forall h \in H,\quad ghg^{-1} \in H \implies H \triangleleft G $$

$${}$$

■