동시 대칭화와 스펙트럼 유한성에 대한 2×2 실수 행렬 집합의 판정법

초록

본 논문은 실수 2×2 행렬들의 유한 집합에 대해, 모든 행렬을 하나의 가역 변환으로 동시에 대칭 행렬로 만들 수 있는 필요충분조건을 제시하고, 이 조건이 성립할 때 해당 집합의 공동 스펙트럼 반경이 유한한 길이의 행렬곱으로 정확히 달성된다는 스펙트럼 유한성 정리를 증명한다.

상세 분석

이 연구는 두 가지 핵심 문제를 동시에 다룬다. 첫 번째는 ‘동시 대칭화(simultaneous symmetrization)’이다. 2×2 실수 행렬 A₁,…,Aₖ에 대해, 어떤 가역 행렬 P가 존재하여 P⁻¹AᵢP가 모두 대칭 행렬이 되도록 하는지를 판단하는 기준을 찾는 것이 목표다. 기존 문헌에서는 일반적인 n×n 행렬에 대한 충분조건만 알려져 있었으며, 2×2 차원에 특화된 명확한 판정식은 부족했다. 저자들은 각 행렬을 Aᵢ =