Eigenvalues Redux: Deriving the Product of Eigenvalues = Determinant

[gnome]

In a recent thread
https://www.physicsforums.com/showthread.php?t=67366
matt and cronxeh seemed to imply that we should all know that the product of the eigenvalues of a matrix equals its determinant. I don't remember hearing that very useful fact when I took linear algebra (except in the case of diagonal matrices, where it's obvious), and I can't find it mentioned in the textbook. Sure enough, it's true for every matrix that I've tried, but I can't see how to derive it. Would one of you please show how?

 

[quantumdude]

When you diagonalize a matrix (that is, when you write it in the basis of its own eigenvectors) the eigenvalues appear on the diagonal. That, combined with the fact that the trace of a matrix is independent of basis, proves the point.

 

[shmoe]

Alas, not all matrices are diagonalizable. In the general case, take a look at the characteristic polynomial, especially it's constant term.

 

[hypermorphism]

In a recent thread
https://www.physicsforums.com/showthread.php?t=67366
matt and cronxeh seemed to imply that we should all know that the product of the eigenvalues of a matrix equals its determinant. I don't remember hearing that very useful fact when I took linear algebra (except in the case of diagonal matrices, where it's obvious), and I can't find it mentioned in the textbook. Sure enough, it's true for every matrix that I've tried, but I can't see how to derive it. Would one of you please show how?

The determinant of a transformation is the oriented n-volume of the parallelotope formed by the transformed basis relative to the old basis.
Ie., let V be R^3 with the standard basis, and let T be a linear operator on V that doubles the magnitude of all vectors. The T has the matrix representation (2,0,0;0,2,0;0,0,2). By the above definition, equivalent to the algebraic formula, the determinant is then 8. Note that inverting anyone of the axes causes the oriented 3-volume of the parallelepiped to be negative, because the orientation of the axes has changed (you cannot rotate the old basis into the new basis if the new basis has inverted an odd number of axes). Zero-ing anyone of the basis vectors causes the 3-volume to go to 0, as we do not want to confuse 2-volume (area) with 3-volume.
It is then immediately apparent that if the transformed basis is just a rescaling of the old basis, then the oriented n-volume of the new basis with respect to the old basis is just the product of the scalars (the eigenvalues). Depending on the way you learned linear algebra, this geometric motivation for the determinant may not have been made apparent.

 

[gnome]

Alas, indeed. I've been reading and re-reading the theorems about which matrices are diagonalizable, and I'm more or less comfortable with them. But it appears that the answer to my question is going to be much more complex than I expected.

For example, this cryptic statement

In the general case, take a look at the characteristic polynomial, especially it's constant term.

Please elaborate.

 

[gnome]

The determinant of a transformation is the oriented n-volume of the parallelotope formed by the transformed basis relative to the old basis. It is then immediately apparent that if the transformed basis is just a rescaling of the old basis, then the oriented n-volume of the new basis with respect to the old basis is just the product of the scalars (the eigenvalues). Depending on the way you learned linear algebra, this geometric motivation for the determinant may not have been made apparent.

That's easy for you to say. :yuck:

Maybe I'll just accept it & worry about the details some other time.

 

[shmoe]

The characteristic polynomial of an nxn matrix is det(xI-A), (or det(A-xI) in some books).

Suppose this thing factors completely into linear factors:

$$det(xI-A)=(x-\lambda_1)\dots (x-\lambda_n)$$

Then the lambdas are the eigenvalues. The constant term on the left can be found by sticking in x=0 to get det(-A). The constant term on the right is just the product of the lambda's times (-1)^n (or stick x=0 into the right side as well). That's your result.

If you're looking at a matrix with real coefficients and it's characteristic polynomial doesn't factor completely in the reals, you can factor it over the complex numbers and get a result if you are willing to allow complex eigenvalues.

If you wanted to beat this thing down with a big hammer, you could look up Jordan Form, or Schur's theorem about matrices being similar to upper triangular ones (doesn't always carry schur's name)

For a bonus lolipop, can you see where the sum of the eigenvalues appers in the characteristic polynomial?

 

[shmoe]

It is then immediately apparent that if the transformed basis is just a rescaling of the old basis, then the oriented n-volume of the new basis with respect to the old basis is just the product of the scalars (the eigenvalues). Depending on the way you learned linear algebra, this geometric motivation for the determinant may not have been made apparent.

You're assuming here that you have a basis of eigenvectors, so this will only work for diagonalizable matrices. Maybe I'm missing something obvious?

 

[cronxeh]

if A can be diagonalized, then it can be rewritten as $$A = PDP^{-1}$$ where D is diagonal matrix of all eigenvalues of A, and P is the invertible matrix consisting of all eigenvectors of A (which correspond to all eigenvalues in D). Obviously determinant of $$PDP^{-1}$$ will be multiple of all eigenvalues in the diagonal matrix, and the trace will be the sum of all eigenvalues, since $$P*P^{-1} = I$$

$$A$$ can be diagonalized if and only if rank of the matrix formed by eigenvectors of $$A_{nxn}$$ = n. That is, there are n linearly independent eigenvectors of A.

 

[gnome]

if A can be diagonalized, then it can be rewritten as $$A = PDP^{-1}$$ where D is diagonal matrix of all eigenvalues of A, and P is the invertible matrix consisting of all eigenvectors of A (which correspond to all eigenvalues in D). Obviously determinant of $$PDP^{-1}$$ will be multiple of all eigenvalues in the diagonal matrix, and the trace will be the sum of all eigenvalues, since $$P*P^{-1} = I$$

$$A$$ can be diagonalized if and only if rank of the matrix formed by eigenvectors of $$A_{nxn}$$ = n. That is, there are n linearly independent eigenvectors of A.

Yeah, that part I got. I'm just trying to comprehend the situations where that doesn't apply, which I realize are simply not addressed at all in the texts (or the PARTS of the texts) that I've read.

 

[hypermorphism]

You're assuming here that you have a basis of eigenvectors, so this will only work for diagonalizable matrices. Maybe I'm missing something obvious?

Heya shmoe,
You're right, that was too specific. I should have said "...if the transformed basis is just a rescaling of any basis of V,...", which segues right into the "diagonalizable" business.

 

[gnome]

The characteristic polynomial of an nxn matrix is det(xI-A), (or det(A-xI) in some books).

Suppose this thing factors completely into linear factors:

$$det(xI-A)=(x-\lambda_1)\dots (x-\lambda_n)$$

Then the lambdas are the eigenvalues. The constant term on the left can be found by sticking in x=0 to get det(-A). The constant term on the right is just the product of the lambda's times (-1)^n (or stick x=0 into the right side as well). That's your result.

One of my books refers to the characteristic equation as $\text{det}(A-\lambda I) = 0$ and the other states it as $\text{det}(\lambda I - A) = 0$. I haven't gotten up to dealing with complex eigenvalues yet. So, sticking to your linear factors example:

it's been prettly clear to me that we can find the eigenvalues, assuming it factors nicely, by solving
$$(\lambda-\lambda_1)\dots (\lambda-\lambda_n) = 0$$
and clearly each of those $\lambda_i$ is an eigenvalue. I don't understand what you are doing with your "x=0 to get det(-A)" or "x=0 into the right side ..." leaving the product of all the $\lambda_i$s.

 

[shmoe]

Either definition of the characteristic polynomial is fine, they only differ by (-1)^n.

So you're ok with

$$det(xI-A)=(x-\lambda_1)\dots (x-\lambda_n)$$

Now substitute x=0 in on both sides:

$$det(0I-A)=(0-\lambda_1)\dots (0-\lambda_n)$$

$$det(-A)=(-\lambda_1)\dots (-\lambda_n)$$

(since A is nxn, remember how multiplying by a constant affects it)

$$(-1)^{n}det(A)=(-1)^{n}\lambda_1\dots \lambda_n$$

$$det(A)=\lambda_1\dots \lambda_n$$

 

[Data]

Look up Jordan Normal Form (or equivalently Jordan Canonical Form) if you're really interested in this. The triangular form theorem would also be sufficient for a discussion of determinants.

Essentially, the theorem says that every n x n matrix A over $$\mathbb{C}$$ (this requirement is not part of the theorem as usually stated, of course, and can easily be generalised, but you have to be a little bit careful, since if the minimal polynomial of A is not factorizable into linear factors the triangular form theorem does not apply) is similar to at least one upper triangular (upper triangular is actually weaker than the theorem's statement, but it's okay for this discussion) matrix. Obviously in the special case that A is diagonalizable, then we can just say A is similar to a diagonal matrix.

It follows that since similar matrices have the same characteristic polynomial, that the diagonal entries of such an upper triangular matrix must be A's eigenvalues (each repeated a number of times equal to its algebraic multiplicity). But of course, the product of the diagonal entries is just the determinant of A, which answers your question.

There are quite a few results necessary before the triangular form theorem becomes obvious.

 

[mathwonk]

heres a possible argument: an equation like detA = product of eigenvalues, is true on a closed set. thus since diagonalizable matrices are dense, it is true for all matrcies iff it is true for diagonalizable ones.

how about them apples?

 

[gnome]

shmoe, I'm not stuck at the end of your argument, but the beginning. You're starting with $det(xI-A)=(x-\lambda_1)\dots (x-\lambda_n)$ where x is some eigenvalue of A, right?

So, if you set x=0 in that equation to show that $det(A)=\lambda_1\dots \lambda_n$, haven't you proven it only for a matrix that has 0 as an eigenvalue?

edit: forget about this. For some reason I was looking at the derivation of this equation completely backwards, as if we were starting with these eigenvalues $\lamba_1 \dots \lambda_n$ and then ... etc etc

 

[Data]

Why would that be true? It's an equation, like any other. If 0 were an eigenvalue, you would get a factor of $x$ multiplying everything on the right, and would find $$\mbox{det}(A)=0$$.

 

[gnome]

OK, I see that now. Thanks.

 

[matt grime]

The simple product of the eigenvalues is not the determinant - there are mutliplicities to worry about.

The constant in Det(A-xI) corresponds to the product of roots of the characteristic polynomial with multuiplicity assuming certain things about the base field containing enough roots of unity.

 

[gnome]

This:

The simple product of the eigenvalues is not the determinant - there are mutliplicities to worry about.

I think is apparent if the rhs is simply a factorization of the lhs, right?

but I don't know what this:

The constant in Det(A-xI) corresponds to the product of roots of the characteristic polynomial with multuiplicity assuming certain things about the base field containing enough roots of unity.

means, particularly, what is the constant you referring to, and can you state "the base field containing enough roots of unity" in my non-mathematician's English, or should I simply not worry about it?

 

[mathwonk]

I'll just repeat what others have said.

If A is a matrix, then by definition the characteristic polynomial is a determinant,

namely det(A-X.Id).

as with any polynomial, the constant etrm is the product of the roots, counted with multiplicities. (There is a unique field extension of the coefficient field generated by these roots, and in which these roots live. if the product is taken there, the answer will however lie in the original field.)

So to be precise, as matt is pointing out, the correct statement should that the constant term of the characteristic polynomial is the product of the roots, counted with multiplicities, of that smae characteristic polynomial.

Now it is trivial that this constant term is the determinant of A because to get it we set X = 0, getting det (A-0.Id) = det(A).


moreover the roots of the charac poly are trivially eigenvalues, because these roots r make the determinant of A-r.Id equal to zero.

so it is pretty tautological really that the determinant is the product of the roots of the characteristic polynomial, i.e. the eigenvalues counted with suitable multiplicities.

it follows however that for any matrix with n distinct eigenvalues, their product is the determinant.

 

[gnome]

Yes, thanks, I pretty much got all of that already (although I couldn't state it anywhere near as eloquently as you have), except for this one sentence:

(There is a unique field extension of the coefficient field generated by these roots, and in which these roots live. if the product is taken there, the answer will however lie in the original field.)

which I'm sorry to say goes right over my head. Don't even try to explain it. Just please tell me this: in which math course would this be covered?

 

[Data]

what is the constant you referring to, and can you state "the base field containing enough roots of unity" in my non-mathematician's English, or should I simply not worry about it?

It has to do with the fact that, for example, over the real numbers, the only roots of $$x^n = 1$$ are $$\pm 1$$ for even $n$ and $1$ for odd $n$, but over the complex numbers $$x^n = 1$$ has $n$ roots for every $$\mathbb{Z} \ni n > 0$$.

This is why some real polynomials don't have real roots (or have fewer than you would expect).

 

[gnome]

Would that be covered in a numbers theory course?

 

[Hurkyl]

The statement mathwonk stated would likely be proven in an abstract algebra course, at least if it gets into field extensions.

However, for he who works over R (or any other subset of C), you can simply wield the sledgehammer and appeal to the fact that any polynomial over C has all of its roots in C.

(Something I really feel you should know in high school, but am probably being optimistic about)

 

[gnome]

...you can simply wield the sledgehammer and appeal to the fact that any polynomial over C has all of its roots in C. (Something I really feel you should know in high school, but am probably being optimistic about)

Perhaps I should go back and complain.
:rofl: :rofl: :rofl:

All kidding aside, while I'm sure you know that to be true, I don't think that, at my level, I have any basis to support that claim other than my ignorance as to the existence of any alternative possibility.

 

[HallsofIvy]

While not every matrix can be diagonalized, every matrix can be written in "Jordan Normal Form" with its eigenvalues along the diagonal,either 1 or 0 on the
"super diagonal" (the numbers just above the diagonal) and 0s everywhere else. It's easy to see that the determinant of such a matrix is just the product of the eigenvallues (counting multiplicity, of course).

 

[gnome]

But aren't you now referring to the determinant of the reduced matrix, not the determinant of the original matrix?

 

[Data]

They're the same. The determinant of any matrix similar to A is equal to the determinant of A (which isn't hard to prove).

 

[gnome]

Yep. I was thinking ... hell, I don't know what I was thinking.