Wie impliziert [A,B]=0[A,B]=0[A,B]=0 die Möglichkeit, die entsprechenden Eigenwerte gleichzeitig zu messen?

Ich bin auf eine Webseite gestoßen , auf der sie gezeigt wurden [ A , B ] = 0 impliziert, dass wir die entsprechenden Eigenwerte gleichzeitig messen können. Ich verstehe nicht, welcher Schritt des mathematischen Beweises auf diese Möglichkeit hinweist.

Sollte derselbe Satz von Eigenvektoren sein, keine Eigenwerte.

Antworten (2)

Nehme an, dass A ^ Und B ^ haben die gemeinsamen Eigenzustände ψ A ich , B J , dh

A ^ ψ A ich , B J = A ich ψ A ich , B J
B ^ ψ A ich , B J = B J ψ A ich , B J ,
Wo A ich Und B J sind die jeweiligen Eigenwerte. Aus den obigen Gleichungen haben wir
B ^ A ^ ψ A ich , B J = A ich B ^ ψ A ich , B J = A ich B J ψ A ich , B J
A ^ B ^ ψ A ich , B J = B J A ^ ψ A ich , B J = B J A ich ψ A ich , B J = A ich B J ψ A ich , B J ,
Subtrahieren dieser ergibt also:
[ A ^ , B ^ ] ψ A ich , B J = 0.
Das bedeutet, dass zwei Operatoren mit demselben Satz von Eigenzuständen kommutieren müssen .

Die obige Aussage bedeutet, dass Sie gleichzeitig die Eigenwerte messen können A ich Und B J . Das heißt, Sie können entweder zuerst messen A ^ (und finde A ich ) und dann messen B ^ (und finde B J ) oder umgekehrt. Es spielt keine Rolle, welche physikalische Größe Sie zuerst messen.


Aufgrund des entscheidenden Kommentars von @WillO erkläre ich die umgekehrte Vorgehensweise.

Nehme an, dass [ A ^ , B ^ ] = 0 , müssen wir zeigen, dass sie die gleichen Eigenzustände haben. Lassen

A ^ ψ A ich = A ich ψ A ich B ^ A ^ ψ A ich = B ^ ( A ich ψ A ich ) = A ich B ^ ψ A ich A ich ϕ .
Nun, aufgrund des Verschwindens des Kommutators haben wir das
B ^ A ^ ψ A ich = A ^ B ^ ψ A ich = A ^ ϕ
Aus der RHS der letzten Gleichungen haben wir das
A ^ ϕ = A ich ϕ ,
bedeutet, dass ϕ ist auch ein Eigenzustand von A ^ mit Eigenwert A ich . Dies kann aus folgenden Gründen geschehen:

  1. ϕ = C ψ A ich , mit C eine Konstante. Daher haben kommutierende Operatoren simultane Eigenzustände.
  2. ϕ C ψ A ich . In diesem Fall der Betreiber A ^ müssen entartete Eigenzustände haben, nämlich ϕ Und ψ A ich . Auch in diesem Fall sind die nicht entarteten Eigenzustände von A ^ gleichzeitig Eigenzustände von sind B ^ .
Meine Frage konzentriert sich auf Ihre Aussage "Die obige Aussage bedeutet, dass Sie gleichzeitig die Eigenwerte Ai und Bj messen". Können Sie das begründen?
@SameerDambal Es bedeutet, dass Sie messen können < ψ A ich , B J | A ^ | ψ A ich , B J >= A ich Und < ψ A ich , B J | B ^ | ψ A ich , B J >= B J in beliebiger Reihenfolge. Die erste Messung wird niemals die zweite beeinflussen, da beide Operatoren A ^ , B ^ werden auf einen ihrer Eigenzustände in den obigen "Sandwiches" wirken.
Bitte beachten Sie den Unterschied zwischen <\phi|\psi>(falsch) und \langle \phi|\psi\rangle(richtig).
Dies scheint das Gegenteil von dem zu sein, was der OP gefragt hat. Sie haben gezeigt, dass Operatoren mit denselben Eigenzuständen pendeln müssen, aber das OP hat gefragt ((im Wesentlichen), warum Operatoren, die pendeln, denselben Satz von Eigenzuständen haben müssen.
@WillO Danke für die Beobachtung! Ich habe meine Antwort ein wenig bearbeitet.

Wenn zwei Operatoren kommutieren, haben sie simultane Eigenfunktionen, dh dieselben Funktionen sind Eigenfunktionen dieser beiden Funktionen.

Wenn Sie zusätzlich die Cauchy-Schwarz-Ungleichung heranziehen und sie in Verbindung mit der Varianzformulierung physikalischer Größen in QM verwenden , können Sie leicht feststellen, dass das Unsicherheitsprodukt zweier Operatoren ist A ^ Und B ^ , gehorcht:

( σ A   σ B ) 2 ( [ A ^ , B ^ ] 2 ich ) 2

Dies wird als verallgemeinertes Unsicherheitsprinzip bezeichnet (siehe z. B. Griffiths, QM 2e/d Abschnitt 3.5 für eine detaillierte Herleitung.)

(Oder S. 108, hier , in einer älteren Fassung.)

Der Geist hinter dieser Aussage ist folgender: Alle nicht pendelnden Paare haben entsprechende Unsicherheitsprinzipien, die für sie definiert sind, dh sie sind nicht gleichzeitig bestimmbar, während diejenigen, die pendeln, kein solches Unsicherheitsprodukt haben, das auf sie anwendbar ist. Daher sind die Eigenwerte von A ^ Und B ^ , (hinsichtlich ihrer simultanen Eigenfunktionen) "gleichzeitig" bestimmt werden.