minimal polynomial (endomorphism)
Let be an endomorphism of an -dimensional vector space .
Definitions. We define the , , to be the unique monic polynomial of such that . We say that is a zero for if is the zero endomorphism.
Note that the minimal polynomial exists by virtue of the Cayley-Hamilton theorem, which provides a zero polynomial for .
. Firstly, is a vector space of dimension . Therefore the vectors, , are linearly dependant. So there are coefficients, not all zero such that . We conclude that a non-trivial zero polynomial for exists. We take to be a zero polynomial for of minimal degree with leading coefficient one.
: If is a zero polynomial for then .
Proof.
By the division algorithm for polynomials, with . We note that is also a zero polynomial for and by minimality of , must be just . Thus we have shown . ∎
The minimal polynomial has a number of interesting properties:
-
1.
The roots are exactly the eigenvalues of the endomorphism
-
2.
If the minimal polynomial of splits into linear factors then is upper-triangular with respect to some basis
-
3.
The minimal polynomial of splits into distinct linear factors (i.e. no repeated roots) if and only if is diagonal with respect to some basis.
It is then a corollary of the fundamental theorem of algebra that every endomorphism of a finite dimensional vector space over may be upper-triangularized.
The minimal polynomial is intimately related to the characteristic polynomial for . For let be the characteristc polynomial. Since , we have by the above lemma that . It is also a fact that the eigenvalues of are exactly the roots of . So when split into linear factors the only difference between and is the algebraic multiplicity of the roots.
In general they may not be the same - for example any diagonal matrix with repeated eigenvalues.
Title | minimal polynomial (endomorphism) |
---|---|
Canonical name | MinimalPolynomialendomorphism |
Date of creation | 2013-03-22 13:10:14 |
Last modified on | 2013-03-22 13:10:14 |
Owner | mathcam (2727) |
Last modified by | mathcam (2727) |
Numerical id | 12 |
Author | mathcam (2727) |
Entry type | Definition |
Classification | msc 15A04 |
Related topic | ZeroPolynomial2 |
Related topic | OppositePolynomial |
Defines | zero polynomial |
Defines | minimal polynomial |