Lecture 21
Chapter V Eigenvalue and Eigenvectors
Minimal polynomial 5B
Odd Dimensional Real Vector Spaces
Theorem 5.34
Let be an odd dimensional real vector space and a linear operator then has an eigenvalue.
Theorem 5.33
Let , be a finite dimensional vector space. then is even for .
Proof:
is invariant under , so it suffices to consider . Thus .
Suppose and such that , then if , then must divide . but does not factor over . Then we don't have eigenvalues.
Let be the largest invariant subspace of even dimension. Suppose and consider note . Consider .
So if then , which is a contradiction ().
If then invariant and gives an eigenvalue, which is a contradiction (don't have eigenvalues).
If is a larger even dimensional invariant subspace, which is a contradiction ( be the largest invariant subspace of even dimension).
So , is even.
Upper Triangular Matrices 5C
Definition 5.38
A square matrix is upper triangular if all entries below the diagonal are zero.
Example:
Theorem 5.39
Suppose and is a basis, then the following are equal:
a) is upper triangular
b) is invariant
c)
Sketch of Proof:
a)c) is clear... (probably) b) c), then do c)a), go step by step and construct .
Theorem 5.41
Suppose if there exists a basis where is upper triangular with diagonal entries , and , then are precisely the eigenvalues.
Proof:
Note that for , consider , consider then is not injective since , so is an eigenvalue.
but the minimal polynomial divides , so every eigenvalue is in.
Theorem 5.40
Suppose if there exists a basis where is upper triangular with diagonal entries , then .
Proof:
Note that for and , and ,