Skip to content

Compact Operators

A linear operator T:XYT : X \to Y is compact if the image of the closed unit ball, T(BX)T(B_X), is relatively compact (its closure is compact) in YY.

Proposition 5.1. Every compact operator is bounded. Every finite-rank operator is compact.

Proposition 5.2. If TT is compact and SS is bounded, then TSTS and STST are compact.

Proposition 5.3. If TnT_n are compact and TnTT_n \to T in operator norm, then TT is compact.

Theorem 5.4 (Spectral Theorem for Compact Self-Adjoint Operators). Let TT be a compact self-adjoint operator on a Hilbert space HH. Then:

  1. All eigenvalues of TT are real.
  2. Eigenvectors corresponding to distinct eigenvalues are orthogonal.
  3. There exists an orthonormal basis of HH consisting of eigenvectors of TT.
  4. If {λn}\{\lambda_n\} are the nonzero eigenvalues with orthonormal eigenvectors {en}\{e_n\}, then Tx=nλnx,enenTx = \sum_n \lambda_n \langle x, e_n\rangle e_n.

Corollary 5.5. A compact self-adjoint operator on an infinite-dimensional Hilbert space has at most countably many nonzero eigenvalues, and 00 is the only possible accumulation point.

A bounded operator TT on a Hilbert space HH is normal if TT=TTT^*T = TT^*, and unitary if TT=TT=IT^*T = TT^* = I.

Proposition 5.6. If TT is normal, then Tx=Tx\|Tx\| = \|T^*x\| for all xHx \in H.

Proposition 5.7. If TT is normal, then kerT=kerT\ker T = \ker T^* and eigenvectors corresponding to distinct eigenvalues are orthogonal.

Theorem 5.8 (Spectral Theorem for Normal Compact Operators). Let TT be a compact normal operator on a Hilbert space HH. Then there exists an orthonormal basis of HH consisting of eigenvectors of TT, and the eigenvalues satisfy λn0|\lambda_n| \to 0.

This generalises Theorem 5.4: self-adjoint operators are normal, and unitary operators are normal (with eigenvalues on the unit circle in C\mathbb{C}).

Theorem 5.9 (Spectral Theorem for Bounded Normal Operators). Let TT be a bounded normal operator on HH. There exists a unique projection-valued measure EE on the Borel subsets of σ(T)C\sigma(T) \subseteq \mathbb{C} such that

T=σ(T)λdE(λ)T = \int_{\sigma(T)} \lambda\, dE(\lambda)

This integral representation implies: if ff is a bounded Borel function on σ(T)\sigma(T), then f(T)=f(λ)dE(λ)f(T) = \int f(\lambda)\, dE(\lambda) defines a bounded normal operator satisfying the functional calculus relations.

Theorem 5.6 (Fredholm Alternative). Let TT be a compact operator on a Banach space XX and λ0\lambda \neq 0. Then exactly one of the following holds:

  1. (λIT)(\lambda I - T) is bijective (hence invertible by the bounded inverse theorem).
  2. (λIT)x=0(\lambda I - T)x = 0 has a nontrivial solution (i.e., λ\lambda is an eigenvalue of TT).
Operator typeDefinitionSpectrumExample
BoundedTxCx\|Tx\| \leq C\|x\|Any compact set in C\mathbb{C}Identity on HH
CompactT(BX)T(B_X) is relatively compact{0}{λn}\{0\} \cup \{\lambda_n\}, λn0\lambda_n \to 0Integral operator
Finite-rankdimT(H)<\dim T(H) < \inftyFinite setMatrix
Self-adjointT=TT^* = TRealSchrodinger operator
NormalTT=TTT^*T = TT^*Any compact setUnitary, self-adjoint
  • Assuming all bounded operators are compact. The identity operator on an infinite-dimensional Hilbert space is bounded but not compact: BHB_H is closed but not compact (since the unit ball is not compact in infinite dimensions).
  • Thinking finite-rank operators are the only compact operators. The limit of finite-rank operators is compact, and on Hilbert spaces every compact operator is the norm limit of finite-rank operators. But there exist compact operators that are not themselves finite-rank.
  • Forgetting that 00 is always in the spectrum of a compact operator on an infinite-dimensional space. Even if 00 is not an eigenvalue, it belongs to the spectrum (as an accumulation point of eigenvalues or as essential spectrum).
  • Confusing the Fredholm alternative with the Fredholm index. The alternative deals with solvability of (λIT)x=y(\lambda I - T)x = y for compact TT. The Fredholm index ind(T)=dimkerTcodim ran T\text{ind}(T) = \dim\ker T - \text{codim}\ \text{ran}\ T applies to Fredholm operators more generally.

Problem 1. Show that the Volterra operator (Vf)(x)=0xf(t)dt(Vf)(x) = \int_0^x f(t)\,dt on C([0,1])C([0,1]) is compact.

Solution. VV is bounded: (Vf)(x)01f(t)dtf|(Vf)(x)| \leq \int_0^1 |f(t)|\,dt \leq \|f\|_\infty. The image V(BC([0,1]))V(B_{C([0,1])}) is equicontinuous (by the fundamental theorem of calculus, derivatives are bounded by f\|f\|_\infty), and uniformly bounded. By the Arzela-Ascoli theorem, it is relatively compact in C([0,1])C([0,1]). Therefore VV is compact. \blacksquare

Problem 2. Let TT be a compact self-adjoint operator on HH with eigenvalues λn0\lambda_n \to 0. Show that TT has a maximum eigenvalue (in absolute value).

Solution. Since λn0\lambda_n \to 0, the set {λn}\{|\lambda_n|\} has a maximum (attained at some finite index) if there are finitely many nonzero eigenvalues; otherwise, the maximum of λn|\lambda_n| is attained at the first eigenvalue (since they converge to 00). In either case, maxnλn=T\max_n |\lambda_n| = \|T\| by the spectral radius formula for self-adjoint operators. \blacksquare

  • Integral equations: Fredholm integral equations of the second kind fKf=gf - Kf = g are solved using the Fredholm alternative. Compact integral operators arise naturally in potential theory and scattering.
  • Quantum mechanics: Position and momentum operators are unbounded, but their resolvents (Hz)1(H - z)^{-1} are often compact. The spectral theorem for compact operators underlies the solution of the Schrodinger equation for bound states.
  • Differential equations: The inverse of a differential operator with compact resolvent (e.g., Δ+V-\Delta + V on a bounded domain) is compact, ensuring discrete spectrum — the basis for Sturm-Liouville theory.
  • Signal processing: The Karhunen-Loeve transform uses the spectral decomposition of compact covariance operators to find optimal bases for signal representation and compression (PCA).