The Determinant of a Positive-Definite Transformation

Let’s keep pushing the analogy we’ve got going.

First, we know that the determinant of the adjoint of a transformation is the complex conjugate of the determinant of the original transformation (or just the same, for a real transformation). So what about self-adjoint transformations? We’ve said that these are analogous to real numbers, and indeed their determinants are real numbers. If we have a transformation $H$ satisfying $H^*=H$ , then we can take determinants to find

$\displaystyle\det(H)=\det(H^*)=\overline{\det(H)}$

and so the determinant is real.

What if $H$ is not only self-adjoint, but positive-definite? We would like the determinant to actually be a positive real number.

Well, first let’s consider the eigenvalues of $H$ . If $\lvert v\rangle$ is an eigenvector we have $H\lvert v\rangle=\lambda\lvert v\rangle$ for some scalar $\lambda$ . Then we can calculate

$\displaystyle\langle v\rvert H\lvert v\rangle=\langle v\rvert\lambda\lvert v\rangle=\lambda\langle v\vert v\rangle=\lambda\lVert v\rVert^2$

If $H$ is to be positive-definite, this must be positive, and so $\lambda$ itself must be positive. Thus the eigenvalues of a positive-definite transformation are all positive.

Now if we’re working with a complex transformation we’re done. We can pick a basis so that the matrix for $H$ is upper-triangular, and then its determinant is the product of its eigenvalues. Since the eigenvalues are all positive, so is the determinant.

But what happens over the real numbers? Now we might not be able to put the transformation into an upper-triangular form. But we can put it into an almost upper-triangular form. The determinant is then the product of the determinants of the blocks along the diagonal. The $1\times1$ blocks are just eigenvalues, which still must be positive.

The $2\times2$ blocks, on the other hand, correspond to eigenpairs. They have trace $\tau$ and determinant $\delta$ , and these must satisfy $\tau^2<4\delta$ , or else we could decompose the block further. But $\tau^2$ is definitely positive, and so the determinant $\delta$ has to be positive as well in any of these blocks. And thus the product of the determinants of the blocks down the diagonal is again positive.

So either way, the determinant of a positive-definite transformation is positive.

7 Comments »

Just a question: doesn’t the real case follow from the complex case (just treat the real transformation as a complex one in which all numbers happen to be real, the upper-triangularizing basis might not be real but who cares: the determinant is basis-independent)?

Comment by Piotr | August 3, 2009 | Reply
The line between “useful technique” and “dirty trick” is fine indeed.

Comment by John Armstrong | August 3, 2009 | Reply
@Piotr: since we seem to be talking about self-adjoint and positive definite transformations, in both the real and complex cases it turns out that such a transformation is diagonal with respect to some orthonormal basis. So certainly in the real case we can put the transformation into upper triangular and even diagonal form.

Comment by Todd Trimble | August 4, 2009 | Reply
Todd, that’s right, but I haven’t shown it yet, so I can’t use it. The easy way to show it, though, would use even more examination of eigenpairs than I did in the post.

Comment by John Armstrong | August 4, 2009 | Reply
Yeah, I figured you hadn’t (I tried the search terms “spectral” and “diagonalization” just to make sure). But I didn’t want Piotr to come away with a wrong impression that “Now we might not be able to put the transformation into an upper-triangular form” means literally what it says — there is an implicit preface “for all we know from our development thus far” in there.

Comment by Todd Trimble | August 4, 2009 | Reply
There’s an interesting philosophical point there: the difference between mathematics-as-completed-entity and mathematics-situated-in-context.

I think that the transition is a subtle one, but an important one in terms of the growth of a mathematical student. Through most of school, mathematics can be (and is) taken as a completed thing given down from on-high. It takes a definite shift in perspective to see it as incomplete and in-development.

In a sense, one could say that the mathematics I’m talking about here is different than, say, the mathematics in Axler’s text, because I started at a different place and made different decisions along the way. There’s a sort of “path-dependency” to mathematics. The question, then, is how all these paths converge on the same results? How can the Secret Blogging Seminar doesn’t have to start at the beginning, but can assume a general, common background?

Comment by John Armstrong | August 4, 2009 | Reply
[…] is a unit complex number, and the determinant of a positive-semidefinite transformation is a nonnegative real number. If is nonsingular, so is actually positive-definite, then will be strictly positive, so the […]

Pingback by Polar Decomposition « The Unapologetic Mathematician | August 19, 2009 | Reply

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.

Recent Posts
Blogroll
Art
- Sketches of Topology
Astronomy
- Bad Astronomy
- Starts With a Bang
Computer Science
Education
Mathematics
Me
- DrMathochist
- The Unapologetic Programmer
Philosophy
Physics
Politics
Science

M	T	W	T	F	S	S
« Jul				Sep »
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

The Unapologetic Mathematician

Mathematics for the interested outsider