next up previous contents
Next: resolvent Up: Canonical forms Previous: Canonical forms   Contents

characteristic polynomial

The invertibility of the matrix $(\lambda I - M)$ merits further discussion. This particular inverse, $(\lambda I - M)^{-1}$, has a special name -- the resolventresolvent of $M$. But first things first: recalling the axiomatic definition of a determinant, calling the columns of $M$ $M_i$, and the coordinate vectors $e_i$, we have

\begin{eqnarray*}
\vert\lambda I - M\vert & = &
\vert\lambda e_1 - M_1, \lamb...
...d{array} \right\vert \\
& & \cdots \\
& & \pm \vert M\vert.
\end{eqnarray*}



This result exhibits $\chi(\lambda)$ in terms of its coefficients, which are sums of diagonal minors, with orders corresponding to the power of $\lambda$ which they multiply. They could be read out directly from the matrix, albeit while performing a greater or lesser quantity of arithmetic to get all the cofactors.

Noteworthy is the role of the negative of the tracetrace (which is the sum of the diagonal elements) as the coefficient of the penultimate power of $\lambda$, and the determinant in the role of the constant term. If $\vert M\vert$ vanishes, $\lambda = 0$ is a root of $\chi$, and there is a vector for which $M X = 0$. Of course that prevents $M$ from being invertible; an issue distinct from whether $\vert M - \lambda I\vert$ vanishes.


next up previous contents
Next: resolvent Up: Canonical forms Previous: Canonical forms   Contents
Pedro Hernandez 2004-02-28