06.09.2021 Views

Measure, Integration & Real Analysis, 2021a

Measure, Integration & Real Analysis, 2021a

Measure, Integration & Real Analysis, 2021a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

330 Chapter 10 Linear Maps on Hilbert Spaces<br />

A normal compact operator on a nonzero real Hilbert space might have no eigenvalues<br />

[consider, for example the normal operator T of counterclockwise rotation by<br />

a right angle on R 2 defined by T(x, y) =(−y, x)]. However, the next result shows<br />

that normal compact operators on complex Hilbert spaces behave better. The key idea<br />

in proving this result is that on a complex Hilbert space, the real and imaginary parts<br />

of a normal compact operator are commuting self-adjoint compact operators, which<br />

then allows us to apply the Spectral Theorem for self-adjoint compact operators.<br />

10.107 Spectral Theorem for normal compact operators<br />

Suppose T is a compact operator on a complex Hilbert space V. Then there is an<br />

orthonormal basis of V consisting of eigenvectors of T if and only if T is normal.<br />

Proof One direction of this result has already been proved as part (b) of 10.103.<br />

To prove the other direction, suppose T is a normal compact operator. We can<br />

write<br />

T = A + iB,<br />

where A and B are self-adjoint operators and, because T is normal, AB = BA (see<br />

10.54). Because A =(T + T ∗ )/2 and B =(T − T ∗ )/(2i), the operators A and B<br />

are both compact.<br />

If α ∈ R and f ∈ null(A − αI), then<br />

(A − αI)(Bf)=A(Bf) − αBf = B(Af) − αBf = B ( (A − αI) f ) = B(0) =0<br />

and thus Bf ∈ null(A − αI). Hence null(A − αI) is an invariant subspace for B.<br />

Applying the Spectral Theorem for self-adjoint compact operators [10.106(a)] to<br />

B| null(A−αI) shows that for each eigenvalue α of A, there is an orthonormal basis of<br />

null(A − αI) consisting of eigenvectors of B. The union (over all eigenvalues α of<br />

A) of all these orthonormal bases is an orthonormal family in V (use the set itself as<br />

the index set) because eigenvectors of A corresponding to distinct eigenvalues of A<br />

are orthogonal (see 10.57). The Spectral Theorem for self-adjoint compact operators<br />

[10.106(a)] as applied to A tells us that the closure of the span of this orthonormal<br />

family is V. Hence we have an orthonormal basis of V, each of whose elements is an<br />

eigenvector of A and an eigenvector of B.<br />

If f ∈ V is an eigenvector of both A and B, then there exist α, β ∈ R such<br />

that Af = α f and Bf = β f . Thus Tf =(A + iB)( f )=(α + βi) f ; hence f is<br />

an eigenvector of T. Thus the orthonormal basis of V constructed in the previous<br />

paragraph is an orthonormal basis consisting of eigenvectors of T, completing the<br />

proof.<br />

The following example shows the power of the Spectral Theorem for normal<br />

compact operators. Finding the eigenvalues and eigenvectors of the normal compact<br />

operator V−V ∗ in the next example leads us to an orthonormal basis of L 2 ([0, 1]).<br />

Easy calculus shows that the family {e k } k∈Z , where e k is defined as in 10.112, is<br />

an orthonormal family in L 2 ([0, 1]). The hard part of showing that {e k } k∈Z is an<br />

orthonormal basis of L 2 ([0, 1]) is to show that the closure of the span of this family<br />

is L 2 ([0, 1]). However, the Spectral Theorem for normal compact operators (10.107)<br />

provides this information with no further work required.<br />

<strong>Measure</strong>, <strong>Integration</strong> & <strong>Real</strong> <strong>Analysis</strong>, by Sheldon Axler

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!