특수 행렬의 분류와 성질
전치행렬과 역행렬이 같다 = 직교행렬
실수 vs 복소수 대응 관계
| 복소수 영역 | 실수 영역 | 정의 |
|---|---|---|
| Hermitian | Symmetric | |
| Unitary | Orthogonal |
기본적인 특수 행렬들
1. Hermitian 행렬 (Self-adjoint)
- 물리적 의미: 관측 가능한 물리량 (observable)
- 성질: 모든 고유값이 실수
- 예시: 해밀토니안, 파울리 행렬들
2. Unitary 행렬
dagger와 inverse matrix가 같다.
- 물리적 의미: 양자 상태의 시간 발전, 회전 변환
- 성질:
, 고유값들의 절댓값이 1 - 실수 버전: 직교행렬 (
)
3. Skew-Hermitian 행렬
- 물리적 의미: 시간 발전 생성자 (
일 때 가 skew-Hermitian) - 성질: 고유값이 순허수 또는 0
- 관계:
는 unitary
구조적 특수 행렬들
4. Normal 행렬
- 중요성: 대각화 가능성의 필요충분조건
- 포함관계: Hermitian, Unitary, Skew-Hermitian 모두 Normal
5. Projection 행렬
- 물리적 의미: 양자역학의 측정 연산자
- 성질: 고유값이 0 또는 1
- 기하학적 의미: 부분공간으로의 투영
6. Positive Definite 행렬
- 물리적 의미: 밀도 행렬, 메트릭 텐서
- 성질: 모든 고유값이 양수
- 변형: Positive semi-definite (
)
대수적 특수 행렬들
7. Involutory 행렬 (대합행렬)
- 예시: 파울리 행렬
- 성질:
- 물리적 의미: 반사, 반전 연산
8. Nilpotent 행렬
- 성질: 모든 고유값이 0
- 응용: Jordan 표준형, 미분기하학
9. Idempotent 행렬
- 관계: Projection 행렬의 일반화 (Hermitian 조건 없음)
- 응용: 통계학, 회귀분석
구조가 특별한 행렬들
10. Circulant 행렬
첫 번째 행을 순환 이동시켜 만든 행렬
- 응용: 고속 푸리에 변환(FFT)
- 성질: 고유벡터가 DFT 기저
11. Toeplitz 행렬
각 대각선의 원소들이 모두 같은 행렬
- 응용: 신호처리, 시계열 분석
- 특성: 합성곱 연산과 관련
12. Sparse 행렬
대부분의 원소가 0인 행렬
- 중요성: 대규모 계산에서 메모리 효율성
- 응용: 유한 요소법, 그래프 이론
물리학에서의 활용
- 양자역학: Hermitian (관측량), Unitary (시간발전), Projection (측정)
- 통계역학: Positive definite (밀도행렬), Circulant (주기 경계조건)
- 장론: Normal 행렬 (대각화), Sparse (격자 계산)
참고사항
- 유한차원에서 Hermitian = Self-adjoint
- 무한차원에서는 정의역(domain) 조건으로 구별
- 물리학에서는
기호 사용 (수학에서는 또는 )