Finite vector space
가 되는 basis가 존재한다. 이 basis에서
이므로
을 만족한다. 만약 다항식
라면
이 된다. 이 polynomial에서 한 인수만 없어도
Finite dimensional vector space
보통 minimal polynomial의 인수들을 최대 차수의 계수가 1이 되도록 잡는것이 일반적이다. 위에서 본 바와 같이
가 된다. 반대의 경우도 성립하는가? 선형대수학 정리에 의하면 linear opeartor
를 생각해보자. 그러면,
를 만족하게된다. 더 일반적으로 k-1 차 이하의 다항식
를 만족한다. 이제 linear operator
를 얻는다. 게다가
이다. (선형대수학) 3.3 Direct Sum Decomposition의 결론에 의하면,
일반적인 linear operator의 경우 diagonalizable임을 확인하기 위해 minimal polynomial을 구해야 하는데, minimal polynomial의 해가 eigenvalue가 아닌 것이 있는지가 문제가 된다. 그러나 선형대수학 정리는 minimal polynomial의 해가 항상 eigenvalue이며 또한 모든 eigenvalue를 포함해야 한다는 것을 보여준다.
Finite dimensional vector space
의 형태이면 minimal polynomial
이다.
따라서 finite dimensional vector space
가 된다.
'Mathematics > 선형대수' 카테고리의 다른 글
(선형대수학) 3.6 Triangular Form (3) | 2018.07.30 |
---|---|
(선형대수학) 3.5 Simultaneously Diagonalizable, Commutator (4) | 2018.07.30 |
(선형대수학) 3.4-(1) Example: Diagonalization of Matrices (0) | 2018.07.30 |
(선형대수학) 3.3 Direct Sum Decomposition (2) | 2018.07.30 |
(선형대수학) 3.2 Diagonalizable Operators (0) | 2018.07.29 |
(선형대수학) 3.1 Eigenvalue, Eigenvector, Eigenspace (0) | 2018.07.22 |