3단원 · 행렬의 대각화

어떤 기저에서 계산이 단순해지나요?

고유벡터가 놓인 직선에서는 변환이 고윳값만큼 늘리거나 줄이는 일로 단순해져요. 일차독립인 고유벡터가 기저를 이루면 그 기저에서 행렬은 대각행렬이 돼요. 이 방법으로 피보나치 수열, 웹 순위, 인구 모형의 반복을 계산할 수 있어요.

1방향이 유지되는 고유벡터 12고대03-01

영벡터가 아닌 $v$를 회전시키면서 $Av$를 관찰해 보세요. 대부분의 방향에서 $Av$는 다른 곳을 가리키지만, 특별한 방향에서는 $Av$가 $v$와 나란해져요. $Av = \lambda v$일 때 그 방향의 벡터를 고유벡터, 배율 $\lambda$를 고윳값이라고 해요.

20°

v (슬라이더로 회전) · Av. 두 벡터가 나란해지는 방향을 찾아보세요.

특성다항식 $p(\lambda) = \lambda^2 - (\mathrm{tr}A)\lambda + \det A$. 그래프가 가로축과 만나는 곳의 $\lambda$값이 고윳값이에요. 이 식은 $Av$와 $v$가 나란해지는 조건을 나타내요.

더 깊이 보기 — 왜 하필 그 방정식인가

$Av = \lambda v$ 는 $(A - \lambda I)v = 0$ — 영이 아닌 해 $v$가 있으려면 $A - \lambda I$가 되돌릴 수 없는 비가역 선형변환이어야 해요. 2단원의 행렬식 판정을 적용하면 $\det(A - \lambda I) = 0$이에요. 이 식이 행렬식·역행렬·고윳값을 연결해요.

2피보나치 행렬과 지배 고윳값 12고대03-03·06

$F_{n+1} = F_n + F_{n-1}$은 두 앞 항을 쓰는 점화식이지만, 상태를 벡터로 묶으면 한 단계짜리 선형식이 돼요. $$\begin{pmatrix} F_{n+1} \\ F_n \end{pmatrix} = \underbrace{\begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix}}_{A} \begin{pmatrix} F_n \\ F_{n-1} \end{pmatrix}$$ 표현을 바꾸어 선형 구조를 찾아낸 사례예요. 이제 $F_n$은 $A^n$으로 계산할 수 있고, 대각화를 이용하면 거듭제곱 계산이 단순해져요. $A$의 고윳값을 구해 보자. $\lambda^2 - \lambda - 1 = 0 \implies \lambda = \frac{1 \pm \sqrt5}{2}$ — 절댓값이 가장 큰 고윳값을 지배 고윳값이라고 해요. 여기서는 황금비 $\varphi = 1.618\ldots$가 지배 고윳값이에요.

10 Fₙ₊₁/Fₙ = ?

이웃항의 비 $F_{n+1}/F_n$ 이 $\varphi$(금색 점선)에 가까워져요. 지배 고윳값이 반복의 장기 거동을 정하는 사례예요.

대각화 $A = PDP^{-1}$에서 $A^n = PD^nP^{-1}$이고 대각행렬의 거듭제곱은 각 대각 성분에 거듭제곱을 적용하면 되므로, 비네 공식을 바로 유도할 수 있어요. $$F_n = \frac{\varphi^n - \psi^n}{\sqrt 5}, \qquad \varphi = \frac{1+\sqrt5}{2},\ \psi = \frac{1-\sqrt5}{2}$$ 식에 $\sqrt5$가 들어가지만 두 항을 빼고 나누면 정확히 정수가 돼요.

3마르코프 연쇄 — 초기 조건과 무관해지는 장기 분포 12고대03-06

내일 날씨가 오늘 날씨에만 의존한다고 하자. $p$ = 맑음→비 확률, $q$ = 비→맑음 확률. 날씨의 확률분포는 매일 전이행렬 $M$을 한 번씩 적용해 갱신해요. 오래 지나면 어떻게 될까요?

0.30 0.50 정지분포: ?

서로 다른 두 출발 분포 — "오늘 100% 맑음""오늘 80% 비" — 에서 시작한 "비 올 확률"의 변화예요. 둘 다 같은 값인 점선에 가까워져요. 맑음과 비의 확률을 한 벡터로 묶은 정지분포는 한 번 갱신해도 바뀌지 않는 분포이며, $\lambda = 1$의 고유벡터예요. 점선은 그중 비 올 확률이에요.

더 깊이 보기 — 이 두 상태 모형은 왜 수렴하는가

이 위젯은 $0<p,q<1$인 경우만 다뤄요. 전이행렬의 고윳값은 $\lambda_1 = 1$(정지분포 성분)과 $|\lambda_2| < 1$(두 출발 분포의 차이 성분)이에요. 반복할 때마다 $\lambda_2$ 성분은 $|\lambda_2|^n \to 0$으로 줄고 $\lambda_1$ 성분만 남아요. 같은 원리가 연결 탐구 4의 PageRank 계산에도 쓰여요.

4케일리-해밀턴과 직교대각화 12고대03-02·04

④-1 케일리–해밀턴과 행렬의 특성방정식

모든 2×2 행렬은 자신의 특성다항식에 자신을 대입하면 영행렬이 돼요. $A^2 - (\mathrm{tr}A)A + (\det A)I = O$. 따라서 $A^2$를 $A$와 $I$의 선형결합으로 바꿀 수 있어요. 이 과정을 반복하면 $A^n$을 $\alpha A + \beta I$ 꼴로 나타낼 수 있어요. 거듭제곱 계산이 짧아져요.

10

④-2 대칭행렬의 직교대각화

실수 대칭행렬($A=A^T$)에는 서로 수직이고 길이가 1인 고유벡터 기저가 있어요. 서로 다른 고윳값의 고유벡터는 직교하고, 중복 고윳값의 고유공간에서도 정규직교기저를 고를 수 있어요. ‘대칭 유지’를 끄고 비대칭 조건($c\ne b$)과 비교해 보세요.

고유벡터 사이 각 = ?
더 깊이 보기 — 스펙트럼 정리와 양자역학

스펙트럼 정리에 따르면 실수 대칭행렬과, 복소수에서 대칭행렬과 비슷한 역할을 하는 에르미트 행렬에는 정규직교 고유기저가 있고 고윳값은 모두 실수예요. 양자역학에서는 에너지나 스핀 같은 물리량을 에르미트 연산자로 나타내요. 측정 결과는 그 고윳값으로 해석하고, 수소 원자의 스펙트럼 선은 에너지 고윳값의 차이와 연결해요.

5이차곡선 표준형 — 기울어진 곡선을 바로 세우기 12고대03-05

$Ax^2 + Bxy + Cy^2 = 1$의 $xy$항은 축이 기울어졌다는 신호예요. 이 식은 대칭행렬로 쓸 수 있어요. $\begin{pmatrix} x & y \end{pmatrix} \begin{pmatrix} A & B/2 \\ B/2 & C \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = 1$. 좌표축을 회전시켜 $xy$항을 없애 보세요. 교차항이 사라지는 축의 방향이 고유벡터 방향이에요.

B′ = ?

연결 탐구 · 주축정리 대칭행렬은 직교대각화되므로 이차곡선은 회전만으로 표준형이 돼요. 이를 주축정리라고 해요. 고윳값이 둘 다 양수이면 타원이고 부호가 다르면 쌍곡선이에요. 둘 다 음수이면 실수해가 없고, 하나가 0이면 퇴화한 경우를 따로 살펴야 해요. 이차곡선 반사 성질 시리즈에서 난이도에 맞는 자료를 골라 논술로 확장해 보자.

6반복 시스템 — 고윳값으로 읽는 장기 거동

세대별 인구나 계절별 상태처럼 한 단계씩 갱신되는 모형은 $x_{k+1}=Ax_k$로 나타내요. 고유벡터가 기저를 이루면 반복할 때 각 고유벡터 쪽 성분에 $\lambda^k$가 곱해져요. 초기 상태에 그 성분이 있을 때 $|\lambda|<1$이면 줄고 $|\lambda|>1$이면 커져요. 모든 초기 상태가 원점으로 가는지는 모든 고윳값을 함께 살펴 판정해요.

0.80 0.55

이산시간 반복의 판정표 이 위젯처럼 두 고유벡터가 기저를 이루는 2차원 모형의 판정이에요.
  • 두 고윳값 모두 $|\lambda|<1$ — 모든 성분의 감쇠, 원점으로 수렴
  • 하나는 $|\lambda|<1$, 다른 하나는 $|\lambda|>1$ — 한 방향의 수렴과 다른 방향의 발산, 안장형
  • 두 고윳값 모두 $|\lambda|>1$ — 모든 고유방향의 발산
  • $|\lambda|=1$ 포함 — 경계 사례, 추가 정보가 필요한 판정
연속시간 모형 $x'(t)=Ax(t)$에서는 $|\lambda|$ 대신 고윳값의 실수부를 살펴요. 실수부가 모두 음수이면 원점으로 수렴하고, 양수인 것이 있으면 커지는 성분이 생겨요. 실수부가 0인 고윳값이 있으면 행렬의 구조를 더 확인해야 해요.

수행평가 2 · 대각화 모형화 논술 (11월 2주)

피보나치·마르코프·이차곡선 가운데 관심 있는 주제를 골라 계산과 논술로 확장해 보세요. 아래 자료도 반복과 고윳값의 관계를 중심으로 살펴보세요.

읽을 논문 · 난이도 순

The $25,000,000,000 Eigenvector: The Linear Algebra behind Google — Bryan & Leise (2006)
SIAM Review · 웹 공개 PDF · 고등학생 수준의 설명 중심 논문
§1–3을 읽고 4번 연결 탐구의 미니 웹으로 실험한 뒤, 자신이 만든 그래프의 순위를 손계산으로 검증해 보세요. 링크 하나가 순위를 얼마나 바꾸는지 계산하고, 순위 조작(링크 스팸)이 수학적으로 가능한 까닭을 설명해 보세요.
Eigenfaces for Recognition — Turk & Pentland (1991)
J. Cognitive Neuroscience · 웹 공개 PDF
§1–2와 그림을 먼저 읽어 보세요. 얼굴이 평균에서 벗어나는 주된 방향이 고유벡터라는 생각을 자신의 언어로 설명하고, 이 방법과 오늘날 얼굴 인식의 공통점과 차이점을 정리해 보세요. (연결 탐구 8 연계)
On the Use of Matrices in Certain Population Mathematics — Leslie (1945)
Biometrika · 웹 공개 PDF
모형의 정의를 읽고 연령 3단계 레슬리 행렬을 만들어 보세요. 공개된 연령별 출산율 자료의 단위와 예측 기간을 확인해 \(F_i\)로 바꾸고, λ가 1 아래로 내려가는 출산율의 경곗값을 찾아보세요.
Simple Mathematical Models with Very Complicated Dynamics — May (1976)
Nature · 웹 공개 PDF
로지스틱 사상의 도입부를 읽어 보세요. 6번 위젯과 연결 탐구 9 · 비선형 문제와 선형화를 연결하여, 평형점 선형화로 예측 가능한 구간과 어려운 구간의 경계를 찾아보세요.
이차곡선 반사 성질 시리즈 (난이도 하~최상 라벨)
포물선·타원·쌍곡선의 반사와 종이접기 이차곡선을 다룬 읽을거리
5번 위젯의 주축정리와 기울어진 이차곡선의 반사 성질을 연결하여 자신의 수준에 맞는 논술 주제로 발전시켜 보세요. 난이도 표시를 참고해 자료를 선택해 보세요.

스타터 코드

starter-markov.js — 정지분포 계산기 (반복 계산)
// 상태: [맑음, 비, 눈] — 상태를 늘려 보세요.
// M[i][j] = "j 상태에서 i 상태로 갈 확률" (각 열의 합 = 1)
const M = [
  [0.6, 0.3, 0.4],   // ★ → 맑음
  [0.3, 0.5, 0.4],   // ★ → 비
  [0.1, 0.2, 0.2],   // ★ → 눈
];
let v = [1, 0, 0];                        // 출발: 오늘은 확실히 맑음
for (let day = 0; day < 50; day++) {      // ★ 반복 = 거듭제곱
  v = M.map(row => row.reduce((s, x, j) => s + x * v[j], 0));
}
console.log("정지분포(λ=1 고유벡터):", v.map(x => x.toFixed(4)));
// 현재 M에서 출발 벡터를 [0,0,1]로 바꿔도 결과가 같은지 확인해 보세요.
starter-leslie.js — 인구의 지배 고윳값
// 레슬리 행렬: 연령 3단계 (0-19세, 20-39세, 40-59세)
// 한 번 반복할 때 20년이 흐른다고 가정해요.
const f = [0.0, 1.1, 0.2];   // 연령별 출산율: 1.1을 조절해 보세요.
const s = [0.98, 0.97];      // ★ 다음 단계 생존율
const L = [
  [f[0], f[1], f[2]],
  [s[0], 0,    0   ],
  [0,    s[1], 0   ],
];
let v = [100, 100, 100];     // 초기 인구 (만 명)
for (let gen = 0; gen < 60; gen++) {
  const w = L.map(row => row.reduce((t, x, j) => t + x * v[j], 0));
  // 안정 연령 비율에 가까워지면 전체 인구 증가율도 지배 고윳값에 가까워져요.
  if (gen % 10 === 0) console.log(`세대 ${gen}: 성장률 λ ≈`,
    (w.reduce((a,b)=>a+b) / v.reduce((a,b)=>a+b)).toFixed(4));
  v = w;
}
// λ > 1: 장기 증가, λ < 1: 장기 감소 — 출산율 f[1]의 경곗값을 찾아보세요.

이 단원과 연결되는 탐구

응용

연결 탐구 4 · PageRank와 고유벡터

반복에서 지배 고유벡터가 남는 원리를 웹 페이지 순위에 적용해요.

비교

연결 탐구 8 · 선형대수와 AI

고유얼굴(Eigenfaces)과 LoRA가 적은 수의 변화 방향만 쓰는 저랭크 구조를 비교해요.

확장

연결 탐구 9 · 비선형 문제와 선형화

정확한 선형성, 한 점 가까이의 선형 근사, 특징 확장의 조건을 비교해요.