Identitas Jacobi

sifat dari operasi biner yang menjelaskan bagaimana urutan evaluasi, penempatan tanda kurung dalam beberapa produk, mempengaruhi hasil operasi

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

sunting

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 x × (y × z): tanda kurung dibiarkan tetap, dan huruf saling dipertukarkan beberapa kali.

Bentuk kurung siku komutator

sunting

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.[1] 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:

Tindakan   diikuti oleh   sebagai operasi  , dikurangi tindakan   diikuti oleh   sebagai operasi  , sama dengan tindakan   sebagai operasi  .

Terdapat jumlah identitas Jacobi bertingkat yang melibatkan antikomutator  , contoh:

 

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

Bentuk adjoin

sunting

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

sunting

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:[2]

 .

Lihat pula

sunting

Referensi

sunting
  1. ^ Hall 2015 Contoh 3.3
  2. ^ Alekseev, Ilya; Ivanov, Sergei O. (18 April 2016). "Higher Jacobi Identities". MISSING LINK. . 
  • Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (edisi ke-2nd), Springer, ISBN 978-3319134666 .

Pranala luar

sunting