--- title: "Compact Self-Adjoint Operators and the Spectral Theorem" description: "The spectrum contains all eigenvalues and can contain other values. A compact self-adjoint Hilbert-space operator has an orthonormal eigenbasis with real eigenvalues. Nonzero eigenvalues have finite m" canonical: https://lightmysky.com/learn/mathematics/compact-self-adjoint-operators-and-the-spectral-theorem-mt_P_Jr9LWFQj source: https://lightmysky.com/learn/mathematics/compact-self-adjoint-operators-and-the-spectral-theorem-mt_P_Jr9LWFQj.md retrieved: 2026-11-12 --- > **Agent view.** This is the Markdown twin of the page, for tools and assistants. > When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md > API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md > Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt > Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json > Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`. # Compact Self-Adjoint Operators and the Spectral Theorem The spectrum contains all eigenvalues and can contain other values. A compact self-adjoint Hilbert-space operator has an orthonormal eigenbasis with real eigenvalues. Nonzero eigenvalues have finite multiplicity; if there are infinitely many, they tend to zero. Subject: Mathematics · Area: Calculus & Analysis · Ages 23 to 24 Page: https://lightmysky.com/learn/mathematics/compact-self-adjoint-operators-and-the-spectral-theorem-mt_P_Jr9LWFQj ## Ready when they can - Separate the spectrum from the point spectrum with a concrete operator - State the spectral theorem for compact self-adjoint operators - Explain why the eigenvalues can accumulate only at zero ## Lesson: Spectra that shrink to zero For a bounded operator T on a complex Banach space, lambda is in its spectrum when T-lambda I has no bounded inverse. Its point spectrum consists of eigenvalues: Tx=lambda x for some nonzero x. Point spectrum is contained in spectrum; inclusion can be strict or equal. The operator norm is sup_{||x||=1}||Tx||. For a unit eigenvector, ||Tx||=|lambda|<=||T||. Bounded operators on a Banach space form a complete space in operator norm. Summable term norms give norm-convergent operator series. **Example.** On complex l2, the square-summable sequences, the right shift is S(x1,x2,...)=(0,x1,x2,...). It is a bounded isometry with spectrum {|lambda|<=1}. It has no eigenvalues. For lambda=0, injectivity excludes nonzero eigenvectors. For lambda nonzero, Sx=lambda x first forces x1=0, then x2=0 and every later coordinate zero. On a Hilbert space, a bounded T is compact if every bounded sequence has a subsequence whose images converge. Self-adjoint means =, with the first argument linear. Then is real, so eigenvalues are real. The compact self-adjoint spectral theorem gives an orthonormal eigenbasis including a basis of ker T. Every nonzero spectral value is an eigenvalue with finite multiplicity, meaning the dimension of its eigenspace. Self-adjointness gives (a-b)=0 for eigenvectors with distinct real eigenvalues, so they are orthogonal. If orthonormal eigenvectors e_n have |lambda_n|>=epsilon>0, their images satisfy ||Te_n-Te_m||^2=|lambda_n|^2+|lambda_m|^2>=2epsilon^2. No image subsequence converges, contradicting compactness. Thus finitely many eigenvalues, counted with multiplicity, exceed any positive size. An infinite nonzero list tends to zero. Compactness and self-adjointness are sufficient hypotheses for this eigenbasis theorem, not necessary for each operator with an eigenbasis. On infinite-dimensional l2, the identity has an orthonormal eigenbasis but is not compact: its images of unit basis vectors have no convergent subsequence. The bounded right shift has no eigenvectors, refuting a claim about every bounded operator. For the zero operator, every nonzero vector is an eigenvector with eigenvalue zero. **Example.** For bounded diagonal T(e_n)=d_n e_n on complex l2, ||T||=sup|d_n|. Its truncation T_N to N coordinates has finite rank and ||T-T_N||=sup_{n>N}|d_n|. Finite-rank operators and their operator-norm limits are compact. Thus d_n tending to zero proves compactness; an eigenvalue list alone does not. Diagonal entries d_n are eigenvalues; zero entries count the kernel dimension. A finite matrix's trace is its diagonal sum and eigenvalue sum. Example: diag(4,7) has eigenvalues 4 and 7. On C([0,1];C) with sup norm, (Vf)(t)=integral from 0 to t of f(s). Vf=0 gives f=0 by differentiation. If Vf=lambda f, lambda!=0, then lambda f'=f and f(0)=0. Thus (e^(-t/lambda)f)'=0 forces f=0: no eigenvalues. Put R_N=sum_{n=0}^N V^n/lambda^(n+1). Then (lambda I-V)R_N=R_N(lambda I-V)=I-(V/lambda)^(N+1). Since ||V^n||<=1/n!, R_N converges in norm and the remainder vanishes for lambda!=0, giving an inverse. Vf(0)=0 prevents surjectivity. Its spectrum is {0}. **Recap.** Spectrum can exceed point spectrum. Compact self-adjoint operators have an orthonormal eigenbasis; any infinite list of nonzero eigenvalues tends to zero. *Original lesson, questions and flashcards on operator spectra and compact self-adjoint operators, written for this learning dataset.* ## Practice 18 questions on this page, each with its working shown. ## Needs first - [Hilbert Spaces and Orthogonal Projection in Infinite Dimensions](https://lightmysky.com/learn/mathematics/hilbert-spaces-and-orthogonal-projection-in-infinite-dimensions-mt_xmKq8SAgvy) ## Optional connections - [Symmetric Matrices and the Spectral Theorem](https://lightmysky.com/learn/mathematics/symmetric-matrices-and-the-spectral-theorem-mt_sdQv4m7Nbk) ## Opens up - [Observables as Hermitian Operators and Their Spectra](https://lightmysky.com/learn/science/observables-as-hermitian-operators-and-their-spectra-mt_TXCN8uiWqs)