ANALYSIS TOOLS WITH APPLICATIONS 579
35. Compact and Fredholm Operators and the Spectral Theorem In this section H and B will be Hilbert spaces. Typically H and B will be separable, but we will not assume this until it is needed later. 35.1. Compact Operators. Proposition 35.1. Let M be a finite dimensional subspace of a Hilbert space H then (1) M is complete (hence closed). (2) Closed bounded subsets of M are compact. Proof. Using the Gram-Schmidt procedure, we may choose an orthonormal n basis φ1,...,φn of M. Define U : M C to be the unique unitary map such { } th → n that Uφi = ei where ei is the i standard basis vector in C . It now follows that M is complete and that closed bounded subsets of M are compact since the same is true for Cn. Definition 35.2. A bounded operator K : H B is compact if K maps bounded sets into precompact sets, i.e. K(U) is compact→ in B, where U := x H : x < 1 { ∈ k k } is the unit ball in H. Equivalently, for all bounded sequences xn ∞ H, the { }n=1 ⊂ sequence Kxn ∞ has a convergent subsequence in B. { }n=1 Notice that if dim(H)= and T : H B is invertible, then T is not compact. ∞ → Definition 35.3. K : H B is said to have finite rank if Ran(K) B is finite dimensional. → ⊂ Corollary 35.4. If K : H B is a finite rank operator, then K is compact. In particular if either dim(H→) < or dim(B) < then any bounded operator K : H B is finite rank and hence∞ compact. ∞ → Example 35.5. Let (X, µ) be a measure space, H = L2(X, µ) and n k(x, y) fi(x)gi(y) ≡ i=1 X where 2 fi,gi L (X, µ) for i =1,...,n. ∈ 2 2 Define (Kf)(x)= X k(x, y)f(y)dµ(y), then K : L (X, µ) L (X, µ) is a finite rank operator and hence compact. → R Lemma 35.6. Let := (H, B) denote the compact operators from H to B. Then (H, B) isanormclosedsubspaceofK K L(H, B). K Proof. The fact that is a vector subspace of L(H, B) will be left to the reader. K Now let Kn : H B be compact operators and K : H B be a bounded operator → → such that limn Kn K op =0. We will now show K is compact. →∞ k − k First Proof. Given >0, choose N = N( ) such that KN K <