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.