유니터리 행렬
1. 개요
유니터리 행렬은 복소수 정사각 행렬 U에 대해 U의 켤레 전치와 U의 곱이 단위 행렬과 같거나, U의 켤레 전치가 U의 역행렬과 같은 행렬을 의미한다. 유니터리 행렬은 정규 행렬이며, 모든 고윳값의 절댓값은 1이다. 실수 행렬의 경우 유니터리 행렬은 직교 행렬과 같다. 유니터리 행렬의 집합은 군을 이루며, 2x2 유니터리 행렬은 여러 가지 형태로 표현될 수 있다.
이미지 준비중입니다.
| 정의 | 켤레 전치가 역행렬과 같은 복소수 행렬 |
|---|---|
| 기호 | U |
| 성질 | '*}}U = UU = U{{sup' |
| 열벡터 | 유니터리 행렬의 열벡터는 정규 직교 기저를 이룬다. |
|---|---|
| 행벡터 | 유니터리 행렬의 행벡터는 정규 직교 기저를 이룬다. |
| 고윳값 | 유니터리 행렬의 모든 고윳값의 절댓값은 1이다. |
| 행렬식 | 유니터리 행렬의 행렬식의 절댓값은 1이다. |
| 변환 | 유니터리 변환은 벡터의 노름을 보존한다. |
| 곱셈 | 두 유니터리 행렬의 곱은 유니터리 행렬이다. |
| 역행렬 | 유니터리 행렬의 역행렬은 유니터리 행렬이다. |
| 켤레 전치 | 유니터리 행렬의 켤레 전치는 유니터리 행렬이다. |
2. 정의
복소수 정사각 행렬 에 대하여, 다음 조건들을 만족시키는 를 유니터리 행렬이라고 한다.
*
*
*
* 의 열들은 의 정규 직교 기저를 이룬다.
* 의 행들은 의 정규 직교 기저를 이룬다.
* 에서, 모든 정규 직교 기저 에 대하여, 는 정규 직교 기저이다.
* 에서, 어떤 정규 직교 기저 에 대하여, 는 정규 직교 기저이다.
* 는 정규 행렬이며, 모든 고윳값의 절댓값은 1이다.
* 임의의 에 대하여, .
* 임의의 에 대하여, .
이 조건들은 서로 동치이다. 여기서 는 켤레 전치, 는 의 표준 내적, 는 의 표준 노름이다.
2.1. 동치 조건
복소수 정사각 행렬 에 대하여, 다음 조건들은 모두 동치이다.
*
*
*
* 의 열들은 의 정규 직교 기저를 이룬다.
* 의 행들은 의 정규 직교 기저를 이룬다.
* 에서, 모든 정규 직교 기저 에 대하여, 는 정규 직교 기저이다.
* 에서, 어떤 정규 직교 기저 에 대하여, 는 정규 직교 기저이다.
* 는 정규 행렬이며, 모든 고윳값의 절댓값은 1이다.
* 임의의 에 대하여, .
* 임의의 에 대하여, .
여기서 는 켤레 전치, 는 의 표준 내적, 는 의 표준 노름이다.
만약 가 정사각 복소 행렬이라면, 다음 조건들은 동치이다.
* 는 유니터리 행렬이다.
* 는 유니터리 행렬이다.
* 는 를 만족하는 가역 행렬이다.
* 의 열들은 통상적인 내적에 관하여 의 정규 직교 기저를 이룬다. 즉, 이다.
* 의 행들은 통상적인 내적에 관하여 의 정규 직교 기저를 이룬다. 즉, 이다.
* 는 통상적인 노름에 관하여 등거리 변환이다. 즉, 모든 에 대해 이며, 여기서 이다.
* 는 정규 행렬 (동등하게, 의 고유 벡터로 형성된 정규 직교 기저가 있다)이며, 고유값들은 단위 원 위에 놓여 있다.
다음 조건은 복소 정사각 행렬 가 유니터리 행렬인 것과 동치이다.
| 조건 |
|---|
| 는 정칙 행렬이며 |
| 의 열은 정규 직교 기저 |
| 의 행은 정규 직교 기저 |
| 는 등거리 변환 |
| 는 단위 원 위에 고유값을 갖는 정규 행렬 |
3. 성질
실수 행렬의 경우 유니터리 행렬은 직교 행렬과 동치이다.
유니터리 행렬 는 다음과 같은 성질을 갖는다.
* 정규 행렬이다.
* 스펙트럼 정리의 결과에 따라 는 대각행렬과 유니터리하게 닮음이므로, 대각화 가능하다. 즉, 는 와 같이 분해할 수 있다. 여기서 는 유니터리 행렬, 는 대각 유니터리 행렬이다.
*
* 의 고유 공간은 정규 직교다.
* 인 에르미트 행렬 가 존재한다. (는 행렬 지수 함수)
모든 유니터리 행렬의 집합은 행렬 곱셈에 따라 군을 이루며, 이를 유니터리 군 이라고 한다.
유한 크기의 유니터리 행렬 에 대해 다음이 성립한다.
* 두 복소수 벡터 와 가 주어졌을 때, 와의 곱셈은 그들의 내적을 보존한다. 즉, 이다.
* 는 정규 행렬이다().
* 는 대각화 가능 행렬이다. 즉, 는 유사 행렬로 대각 행렬과 유니터리 유사하며, 이는 스펙트럼 정리의 결과이다. 따라서 는 형태의 분해를 가지며, 여기서 는 유니터리이고, 는 대각 유니터리이다.
* 이다. 즉, 는 복소 평면의 단위 원 위에 있게 된다.
* 그것의 고유 공간들은 직교한다.
* 는 로 쓸 수 있으며, 여기서 는 행렬 지수 함수를, 는 허수 단위를, 는 에르미트 행렬을 나타낸다.
* 정사각 행렬이다.
* 임의의 벡터 에 대한 유니터리 행렬에 의한 변환은 등장 변환(isometry)이다.
* 가역이며, 역행렬은 이다.
* 고유값의 절대값은 이다.