Die direkte Summe von Hilberträumen (oder Unterräumen) ist eine Konstruktion H = H1 ⊕ H2 (ggf. endlich oder unendlich indexiert), bei der jeder Vektor in H eindeutig als Summe von Vektoren aus den Summanden geschrieben werden kann und der Schnitt verschiedener Summanden {0} ist; sind die Summanden orthogonal, spricht man von orthogonaler direkten Summe. Sie stellt alternative, sich ausschließende Quantensektoren dar statt eines zusammengesetzten Systems.

Prinzip

Vektoren einer direkten Summenzerlegung besitzen eine komponentenweise eindeutige Darstellung; lineare Operatoren zerfallen in Blockstruktur, die zu den Summanden kompatibel ist, und Orthogonalität erzwingt vanishing inner products zwischen verschiedenen Komponenten.

Demonstration

Betrachte H = C^2 ⊕ C^1: ein dreidimensionaler Raum, aufgebaut als direkte Summe eines Qubit-Raums und eines eindimensionalen Sektors. Ein Vektor (v,w) mit v∈C^2 und w∈C^1 wird als v + w dargestellt, und Operatoren, die die Zerlegung erhalten, haben blockdiagonale Form, z. B. diag(A,B).

Fehlanwendung

Die direkte Summe mit dem Tensorprodukt verwechseln und folgern, sie erzeuge Verschränkung zwischen Summanden; oder annehmen, jede Summe von Unterräumen sei direkt, ohne zu prüfen, dass ihr Schnitt {0} ist.

Konsequenz

Richtige Anwendung liefert blockdiagonale Darstellung von Operatoren, klare Projektoren auf Sektoren und Interpretationen in Bezug auf Superauswahlregeln oder disjunkte Konfigurationsräume; Spektraldekompositionen und Multiplizitäten nutzen die direkte Summenstruktur.

Umkehrung

Das Tensorprodukt H1 ⊗ H2 verbindet Freiheitsgrade zu gemeinsamen Systemen, die Verschränkung und Produktzustände erlauben; im Gegensatz dazu kodiert die direkte Summe Alternativen oder separate Sektoren.

Abgrenzung

Die direkte Summe verlangt, dass der Schnitt der Summanden {0} ist, und impliziert keine Verschränkung oder Korrelation zwischen Summanden; bei unendlichen direkten Summen sind Vervollständigung und topologische Fragen zu beachten, und die direkte Summe von Sektoren mit Superauswahlregeln kann kohärente Überlagerungen verbieten.

Semantische Spannung

Die semantische Spannung liegt zwischen 'Summe' als direkter Summe (Alternativen, Blockstruktur) und 'Summe' als linearer Hülle (Span) oder algebraischer Summe von Unterräumen; auch zwischen orthogonaler direkter Summe (Skalarproduktstruktur) und bloßer algebraischer Summe.

Synthese

Die direkte Summe ist die kanonische Methode, mutually exclusive Quantensektoren in einem größeren Hilbertraum zusammenzufassen, sodass jeder globale Vektor eindeutig in Sektoranteile zerfällt, was zu blockdiagonalen Operatoren und projektordefinierten Sektoren führt, ohne mit dem Tensorprodukt gleichzusetzen zu sein.