Identitas Jacobi

Dalam matematika, identitas Jacobi adalah sifat dari operasi biner yang menjelaskan bagaimana urutan evaluasi, penempatan tanda kurung dalam beberapa produk, mempengaruhi hasil operasi. Sebaliknya, untuk operasi dengan sifat asosiatif, urutan evaluasi memberikan hasil yang sama (tidak menggunakan tanda kurung dalam beberapa produk). Identitas ini dinamai matentikawan asal Jerman Carl Gustav Jakob Jacobi.

Produk silang  dan operasi braket Lie  keduanya memenuhi identitas Jacobi. Dalam mekanika analitik, identitas Jacobi menggunakan tanda kurung Poisson. Dalam mekanika kuantum, digunakan oleh operasi komutator dengan ruang Hilbert dan ekuivalen dalam perumusan ruang fase mekanika kuantum oleh kurung siku Moyal.

Definisi 
Satu himpunan A dengan dua operasi biner + dan ×, dengan identitas aditif 0, memenuhi identitas Jacobi jika:

.

Sisi kiri adalah jumlah dari semua permutasi genap dari : tanda kurung dibiarkan tetap, dan huruf saling dipertukarkan beberapa kali.

Bentuk kurung siku komutator 
Contoh informatif paling sederhana dari aljabar Lie digunakan gelanggang (asosiatif)  matriks sebagai gerakan sangat kecil dari ruang vektor berdimensi-n. Operasi × adalah komutator, yang mengukur kegagalan komutatif dalam perkalian matriks. Alih  sebagai notasi kurung siku Lie digunakan:

Dalam notasi tersebut, identitas Jacobi adalah:

Digunakan dengan komputasi.

Lebih umum, jika A adalah aljabar asosiatif dan  adalah subruang dari A yang ditutup di bawah operasi kurung siku:  sebagai  untuk semua , identitas Jacobi tetap menggunakan V. Maka, jika operasi biner  memenuhi identitas Jacobi dikatakan bahwa seolah-olah diberikan oleh  dalam beberapa aljabar asosiatif meskipun sebenarnya tidak didefinisikan seperti itu.

Menggunakan sifat antisimetri , identitas Jacobi dapat ditulis ulang sebagai modifikasi dari sifat asosiatif:

Jika  adalah tindakan dari gerakan kecil X dengan Z, dapat dinyatakan sebagai: 

Terdapat jumlah identitas Jacobi bertingkat yang melibatkan antikomutator , contoh:

Lihat pula Kurung siku Lie bidang vektor dan rumus Baker–Campbell–Hausdorff

Bentuk adjoin 
Contoh umum dari identitas Jacobi berasal dari perkalian kurung siku  dengan aljabar Lie dan gelanggang Lie. Identitas Jacobi ditulis sebagai:

 .

Karena perkalian kurung siku adalah antisimetris, identitas Jacobi sebagai dua reformulasi yang setara. Mendefinisikan operasi adjoin  sebagai:
.

Dengan demikian, identitas Jacobi untuk aljabar Lie menyatakan bahwa tindakan elemen pada aljabar adalah turunan. Bentuk identitas Jacobi digunakan untuk mendefinisikan pengertian aljabar Leibniz.

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

Di sana, kurung siku di sisi kiri adalah operasi dari aljabar asli, tanda kurung di sebelah kanan adalah komutator dari komposisi operator, dan identitas menyatakan bahwa  peta untuk setiap elemen ke tindakan adjoin adalah aljabar Lie homomorfisme.

Identitas terkait 
Identitas Hall–Witt adalah identitas analog untuk operasi komutator dalam grup.

Identitas berikut mengikuti dari antikomutativitas dan identitas Jacobi dan berlaku dalam aljabar Lie sembarang:

 .

Lihat pula 
 Konstanta struktur
 Identitas Jacobi super
 Tiga subgrup lemma (identitas Hall–Witt)

Referensi 

 .

Pranala luar 

Aljabar Lie
Identitas matematika
Aljabar takasosiatif
Sifat operasi biner