정의
행렬의 닮음(행렬 닮음, matrix similarity)은 두 정사각 행렬 $A, B$가 가역 행렬 $P$에 대하여 $B = P^{-1}AP$ 형태로 표현될 수 있을 때, $A$와 $B$가 닮음이라고 한다. 닮음 관계는 행렬이 같은 선형 변환을 서로 다른 기저에서 나타낸 경우에 해당한다.
개요
- 닮음은 동형 사상에 해당하는 관계이며, 행렬이 닮음일 경우 행렬식, 특성다항식, 고유값(다중도 포함) 등 많은 대수적 불변량이 동일하게 유지된다.
- 닮음은 동치 관계(반사, 대칭, 추이)를 만족한다. 따라서 닮음 클래스는 행렬을 닮음에 따라 구분하는 등급으로 볼 수 있다.
- 실제 계산에서는 주로 고유값 분해, 조르당 표준형(Jordan canonical form), 대각화(diagonalization) 등을 통해 닮음 관계를 확인하거나 이용한다.
어원/유래
‘닮음’은 한국어 동사 ‘닮다’에서 파생된 명사형으로, ‘형태나 성질이 비슷함’을 의미한다. 수학적 용어로서 ‘행렬의 닮음’은 영어 matrix similarity를 번역한 것으로, 20세기 초 선형대수학이 정형화되면서 사용되기 시작했다. 정확한 최초 사용 시점이나 번역 시기에 대한 문헌은 확인되지 않는다.
특징
| 구분 | 내용 |
|---|---|
| 불변량 | 행렬식 $\det A$, 특성다항식 $\chi_A(\lambda)$, 고유값(다중도 포함), 최소다항식, 트레이스 $\operatorname{tr}A$ 등 |
| 표현 | 닮음 변환 $B = P^{-1}AP$에서 $P$는 가역(역행렬이 존재) 행렬 |
| 동등성 | 닮음 관계는 동치 관계이며, 각 닮음 클래스는 하나의 표준형(예: 대각형, 조르당 표준형)으로 대표될 수 있다 |
| 대각화 가능성 | 모든 대각화 가능한 행렬은 대각 행렬과 닮음이며, 반대로 대각 행렬은 원래 행렬과 닮음 관계에 있다 |
| 연산적 성질 | 두 닮음 행렬의 곱, 합, 스칼라곱 등은 일반적으로 닮음 관계를 유지하지 않지만, 닮음 변환 자체는 연산에 대해 동형 사상이다 |
| 응용 | 시스템 이론(상태공간 표현), 양자역학(연산자 변환), 그래프 이론(인접 행렬의 스펙트럼 분석) 등 다양한 분야에서 행렬의 고유 구조를 분석하는 데 사용된다 |
관련 항목
- 행렬식, 트레이스, 특성다항식
- 고유값·고유벡터, 최소다항식
- 대각화, 조르당 표준형, 실현가능 행렬(Real canonical form)
- 선형 변환, 기저 변화, 동형 사상
- 선형대수학, 행렬 이론, 고전적 군론(특히 유사군, similarity group)
이 문서는 행렬 닮음에 대한 일반적인 정의와 주요 성질을 요약한 것으로, 보다 상세한 내용은 전문 선형대수학 교재나 학술 논문을 참고한다.