심플렉틱 행렬은 선형 대수와 미분기하학에서 등장하는 개념으로, 실수 혹은 복소수 체 위의 $2n \times 2n$ 정방 행렬 $M$이 다음 조건을 만족할 때 심플렉틱 행렬이라고 한다.
$$ M^{\mathsf{T}} J M = J $$
여기서 $M^{\mathsf{T}}$는 $M$의 전치 행렬이며, $J$는 표준 심플렉틱 형태를 나타내는 $2n \times 2n$ 행렬인
$$ J = \begin{pmatrix} 0 & I_n \
- I_n & 0 \end{pmatrix}, $$
$I_n$은 $n$차 단위 행렬이다. 위 식은 $M$이 심플렉틱 형식 $ \omega(u,v) = u^{\mathsf{T}} J v $를 보존한다는 의미이다.
주요 성질
-
역행렬 존재
심플렉틱 행렬은 항상 가역이며, 그 역행렬도 역시 심플렉틱 행렬이다. 실제로 $$ M^{-1} = J^{-1} M^{\mathsf{T}} J. $$ -
행렬식
모든 심플렉틱 행렬은 $\det(M) = 1$ 또는 $\det(M) = -1$을 만족한다. 실수 체 위에서는 $\det(M)=1$인 경우가 일반적이며, 이는 특수 심플렉틱 군 $ \mathrm{Sp}(2n, \mathbb{R})$에 속한다. -
군 구조
모든 $2n \times 2n$ 심플렉틱 행렬의 집합은 행렬곱에 대해 군을 이룬다. 이 군은 심플렉틱 군 $\mathrm{Sp}(2n, \mathbb{K})$라 불리며, 여기서 $\mathbb{K}$는 실수 $\mathbb{R}$ 혹은 복소수 $\mathbb{C}$가 된다. -
보존 변환
물리학에서 심플렉틱 행렬은 해밀턴 역학의 위상공간 변환, 특히 정준 변환을 기술한다. 기하학적으로는 심플렉틱 다양체의 접공간에서 심플렉틱 형식을 보존하는 선형 변환에 해당한다.
예시
$n=1$인 경우, 즉 $2 \times 2$ 행렬에 대해 심플렉틱 조건은 $$ M = \begin{pmatrix} a & b \ c & d \end{pmatrix}, \qquad ad - bc = 1, $$ 그리고 $a d - b c = 1$ (즉, $\det M = 1$)을 만족한다. 이는 $ \mathrm{SL}(2,\mathbb{R})$와 동일한 조건이다.
적용 분야
- 고전역학: 정준 변환을 통한 해밀턴 방정식의 보존.
- 양자역학: 와그너 변환 및 위상공간 양자화.
- 제어 이론: Hamiltonian 시스템의 안정성 분석.
- 수학: 심플렉틱 기하학, 대수적 위상수학, 복소다양체 이론 등.
참고 문헌
- V. I. Arnol'd, Mathematical Methods of Classical Mechanics, Springer, 1978.
- R. Abraham, J. E. Marsden, Foundations of Mechanics, Addison‑Wesley, 1978.
- J. M. Lee, Introduction to Smooth Manifolds, Springer, 2003.
(위 내용은 일반적인 수학·물리학 교재 및 학술 자료에 근거한 객관적 서술이다.)
