Lecture Note-2
Lecture Note-2
(b) If T 2 L.V / is self-adjoint and b; c 2 R are such that b 2 < 4c, then
T 2 C bT C cI is a positive operator, as shown by the proof of 7.26.
(a) T is positive;
Proof We will prove that (a) ) (b) ) (c) ) (d) ) (e) ) (a).
First suppose (a) holds, so that T is positive. Obviously T is self-adjoint
(by the definition of a positive operator). To prove the other condition in (b),
suppose is an eigenvalue of T. Let v be an eigenvector of T corresponding
to . Then
0 hT v; vi D hv; vi D hv; vi:
Thus is a nonnegative number. Hence (b) holds.
Now suppose (b) holds, so that T is self-adjoint and all the eigenvalues
of T are nonnegative. By the Spectral Theorem (7.24 and 7.29), there is
an orthonormal basis e1 ; : : : ; en of V consisting of eigenvectors of T. Let
1 ; : : : ; n be the eigenvalues of T corresponding to e1 ; : : : ; en ,; thus each
j is a nonnegative number. Let R be the linear map from V to V such that
q
Rej D j ej
for j D 1; : : : ; n (see 3.5). Then R is a positive operator, as you should verify.
Furthermore, R2 ej D j ej D T ej for each j , which implies that R2 D T.
Thus R is a positive square root of T. Hence (c) holds.
Clearly (c) implies (d) (because, by definition, every positive operator is
self-adjoint).
Now suppose (d) holds, meaning that there exists a self-adjoint operator
R on V such that T D R2 . Then T D R R (because R D R). Hence (e)
holds.
Finally, suppose (e) holds. Let R 2 L.V / be such that T D R R. Then
T D .R R/ D R .R / D R R D T. Hence T is self-adjoint. To
complete the proof that (a) holds, note that
hT v; vi D hR Rv; vi D hRv; Rvi 0
for every v 2 V. Thus T is positive.
SECTION 7.C Positive Operators and Isometries 227
7.36 Each positive operator has only one positive square root
Every positive operator on V has a unique positive square root.
Isometries
Operators that preserve norms are sufficiently important to deserve a name:
and
The last equation, along with the equation jj j D 1, shows that
Comparing 7.40 and 7.41 shows that kvk D kS vk. In other words, S is an
isometry.
SECTION 7.C Positive Operators and Isometries 229
The next result provides several con- An isometry on a real inner product
ditions that are equivalent to being an space is often called an orthogonal
isometry. The equivalence of (a) and (b) operator. An isometry on a com-
shows that an operator is an isometry if plex inner product space is often
and only if it preserves inner products. called a unitary operator. We use
The equivalence of (a) and (c) [or (d)] the term isometry so that our re-
sults can apply to both real and
shows that an operator is an isometry
complex inner product spaces.
if and only if the list of columns of its
matrix with respect to every [or some] basis is orthonormal. Exercise 10
implies that in the previous sentence we can replace “columns” with “rows”.
(a) S is an isometry;
(e) S S D I ;
(f) SS D I ;
(g) S is an isometry;
where the first equality comes from Exercise 19 in Section 6.A, the second
equality comes from the linearity of S , the third equality holds because S is an
isometry, and the last equality again comes from Exercise 19 in Section 6.A.
If V is a complex inner product space, then use Exercise 20 in Section 6.A
instead of Exercise 19 to obtain the same conclusion. In either case, we see
that (b) holds.
Now suppose (b) holds, so S preserves inner products. Suppose that
e1 ; : : : ; en is an orthonormal list of vectors in V. Then we see that the list
Se1 ; : : : ; Sen is orthonormal because hSej ; Sek i D hej ; ek i. Thus (c) holds.
Clearly (c) implies (d).
Now suppose (d) holds. Let e1 ; : : : ; en be an orthonormal basis of V such
that Se1 ; : : : ; Sen is orthonormal. Thus
hS Sej ; ek i D hej ; ek i
for j; k D 1; : : : ; n [because the term on the left equals hSej ; Sek i and
.Se1 ; : : : ; Sen / is orthonormal]. All vectors u; v 2 V can be written as
linear combinations of e1 ; : : : ; en , and thus the equation above implies that
hS Su; vi D hu; vi. Hence S S D I ; in other words, (e) holds.
Now suppose (e) holds, so that S S D I. In general, an operator S need
not commute with S . However, S S D I if and only if S S D I ; this is a
special case of Exercise 10 in Section 3.D. Thus S S D I, showing that (f)
holds.
Now suppose (f) holds, so S S D I. If v 2 V, then
The previous result shows that every isometry is normal [see (a), (e), and
(f) of 7.42]. Thus characterizations of normal operators can be used to give
descriptions of isometries. We do this in the next result in the complex case
and in Chapter 9 in the real case (see 9.36).
(a) S is an isometry.
Proof We have already shown (see Example 7.38) that (b) implies (a).
To prove the other direction, suppose (a) holds, so S is an isometry. By the
Complex Spectral Theorem (7.24), there is an orthonormal basis e1 ; : : : ; en
of V consisting of eigenvectors of S . For j 2 f1; : : : ; ng, let j be the
eigenvalue corresponding to ej . Then
EXERCISES 7.C
Tv D w and T w D v:
Prove that v D w.