Auf einem Hilbertraum ist ein Operator der Spurklasse ein kompakter Operator, dessen Singulärwerte summierbar sind; solche Operatoren besitzen eine wohldefinierte Spur, gleich der Summe der Diagonaleinträge in jeder Orthonormalbasis, und in bestimmten Kontexten einen Determinanten (Fredholm‑Determinante).

Prinzip

Operatoren der Spurklasse bilden ein Ideal der kompakten Operatoren, charakterisiert durch die Summierbarkeit der Singulärwerte; diese Summierbarkeit macht die Spur basisunabhängig und stetig bezüglich der Spurennorm.

Demonstration

Ein endlich‑rangiger Operator ist Spurklasse, da nur endlich viele Singulärwerte ungleich null sind; bei einem Integraloperator mit ausreichend regulärem Kern auf einem kompakten Gebiet kann der Operator zur Spurklasse gehören, wobei die Spur der Integral des Kerns auf der Diagonalen ist, sofern dieser Ausdruck sinnvoll ist.

Fehlanwendung

Die Spurformel ungeprüft auf nicht‑spurklassen‑Operatoren anzuwenden führt zu divergenten oder basisabhängigen Summen; Hilbert‑Schmidt‑Operatoren ohne Prüfung der Summierbarkeit als spurklassig zu behandeln ist falsch.

Konsequenz

Spurklassigkeit gewährleistet eine wohldefinierte, basisunabhängige Spur und erlaubt zyklische Eigenschaften der Spur von Operatorprodukten; sie ermöglicht eine kontrollierte Störungstheorie kompakter Operatoren bezüglich spektraler Verschiebungen.

Umkehrung

Ein kompakter Operator, der nicht zur Spurklasse gehört (z.B. mit nicht summierbaren Singulärwerten), besitzt keine endliche Spur und kann langsamere spektrale Abklingraten zeigen; endlich‑rangige Operatoren erfüllen die Spurklassenkriterien trivialerweise.

Abgrenzung

Der Begriff ist für Operatoren auf Hilberträumen definiert und beruht auf der Singulärwertzerlegung; auf allgemeinen Banachräumen existiert ohne zusätzliche Struktur keine eindeutige, kanonische Spurklassen‑Definition.

Semantische Spannung

Spurklasse versus Hilbert‑Schmidt: beide sind Ideale unter den kompakten Operatoren, aber Hilbert‑Schmidt verlangt Quadratsummierbarkeit der Singulärwerte, während Spurklasse Summierbarkeit verlangt — letztere ist stärker und liefert die Spur.

Synthese

Ein Operator der Spurklasse ist ein kompakter Operator mit summierbaren Singulärwerten, der eine kanonische, basisunabhängige Spur besitzt und ein zweiseitiges Ideal in der Algebra beschränkter Operatoren bildet.