Identitas Jacobi: Perbedaan antara revisi

[[Produk silang]] <math>a\times b</math> dan [[aljabar Lie|operasi braket Lie]] <math>[a,b]</math> keduanya memenuhi identitas Jacobi. Dalam [[mekanika analitik]], identitas Jacobi menggunakan [[tanda kurung Poisson]]. Dalam [[mekanika kuantum]], digunakan oleh operasi [[Komutator#Teori gelanggang|komutator]] dengan [[ruang Hilbert]] dan ekuivalen dalam [[formulasiperumusan ruang fase]] mekanika kuantum oleh [[braketkurung Moyalsiku]] Moyal.

== Bentuk kurungankurung siku komutator ==

Contoh informatif paling sederhana dari [[aljabar Lie]] digunakan gelanggang (asosiatif) <math>n\times n</math> matriks sebagai gerakan sangat kecil dari ruang vektor berdimensi-''n''. Operasi × ​​adalah [[komutator]], yang mengukur kegagalan komutatif dalam perkalian matriks. Alih <math>X\times Y</math> sebagai notasi braketkurung siku Lie digunakan:

Lebih umum, jika '''A''' adalah aljabar asosiatif dan ''V'' adalah subruang dari '''A''' yang ditutup di bawah operasi braketkurung siku: <math>[X,Y]=XY-YX</math> sebagai ''V'' untuk semua <math>X,Y\in V</math>, identitas Jacobi tetap menggunakan ''V''.<ref>{{harvnb|Hall|2015}} Contoh 3.3</ref> Maka, jika operasi biner <math>[X,Y]</math> memenuhi identitas Jacobi dikatakan bahwa seolah-olah diberikan oleh <math>XY-YX</math> dalam beberapa aljabar asosiatif meskipun sebenarnya tidak didefinisikan seperti itu.

Jika <math>[X,Z]</math> adalah aksitindakan dari gerakan kecil ''X'' dengan ''Z'', dapat dinyatakan sebagai:

| AksiTindakan ''Y'' diikuti oleh ''X'' sebagai operasi <math>[X,[Y,\cdot\ ] ]</math>, minusdikurangi aksitindakan ''X'' diikuti oleh ''Y'' sebagai operasi <math>([Y,[X,\cdot\ ] ]</math>, sama dengan aksitindakan <math>[X,Y]</math> sebagai operasi <math>[ [X,Y],\cdot\ ]</math>.

Lihat pula [[BraketKurung siku Lie bidang vektor]] dan [[rumus Baker–Campbell–Hausdorff]]

Contoh umum dari identitas Jacobi berasal dari perkalian braketkurung siku <math>[x,y]</math> dengan [[aljabar Lie]] dan [[gelanggang Lie]]. Identitas Jacobi ditulis sebagai:

Karena perkalian braketkurung siku adalah [[antikomutatif|antisimetris]], identitas Jacobi sebagai dua reformulasi yang setara. Mendefinisikan [[representasi adjoin dari aljabar Lie|operasi adjoin]] <math>\operatorname{ad}_x: y \mapsto [x,y]</math> sebagai:

Dengan demikian, identitas Jacobi untuk aljabar Lie menyatakan bahwa aksitindakan elemen pada aljabar adalah [[turunan (aljabar abstrak)|turunan]]. Bentuk identitas Jacobi digunakan untuk mendefinisikan pengertian [[aljabar Leibniz]].

Penataan ulang lain menunjukkan bahwa identitas Jacobi setara dengan identitas berikut antara operator representasiwakilan adjoin:

Di sana, braketkurung siku di sisi kiri adalah operasi dari aljabar asli, tanda kurung di sebelah kanan adalah komutator dari komposisi operator, dan identitas menyatakan bahwa <math>\mathrm{ad}</math> peta untuk setiap elemen ke aksitindakan adjoin adalah [[aljabar Lie homomorfisme]].

Identitas berikut mengikuti dari antikomutativitas dan identitas Jacobi dan berlaku dalam aljabar Lie arbitrarisembarang:<ref>{{cite arXiv

* [[Identitas daya Jacobi super]]