Extracting the Determinant from the Characteristic Polynomial
This one’s a pretty easy entry. If we know the characteristic polynomial of an endomorphism on a vector space
of finite dimension
, then we can get its determinant from the constant term.
First let’s look at the formula for the characteristic polynomial in terms of the matrix entries of :
Now we’re interested in , which is exactly what we calculate to determine if the kernel of
is nontrivial. But the kernel of
is the eigenspace corresponding to eigenvalue
, so this should have something to do with the characteristic polynomial at
. So let’s see what happens.
This is just times our formula for the determinant of
. But of course we know the dimension ahead of time, so we know whether to flip the sign or not. So just take the characteristic polynomial, evaluate it at zero, and flip the sign if necessary to get the determinant.
There’s one thing to note here, even though it doesn’t really tell us anything new. We’ve said that is noninvertible if and only if its determinant is zero. Now we know that this will happen if and only if the constant term of the characteristic polynomial is zero. In this case, the polynomial must have a root at
, which means that the
-eigenspace of
is nontrivial. But this is just the kernel of
is nontrivial. Thus (as we already know) a linear transformation is noninvertible if and only if its kernel is nontrivial.
[…] of any choice of basis. The leading coefficient is always , so that’s not very interesting. The constant term is the determinant, which we’d known from other considerations before. There’s one more coefficient […]
Pingback by The Trace of a Linear Transformation « The Unapologetic Mathematician | January 30, 2009 |