1. An introduction
Theorem 1
Let be an inner product space over
and let
be a linear transformation. Then there exists a unique vector
such that
for all
.
Definition
Let be a linear operator on an inner product space
. The unique linear operator
which is such that
is called the adjoint of
.
Theorem 2
The adjoint of any linear operator exists.
Theorem 3
Let be a finite-dimensional inner product space, and let
be an orthonormal basis for
. Then
.
Corollary:
2. Proofs to the Theorems
PROOF OF THEOREM 1 (Every linear operator is an inner product operator)
Let be a base for
. Let A
.
Then let . For
we have:
. Since
and
agree on every element of
, they are equal linear operators. The uniqueness of
follows easily through a contradiction argument.
PROOF OF THEOREM 2 (existence and uniqueness of the adjoint linear operator)
Let . Define
. It is easy to see that
is linear. So, by Theorem 1, there exists a
such that
. Defining
gives us the adjoint. Linearity and uniqueness follow easily.
PROOF OF THEOREM 3 (Adjoint representative is representative of conjugate transpose)
If , then
.