Minimal polynomial (linear algebra)
In linear algebra, the minimal polynomial μA of an n × n matrix A over a field F is the monic polynomial P over F of least degree such that P(A) = 0. Any other polynomial Q with Q(A) = 0 is a (polynomial) multiple of μA.
The following three statements are equivalent:
λ is a root of μA,
λ is a root of the characteristic polynomial χA of A,
λ is an eigenvalue of matrix A.
The multiplicity of a root λ of μA is the largest power m such that Ker((A − λIn)m) strictly contains Ker((A − λIn)m−1). In other words, increasing the exponent up to m will give ever larger kernels, but further increasing the exponent beyond m will just give the same kernel.
If the field F is not algebraically closed, then the minimal and characteristic polynomials need not factor according to their roots (in F) alone, in other words they may have irreducible polynomial factors of degree greater than 1. For irreducible polynomials P one has similar equivalences:
P divides μA,
P divides χA,- the kernel of P(A) has dimension at least 1.
- the kernel of P(A) has dimension at least deg(P).
Like the characteristic polynomial, the minimal polynomial does not depend on the base field, in other words considering the matrix as one with coefficients in a larger field does not change the minimal polynomial. The reason is somewhat different from for the characteristic polynomial (where it is immediate from the definition of determinants), namely the fact that the minimal polynomial is determined by the relations of linear dependence between the powers of A: extending the base field will not introduce any new such relations (nor of course will it remove existing ones).
The minimal polynomial is often the same as the characteristic polynomial, but not always. For example, if A is a multiple aIn of the identity matrix, then its minimal polynomial is X − a since the kernel of aIn − A = 0 is already the entire space; on the other hand its characteristic polynomial is (X − a)n (the only eigenvalue is a, and the degree of the characteristic polynomial is always equal to the dimension of the space). The minimal polynomial always divides the characteristic polynomial, which is one way of formulating the Cayley–Hamilton theorem (for the case of matrices over a field).
Contents
1 Formal definition
2 Applications
3 Computation
3.1 Properties
3.2 Example
4 References
Formal definition
Given an endomorphism T on a finite-dimensional vector space V over a field F, let IT be the set defined as
- IT={p∈F[t]|p(T)=0}{displaystyle {mathit {I}}_{T}={pin mathbf {F} [t];|;p(T)=0}}
![{mathit {I}}_{T}={pin {mathbf {F}}[t];|;p(T)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ae85366a8939b0c6c786a71a2d2849b5627325c)
where F[t] is the space of all polynomials over the field F. IT is a proper ideal of F[t]. Since F is a field, F[t] is a principal ideal domain, thus any ideal is generated by a single polynomial, which is unique up to units in F. A particular choice among the generators can be made, since precisely one of the generators is monic. The minimal polynomial is thus defined to be the monic polynomial which generates IT. It is the monic polynomial of least degree in IT.
Applications
An endomorphism φ of a finite dimensional vector space over a field F is diagonalizable if and only if its minimal polynomial factors completely over F into distinct linear factors. The fact that there is only one factor X − λ for every eigenvalue λ means that the generalized eigenspace for λ is the same as the eigenspace for λ: every Jordan block has size 1. More generally, if φ satisfies a polynomial equation P(φ) = 0 where P factors into distinct linear factors over F, then it will be diagonalizable: its minimal polynomial is a divisor of P and therefore also factors into distinct linear factors. In particular one has:
P = X k − 1: finite order endomorphisms of complex vector spaces are diagonalizable. For the special case k = 2 of involutions, this is even true for endomorphisms of vector spaces over any field of characteristic other than 2, since X 2 − 1 = (X − 1)(X + 1) is a factorization into distinct factors over such a field. This is a part of representation theory of cyclic groups.
P = X 2 − X = X(X − 1): endomorphisms satisfying φ2 = φ are called projections, and are always diagonalizable (moreover their only eigenvalues are 0 and 1).- By contrast if μφ = X k with k ≥ 2 then φ (a nilpotent endomorphism) is not necessarily diagonalizable, since X k has a repeated root 0.
These cases can also be proved directly, but the minimal polynomial gives a unified perspective and proof.
Computation
For a vector v in V define:
- IT,v={p∈F[t]|p(T)(v)=0}.{displaystyle {mathit {I}}_{T,v}={pin mathbf {F} [t];|;p(T)(v)=0}.}
![{mathit {I}}_{{T,v}}={pin {mathbf {F}}[t];|;p(T)(v)=0}.](https://wikimedia.org/api/rest_v1/media/math/render/svg/c138bd3b28a20175639462a1625246cd1e7abc35)
This definition satisfies the properties of a proper ideal. Let μT,v be the monic polynomial which generates it.
Properties
- Since IT,v contains the minimal polynomial μT, the latter is divisible by μT,v.
- If d is the least natural number such that v, T(v), ..., Td(v) are linearly dependent, then there exist unique a0, a1, ..., ad−1 in F, not all zero, such that
- a0v+a1T(v)+⋯+ad−1Td−1(v)+Td(v)=0{displaystyle a_{0}v+a_{1}T(v)+cdots +a_{d-1}T^{d-1}(v)+T^{d}(v)=0}
and for these coefficients one has
- μT,v(t)=a0+a1t+…+ad−1td−1+td.{displaystyle mu _{T,v}(t)=a_{0}+a_{1}t+ldots +a_{d-1}t^{d-1}+t^{d}.}
- a0v+a1T(v)+⋯+ad−1Td−1(v)+Td(v)=0{displaystyle a_{0}v+a_{1}T(v)+cdots +a_{d-1}T^{d-1}(v)+T^{d}(v)=0}
- Let the subspace W be the image of μT,v(T), which is T-stable. Since μT,v(T) annihilates at least the vectors v, T(v), ..., Td-1(v), the codimension of W is at least d.
- The minimal polynomial μT is the product of μT,v and the minimal polynomial Q of the restriction of T to W. In the (likely) case that W has dimension 0 one has Q = 1 and therefore μT = μT,v; otherwise a recursive computation of Q suffices to find μT.
Example
Define T to be the endomorphism of R3 with matrix, on the canonical basis,
- (1−1−11−2101−3).{displaystyle {begin{pmatrix}1&-1&-1\1&-2&1\0&1&-3end{pmatrix}}.}
Taking the first canonical basis vector e1 and its repeated images by T one obtains
- e1=[100],T⋅e1=[110].T2⋅e1=[0−11] andT3⋅e1=[03−4]{displaystyle e_{1}={begin{bmatrix}1\0\0end{bmatrix}},quad Tcdot e_{1}={begin{bmatrix}1\1\0end{bmatrix}}.quad T^{2}cdot e_{1}={begin{bmatrix}0\-1\1end{bmatrix}}{mbox{ and}}quad T^{3}cdot e_{1}={begin{bmatrix}0\3\-4end{bmatrix}}}
of which the first three are easily seen to be linearly independent, and therefore span all of R3. The last one then necessarily is a linear combination of the first three, in fact
T 3⋅e1 = −4T 2⋅e1 − T⋅e1 + e1,
so that:
μT,e1 = X 3 + 4X 2 + X − I.
This is in fact also the minimal polynomial μT and the characteristic polynomial χT: indeed μT,e1 divides μT which divides χT, and since the first and last are of degree 3 and all are monic, they must all be the same. Another reason is that in general if any polynomial in T annihilates a vector v, then it also annihilates T⋅v (just apply T to the equation that says that it annihilates v), and therefore by iteration it annihilates the entire space generated by the iterated images by T of v; in the current case we have seen that for v = e1 that space is all of R3, so μT,e1(T) = 0. Indeed one verifies for the full matrix that T 3 + 4T 2 + T − I3 is the null matrix:
- [01−33−1323−419−36]+4[001−14−61−510]+[1−1−11−2101−3]+[−1000−1000−1]=[000000000]{displaystyle {begin{bmatrix}0&1&-3\3&-13&23\-4&19&-36end{bmatrix}}+4{begin{bmatrix}0&0&1\-1&4&-6\1&-5&10end{bmatrix}}+{begin{bmatrix}1&-1&-1\1&-2&1\0&1&-3end{bmatrix}}+{begin{bmatrix}-1&0&0\0&-1&0\0&0&-1end{bmatrix}}={begin{bmatrix}0&0&0\0&0&0\0&0&0end{bmatrix}}}
References
Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
