Im ersten Quantisierungsformalismus für viele Teilchen-Quantenmechanik, lassen Sie Und sei zwei Basis für zwei Teilchen Und : Und .
Wie ich es verstehe, , Wo ist der übliche 2D-Positionsvektor. Der Vielteilchenzustand ist und die Wellenfunktion dann:
Wenn ja, wenn wir ein einzelnes Teilchen haben, das sich in zwei Dimensionen bewegt, in der Sprache der linearen Algebra, was für ein Objekt ist (mit anderen Worten, wenn wir den 2D-Positionsvektor als Tensorprodukt zweier Hilbert-Räume betrachten Und , die die Ein-Teilchen-Wellenfunktion beabstanden gehören)?
Nein, das stimmt nicht generell. Der Grund ist, dass Sie davon ausgehen, dass ein allgemeiner Zwei-Teilchen-Zustand gegeben ist durch , und das ist nicht der Fall. Ein allgemeiner Zwei-Teilchen-Zustand ist eine lineare Kombination von Produktzuständen, d. h
Wo ist ein Element von und ist nicht zum Faktorisieren verpflichtet. Wenn es ein Faktor ist , so , dann können wir schreiben
aber es gibt keinen Grund zu erwarten, dass dies a priori wahr ist . In der Tat, wenn die beiden Teilchen dann ununterscheidbare Fermionen sind , was ausreicht, um zu zeigen, dass sie sich nicht in einem Produktzustand befinden können.
Sie könnten an dieser Antwort interessiert sein , die ich über den Unterschied zwischen dem direkten Produkt geschrieben habe und das Tensorprodukt . Der Hauptunterschied ist der zentrale Punkt dieser Antwort, nämlich dass Elemente des ersteren alle Produktzustände sind, während Elemente des letzteren lineare Kombinationen von Produktzuständen sind. Die Modellierung zusammengesetzter Systeme unter Verwendung der letzteren Konstruktion eröffnet die Möglichkeit, Nichtproduktzustände zu haben, die im physikalischen Kontext üblicherweise als verschränkt bezeichnet werden.
Parker