고윳값과 벡터
•
고윳값은 원어(독일어, eigenvalue)로는 특수한 값이라는 뜻이지 유일한 값이라는 뜻은 아니다.
정의
체 에 대한 벡터공간 위의 선형사상 에 대하여 다음 두 조건
1.
2.
를 만족하는 와 를 각각 고윳값과 고유벡터라고 한다.
•
ex)
◦
◦
이때 행렬 을 곱한 것과 동일한 결과를 가져오는 스칼라 -2가 고윳값이 되며 그때의 벡터가 고유벡터가 된다.
고유방정식
행렬 에 대하여 가 의 고윳값이기 위한 필요충분조건은 다음 방정식
을 만족하는 것이다. 이 방정식을 고유방정식이라 하며, 좌변의 식을 고유다항식이라 한다. (단, 는 단위 행렬)
•
ex) 일 때,
◦
◦
•
ex2) 의 고윳값 찾기
◦
◦
◦
◦
고유공간
선형사상 의 핵을 의 고유공간이라 한다. (단, 는 항등사상)
따라서 고유공간의 영벡터가 아닌 벡터는 고유벡터이다.
또한 의 고유벡터들로 구성된 의 기저를 선형사상 의 고유기저라 한다.
•
ex) 일 때,
◦
◦
◦
◦
◦
◦
즉, 고유벡터는 , 고유기저 =
•
ex) 의 고윳값, 고유벡터, 고유기저 구하기
◦
고윳값 구하기
▪
▪
▪
▪
◦
일 때 고유벡터 구하기
▪
▪
▪
▪
▪
즉, 고유벡터는 고유기저 =
◦
일 때 고유벡터 구하기
▪
▪
▪
▪
▪
즉, 고유벡터는 , 고유기저 =
대각화
대각화
정의
두 정사각행렬 에 대하여 방정식
를 만족하는 대각행렬 와 가역행렬 가 존재하면 행렬 는 대각화 가능행렬이라고 한다. 또한 이 경우 행렬 는 를 대각화한다고 한다.
•
ex) 일 때,
◦
◦
◦
◦
이런 결과는 다시 생각해 보면 라는 선형사상(행렬)은 이라는 선형사상으로 분해가 가능하다는 뜻이 되기도 한다.
정리
행렬 에 대하여 다음 두 명제는 동치이다.
1.
는 대각화 가능 행렬이다.
2.
는 개의 선형독립인 고유벡터를 갖는다.
대각화하는 방법
행렬 에 대하여
1.
Step 1
•
개의 선형독립인 고유벡터를 찾아 대각화 가능 행렬인지 확인한다.
•
(고유벡터의 갯수가 개가 안되면 대각화 가능하지 않음)
2.
Step 2
•
개의 고유벡터 로부터 행렬 를 만든다.
3.
Step 3
•
는 대각행렬이 된다.
•
ex) 이 대각화 가능한지 확인
◦
고윳값 구하기
▪
▪
▪
◦
고유벡터 구하기
▪
▪
▪
▪
즉, 고유벡터는 , 고유기저 =
▪
고유기저가 1개 밖에 안나오므로 는 대각화 불가능
•
ex2) 에 대한 찾기
◦
◦
중복도
정의
가 행렬 의 고윳값이면 이에 대응하는 고유공간의 차원을 의 기하적 중복도라 한다.
또한 의 고유다항식에서 가 인수로 나타나는 횟수를 의 대수적 중복도라 한다.
•
ex)
◦
기하적 중복도는 대수적 중복도보다 작거나 같음. 그 둘이 같을 때 그 행렬은 대각화 가능이 된다.
정리
정사각행렬 에 대하여 다음 두 명제는 동치이다.
1.
는 대각화 가능 행렬이다.
2.
의 모든 고윳값에 대해서 기하적 중복도와 대수적 중복도는 같다.
닮음 불변량
정의
두 정사각행렬 에 대하여
를 만족하는 가역행렬 가 존재하면 는 서로 닮은 행렬이라 하고 기호로 라 표현한다.
닮은 불변량
서로 닮은 두 행렬의 다음과 같은 성질들은 서로 일치한다.
1.
행렬식
2.
가역성
3.
rank
4.
nullity
5.
고유다항식
6.
고윳값
7.
고유공간의 차원
8.
대각성분들의 합
9.
대수적 중복도
10.
기하적 중복도
11.
...
C-H 정리
임의의 정사각행렬 와 그 고유다항식
에 대하여 이 성립하며, 이를 케일리-해밀턴 정리라고 한다. (단, 는 영행렬)
•
ex) 일 때
◦
◦
◦