Vektoroperator

Als Vektoroperator wird in der Quantenmechanik ein Operator bezeichnet, der unter Drehungen wie ein Vektor transformiert. Er ist ein Spezialfall eines Tensoroperators. In der Drehimpulsalgebra der Quantenmechanik können Erwartungswerte von Vektoroperatoren (und allgemein von Tensoroperatoren) mit Hilfe des Wigner-Eckart-Theorems auf wenige reduzierte Matrixelemente zurückgeführt werden.

Im folgenden wird die abstrakte mathematische Definition näher erläutert. Ein Vektoroperator erzeugt Morphismen zwischen Zustandsvektorräumen und hat ein spezielles Transformationsverhalten unter Drehungen. Der Zustandsvektorraum sei der Hilbertraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathcal H := \mathcal L^2(\mathbb R^3;\mathbb C) und die drehende Gruppe die $ \operatorname {SO} (3) $.

Formale Definition

Die Drehgruppe operiere kanonisch (kovariant) auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathbb R^3 , auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathcal H und auf deren Tensorprodukt. Ein Vektoroperator Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A ist dann ein Morphismus von Darstellungen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A \colon \mathcal H \to \mathbb R^3 \otimes \mathcal H ,

das heißt ein Vektorraumhomomorphismus, der mit Drehungen kommutiert.

Eigenschaften

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \{e_i\} die kanonische Basis von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathbb R^3 , so kann man schreiben: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A\colon \psi \mapsto \sum_i e_i \otimes A_i\psi . Unterdrückt man sämtliche Struktur so wird daraus: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A\psi=(A_1\psi,A_2\psi,A_3\psi) \in \mathcal H^3 . Konjugiert man Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A mit einer Drehung (das ist die natürliche Operation von Drehungen auf solchen Morphismen), so liefert das in dieser Notation die Identität

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): R.A_i = \sum_k A_k R_{ki} = \sum_k R^{-1}_{ik}A_k , welche mancherorts als Definition herangezogen wird.

Es ist nämlich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): R.A = D(R)\circ A \circ D(R^{-1})\colon \psi \mapsto D(R) \left( \sum_i e_i \otimes A_i \psi \right) \circ D(R^{-1}) Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): =\sum_i Re_i \otimes A_i \psi = \sum_{ik} R_{ki}e_i \otimes A_k(\psi) = \sum_i e_i \otimes \left( \sum_k A_k R_{ki} \right)(\psi) .

Verallgemeinerungen

Ein Tensoroperator der Stufe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): k ist ein Morphismus von Darstellungen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): A \colon \mathcal H \to \mathbb R^{3k} \otimes \mathcal H ,

wobei hier die Drehgruppe auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathbb R^{3k} operiert wie auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): \mathbb R^{3^{\oplus k}} .

Dies liefert in der impliziten Notation die Gleichung

$ R.T_{I}=D(R)T_{i_{1},\dots ,i_{k}}D(R^{-1})=\sum T_{j_{1},\dots ,j_{k}}R_{j_{1},i_{1}}\dots R_{j_{k},i_{k}} $