Ij Ji: Typeset by Ams-Tex
Ij Ji: Typeset by Ams-Tex
Ij Ji: Typeset by Ams-Tex
If we use orthonormal bases for V and for W to represent T and S by matrices, then
Sij = Tji .
Definition. The map S is called the adjoint of T and is denoted T .
Proof. Let e1 , . . . , en and f1 , . . . , fm be orthonormal bases for V and for W , respectively.
Then
X
X
(T v, w) = (T (
vi ei ),
wj fj )
X
=
vi wj (T ei , fj )
i,j
vi wj (the fj component of T ei )
vi wj Tji .
i,j
(2)
i,j
Thus if we let Sij is the conjugate of Tji (for all i and j), then (2) and (3) will be equal
for all v and w. This establishes the existence of a map S with property (1).
Conversely, if S has the property (1), then (2) and (3) will be equal for all v and w. In
particular, they will be equal when v = ei and w = fj , in which case (2) is Tji and (3) is
the conjugate of Sij . This proves uniqueness.
Theorem 2. Let V be a nite-dimensional complex Euclidean vector space. A linear map
T : V V has an orthonormal basis of eigenvectors if and only if T T = T T .
Remark. A linear transformation T : V V such that T T = T T is called normal.
Typeset by AMS-TEX
1
T v = v = T v = v.
v.
Proof of theorem 2. Any linear transformation of a complex vector space has at least one
eigenvector. So let v1 be a unit eigenvector for T .
Now suppose we have orthonormal eigenvectors v1 , . . . , vk for T . If k = dim V , we are
done. If not, let W be the set of all vectors that are orthogonal to v1 , . . . , vk :
W = {x V : (x, vi ) = 0 for i = 1, . . . , k}.
Then W is an n k dimensional subspace (where n = dim V .)
Claim: If x is perpendicular to vi , then so is T x.
Proof of claim. If x is perpendicular to vi , then
(T x, vi ) = (x, T vi ) = (x, i vi ) = (x, vi ) = 0.
Thus (T x, vi ) = 0, so T x is perpendicular to vi . This proves the claim.
Consequently, if x is perpendicular to all the vi s, then so is T x. In other words,
x W = T x W.
Now since T maps W into itself, W contains a unit eigenvector vk+1 .
Continuing in this way, we get an orthonormal basis of eigenvectors.