logo

유니터리 군 📂추상대수

유니터리 군

정의

n×nn \times n 유니터리 행렬들의 집합을 U(n)\mathrm{U}(n)이라 표기하고 nn유니터리 군unitary group of degree nn이라 한다.

U(n):={n×n unitary matrix}={AMn×n(C):AA=I} \mathrm{U}(n) := \left\{ n \times n \text{ unitary matrix} \right\} = {\left\{ A \in M_{n \times n}(\mathbb{C}) : A A^{\ast} = I \right\}}

여기서 AA^{\ast}켤레전치행렬이다.

설명

유니터리 행렬이면 가역행렬이므로 U(n)U(n)일반선형군 GL(n,R)\operatorname{GL}(n, \mathbb{R})의 부분집합이고, A,BU(n)A, B \in U(n)에 대해서 AB1U(n)AB^{-1} \in U(n)이므로 부분군이 된다.

U(n)GL(n,R) U(n) \le \operatorname{GL}(n, \mathbb{R})

종류 \ 조건가역행렬행렬식=1직교성
일반선형군 GL(n,R)\operatorname{GL}(n, \mathbb{R})
특수선형군 SL(n,R)\operatorname{SL}(n, \mathbb{R})
직교군 O(n)\operatorname{O}(n)
유니터리군 U(n)\operatorname{U}(n)
특수유니터리군 SU(n)\operatorname{SU}(n)

미분가능한 구조를 갖기 때문에 리 군이다.

행렬 리 군

GL(n,R)\operatorname{GL}(n, \mathbb{R})의 닫힌 부분군을 행렬 리 군이라 한다. U(n)\operatorname{U}(n)의 수열 {An}\left\{ A_{n} \right\}AA로 수렴한다고 하자. 켤레전치는 연속이므로 {(An)}\left\{ (A_{n})^{\ast} \right\}AA^{\ast}로 수렴한다.

limn(An)=(limnAn)=A \lim\limits_{n \to \infty} (A_{n})^{\ast} = \left( \lim\limits_{n \to \infty} A_{n} \right)^{\ast} = A^{\ast}

[극한의 성질]

AA=[limn(An)][limn(An)]=limn[An(An)] A A^{\ast} = \left[ \lim\limits_{n \to \infty} (A_{n}) \right] \cdot \left[ \lim\limits_{n \to \infty} (A_{n})^{\ast} \right] = \lim\limits_{n \to \infty} \left[ A_{n} (A_{n})^{\ast} \right]

따라서 AU(n)A \in U(n)이고, U(n)U(n)GL(n,R)\operatorname{GL}(n, \mathbb{R})의 닫힌 부분군이되어 행렬 리 군이다.