# Spectral theorem

The spectral theorem is a collection of results in linear algebra and functional analysis stating that self-adjoint (and, in the complex case, normal) operators can be decomposed into simple pieces: on a finite-dimensional inner product space, a self-adjoint operator has real eigenvalues and an orthonormal basis of eigenvectors, so in that basis it acts as multiplication by real numbers<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup>. The theorem generalizes to compact, bounded, and unbounded self-adjoint operators on Hilbert spaces, where the sum over eigenspaces becomes an integral against a projection-valued measure<sup>[2](https://www.mat.univie.ac.at/~gue/lehre/23AFA/AFA.pdf)</sup>. It underlies principal component analysis in statistics and the [mathematical formulation of quantum mechanics](https://www.edgepedia.org/mathematical-formulation-of-quantum-mechanics)<sup>[3](https://online.stat.psu.edu/stat505/Lesson11)</sup><sup> • </sup><sup>[4](https://arxiv.org/abs/2211.12742)</sup>.

| Key fact | Detail |
|---|---|
| Finite-dimensional statement | A self-adjoint operator on a finite-dimensional real or complex inner product space has all eigenvalues real and an orthonormal basis of eigenvectors<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup> |
| Matrix form | A Hermitian matrix satisfies \( A = U D U^{*} \) with \( U \) unitary and \( D \) real diagonal; if \( A \) is real, \( U \) can be chosen orthogonal, giving \( A = Q \Lambda Q^{T} \)<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup><sup> • </sup><sup>[5](https://ee.iitm.ac.in/~uday/notes/linalg/eig.html)</sup> |
| Normal extension | A complex square matrix is unitarily diagonalizable if and only if it is normal, \( A^{*}A = AA^{*} \)<sup>[6](https://home.iitk.ac.in/~rksr/html/02MAT3.htm)</sup> |
| Compact case | For a compact self-adjoint operator \( A \) on a separable Hilbert space, \( \mathrm{Nul}(A)^{\perp} \) has an orthonormal basis of eigenfunctions with nonzero real eigenvalues arranged so \( \lvert \lambda_j \rvert \) is non-increasing and \( \lambda_j \to 0 \)<sup>[7](https://ocw.mit.edu/courses/18-102-introduction-to-functional-analysis-spring-2009/e49973bf614df04d15634addfbb1a082_MIT18_102s09_lec20.pdf)</sup> |
| Bounded case | A bounded self-adjoint operator \( T \) admits a unique spectral measure \( E \) with compact support on \( \mathbb{R} \) such that \( T = \int_{\sigma(T)} \lambda \, dE_{\lambda} \)<sup>[2](https://www.mat.univie.ac.at/~gue/lehre/23AFA/AFA.pdf)</sup> |
| History | The general spectral theorem for self-adjoint operators was proved independently by Stone and von Neumann during 1929–1932<sup>[8](https://www.cambridge.org/core/books/abs/spectral-theory-and-differential-operators/spectral-theorem/636F0D9AE2CFAFDFAE3BD7EF405FC646)</sup> |

## The finite-dimensional theorem

An operator \( T \) on an inner product space is self-adjoint when \( \langle T v, w \rangle = \langle v, T w \rangle \) for all vectors \( v, w \); in matrix language, its matrix in an orthonormal basis is Hermitian (equal to its own conjugate transpose)<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup>. The theorem then says that \( V \) is the orthogonal direct sum of the eigenspaces of \( T \) for real eigenvalues<sup>[9](https://notes.edubirdie.com/docs/massachusetts-institute-of-technology/18-700-linear-algebra/91550-proof-of-the-spectral-theorem)</sup>.

Two facts carry the proof. First, every eigenvalue is real: if \( A x = \lambda x \) with \( x \neq 0 \), then \( \lambda \lVert x \rVert^{2} = (Ax, x) = (x, Ax) = \overline{\lambda} \lVert x \rVert^{2} \), so \( \lambda = \overline{\lambda} \)<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup>. Second, eigenvectors for distinct eigenvalues are orthogonal, by the same computation with two eigenvalues \( \lambda \neq \mu \)<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup>.

**Induction on dimension.** The standard proof finds one eigenvector and restricts to its orthogonal complement. If \( v \) is an eigenvector and \( w \perp v \), then \( \langle v, T w \rangle = \langle T v, w \rangle = \lambda \langle v, w \rangle = 0 \), so the orthogonal complement of \( \mathrm{Span}(v) \) is invariant under \( T \), and the restriction of \( T \) to it is again self-adjoint<sup>[10](https://math.ou.edu/~nbrady/teaching/f00-4373/detail.pdf)</sup>. Repeating on the complement, or running the same argument as an induction on \( \dim V \), produces an orthonormal basis \( v_1, \dots, v_n \) with \( T v_j = \lambda_j v_j \) for real \( \lambda_j \)<sup>[10](https://math.ou.edu/~nbrady/teaching/f00-4373/detail.pdf)</sup><sup> • </sup><sup>[11](https://people.math.harvard.edu/~elkies/M55a.99/spectral.html)</sup>.

In matrix form, a [Hermitian matrix](https://www.edgepedia.org/hermitian-matrix) satisfies \( A = U D U^{*} \), where \( U \) is unitary and \( D \) is diagonal with real entries; for a real symmetric matrix the eigenvectors can be chosen real, so \( U \) is orthogonal and \( A = Q \Lambda Q^{T} \)<sup>[1](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)</sup><sup> • </sup><sup>[5](https://ee.iitm.ac.in/~uday/notes/linalg/eig.html)</sup>. Equivalently, \( T = \sum_i \lambda_i \, \mathrm{Pr}_{W_i} \) and \( I = \sum_i \mathrm{Pr}_{W_i} \), a sum of projections onto mutually orthogonal eigenspaces<sup>[10](https://math.ou.edu/~nbrady/teaching/f00-4373/detail.pdf)</sup>. This decomposition into scalar pieces on orthogonal subspaces is the reason for the theorem's name<sup>[12](https://dummit.cos.northeastern.edu/teaching_sp20_4571/4571_lecture_27_jordan_applications_1.pdf)</sup>.

## Normal operators: the complex generalization

Self-adjointness is sufficient but not necessary for orthogonal diagonalization. The right condition is normality: \( T^{*}T = T T^{*} \). A complex square matrix is unitarily diagonalizable if and only if it is normal, so normal matrices form the largest class for which an orthonormal eigenbasis is guaranteed<sup>[6](https://home.iitk.ac.in/~rksr/html/02MAT3.htm)</sup><sup> • </sup><sup>[13](https://www.math.purdue.edu/~eremenko/dvi/511/lect3.26.pdf)</sup>. Hermitian, skew-Hermitian, and unitary matrices are all normal; Hermitian matrices have real spectra and unitary matrices have eigenvalues on the unit circle<sup>[13](https://www.math.purdue.edu/~eremenko/dvi/511/lect3.26.pdf)</sup>.

The hypotheses matter. A real symmetric matrix is Hermitian and therefore orthogonally diagonalizable, but a complex symmetric matrix need not be diagonalizable at all: the matrix \( \begin{pmatrix} 1 & i \\ i & -1 \end{pmatrix} \) has trace and determinant both zero yet is not the zero matrix, forcing a non-diagonal Jordan form<sup>[12](https://dummit.cos.northeastern.edu/teaching_sp20_4571/4571_lecture_27_jordan_applications_1.pdf)</sup>. Conversely, an orthonormal eigenbasis does not force self-adjointness; the correct converse is that an orthonormal eigenbasis exists exactly when the operator is normal<sup>[12](https://dummit.cos.northeastern.edu/teaching_sp20_4571/4571_lecture_27_jordan_applications_1.pdf)</sup>.

## Infinite-dimensional versions

**Compact operators.** For a compact self-adjoint operator \( A \) on a separable [Hilbert space](https://www.edgepedia.org/hilbert-space), the part of the space orthogonal to the null space has an orthonormal basis of eigenfunctions \( u_j \) with \( A u_j = \lambda_j u_j \), \( \lambda_j \in \mathbb{R} \setminus \{0\} \), arranged so that \( \lvert \lambda_j \rvert \) is non-increasing and \( \lambda_j \to 0 \) as \( j \to \infty \)<sup>[7](https://ocw.mit.edu/courses/18-102-introduction-to-functional-analysis-spring-2009/e49973bf614df04d15634addfbb1a082_MIT18_102s09_lec20.pdf)</sup>. A corollary is Fredholm's alternative: the equation \( u - Au = f \) has either a unique solution for each \( f \) or a nontrivial finite-dimensional space of solutions to the homogeneous equation<sup>[7](https://ocw.mit.edu/courses/18-102-introduction-to-functional-analysis-spring-2009/e49973bf614df04d15634addfbb1a082_MIT18_102s09_lec20.pdf)</sup>.

**Bounded operators.** For a bounded self-adjoint \( T \), the theorem takes the form \( T = \int_{\sigma(T)} \lambda \, dE_{\lambda} \), where \( E \) is a unique projection-valued measure with compact support on \( \mathbb{R} \)<sup>[2](https://www.mat.univie.ac.at/~gue/lehre/23AFA/AFA.pdf)</sup>. The same measure defines a measurable functional calculus, \( f(T) = \int_{\sigma(T)} f \, dE \), which agrees with the finite-dimensional picture: when \( H = \mathbb{C}^n \) and \( E_1, \dots, E_m \) are the projections onto eigenspaces, \( T = \sum_{j=1}^{m} \lambda_j E_j \)<sup>[2](https://www.mat.univie.ac.at/~gue/lehre/23AFA/AFA.pdf)</sup>.

**Unbounded operators.** Position, momentum, and energy operators in physics are unbounded, defined only on dense subspaces, and for them symmetry alone is not enough: an operator is self-adjoint only when its domain equals the domain of its adjoint, and this distinction decides whether the spectral theorem applies<sup>[14](https://jyx.jyu.fi/bitstreams/0f60c40e-8847-4704-9fd7-f80c11fe7bce/download)</sup>. The general theorem for unbounded self-adjoint operators was proved independently by Marshall Stone and [John von Neumann](https://www.edgepedia.org/john-von-neumann) during 1929–1932; later proofs include one based on Gelfand's theory of commutative Banach algebras and an explicit approach via resolvent integrals originating in a 1989 paper of Helffer and Sjöstrand<sup>[8](https://www.cambridge.org/core/books/abs/spectral-theory-and-differential-operators/spectral-theorem/636F0D9AE2CFAFDFAE3BD7EF405FC646)</sup>.

## Applications

**Quantum mechanics.** Observables are represented by self-adjoint operators, and the spectral theorem supplies the spectral decomposition that says what the possible outcomes of a measurement are and with what probabilities they occur<sup>[15](https://www.math.uni-tuebingen.de/de/forschung/maphy/lehre/ws-2018-19/mqt/files/lecture-notes)</sup>. In finite-dimensional Hilbert spaces the spectrum is purely point spectrum, and the eigenbasis gives a resolution of the identity \( 1 = \sum_{n=1}^{N} \lvert q_n \rangle \langle q_n \rvert \) and a spectral representation \( \hat{Q} = \sum_{n=1}^{N} q_n \lvert q_n \rangle \langle q_n \rvert \)<sup>[16](https://uwaterloo.ca/physics-of-information-lab/sites/default/files/uploads/documents/aqm_lecture_notes1-96.pdf)</sup>. The theorem also defines functions of operators, notably the exponential \( e^{-iHt} \) of the Hamiltonian, which proves existence and uniqueness of solutions of the [Schrödinger equation](https://www.edgepedia.org/schrodinger-equation) for general Hamiltonians<sup>[15](https://www.math.uni-tuebingen.de/de/forschung/maphy/lehre/ws-2018-19/mqt/files/lecture-notes)</sup>. Von Neumann's spectral theorem for self-adjoint operators is described as a cornerstone of quantum mechanics, connecting expectation values of operators to expected values of real-valued random variables<sup>[4](https://arxiv.org/abs/2211.12742)</sup>.

**Statistics.** [Principal component analysis](https://www.edgepedia.org/principal-component-analysis) rests on the spectral decomposition of the variance-covariance matrix \( \Sigma \), which can be written as \( \Sigma = \sum_{i=1}^{p} \lambda_i \, \mathbf{e}_i \mathbf{e}_i' \), a sum over eigenvalues multiplied by outer products of eigenvectors; the variance of the \( i \)-th principal component equals the \( i \)-th eigenvalue, and the components are mutually uncorrelated<sup>[3](https://online.stat.psu.edu/stat505/Lesson11)</sup>.

## References

1. [Spectral theorem for self-adjoint and normal operators, Linear Algebra Done Wrong, Chapter 6 (S. Treil, Brown University)](https://www.math.brown.edu/streil/papers/LADW/HTML_2026_08-31/Ch6.html)
2. [Lecture notes on functional analysis, §1.15–1.16 (Geroch-era notes, Universität Wien)](https://www.mat.univie.ac.at/~gue/lehre/23AFA/AFA.pdf)
3. [Lesson 11: Principal Components Analysis, STAT 505, Penn State Eberly College of Science](https://online.stat.psu.edu/stat505/Lesson11)
4. [Spectral theorem for dummies: A pedagogical discussion on quantum probability and random variable theory, arXiv:2211.12742](https://arxiv.org/abs/2211.12742)
5. [EE5120 Linear Algebra: Eigenvalue problems, IIT Madras](https://ee.iitm.ac.in/~uday/notes/linalg/eig.html)
6. [Eigenvalues and eigenvectors, IIT Kanpur MAT3 notes](https://home.iitk.ac.in/~rksr/html/02MAT3.htm)
7. [Lecture 20: Spectral theorem for compact self-adjoint operators, MIT 18.102 Spring 2009 (MIT OpenCourseWare)](https://ocw.mit.edu/courses/18-102-introduction-to-functional-analysis-spring-2009/e49973bf614df04d15634addfbb1a082_MIT18_102s09_lec20.pdf)
8. [E. B. Davies, "The spectral theorem", Chapter 2 of Spectral Theory and Differential Operators, Cambridge University Press](https://www.cambridge.org/core/books/abs/spectral-theory-and-differential-operators/spectral-theorem/636F0D9AE2CFAFDFAE3BD7EF405FC646)
9. [Proof of the Spectral Theorem, MIT 18.700 Linear Algebra lecture notes](https://notes.edubirdie.com/docs/massachusetts-institute-of-technology/18-700-linear-algebra/91550-proof-of-the-spectral-theorem)
10. [Abstract Linear Algebra course notes (M. Brady, University of Oklahoma)](https://math.ou.edu/~nbrady/teaching/f00-4373/detail.pdf)
11. [The spectral theorem for self-adjoint operators on a real finite-dimensional inner product space (N. Elkies, Harvard M55a)](https://people.math.harvard.edu/~elkies/M55a.99/spectral.html)
12. [Math 4571 Lecture 27: Jordan applications and the spectral theorem (Northeastern University)](https://dummit.cos.northeastern.edu/teaching_sp20_4571/4571_lecture_27_jordan_applications_1.pdf)
13. [Hermitian, unitary and normal matrices, lecture notes (S. Eremenko, Purdue University)](https://www.math.purdue.edu/~eremenko/dvi/511/lect3.26.pdf)
14. [Spectral theory for unbounded self-adjoint operators (thesis, University of Jyväskylä)](https://jyx.jyu.fi/bitstreams/0f60c40e-8847-4704-9fd7-f80c11fe7bce/download)
15. [Mathematical Quantum Theory lecture notes, University of Tübingen](https://www.math.uni-tuebingen.de/de/forschung/maphy/lehre/ws-2018-19/mqt/files/lecture-notes)
16. [Advanced Quantum Mechanics lecture notes, University of Waterloo Physics of Information Lab](https://uwaterloo.ca/physics-of-information-lab/sites/default/files/uploads/documents/aqm_lecture_notes1-96.pdf)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Linear and multilinear algebra › Decompositions and canonical forms › Eigendecomposition and spectral theory*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license