All Science Fair Projects

Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

Cayley-Hamilton theorem

In linear algebra, the Cayley-Hamilton theorem (named after the mathematicians Arthur Cayley and William Hamilton) states that every square matrix over the real or complex field, satisfies its own characteristic equation. This means the following: if A is the given square nxn matrix and In  is the nxn identity matrix, then the characteristic polynomial of A is defined as:

$p(t)=\det(A-tI_n)\,$

where "det" is the determinant function. The Cayley-Hamilton theorem states that replacing t by the matrix A in the characteristic polynomial results in the zero matrix:

$p(A)=0.\,$

Indeed, the Cayley-Hamilton theorem holds for square matrices over commutative rings as well.

An important corollary of the Cayley-Hamilton theorem is that the minimal polynomial of a given matrix is a divisor of its characteristic polynomial. This is very useful in finding the Jordan form of a matrix.

Example

Consider for example the matrix

$A = \begin{pmatrix}1&2\\ 3&4\end{pmatrix}$.

The characteristic polynomial is given by

$p(t)=\det\begin{pmatrix}1-t&2\\ 3&4-t\end{pmatrix}=(1-t)(4-t)-(2)(3)=t^2-5t-2.$

The Cayley-Hamilton theorem then claims that

A2 - 5A - 2I2 = 0

which one can quickly verify in this case.

As a result of this, the Cayley-Hamilton theorem allows us to calculate powers of matrices more simply than by direct multiplication.

Taking the result above

A2 - 5A - 2I2 = 0
A2 = 5A + 2I2.

Then, for example, to calculate A4, observe

A3 = (5A + 2I2)A = 5A2 + 2A = 5(5A + 2I2) + 2A = 27A + 10I2
A4 = A3A = (27A + 10I2)A = 27A2 + 10A = 27(5A + 2I2) + 10A
A4 = 145A + 54I2.

The theorem is also an important tool in calculating eigenvectors.

03-10-2013 05:06:04