Kommutator (Mathematik)

Maß für die Verletzungen des Kommutativgesetzes in einer Gruppe/Algebra

In der Mathematik misst der Kommutator (lateinisch commutare ‚vertauschen‘), wie sehr zwei Elemente einer Gruppe oder einer assoziativen Algebra das Kommutativgesetz verletzen.

Kommutatoren in Gruppen Bearbeiten

Der Kommutator   zweier Elemente   und   einer Gruppe ist das Element

 

Manchmal wird der Kommutator auch als das Element

 

definiert. Insbesondere ist der Kommutator zweier invertierbarer Matrizen   die Matrix  .

Genau dann, wenn   gilt, ist der Kommutator   das neutrale Element der Gruppe. Die von allen Kommutatoren erzeugte Untergruppe wird Kommutatorgruppe genannt. Kommutatoren werden beispielsweise bei der Definition von nilpotenten und auflösbaren Gruppen verwendet.

Kommutatoren in Algebren Bearbeiten

Kommutatoren werden auch für Ringe und assoziative Algebren definiert. Hier ist der Kommutator   zweier Elemente   und   definiert als

 

Er ist genau dann gleich 0, wenn   und   „kommutieren“ (vertauschen), also wenn   gilt:

 

Seien  ,   und   Elemente einer assoziativen Algebra und  ,   Skalare (Elemente des Grundkörpers). Dann gilt:

  1. Der Kommutator ist alternierend (antisymmetrisch):
     
  2. Der Kommutator ist bilinear:
     
     
  3. Der Kommutator genügt der Jacobi-Identität:
     
  4. Der Kommutator genügt der Produktregel:
     
     

Aufgrund der Eigenschaften 1, 2 und 3 wird jede assoziative Algebra   mit dem Kommutator als Lie-Klammer zu einer Lie-Algebra.

Weil der Kommutator linear ist und der Produktregel genügt, ist die zu jedem Element   adjungierte Selbstabbildung der Algebra

 

eine Ableitung oder Derivation.

Antikommutator Bearbeiten

Der Antikommutator   oder   zweier Elemente   und   ist die Summe ihrer Produkte in beiden Reihenfolgen:

 

Er ist genau dann gleich 0, wenn   und   „antikommutieren“, also wenn   gilt:

 

Der Antikommutator ist symmetrisch:

 

Es folgt der Zusammenhang mit dem Kommutator:

 

Die definierenden Relationen einer Clifford-Algebra oder Dirac-Algebra betreffen Antikommutatoren.

Anwendung in der Physik Bearbeiten

In der Quantenmechanik gehört zu jedem Messapparat ein hermitescher Operator. Seine Eigenwerte sind die möglichen Messwerte, seine Eigenvektoren entsprechen denjenigen physikalischen Zuständen des zu vermessenden Systems, bei denen der zugehörige Messwert mit Sicherheit auftritt.

Kommutieren zwei dieser Operatoren, so gibt es einen vollständigen Satz gemeinsamer Eigenvektoren, genauer zwei miteinander kommutierende spektrale Zerlegungen. Physikalisch bedeutet dies, dass man beide Messungen gemeinsam vornehmen und Zustände präparieren kann, bei denen beide Messungen sichere Ergebnisse haben. Man spricht dann von kommutierenden, kompatiblen oder verträglichen Observablen.

Gegeben sei: ein Zustand   in der Dirac-Notation und die Observablen (Operatoren)   und  . Dann gilt für die Bedingung simultaner Eigenzustände:

 
 

mit den im Allgemeinen komplexen Eigenwerten   und  . Daraus folgt

 
 

Ist die Bedingung   erfüllt, so sind die beiden Observablen   und   kommutierend und haben simultane Eigenzustände.

Bei kanonischer Quantisierung eines physikalischen Systems treten an die Stelle der Phasenraumkoordinaten Ort und Impuls, die den Zustand des klassischen Systems charakterisieren, der Ortsoperator   und der Impulsoperator  , für die die fundamentale kanonische Kommutatorrelation gilt (komplementäre Observablen):

 

wobei   bzw.   die Komponenten der Vektor-Operatoren bezeichnen.

In der Heisenbergschen Bewegungsgleichung ersetzt der Kommutator die Poisson-Klammer im Formelbild der entsprechenden, klassischen Bewegungsgleichung der hamiltonschen Mechanik (siehe Anwendungen der Poisson-Klammer).

Gemäß der Heisenbergschen Unschärferelation gibt der Erwartungswert des Kommutators zweier Operatoren eine untere Schranke an das Produkt der Unschärfen der entsprechenden Observablen.

Mit dem Kommutator werden die algebraischen Eigenschaften derjenigen Operatoren angegeben, die in quantenmechanischen Mehrteilchenzuständen Bosonen erzeugen oder vernichten. Da die Erzeugungsoperatoren untereinander kommutieren, sind in Mehrteilchenzuständen die einzelnen Teilchen ununterscheidbar in dem Sinn, dass eine Vertauschung zweier Teilchen keinen anderen, sondern denselben Zustand mit gleicher Phase ergibt.

Mit dem Antikommutator werden in der Quantenmechanik die algebraischen Eigenschaften derjenigen Operatoren angegeben, die in Mehrteilchenzuständen Fermionen erzeugen oder vernichten. Da die Erzeugungsoperatoren untereinander antikommutieren, sind in Mehrteilchenzuständen die einzelnen Teilchen ununterscheidbar in dem Sinn, dass eine Vertauschung zweier Teilchen keinen anderen, sondern denselben Zustand mit entgegengesetzter Phase ergibt.

Siehe auch Bearbeiten

Literatur Bearbeiten