Definition
Für einen kompakten selbstadjungierten Operator T auf einem Hilbertraum H besagt der Spektralsatz, dass H eine orthonormale Basis aus Eigenvektoren von T besitzt, die zugehörigen Eigenwerte reell, abzählbar (mit möglicher Anhäufung in 0) sind und jeder von Null verschiedene Eigenwert endliche Vielfachheit hat; T lässt sich als konvergente Reihe T = Σ λ_k ⟨·,u_k⟩ u_k darstellen.

Prinzip

Prinzip
Kompaktheit diskretisiert das Spektrum (außer eventuell 0), während Selbstadjungiertheit reelle Eigenwerte und Orthogonalität der Eigenvektoren erzwingt; zusammen erlauben diese Eigenschaften eine Diagonalisierung analog zur hermiteschen Matrix im endlichdimensionalen Fall.

Demonstration

Demonstration
Ein symmetrischer Hilbert‑Schmidt‑Integraloperator (Kf)(x)=∫ K(x,y) f(y) dy auf L^2 mit quadratintegrierbarem symmetrischem Kern besitzt eine abzählbare orthonormale Menge von Eigenfunktionen und eine zugehörige Eigenpaar-Expansion, konvergent in geeigneten Operatornormen für kompakte Klassen.

Fehlanwendung

Fehlanwendung
Diese Aussage einer diskreten Eigenbasis auf nicht-kompakte selbstadjungierte beschränkte Operatoren anzuwenden (die ein kontinuierliches Spektrum haben können) oder auf nicht-selbstadjungierte kompakte Operatoren (die komplexe Eigenwerte und nicht-orthogonale verallgemeinerte Eigenvektoren aufweisen können).

Konsequenz

Konsequenz
Man erhält explizite spektrale Entwicklungen, Funktionalrechnung für T sowie Konvergenzeigenschaften für iterative Verfahren; spektrale Zerlegungen reduzieren viele lineare Probleme auf skalare Gleichungen in Eigenkoordinaten.

Umkehrung

Umkehrung
Der allgemeine Spektralsatz für beschränkte selbstadjungierte Operatoren verwendet ein projektionswertiges Maß und liefert eine kontinuierliche Spektraldekomposition statt einer diskreten Eigenbasis; nicht-selbstadjungierte normale Operatoren benötigen andere unitäre Diagonalisierungsrahmen.

Abgrenzung

Abgrenzung
Die Voraussetzungen Kompaktheit und Selbstadjungiertheit sind wesentlich; ohne Kompaktheit kann das Spektrum kontinuierlich sein, ohne Selbstadjungiertheit können Eigenwerte komplex werden und algebraische und geometrische Vielfachheiten auseinanderlaufen.

Semantische Spannung

Semantische Spannung
Es besteht eine Spannung zwischen der endlichdimensionalen Intuition der Diagonalisierung und unendlichdimensionalen Phänomenen: diskrete Eigenbasis versus kontinuierliches Spektrum und die Notwendigkeit projektionswertiger Maße im Allgemeinen.

Synthese

Synthese
Der Spektralsatz für kompakte selbstadjungierte Operatoren verallgemeinert die endlichdimensionale Diagonalisierung: er sichert ein reelles diskretes Spektrum mit orthonormaler Eigenbasis und eine konvergente Eigenzerlegung des Operators, wodurch Funktionalrechnung und modale Reduktion in unendlichdimensionalen Hilberträumen möglich werden.