본문 바로가기
Mathematics/선형대수

(선형대수학) 3.1 Eigenvalue, Eigenvector, Eigenspace

by 피그티 2018. 7. 22.

(선형대수학) 2.5 Representations of Linear Transformations에서 보았듯이, Linear operator는 vector space의 basis가 주어지면 matrix로 표현될 수 있다. Basis를 어떻게 선택하느냐에 따라서 계산에 편리한 matrix 표현을 얻을 수도 있고 복잡한 표현을 얻을 수도 있다. 가장 간단한 matrix 형태는

[c1000c2000cn]

일 것이다. 모든 linear operator는 위와 같은 형태의 matrix로 표현할 수 있는가? 모든 linear operator가 될 수 없다면, 어떤 linear operator가 가능한가? 어떤 basis에서 그런 matrix가 되는가? 등이 앞으로 몇 페이지에 걸쳐 논의할 내용이다.

 

 

Eigenvalue, Eigenvector, Eigenspace

 

Linear operator T가 위와 같은 형태가 되기 위해서는 basis vector ek에 대하여,
Tek=ckek

이어야 한다. 이렇게 linear operator가 작용하면 본래 vector의 scalar multiplication이 되는 성질을 가진 vector들을 eigenvector라고 부른다.

 

DEFINITION            Eigevalue, Eigenvector

 

Vector space V의 linear operator T에 대하여 0-vector가 아닌 vector v

Tv=cv

이면, scalar cT의 eigenvalue라고 부르고, v를 eigenvalue c에 대한 T의 eigenvector라고 부른다.

 

v가 eigenvalue c에 대한 T의 eigenvector이면 v에 scalar multiplication을 한 vector도 eigenvector가 된다.

T(kv)=k(Tv)=k(cv)=c(kv)

또한 vw가 eigenvalue c에 대한 T의 eigenvector이면 이들의 addtion도 eigenvector가 된다.

T(v+w)=Tv+Tw=cv+cw=c(v+w)

따라서 eigenvalue c에 대한 T의 eigenvector들의 집합(0-vector 포함)은 V의 subspace가 된다. 이 space를 eigenspace라고 부른다.

 

DEFINITION            Eigenspace

 

Eigenvalue c에 대한 T의 eigenvector들의 집합을 (eigenvalue c에 대한 T의) eigenspace라고 부른다.

 

Identity operator를 I라고 하면, 위 식으로부터
(TcI)v=0

가 되어야 한다. 위 정의에서 v는 0-vector가 아니므로 (TcI)는 역함수가 존재하지 않아야 한다. (만약 역함수가 존재한다면, v=(TcI)10=0이 된다.) 그러므로 linear operator의 역함수가 존재하지 않을 조건

det(TcI)=0

를 만족해야 한다. Linear operator의 determinant는 행렬 표현의 determinant와 같으므로 이 조건은

det([T]c[I])=0

와 같다. 이로부터 matrix의 eigenvalue는 위 식을 만족하는 scalar c로 정의한다.

따라서 x에 대한 방정식

det(TxI)=0

의 해가 T의 eigenvalue이다. 다항식

f(x)=det(TxI)

를 특별히 charateristic polynomial of T이라고 부른다.

 

 

Examples

 

 

1. R2의 linear operator T

T(x,y)=(x+2y,3x+2y)

로 주어졌을 때, eigenvalue, eigenvector를 구하기 위해, 정의로부터

T(a,b)=(a+2b,3a+2b)=c(a,b)=(ca,cb)

즉,

a+2b=ca

3a+2b=cb

를 만족해야 한다. 그러나 (a,b)(0,0)이므로

(1c)a+2b=0

3a+(2c)b=0

의 해가 무수히 많을 조건

det[1c232c]=0

을 풀면, c는 -1 또는 4이다. Eigenvector를 구하기 위해

(1c)a+2b=0

에 eigenvalue를 대입하면, c가 -1인 경우

a=b

c가 4인 경우

3a=2b

가 된다. 정리하면,

 

(a,a) 형태의 vector, 예를 들어 (1,1)은 eigenvalue -1에 대한 eigenvector이고

 

(a,3a2)의 형태의 vector, 예를 들어 (1,32)은 eigenvalue 4에 대한 eigenvector이다.

 

Eigenvalue -1에 대하여 eigenvector는 (1,1)만 있는것이 아니라, (a,a) 형태의 모든 vector들이 eigenvector가 된다. Eigenvalue의 정의를 처음보면, 하나의 eigenvalue에 하나의 eigenvector만 있는 것처럼 보일 수 있으나 실제로는 eigenvector들로 subspace를 만들 수 있을만큼 많다.

 

Eigenvalue를 구하는 경우 위와 같이 정의를 이용해도 되지만, T의 matrix representation

[T]=[1232]

을 이용해, charateristic polynomial

det([T]c[I])=det[1c232c]

으로부터 얻을 수도 있다.(식은 결국 같다.)

 

 

2. Eigenvalue가 없는 linear operator도 있다. Field(scalar의 집합, (선형대수학) 1.1 Vector Space 참고)를 R이라고 하자. linear operator T의 matrix representation이

[T]=[0110]

인 경우, charateristic polynomial은

f(x)=det(TxI)=x2+1

이 된다. 그러나 x2+1=0을 만족하는 scalar(실수)는 존재하지 않는다. 따라서 T의 eigenvalue는 존재하지 않는다. 만약 field가 complex number와 같이 algebraically closed(모든 다항식을 1차 다항식만의 곱으로 인수분해 할 수 있는 성질)인 경우에는 반드시 eigenvalue가 존재한다.