Betrachten Sie zwei identische Teilchen Und . Der kombinierte Hilbertraum ein gültiger Hilbertraum ist. Aber was ist mit den physikalischen Hilbert-Räumen:
Es ist trivial zu zeigen, dass es sich um innere Produkträume handelt, aber ich wüsste nicht, wo ich anfangen soll, um die Vollständigkeit zu zeigen.
Die (anti-)symmetrisierten Räume sind der Quotient des vollen Tensorproduktraums (da die Teilchen identisch sind, lasse ich den Index auf den Räumen weg) durch einen abgeschlossenen Teilraum, und der Quotient eines Hilbert-Raums durch einen abgeschlossenen Teilraum ist wieder ein Hilbert-Raum, vgl. zB diese math.SE Frage .
Was übrig bleibt, ist die Behauptung zu rechtfertigen, dass wir tatsächlich durch einen abgeschlossenen (oder "vollständigen") Unterraum quotieren. Im Fall des antisymmetrischen Raums quotieren wir nach dem Ideal von Elementen des Formulars generiert für alle . Elemente dieses Ideals haben die Form , und wenn überhaupt eine Grenze davon existiert, wird sie von der Form sein für , was wiederum eindeutig ein Element des Ideals ist, also ist das Ideal geschlossen. Eine sehr ähnliche Überlegung funktioniert für das Ideal, das wir im symmetrischen Fall aufteilen müssen.
Mosibur Ullah
ACuriousMind