Skip to content

Compact Operators

A linear operator T:X→YT : 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 Tn→TT_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λn⟨x,en⟩enTx = \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 T∗T=TT∗T^*T = TT^*, and unitary if T∗T=TT∗=IT^*T = TT^* = I.

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

Proposition 5.7. If TT is normal, then ker⁡T=ker⁡T∗\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 ∣λn∣→0|\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. (λI−T)(\lambda I - T) is bijective (hence invertible by the bounded inverse theorem).
  2. (λI−T)x=0(\lambda I - T)x = 0 has a nontrivial solution (i.e., λ\lambda is an eigenvalue of TT).
Operator typeDefinitionSpectrumExample
Bounded∥Tx∥≤C∥x∥\|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\}, λn→0\lambda_n \to 0Integral operator
Finite-rankdim⁡T(H)<∞\dim T(H) < \inftyFinite setMatrix
Self-adjointT∗=TT^* = TRealSchrodinger operator
NormalT∗T=TT∗T^*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 (λI−T)x=y(\lambda I - T)x = y for compact TT. The Fredholm index ind(T)=dim⁡ker⁡T−codim 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)∣≤∫01∣f(t)∣ dt≤∥f∥∞|(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 λn→0\lambda_n \to 0. Show that TT has a maximum eigenvalue (in absolute value).

Solution. Since λn→0\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, max⁡n∣λ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 f−Kf=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 (H−z)−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).