Transformations of Bilinear Forms
Sorry for the delay, but at least now everything is in Maryland. Now I just need a job and then I’ll have to move back out of my parents’ house again
Anyway, now we want to see how linear maps between vector spaces affect forms on those spaces. We’ve seen a hint when we talked about the category of inner product spaces: if we have a bilinear form on a space
and a linear map
, then we can “pull back” the form along the map. That is, we take two vectors in
, apply
to both of them, and then stick them into the form on
.
When we write this out with our Dirac notation, we don’t really make much of a distinction between the vector spaces, relying on context to tell which vectors belong to which spaces, as well as which pairing we’re using. Luckily, when we write something sensible, it usually doesn’t matter how we parse things. Dirac notation is very robust! So, given vectors and
in
we have the form given by
as we’ve seen over and over. But now let’s take two vectors and
in
. First, we hit each of these vectors with
. The ket vector
clearly becomes
, while the bra vector
becomes
. Now using the form from before we get
This looks like a form on that’s described by the linear transformation
. Just as a sanity check, we can verify that
sends
to
,
then sends
to itself, and the adjoint
sends
back to
. So this is indeed a transformation from
to itself that can be used to represent a form.
As a particular case, we might consider an automorphism and consider it as a change of basis. When we did this to a linear map
we got a new linear map by conjugation
, and we say that these two transformations are similar. In one sense, this is “the same” linear map, but described with different “coordinates” on the vector space. But when we apply it to a bilinear form we turn
into
, and we say that these two are “congruent”. In the same sense as before, they describe “the same” form on
, but using different coordinates on the vector space.
Like similarity, congruence gives an action of on the space of bilinear forms on
. Indeed, if
and
are both automorphisms, we can act on
first by
to get
, then then by
to get
. But this is the same as
, which is the action by the product
.