12.07.2015 Views

Linear Algebra

Linear Algebra

Linear Algebra

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

378 Chapter Five. Similarity1.8 Theorem (Cayley-Hamilton) If the characteristic polynomial of atransformation or square matrix factors intok · (x − λ 1 ) p 1(x − λ 2 ) p2 · · · (x − λ l ) p lthen its minimal polynomial factors into(x − λ 1 ) q 1(x − λ 2 ) q2 · · · (x − λ l ) q lwhere 1 ≤ q i ≤ p i for each i between 1 and l.The proof takes up the next three lemmas. Although they are stated only inmatrix terms, they apply equally well to maps. We give the matrix version onlybecause it is convenient for the first proof.The first result is the key — some authors call it the Cayley-Hamilton Theoremand call Theorem 1.8 above a corollary. For the proof, observe that a matrixof polynomials can be thought of as a polynomial with matrix coefficients.( )2x 2 + 3x − 1 x 2 + 23x 2 + 4x + 1 4x 2 =+ x + 1( ) 2 1x 2 +3 4( ) 3 0x +4 1( ) −1 21 11.9 Lemma If T is a square matrix with characteristic polynomial c(x) thenc(T ) is the zero matrix.Proof. Let C be T − xI, the matrix whose determinant is the characteristicpolynomial c(x) = c n x n + · · · + c 1 x + c 0 .⎛⎞t 1,1 − x t 1,2 . . .t 2,1 t 2,2 − xC = ⎜⎝....⎟⎠t n,n − xRecall that the product of the adjoint of a matrix with the matrix itself is thedeterminant of that matrix times the identity.c(x) · I = adj(C)C = adj(C)(T − xI) = adj(C)T − adj(C) · x(∗)The entries of adj(C) are polynomials, each of degree at most n − 1 since theminors of a matrix drop a row and column. Rewrite it, as suggested above, asadj(C) = C n−1 x n−1 + · · · + C 1 x + C 0 where each C i is a matrix of scalars. Theleft and right ends of equation (∗) above give this.c n Ix n + c n−1 Ix n−1 + · · · + c 1 Ix + c 0 I = (C n−1 T )x n−1 + · · · + (C 1 T )x + C 0 T− C n−1 x n − C n−2 x n−1 − · · · − C 0 x

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!