Komutátor (algebra)
Z Wikipedie, otevřené encyklopedie
Komutátorem dvou operátorů
a
se obvykle rozumí operátor
a označujeme ho zkráceně
. Komutátor je standardně užívanou „mírou nekomutativity“ dvou operátorů, komutují-li totiž
a
, pak je
.
Fyzikálně je motivováno zavedení antikomutátoru, který je dán jako
a označován
nebo
.
V teorii Lieových algeber je komutátor (také Lieova závorka) jakékoliv bilineární zobrazení kartézského součinu algebry se sebou do téže algebry mající následující vlastnosti:
- antisymetrie:
![[A,B]=-[B,A]](//upload.wikimedia.org/wikipedia/cs/math/1/2/7/127ffca2125151d948f350924a618883.png)
- Jacobiho identita
![[A,[B,C]]+[B,[C,A]]+[C,[A,B]]=0](//upload.wikimedia.org/wikipedia/cs/math/2/6/3/263c2238b23049a235c2208f12c08dab.png)
Jsou-li prvky algebry reprezentovány operátory, pak tvar
splňuje tyto požadavky.
![[A,B]=-[B,A]](http://upload.wikimedia.org/wikipedia/cs/math/1/2/7/127ffca2125151d948f350924a618883.png)
![[A,[B,C]]+[B,[C,A]]+[C,[A,B]]=0](http://upload.wikimedia.org/wikipedia/cs/math/2/6/3/263c2238b23049a235c2208f12c08dab.png)