Adjoint Transformations
Since an inner product on a finite-dimensional vector space is a bilinear form, it provides two isomorphisms from to its dual . And since an inner product is a symmetric bilinear form, these two isomorphisms are identical. But since duality is a (contravariant) functor, we have a dual transformation for every linear transformation . So what happens when we put these two together?
Say we start with linear transformation . We’ll build up a transformation from to which we’ll call the “adjoint” to . First we have the isomorphism . Then we follow this with the dual transformation . Finally, we use the isomorphism . We’ll write for this composite, and rely on context to tell us whether we mean the dual or the adjoint (but because of the isomorphisms they’re secretly the same thing).
So why is this the adjoint? Let’s say we have vectors and . Then it turns out that
which should recall the relation between two adjoint functors. An important difference here is that there is no distinction between left- and right-adjoint transformations. The adjoint of an adjoint is the original transformation back again: . This follows if we use the symmetry of the inner products on the relation above
Then since and the inner product on is nondegenerate, we must have sending every to the zero vector in . Thus .
So let’s show this adjoint condition in the first place. On the left side, we have the result of applying the linear functional to the vector . But this linear functional is simply the image of the vector under the isomorphism . So on the left, we’ve calculated the result of first applying to , and then applying this linear functional.
But the way we defined the dual transformation was such that we can instead apply the dual to the linear functional , and then apply the resulting functional to , and we’ll get the same result. And the isomorphism tells us that there is some vector in so that the linear functional we’re now applying to is . That is, our value will be for some vector . Which one? The one we defined as .
I’ll admit that it sometimes takes a little getting used to the way adjoints and duals are the same, and also the subtleties of how they’re distinct. But it sinks in soon enough.
[…] of Adjoints Many of the properties of the adjoint construction follow immediately from the contravariant functoriality of the duality we used in its […]
Pingback by Properties of Adjoints « The Unapologetic Mathematician | May 25, 2009 |
[…] We left off defining what we mean by a matrix element of a linear transformation. Let’s see how this relates to adjoints. […]
Pingback by The Matrix of the Adjoint « The Unapologetic Mathematician | June 22, 2009 |
[…] Let’s now consider a single inner-product space and a linear transformation . Its adjoint is another linear transformation . This opens up the possibility that might be the same […]
Pingback by Self-Adjoint Transformations « The Unapologetic Mathematician | June 23, 2009 |
[…] this is an inner product, and so we have the adjoint property, allowing us to rewrite it as . This is the pairing of the bra and the ket . But this latter ket […]
Pingback by Dirac Notation III « The Unapologetic Mathematician | July 6, 2009 |
[…] to the basis of . And this is actually just as we expect, since the transpose is actually the adjoint transformation, which automatically connects the dual […]
Pingback by Cotangent Vectors, Differentials, and the Cotangent Bundle « The Unapologetic Mathematician | April 13, 2011 |
[…] one. Let’s say that is an inner product on a vector space . As we mentioned when discussing adjoint transformations, this gives us an isomorphism from to its dual space . That is, when we have a metric floating […]
Pingback by Inner Products on 1-Forms « The Unapologetic Mathematician | October 1, 2011 |
[…] the other hand, the codifferential is (sort of) the adjoint to the differential. Adjointness would mean that if is a -form and is a -form, […]
Pingback by The Codifferential « The Unapologetic Mathematician | October 21, 2011 |