The term spectral theorem refers to various related mathematical statements from linear algebra and functional analysis . The simplest variant makes a statement about the diagonalisability of a certain class of matrices . The other spectral theorems considered here transfer this principle to operators between infinite-dimensional spaces. The name is derived from the "spectrum" of eigenvalues .
Spectral theorem for endomorphisms of finite-dimensional vector spaces
For a finite-dimensional unitary vector space ( or ) there exists an orthonormal basis of eigenvectors of an endomorphism if and only if this is normal and all eigenvalues belong.
In matrix terms this means that a matrix is unitary diagonalizable if and only if it is normal and only has eigenvalues out . Another common formulation is that a matrix is normal if and only if it can be unitarily diagonalized, i.e. a unitary matrix (of the same dimension) exists such that
with , is a diagonal matrix with the eigenvalues of on the main diagonal .
- For the condition that all eigenvalues lie in is always fulfilled ( is algebraically closed according to the fundamental theorem of algebra ), so here all normal matrices are unitary diagonalizable. For this does not apply.
- A self-adjoint endomorphism or a Hermitian matrix only has real eigenvalues. The spectral theorem says that all Hermitian matrices are diagonalizable and that an endomorphism is self-adjoint if and only if there is an orthonormal basis of eigenvectors and all eigenvalues are real. In particular, real symmetric matrices are always diagonalizable.
Spectral theorem for compact operators
Let a - Hilbert space and a linear compact operator , which is normal in the case and self-adjoint in the case . Then there exists a (possibly finite) orthonormal system and a null sequence in such that
applies to all . They are for all eigenvalues of and is an eigenvector to . In addition , where is the operator norm.
Projection version of the spectral set
One can reformulate the spectral theorem for compact operators with the help of orthogonal projections . Let again be a -Hilbert space and a linear compact operator which is normal in the case and self-adjoint in the case . The orthogonal projection onto the eigenspace that belongs to is referred to. The operator thus has the representation , where is the dimension of the eigenspace and an orthonormal basis of the eigenspace. Then the spectral theorem can be reformulated: There is a null sequence of eigenvalues in such that
applies to all . This series converges not only pointwise but also with respect to the operator norm.
Spectral theorem for bounded operators
Let be a Hilbert space and a self-adjoint continuous linear operator . Then there is a clearly determined spectral dimension with a compact carrier in with
Here called the Borel σ-algebra of , the set of bounded operators on and the range of .
Relation to the previous spectral sentences
- If finite-dimensional, so it holds, then the self-adjoint operator has the pairwise different eigenvalues and it holds, as already shown in the article, where the orthogonal projection onto the eigenspace of is. The spectral measure of is then given for all by . Therefore the spectral theorem for bounded operators is reduced to the spectral theorem from linear algebra.
- Let it be a linear compact operator, so it was also shown in the article that a spectral theorem exists for such operators. If the sequence of eigenvalues of and one again chooses as the spectral measure , whereby the sum then generally has countably many summands and converges point by point, but not with respect to the operator norm , then the spectral theorem for bounded operators is simplified to Therefore, the spectral theorem for bounded operators includes also the spectral theorem for compact operators.
The operator defined by is self-adjoint with and has no eigenvalues. The spectral measure with is a spectral measure with a compact carrier. It represents because it applies
Measurable functional calculus
Be a self-adjoint operator. The measurable functional calculus is a uniquely determined, continuous, involutive algebra homomorphism . With the help of the spectral decomposition one gets a simple representation of this figure. It is true
Spectral theorem for unlimited operators
If there is a tightly defined normal operator on a complex Hilbert space , there is a clearly determined spectral measure
on the Borel sets of , so that the following applies ( be the spectrum of ):
- For a lot with is true .
- For an open set with applies .
A self-adjoint operator is normal with a real spectrum; one can restrict the above integral to real numbers.
The domain of definition is given by
and the square shape area
The latter is obviously the maximum domain for the associated square shape, which is particularly important in quantum mechanics.
An equivalent formulation of the spectral theorem is that unitary is equivalent to a multiplication operator over a space (for a measure space ) with a complex-valued measurable function ; is self adjoint, then is real.
A normal operator in the complex can usually be written as the sum of two interchangeable self-adjoint operators multiplied by the real or the imaginary unit ( "real part" + "imaginary part" ). Furthermore, due to the interchangeability of the - the operator and the operator have the same eigenvectors (despite possibly different eigenvalues ). So could be a function of the self adjoint operator , with appropriate . Then ultimately only a single (real!) Spectral representation would be important, for example that of , and it would apply, for example, that and is.
Role in quantum mechanics
In quantum mechanics , the spectral theorem ("evolution theorem") is of central importance, since measurable physical quantities, so-called " observables ", are represented by self-adjoint operators on a Hilbert space.
The possible measured values of an observable correspond to its spectrum, which is divided into a point spectrum (or “discrete spectrum”) and a continuous spectrum. The elements of the point spectrum are also called eigenvalues. For a discrete observable, i. H. an observable without a continuous spectrum, is the probability of obtaining
the measured value for a given quantum mechanical state , given by the square of the magnitude of the scalar product , where
the eigenfunction is the eigenvalue .
The spectral theorem for compact self-adjoint operators and that for bounded self-adjoint operators go back in particular to the work of David Hilbert . In 1906, in his 4th communication, he published evidence of these statements. Hilbert's presentation of the sentences is of course very different from today's presentation. Instead of the spectral measure, he used the Stieltjes integral , which Thomas Jean Stieltjes had only introduced in 1894 to investigate continued fractions . According to Hilbert, proofs were found for the spectral theorem for bounded and unrestricted operators by, among others, Riesz (1930-1932) and Lengyel and Stone (1936) and for the unrestricted case also by Leinfelder (1979).
- Gerd Fischer: Lineare Algebra , Vieweg-Verlag, ISBN 3-528-03217-0
- John B. Conway: A Course in Functional Analysis (Springer, 2nd ed. 1990)
- Michael Reed, Barry Simon : Methods of Modern Mathematical Physics, 4 volumes, Academic Press 1978, 1980
Dirk Werner : functional analysis , Springer-Verlag, Berlin, 2007, ISBN 978-3-540-72533-6
Gerald Teschl : Mathematical Methods in Quantum Mechanics; With Applications to Schrödinger Operators, American Mathematical Society, 2009 ( Free online version )
↑ Dirk Werner: functional analysis , Springer-Verlag, Berlin, 2007, ISBN 978-3-540-72533-6 , chapter VII.6