Ich bin nur neugierig auf den Formalismus der grundlegenden Quantenmechanik. Nehmen wir zum Beispiel das System eines Spin- Partikel. Der Zustand des Teilchens wird durch einen Vektor in einem abstrakten Hilbert-Raum beschrieben, der zweidimensional ist (z ). Die Menge der Endomorphismen auf Bilden Sie eine Gruppe (was hoffentlich die ist Gruppe). Jetzt werde ich nur eine abstrakte endomorphe Karte in definieren , so dass
Ganz klar der Betreiber ist hermitesch und die Eigenvektoren sind orthonormal und können daher als Basissatz gewählt werden. Daher kann jeder beliebige Vektor darüber entwickelt werden.
Diese Darstellungskarte bewahrt das innere Produkt auch glaube ich. Zum Beispiel,
Weiterhin können die Operatoren auch durch diese Darstellungskarte abgebildet werden, wobei die abstrakten Operatoren auf quadratische Matrizen abgebildet werden.
Mit diesem Aufbau entsprechen die Pauli-Matrizen und die 2-D-Irrep des Vektors alle dieser Karte Rechts ? All diese Dinge entsprechen also einer Darstellung, die unter Verwendung der Eigenvektoren von konstruiert wurde ?
Ich möchte auch wissen, wie man eine solche Verbindung in den Fällen der Positionsbasis herstellt, insbesondere zwischen Und Räume.
PS: Ich weiß, dass diese Frage für eine bestimmte Forschungsgemeinschaft oder sogar für Menschen, die lernen, am wenigsten nützlich ist, aber das ist nur aus Neugier. Entschuldigen Sie, wenn dies eine sehr lächerliche Frage ist.
Für die Beziehung zwischen der abstrakten Positionsbasis und der Leerzeichen, ich verweise Sie auf meine Antwort hier (lesen Sie auch die anderen Antworten, sie sind gut;))
Sie sind mit Ihrem Verständnis der Darstellungen ziemlich nah dran, aber noch nicht ganz da:
Zunächst einmal für die 2-Dim-Spin- Hilbert-Raum , die Menge der Endomorphismen ist nicht , aber die Gesamtheit der 2D-Matrizen, dh . Dies liegt daran, dass jeder endlichdimensionale Hilbert-Dimensionsraum ist in erster Linie ein komplexer Vektorraum, und alle diese sind isomorph zu .
Nun, eine Darstellung einer bestimmten Gruppe auf jedem Platz ist nur ein Homomorphismus . Da haben wir die Inklusion , der Raum kommt prausgestattet mit einer Darstellung von . Seit eine Lie-Gruppe ist , hat sie Generatoren, die in ihrer Lie-Algebra und jeder Darstellung liegen der Lie-Gruppe induziert eine Darstellung der Algebra (und umgekehrt, mit einigen Einschränkungen).
[Lie-Gruppen sind erstaunliche Dinge und sehr grundlegend für die theoretische Physik, insbesondere für das Verständnis von Symmetrien. Ich rate Ihnen, mehr über sie zu erfahren, als ich hier sagen werde.]
Die drei Generatoren von werden kanonisch bezeichnet . Sie können jetzt Eigenvektoren von (z. B.) auswählen An und nutze sie als Grundlage. Wenn Sie diese Eigenvektoren nennen (Es ist kein Zufall, dass die Eigenwerte von in der fundamentalen Darstellung (das ist das, was das ist) sind Und ), haben Sie die gleiche Grundlage definiert, die Sie in Ihrem OP haben.
Natürlich war in diesem konkreten Beispiel der Zielraum ist einfach isomorph zu , der Raum, auf dem ist nativ definiert, Und sind nur Identitäts- (genauer: Inklusions-) Karten.
Alles andere, was Sie in Ihrer Frage als Darstellung bezeichnet haben , ist nur eine "gewöhnliche" Basisänderung. Dies bedeutet, die Eigenvektoren auszuwählen als neue Basis für den Vektorraum .
Fühlen Sie sich frei, um Klarstellungen/Ergänzungen zu bitten, wenn ich den Punkt Ihrer Frage verfehlt habe oder Sie etwas nicht verstanden haben.
Graf Iblis