Das Innenprodukt auf dem Raum der Hilbert–Schmidt-Operatoren A,B ist gegeben durch ⟨A,B⟩_{HS} = tr(A† B), womit dieser Raum eine Hilbertraumstruktur erhält und die Hilbert–Schmidt- (Frobenius-)Norm ||A||2 = √tr(A†A) induziert wird.

Prinzip

Die Spurkopplung definiert eine sesquilineare, positiv-definite Form auf Hilbert–Schmidt-Operatoren; unitäre Invarianz (⟨U A V, U B V⟩ = ⟨A,B⟩) und orthonormierte Operatorbasen erlauben Darstellungen und Parseval-Identitäten auf Operator-Ebene.

Demonstration

Für endliche Matrizen A und B entspricht das Hilbert–Schmidt-Innenprodukt dem Frobenius-Produkt Σij A*ij Bij; eine orthonormierte Operatorbasis {Eμ} erfüllt tr(Eμ† Eν) = δμν, sodass jeder HS-Operator sich als A = Σμ ⟨Eμ,A⟩ Eμ darstellt mit ||A||2^2 = Σμ |⟨Eμ,A⟩|^2.

Fehlanwendung

Die Anwendung des Hilbert–Schmidt-Innenprodukts auf Operatoren, die keine Hilbert–Schmidt-Operatoren sind (z. B. unbeschränkte Operatoren oder Operatoren außerhalb der L2-Klasse), ist unzulässig; die Verwechslung dieses Produkts mit dem vom Operator auf Vektoren induzierten Innenprodukt führt zu Kategoriensünden.

Konsequenz

Es liefert eine gut definierte Notion von Orthogonalität und Norm für Operatoren, ermöglicht spektrale Zerlegungen in Operatorbasen, vereinfacht Berechnungen von Überschneidungen und Fidelitäten (unter Spurklassenvoraussetzungen) und unterstützt Projektionstechniken bei Operatorenschätzungen.

Umkehrung

Die inverse Sicht ist das Vektor-Innenprodukt durch Operatorwirkung (⟨ψ|A|φ⟩) anstelle eines Innenprodukts auf den Operatorraum; viele Operatorraum-Manipulationen versagen, wenn man diese Ebenen vertauscht ohne Klassenmitgliedschaft zu prüfen.

Abgrenzung

Definiert für Hilbert–Schmidt-Operatoren (Schatten p=2-Klasse); in endlichdimensionalen Räumen sind alle Operatoren HS und das Produkt stimmt mit dem Frobenius-Kopplung überein, während in unendlichen Räumen nur Operatoren mit quadretsummierbaren Singulärwerten zulässig sind.

Semantische Spannung

Spannung zwischen dem Hilbert–Schmidt-Innenprodukt und der Spurkopplung, die für die Dualität der Spurklasse verwendet wird: Beide involvieren Spuren, unterscheiden sich jedoch im Definitionsbereich (HS vs. Spurklasse) und in ihrer Beziehung zu Operatornormen und Dualräumen.

Synthese

Das Hilbert–Schmidt-Innenprodukt ist die spurbasierte sesquilineare Form, die den Raum der Hilbert–Schmidt-Operatoren in einen Hilbertraum verwandelt, wodurch orthonormierte Operatorbasen, Parseval-Identitäten und praktische Überschneidungsberechnungen ermöglicht werden.