본문으로 이동

선형대수학 입문/고유값과 고유벡터

위키책, 위키책

모티브

[+/-]

대각화, 고유값(eigenvalue), 고유벡터(eigenvector)를 논의 하기 전에, 어떤 모티브가 있었는지 봅시다.

예시 (대각행렬의 거듭제곱 공식)

를 생각하자. 이므로, 각각의 양의 정수 에 대해서 이라는 대각행렬의 거듭제곱 공식을 귀납법으로 증명할 수 있다.


예시

, 라고 하자. 여기서 임을 계산할 수 있다.

행렬 라고 하자. 그러면


우리는 가역행렬 와 대각행렬 의 곱인 라는 조금 특수한 행렬에 대한 예시를 통해서 거듭제곱이 편리하게 계산될 수 있음을 보았습니다.

당연하게도, 이렇게 편한 도구가 주어졌으니, 주어진 행렬이 로 표현될 수 있는지, 그리고 그게 가능하다면 가 무엇인지 알고 싶을 것입니다.

이 챕터의 주요 목표가 바로 그것입니다.

고유값, 고유벡터 그리고 대각화

[+/-]

모티브에서의 관점으로 다음 정의를 얻을 수 있습니다.

정의 5.1 (대각화 가능 행렬)

정사각행렬 는 가역행렬이 가 존재하여 가 대각행렬이면 대각화 가능하다.


참고

동치인 조건은 모티브에서 보았던 꼴인 어떤 대각행렬 와 가역행렬 에 대해서 를 만족하는 것이다. 따라서 행렬이 대각화 가능하다면, 우리는 그 행렬의 거듭제곱도 편하게 계산할 수 있다.


예시

항등행렬 가 존재해 가 대각행렬()이므로 대각화가능하다. 또, 가 존재하여 를 이룬다.


틀:예제 다음 내용은 어느 부분에서는 대각가능성과 관련된 아주 중요하고 일반적인 개념입니다.

정의 5.2. (고유벡터와 고유값)

를 정사각행렬이라고 하자. 이 아닌 벡터 에 대해서 어떤 스칼라 가 존재하여 가 성립하면 의 고유벡터라고 한다. 그리고 에 대응하는 의 고유값이라고 한다.


참고

  • 는 벡터 와 행렬 의 곱이 벡터 와 스칼라의 곱과 같다는 것을 의미한다.(벡터 scaling)
  • eigen-라는 접두어는 '특징적인', '소유의', '고유한'을 나타내는 독일어다.


예시 (항등행렬의 고유벡터)

각각의 벡터 에 대해서 이므로, 각각의 벡터 의 고유벡터이고, 이것들에 대응되는 고유값은 모두 이다.


틀:Colored exercise 다음 정리는 대각화 가능 행렬에 고유벡터와 고유값과 관련이 있다.

정리 (대각화)

행렬이라 하자. 따라서 오로지 가 has 개의 선형독립 고유벡터를 가지고 있을 때만 는 대각화가능하다. 가 고유값 (고유값은 같을 수 있다.)에 대응되는 의 선형독립 고유벡터이면, 우리는 각각의 열이 인 가역행렬 와 대각성분이 인 대각행렬 를 정의하여 얻을 수 있다.

증명:

이 증명에서, 를 각각의 열을 로 삼는 행렬으로 표기할 것이다. 우리는 가 고유벡터임을 증명했다. 이제 가역성과 선형독립 간의 관계의 명제에 의해 가 가역행렬이려면 오로지 이 벡터들이 선형독립이어야 되기 때문에 벡터들이 선형독립임을 증명하는 것이 남아있다. 틀:증명끝