Positive-Definite Transformations
We’ll stick with the background vector space with inner product
. If we want another inner product to actually work with, we need to pick out a bilinear form (or sesquilinear, over
. So this means we need a transformation to stick between bras and kets.
Now, for our new bilinear form to be an inner product it must be symmetric (or conjugate-symmetric). This is satisfied by picking our transformation to be symmetric (or hermitian). But we also need our form to be “positive-definite”. That is, we need
for all vectors , and for equality to obtain only when
.
So let’s look at this condition on its own, first over . If
is antisymmetric, then we see
by taking the adjoint, and thus
must be zero. But an arbitrary transformation
can be split into a symmetric part
and an antisymmetric part
. It’s easy to check that
. So the antisymmetric part of
must be trivial, and the concept of being “positive-definite” only makes real sense for symmetric transformations.
What happens over ? Now we want to interpret the positivity condition as saying that
is first and foremost a real number. Then, taking adjoints we see that
. Thus the transformation
must always give zero when we feed it two copies of the same vector.
But now we have the polarization identities to work with! The real and imaginary parts of are completely determined in terms of expressions like
. But since these are always zero, so is the rest of the form. And thus we conclude that
. That is, positive-definiteness only really makes sense for Hermitian transformations.
Actually, this all sort of makes sense. Self-adjoint transformations (symmetric or Hermitian) are analogous to the real numbers sitting inside the complex numbers. Within these, positive-definite matrices are sort of like the positive real numbers. It doesn’t make sense to talk about “positive” complex numbers, and it doesn’t make sense to talk about “positive-definite” transformations in general.
Now, there are three variations that I should also mention. The most obvious one is for a transformation to be “negative-definite”. In this case, we have , with equality only for
. We can also have transformations which are “positive-semidefinite” and “negative-semidefinite”. These are just the same as the definite versions, except we don’t require that equality only obtain for
.