Observable

Observable

Version vom 18. Dezember 2021, 16:45 Uhr von 176.20.60.68 (Diskussion) (Der Text und Link waren falsch. Spur bezeichnet keinen Spurklasseoperator sondern die Spurabbildung auf den Spurklasseoperatoren. Vielleicht kann man den Link noch präzisieren und auf den Unterabschnitt zur Spur in der Funktionalanalyse (siehe verlinkten Artikel) verweisen.)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Eine Observable (lateinisch observabilis ‚beobachtbar‘) ist in der Physik, insbesondere der Quantenphysik, der formale Name für eine Messgröße und den ihr zugeordneten Operator, die im Zustandsraum, einem Hilbertraum, wirken. Beispiele sind die Energie, die Ortskoordinaten, die Koordinaten des Impulses und die Komponenten des Spins eines Teilchens sowie die Pauli-Matrizen.

Von-Neumannsche Theorie

Im traditionellen von-Neumannschen mathematischen Formalismus der Quantenmechanik werden Observable durch selbstadjungierte, dicht definierte lineare Operatoren $ A $ auf einem Hilbertraum $ {\mathcal {H}} $ dargestellt. Diese Theorie verallgemeinert die Bornsche Wahrscheinlichkeitsinterpretation.

Das Ergebnis einer Messung der Observablen $ A $ eines quantenmechanischen Systems, dessen Zustand durch einen normierten Vektor $ |\Psi \rangle \in {\mathcal {H}} $ beschrieben wird (Wellenfunktion in Bra-Ket-Notation), ist zufällig. Die Wahrscheinlichkeit, mit der ein bestimmter Messwert $ B $ auftreten kann, ist gegeben durch die Wahrscheinlichkeitsverteilung

$ P[B]=\langle \Psi |\lambda _{A}(B)|\Psi \rangle $

wobei $ \lambda _{A} $ das Spektralmaß von $ A $ nach dem Spektralsatz bezeichnet.

Wird der quantenmechanische Zustand des Systems allgemeiner durch einen Dichteoperator $ \rho $ beschrieben, so ist die Wahrscheinlichkeitsverteilung des Messergebnisses gegeben durch

$ P[B]=\operatorname {Spur} (\lambda _{A}(B)\,\rho ) $

wobei $ \operatorname {Spur} $ die Spurabbildung bezeichnet.

Der Erwartungswert des Messergebnisses, also der Erwartungswert der Wahrscheinlichkeitsverteilung $ P $, ist gegeben durch $ \langle \Psi |A|\Psi \rangle $ bzw. durch $ \operatorname {Spur} (A\,\rho ) $.

Im Spezialfall, dass das Spektrum von $ A $ diskret und einfach ist, sind die möglichen Messergebnisse die Eigenwerte von $ A $. Die Wahrscheinlichkeit, den Eigenwert $ a $ als Messergebnis zu finden, lautet dann $ |\langle \phi _{a}|\Psi \rangle |^{2} $ bzw. $ \langle \phi _{a}|\rho \phi _{a}\rangle $, wobei $ \phi _{a} $ einen normierten Eigenvektor zum Eigenwert $ a $ bezeichnet.

Beispiele:

  • Der Observablen „Ort“ eines Teilchens in einer Dimension entspricht (in Ortsdarstellung) der Multiplikationsoperator mit $ x $ über dem Lebesgue-Raum $ L^{2}(\mathbb {R} ) $, der Ortsoperator.
  • Der Observablen „Impuls“ eines Teilchens in einer Dimension entspricht (in Ortsdarstellung) der Differentialoperator $ -\mathrm {i} \hbar {\tfrac {\mathrm {d} }{\mathrm {d} x}} $ über $ L^{2}(\mathbb {R} ) $; genauer gesagt dessen selbstadjungierte Fortsetzung, der Impulsoperator. Hierbei bezeichnet $ \hbar $ das reduzierte Plancksche Wirkungsquantum.
  • Der Observablen „Energie“ entspricht der Hamiltonoperator.

Beschreibung durch POVM

Die Beschreibung von Zeitmessungen passt nicht in den traditionellen von-Neumann’schen Formalismus, z. B. der Ankunftszeit eines Teilchens in einem Detektor. Eine genauere realistische formale Modellierung realer Experimente zeigt, dass auch die meisten realen Messungen an Quantensystemen nicht genau durch von-Neumann’sche Observable beschrieben werden. Diese Defekte behebt die allgemeinere Beschreibung quantenmechanischer Observablen durch POVM.

Zusammenhang mit dem Kommutator

Abhängig vom Wert ihres Kommutators (genauer: vom Wert des Kommutators ihrer Operatoren) bezeichnet man zwei Observable als:

  • kommutierende bzw. vertauschende Observable, wenn ihr Kommutator den Wert 0 hat. Sie sind kommensurabel, d. h. sie können gleichzeitig beliebig genau gemessen werden. Siehe auch Vollständiger Satz kommutierender Observablen.
  • inkommensurable bzw. nicht vertauschende Observable, wenn ihr Kommutator einen Wert ungleich 0 hat; sie können nicht gleichzeitig beliebig genau gemessen werden.