1) 고윳값과 고유벡터란?
어떤 행렬 A가 있다고 합시다. 어떤 벡터에 행렬 A를 곱하면 벡터가 선형변환됩니다. 어떤 벡터에 행렬 A를 곱했는데, 그 결과가 벡터의 상수배가 되는 벡터가 존재할 수 있습니다. 아래와 같은 등식이 성립하는 것입니다.
A→x=λ→x
2x2 행렬과 2차원 벡터를 예로 들면 아래와 같습니다.
[abcd][x1x2]=λ[x1x2]
이러한 조건을 만족하는 벡터를 행렬 A의 고유벡터, λ를 고유값이라고 부릅니다.
2) 고윳값과 고유벡터 구하는 방법
아래 식을 다시 봅시다.
A→x=λ→x
우변을 좌변으로 이항하여 아래와 같이 변형합니다.
(A−λ)→x=0
위 식을 만족시키는 방법은 세가지가 있습니다.
ⓛ (A−λ)=0
② →x=0
③ 위 두 항이 둘다 0이 아니지만 곱은 0
ⓛ의 경우는 A가 단위행렬이어야 하고, 단위행렬인 경우는 고윳값과 고유벡터를 구하는게 의미가 없습니다. 모든 벡터가 고유벡터가 될 조건을 만족합니다. ②번의 경우를 trivial solution 이라고 부릅니다. 하찮은 해 입니다. 등식은 만족시키지만 별 의미가 없습니다. 우리는 3번을 구해야 합니다.
(A−λ)의 행렬식을 생각해봅시다. 만약 (A−λ)의 행렬식이 0이 아니라서 역행렬이 있다면, 양변에 역행렬을 곱할 수 있고 →x=0 라는 하찮은 결과가 나옵니다. →x=0이 나오지 않게 하려면 (A−λ)의 행렬식이 0이면 됩니다.
det(A−λ)=0 이라는 조건을 이용하여 λ를 구할 수 있습니다. 구한 λ를 (A−λ)→x=0 식에 대입하여 →x를 구하면 됩니다.
3) 예시
아래 행렬의 교윳값과 고유벡터를 구해봅시다.
A=[1243]
아래 등식을 만족하는 람다와 벡터를 구해야합니다.
[1243][x1x2]=λ[x1x2]
아래 등식을 만족하는 람다를 먼저 구해야합니다.
det(A−λ)=0
아래와 같이 표현할 수 있습니다.
|1−λ243−λ|=0
좌변을 계산하면 아래와 같습니다.
(1−λ)(3−λ)−8=0
아래와 같이 전개합니다.
λ2−4λ−5=0
아래와 같이 인수분해합니다.
(λ−5)(λ+1)=0
λ가 5인 경우는 아래와 같습니다. x1과 x2를 구하면 됩니다.
[1243][x1x2]=5[x1x2]
위 식은 아래와 같이 변형됩니다.
−4x1+2x2=0
4x1−2x2=0
계산하면 아래와 같습니다.
x1=2x2
매개변수 형태로 표현하면 벡터는 아래와 같습니다.
(t,2t)
λ가 -1인 경우는 아래와 같습니다. x1과 x2를 구하면 됩니다.
[1243][x1x2]=−[x1x2]
위 식은 아래와 같이 변형됩니다.
2x1+2x2=0
4x1+4x2=0
계산하면 아래와 같습니다.
x1=−x2
매개변수 형태로 표현하면 벡터는 아래와 같습니다.
(t,−t)
요약해봅시다.
교윳값은 5와 -1 입니다. 고윳값이 5일 때 고유벡터는 (t,2t) 이고, 고윳값이 -1 일때 교유벡터는 (t,−t) 입니다.
'etc > 어려운 수학이야기' 카테고리의 다른 글
행렬형태의 연립방정식을 이해하는 세가지 관점 (0) | 2023.08.08 |
---|---|
다각형의 넓이를 구하는 방법 (모든 다각형 가능, +코딩) (0) | 2023.06.20 |
[좌표 변환] 글로벌 좌표를 로컬좌표로, 또는 그 반대 (0) | 2023.05.29 |
[벡터의 회전과 행렬] (1) 2차원 평면 (0) | 2023.05.24 |
미분과 극한 제대로 이해하기 (3) 극한을 엄밀하게 정의한 입실론-델타 (0) | 2023.01.30 |
미분과 극한 제대로 이해하기 (2) 극한의 등장 (0) | 2023.01.30 |
미분과 극한 제대로 이해하기 (1) 미분의 모순 (0) | 2023.01.26 |
댓글