Endomorphism/Cayley-Hamilton/Section

Arthur Cayley (1821-1895)

William Hamilton (1805-1865)

One highlight of the linear algebra is the Theorem of Cayley-Hamilton. In order to formulate this theorem, recall that we can plug in a square matrix into a polynomial. Here, the variable ${}X$ is everywhere replaced by the matrix ${}M$, the powers ${}M^{i}$ are the ${}i$-th matrix product of ${}M$ with itself, and the addition is the (componentwise) addition of matrices. A scalar ${}a$ has to be interpreted as the ${}a$-fold of the identity matrix. For the polynomial

${}P=3X^{2}-5X+2\,$

and the matrix

${}M={\begin{pmatrix}2&4\\3&1\end{pmatrix}}\,,$

we get

${}{\begin{aligned}P(M)&=3{\begin{pmatrix}2&4\\3&1\end{pmatrix}}^{2}-5{\begin{pmatrix}2&4\\3&1\end{pmatrix}}+2\\&={\begin{pmatrix}3&0\\0&3\end{pmatrix}}{\begin{pmatrix}16&12\\9&13\end{pmatrix}}+{\begin{pmatrix}-5&0\\0&-5\end{pmatrix}}{\begin{pmatrix}2&4\\3&1\end{pmatrix}}+{\begin{pmatrix}2&0\\0&2\end{pmatrix}}\\&={\begin{pmatrix}40&16\\12&36\end{pmatrix}}.\end{aligned}}$

For a fixed matrix ${}M\in \operatorname {Mat} _{n}(K)$, we have the substitution mapping

$K[X]\longrightarrow \operatorname {Mat} _{n}(K),P\longmapsto P(M).$

This ist (like the substitution mapping for an element ${}a\in K$), a ring homomorphism, that is, the relations (see also fact)

$(P+Q)(M)=P(M)+Q(M),\,(P\cdot Q)(M)=P(M)\circ Q(M){\text{ and }}1(M)=E_{n}$

hold. The Theorem of Cayley-Hamilton answers the question what happens when we insert a matrix in its characteristic polynomial einsetzt.

Theorem

Cayley-Hamilton/Matrix version/Fact

Proof

Cayley-Hamilton/Matrix version/Fact/Proof

$\Box$

Theorem

Cayley-Hamilton/Fact

Proof

Cayley-Hamilton/Fact/Proof

$\Box$