Der Beweis stammt aus den Prinzipien der Quantenmechanik von Shankar. Der Satz lautet:
Wenn Und zwei kommutierende hermitesche Operatoren sind, gibt es (mindestens) eine Basis gemeinsamer Eigenvektoren, die sie beide diagonalisiert.
Der Beweis lautet: Betrachten Sie zunächst den Fall, dass mindestens einer der Operatoren nicht ausgeartet ist, dh zu einem gegebenen Eigenwert gibt es nur einen Eigenvektor, bis auf eine Skala. Lasst uns annehmen ist nicht entartet. Betrachten Sie einen seiner Eigenvektoren:
dh, ist ein Eigenvektor mit Eigenwert . Da dieser Vektor bis zu einer Skala eindeutig ist,
Daher ist auch ein Eigenvektor von mit Eigenwert ...
Was ich nicht verstehe, ist die Aussage / das Argument "Da dieser Vektor bis zu einer Skala eindeutig ist". Ich sehe nicht, wie das Argument es erlaubt, die folgende Gleichung aufzustellen. Welches Axiom oder welchen anderen Satz verwendet er, wenn er sagt, "da dieser Vektor bis zu einer Skala eindeutig ist"?
Beachten Sie, dass er oben erklärt: "Betrachten Sie zuerst den Fall, in dem mindestens einer der Operatoren nicht entartet ist, dh zu einem gegebenen Eigenwert gibt es nur einen Eigenvektor bis zu einer Skala." Er verwendet also die Annahme, dass der Operator nicht entartet ist, und die Definition der Nichtentartung (oder eine Aussage, die der Definition der Nichtentartung entspricht, wenn Sie eine andere Definition verwenden).
Der Ausdruck "zu einem gegebenen Eigenwert gibt es nur einen Eigenvektor bis zu einer Skala" bedeutet, dass zwei beliebige Eigenvektoren denselben Eigenwert haben bis zu einem Faktor zusammenfallen. Dann ist so ein Faktor.
Wenn ein Eigenwert einer Matrix und ist Und die Komponenten des zugehörigen Eigenvektors sind, dann gilt:
Wenn Sie nun den Eigenvektor hochskalieren (z. B. um drei), sieht er so aus:
Dies können Sie als schreiben
Aber die Matrix multipliziert mit dem Eigenvektor ergibt immer noch den Nullvektor!
Das meinte er, als er sagte: "Da dieser Vektor bis zu einer Skala eindeutig ist.": Jeder hochskalierte Eigenvektor einer Matrix ist immer noch ein Eigenvektor. Und wie folgt daraus die letzte Gleichung?
Wenn du schreibst
oder
Da der Vektor hat den gleichen Eigenwert wie , muss es sich im selben invarianten Unterraum wie befinden , die Shankar für eindimensional hält.
Ich weiß nicht genau, was es mit Skalar bedeutet, aber denken Sie daran:
Ein Vektor ist bis auf eine Phase invariant , weil eine globale Phase immer ausgeschlossen wird, wenn man z. B. mit dem Zustand rechnet , der erwartete Wert von und beobachtbar mit diesem Zustand ist
Das ist das gleiche Ergebnis, als ob Sie den Erwartungswert nur mit dem Vektor berechnen würden . Für alle praktischen Zwecke können Sie also nur einen Zustand verwenden in Ihrer Pointe Ihres Beweises.