행렬 대각화 계산기
2×2 및 3×3 행렬의 고유값, 고유벡터, 그리고 대각화 P⁻¹AP = D를 찾습니다.
행은 세미콜론으로, 각 원소는 쉼표로 구분해 입력하세요. 예를 들어 2×2 행렬 [[3,1],[0,2]] 는 3,1;0,2 로 입력합니다.
행렬 대각화 계산기
2×2 및 3×3 행렬의 고유값, 고유벡터, 그리고 대각화 P⁻¹AP = D를 찾습니다.
행렬 대각화란?
행렬 대각화는 선형대수의 기본 과정으로, 정방행렬 A를 닮음변환을 통해 대각행렬 D로 바꾸는 것입니다. 이 관계는 P⁻¹AP = D로 표현되며, P는 고유벡터 행렬이고 D는 고유값이 주대각선에 놓인 대각행렬입니다.
정방행렬 A의 고유값 λ는 det(A − λI) = 0을 만족하는 스칼라입니다. 여기서 I는 단위행렬입니다. 이 식은 A의 특성방정식이고, det(A − λI)에 해당하는 다항식은 특성다항식입니다. 2×2 행렬에서는 이차식이 되고, 3×3 행렬에서는 삼차식이 됩니다. 고유값은 이 다항식의 근입니다.
각 고유값 λ에 대해 대응하는 고유벡터는 (A − λI)v = 0의 0이 아닌 해입니다. 모든 해(영벡터 포함)는 λ에 대응하는 고유공간을 이룹니다. 행렬이 대각화 가능하려면 전체 기저를 이룰 만큼 충분한 선형 독립 고유벡터가 있어야 하며, 동치로 각 고유값의 기하적 중복도와 대수적 중복도가 같아야 합니다.
대각 행렬 D는 주대각선에 고유값이 있고 나머지는 0입니다. 변환 행렬 P는 대응하는 고유벡터를 열로 가지며, D의 고유값 순서와 같은 순서로 배치됩니다. P가 가역적이면(즉 A가 대각화 가능하면) P⁻¹AP = D 관계를 확인할 수 있습니다.
대각화가 매우 유용한 이유는 대각 행렬이 다루기 쉽기 때문입니다. 대각 행렬의 거듭제곱은 간단해서 D^n은 각 대각 원소를 n제곱하면 됩니다. 따라서 큰 n에 대한 A^n은 P D^n P⁻¹로 계산할 수 있어 반복 곱셈보다 훨씬 효율적입니다. 이는 피보나치 수 계산, Leslie 행렬을 이용한 인구 증가 모델링, 미분방정식 시스템 해법 등에 바로 활용됩니다.
데이터 과학과 통계에서는 주성분 분석(PCA)이 대각화에 직접 의존합니다. 데이터셋의 공분산 행렬은 대칭행렬이므로 항상 실수 고유값으로 대각화할 수 있습니다. 고유벡터는 주성분, 즉 분산이 가장 큰 방향을 정의하고, 고유값은 각 성분이 설명하는 분산의 양을 알려줍니다.
양자역학에서는 해밀토니안 행렬을 대각화하면 물리계의 에너지 준위와 고유상태를 얻습니다. 기계공학에서는 구조물의 진동에 대한 고유진동수와 모드 형상을 시스템의 강성 행렬과 질량 행렬을 대각화하여 구합니다.
모든 행렬이 대각화 가능한 것은 아닙니다. 중복 고유값을 가진 행렬은 각 고유값에 충분한 고유공간이 있는지에 따라 대각화 가능 여부가 결정됩니다. 2차원 회전 행렬은 복소 고유값을 가지므로 실수 범위에서는 대각화할 수 없습니다. 이런 경우에는 Jordan 표준형이 가장 가까운 대각 형태의 표현을 제공합니다.
대각화 예시
서로 다른 행렬이 어떻게 대각화되는지 보여주는 예시입니다.
| 행렬 | 고유값 | 메모 |
|---|---|---|
| 3,1;0,2 (2×2 상삼각) | λ₁ = 3, λ₂ = 2 | 상삼각행렬의 고유값은 대각선에 있습니다. P = [[1,1],[0,−1]], D = [[3,0],[0,2]]. |
| 2,1;1,2 (2×2 대칭) | λ₁ = 3, λ₂ = 1 | 대칭행렬은 항상 실수 고유값으로 대각화할 수 있습니다. 고유벡터는 서로 직교하며 [1,1]과 [1,−1]입니다. |
| 4,1;0,4 (2×2 결함 행렬) | λ = 4 (중복) | 중복 고유값에 대해 선형 독립인 고유벡터가 하나뿐이므로 대각화할 수 없습니다. Jordan 형식이 필요합니다. |
| 1,0,0;0,2,0;0,0,3 (3×3 대각) | λ₁ = 1, λ₂ = 2, λ₃ = 3 | 대각행렬은 이미 대각화된 형태입니다. P = I, D는 A 자체입니다. |
행렬 대각화 계산기 사용법
- 세미콜론으로 행을 구분하고, 각 행의 원소는 쉼표로 구분해 입력하세요. 2×2 행렬 [[a,b],[c,d]] 의 경우 a,b;c,d 로 입력합니다.
- 대각화를 클릭하세요. 계산기가 특성다항식을 구하고, 고유값을 찾은 뒤 고유벡터를 풉니다.
- 고유값 섹션에서 행렬의 모든 고유값 λ를 확인하세요.
- 행렬 P 섹션에서는 고유벡터가 열로 표시되고, 대각 행렬 D에서는 고유값이 대각선에 나타납니다.
- 행렬이 대각화 불가능한 경우(복소 고유값 또는 고유벡터 부족), 실수 범위에서 대각화할 수 없는 이유가 설명됩니다.
행렬 대각화 FAQ
행렬이 대각화 가능하다는 것은 무엇을 뜻하나요?
가역행렬 P가 존재하여 P⁻¹AP = D가 되고 D가 대각행렬이면, 정방행렬 A는 대각화 가능합니다. 동치로 A는 크기 n에 대해 n개의 선형 독립 고유벡터를 가져야 합니다. 이는 각 고유값의 기하적 중복도가 대수적 중복도와 같을 때 성립합니다.
고유값과 고유벡터는 무엇인가요?
고유값 λ는 Av = λv를 만족하는 0이 아닌 해 v가 존재하는 스칼라입니다. 벡터 v가 대응하는 고유벡터입니다. 기하적으로 고유벡터는 행렬 A에 의해 늘어나거나 뒤집히기만 하고(λ만큼 스케일) 회전하지 않는 방향입니다. 고유값은 det(A − λI) = 0을 풀어 찾습니다.
행렬 대각화는 왜 유용한가요?
대각행렬은 다루기 쉽기 때문입니다. 대각행렬의 n제곱은 각 대각 원소를 n제곱하면 됩니다. 그래서 A^n = P D^n P⁻¹는 효율적입니다. 대각화는 방정식 시스템을 분리해 미분방정식, 인구 모델, 그래프 분석을 단순화합니다.
언제 행렬이 대각화되지 않나요?
어떤 고유값의 기하적 중복도가 대수적 중복도보다 작을 때, 즉 고유공간이 충분히 크지 않을 때 대각화할 수 없습니다. 또한 실수 범위에서는 복소 고유값을 가진 행렬(예: 2차원 회전 행렬)을 실수 행렬로는 대각화할 수 없습니다.
대수적 중복도와 기하적 중복도의 차이는 무엇인가요?
고유값의 대수적 중복도는 특성다항식의 근으로 몇 번 나타나는지를 뜻합니다. 기하적 중복도는 해당 고유공간의 차원(선형 독립 고유벡터의 수)입니다. 대각화 가능하려면 모든 고유값에서 이 둘이 같아야 합니다.
모든 대칭행렬은 대각화할 수 있나요?
네. 스펙트럼 정리에 따라 모든 실수 대칭행렬은 직교행렬 P를 사용해 대각화할 수 있으며(P⁻¹ = Pᵀ), 모든 고유값은 실수입니다. 이 성질 때문에 PCA와 통계, 물리학의 많은 기법이 대칭행렬에 의존합니다.