Linear Algebra/Polynomials of Maps and Matrices

From testwiki
Jump to navigation Jump to search

Template:Navigation

Recall that the set of square matrices is a vector space under entry-by-entry addition and scalar multiplication and that this space n×n has dimension n2. Thus, for any n×n matrix T the n2+1-member set {I,T,T2,,Tn2} is linearly dependent and so there are scalars c0,,cn2 such that cn2Tn2++c1T+c0I is the zero matrix.

Template:TextBox

Template:TextBox

Template:TextBox

Template:TextBox

Of course, if T=RepB,B(t) then f(T)=RepB,B(f(t)), which follows from the relationships Tj=RepB,B(tj), and cT=RepB,B(ct), and T1+T2=RepB,B(t1+t2).

As Example 1.2 shows, there may be polynomials of degree smaller than n2 that zero the map or matrix.

Template:TextBox

A minimal polynomial always exists by the observation opening this subsection. A minimal polynomial is unique by the "with leading coefficient 1" clause. This is because if there are two polynomials m(x) and m^(x) that are both of the minimal degree to make the map or matrix zero (and thus are of equal degree), and both have leading 1's, then their difference m(x)m^(x) has a smaller degree than either and still sends the map or matrix to zero. Thus m(x)m^(x) is the zero polynomial and the two are equal. (The leading coefficient requirement also prevents a minimal polynomial from being the zero polynomial.)

Template:TextBox

Using the method of that example to find the minimal polynomial of a 3×3 matrix would mean doing Gaussian reduction on a system with nine equations in ten unknowns. We shall develop an alternative. To begin, note that we can break a polynomial of a map or a matrix into its components.

Template:TextBox

Template:TextBox

In particular, if a minimial polynomial m(x) for a transformation t factors as m(x)=(xλ1)q1(xλ)q then m(t)=(tλ1)q1(tλ)q is the zero map. Since m(t) sends every vector to zero, at least one of the maps tλi sends some nonzero vectors to zero. So, too, in the matrix case— if m is minimal for T then m(T)=(Tλ1I)q1(TλI)q is the zero matrix and at least one of the matrices TλiI sends some nonzero vectors to zero. Rewording both cases: at least some of the λi are eigenvalues. (See Problem 17.)

Recall how we have earlier found eigenvalues. We have looked for λ such that Tv=λv by considering the equation 0=Tvxv=(TxI)v and computing the determinant of the matrix TxI. That determinant is a polynomial in x, the characteristic polynomial, whose roots are the eigenvalues. The major result of this subsection, the next result, is that there is a connection between this characteristic polynomial and the minimal polynomial. This results expands on the prior paragraph's insight that some roots of the minimal polynomial are eigenvalues by asserting that every root of the minimal polynomial is an eigenvalue and further that every eigenvalue is a root of the minimal polynomial (this is because it says "1qi" and not just "0qi").

Template:TextBox

The proof takes up the next three lemmas. Although they are stated only in matrix terms, they apply equally well to maps. We give the matrix version only because it is convenient for the first proof.

The first result is the key— some authors call it the Cayley-Hamilton Theorem and call Theorem 1.8 above a corollary. For the proof, observe that a matrix of polynomials can be thought of as a polynomial with matrix coefficients.

(2x2+3x1x2+23x2+4x+14x2+x+1)=(2134)x2+(3041)x+(1211)

Template:TextBox

Template:TextBox

We sometimes refer to that lemma by saying that a matrix or map satisfies its characteristic polynomial.

Template:TextBox

Template:TextBox

Combining the prior two lemmas gives that the minimal polynomial divides the characteristic polynomial. Thus, any root of the minimal polynomial is also a root of the characteristic polynomial. That is, so far we have that if m(x)=(xλ1)q1(xλi)qi then c(x) must has the form (xλ1)p1(xλi)pi(xλi+1)pi+1(xλ)p where each qj is less than or equal to pj. The proof of the Cayley-Hamilton Theorem is finished by showing that in fact the characteristic polynomial has no extra roots λi+1, etc.

Template:TextBox

Template:TextBox

Template:TextBox

Exercises

Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:TextBox Template:TextBox Template:TextBox Template:TextBox Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:TextBox Template:TextBox Template:TextBox Template:TextBox Template:Linear Algebra/Book 2/Recommended Template:TextBox Template:TextBox

/Solutions/

References

Template:Navigation

Template:BookCat