이 계산기의 기능
이 도구는 [[a, b], [c, d]] 형태로 표현되는 모든 2×2 행렬의 고윳값(eigenvalue)을 계산합니다. 고윳값은 선형 변환이 고유 방향을 따라 공간을 어떻게 늘리고, 줄이고, 회전시키는지를 나타냅니다. 선형대수학을 비롯해 물리학, 미분방정식, 동역학계, 그리고 머신러닝(예: 주성분 분석, PCA) 등 다양한 분야에서 폭넓게 활용됩니다.
사용 방법
행렬의 네 원소를 입력하세요. 첫 번째 행에는 a와 b, 두 번째 행에는 c와 d를 넣으면 됩니다. 계산기는 두 개의 고윳값을 모두 돌려줍니다. 판별식이 음수일 때는 고윳값이 켤레복소수 쌍을 이루며, \(x \pm yi\) 형태로 표시됩니다.
공식 설명
행렬 [[a, b], [c, d]]의 고윳값은 특성방정식 \(\lambda^2 - (\text{tr})\lambda + \det = 0\)의 근입니다. 여기서 대각합(trace) \(\text{tr} = a + d\), 행렬식(determinant) \(\det = ad - bc\) 입니다. 근의 공식으로 풀면 다음과 같습니다.
$$\lambda = \frac{\text{tr} \pm \sqrt{\text{tr}^2 - 4\det}}{2}$$
제곱근 안의 값 \(\Delta = \text{tr}^2 - 4\det\) 를 판별식이라고 합니다. \(\Delta \geq 0\)이면 고윳값은 실수이고, \(\Delta < 0\)이면 실수부가 \(\text{tr}/2\), 허수부가 \(\pm\sqrt{-\Delta}/2\) 인 켤레복소수가 됩니다.
계산 예시
행렬 [[2, 1], [1, 2]]를 살펴봅시다. 여기서 \(\text{tr} = 2 + 2 = 4\), \(\det = (2)(2) - (1)(1) = 3\) 입니다. 판별식은 \(4^2 - 4\cdot 3 = 16 - 12 = 4\)이므로 \(\sqrt{4} = 2\) 입니다. 따라서 고윳값은 $$\frac{4 + 2}{2} = 3 \quad \text{과} \quad \frac{4 - 2}{2} = 1$$ 입니다.
고유값 해석하기
각 고유값은 선형 사상 \(A\)이 대응하는 고유벡터 방향을 따라 어떻게 작용하는지를 나타냅니다. 고유값의 부호와 유형은 스케일링, 방향성, 그리고—\(A\)가 선형 동역학계 \(\dot{\mathbf{x}}=A\mathbf{x}\)의 행렬일 때—장기 안정성에 대해 알려줍니다.
실수 고유값
- 양수 (\(\lambda>0\)): 사상이 그 고유벡터를 따라 벡터를 늘어나게(확장) 합니다; 동역학계에서는 그 성분이 시간에 따라 증가합니다.
- 음수 (\(\lambda<0\)): 사상이 그 방향을 따라 반사 및/또는 축약합니다; 동역학계에서는 그 성분이 원점으로 감소합니다.
- \(|\lambda|>1\) vs \(|\lambda|<1\): 반복되는 반복 사상 (\(\mathbf{x}_{n+1}=A\mathbf{x}_n\))의 경우, 크기가 1보다 크면 그 축을 따라 확장을 의미하고, 1보다 작으면 축약을 의미합니다.
- \(\lambda=0\): 행렬이 특이 행렬(\(\Delta=0\))입니다; 그 방향을 한 점으로 축약하며, \(A^{-1}\)은 존재하지 않습니다.
복소수 켤레 쌍
\(D<0\)일 때 고유값은 \(\lambda=\alpha\pm\beta i\)입니다. 허수 부분 \(\beta\)는 회전을 도입합니다: 궤적이 직선으로 들어오거나 나가지 않고 나선형 또는 원형으로 움직입니다. 실수 부분 \(\alpha=\tfrac{\tau}{2}\)는 나선이 증가하는지(\(\alpha>0\)), 감소하는지(\(\alpha<0\)), 또는 폐곡선을 형성하는지(\(\alpha=0\))를 결정합니다.
반복되는 고유값(축퇴성)
\(D=0\)일 때 단일 고유값 \(\lambda=\tfrac{\tau}{2}\)이 존재합니다. 여전히 두 개의 독립적인 고유벡터를 가지면 행렬은 순수 스케일링입니다; 하나만 가지면 행렬은 결함 있는 것이고 동역학이 전단(부정적 또는 축퇴된 노드)을 포함합니다.
안정성 분류(대각합–행렬식)
시스템 \(\dot{\mathbf{x}}=A\mathbf{x}\)에서, 원점의 평형은 \(\tau\), \(\Delta\), 그리고 \(D=\tau^2-4\Delta\)에 의해 분류됩니다:
| 조건 | 고유값 유형 | 분류 |
|---|---|---|
| \(\Delta<0\) | 실수, 반대 부호 | 안장점 (불안정) |
| \(\Delta>0,\ \tau<0,\ D\ge 0\) | 실수, 모두 음수 | 안정 노드 |
| \(\Delta>0,\ \tau>0,\ D\ge 0\) | 실수, 모두 양수 | 불안정 노드 |
| \(\Delta>0,\ \tau<0,\ D<0\) | 복소수, 음수 실수부 | 안정 나선 |
| \(\Delta>0,\ \tau>0,\ D<0\) | 복소수, 양수 실수부 | 불안정 나선 |
| \(\Delta>0,\ \tau=0\) | 순수 허수 \(\pm\beta i\) | 중심 (중립 안정) |
요약하면: 노드나 나선의 경우 행렬식이 양수여야 하고, 대각합의 부호가 안정성을 결정하며(음수 = 안정, 양수 = 불안정), 판별식이 노드(\(D\ge0\))와 나선(\(D<0\))을 결정합니다. 음수 행렬식은 대각합과 무관하게 항상 안장점을 줍니다.
이는 교육용 일반 수학 정보이며, 전문적인 공학이나 금융 조언이 아닙니다; 이에 의존하기 전에 결과를 당신의 구체적인 모형과 비교하여 검증하시기 바랍니다.
자주 묻는 질문
고윳값이 복소수로 나오면 어떻게 되나요? [[0, −1], [1, 0]] 같은 회전 행렬은 대각합이 0이고 행렬식이 1이라 \(\Delta = -4\)가 됩니다. 이때 고윳값은 \(\pm i\)이며, \(0 + 1i\)와 \(0 - 1i\)로 표시됩니다.
고윳값이 서로 같을 수도 있나요? 네. 판별식이 정확히 0이면 행렬은 중복(축퇴) 고윳값 \(\lambda = \text{tr}/2\) 를 가집니다.
행렬식은 무엇을 알려주나요? 두 고윳값의 곱은 행렬식과 같고, 합은 대각합과 같습니다. 답을 검산할 때 아주 유용한 방법입니다.
