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 $a\times b$ dan operasi braket Lie $[a,b]$ 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:

$x\times (y\times z)\ \ z\times (x\times y)\ \ y\times (z\times x)\ =\ 0\quad \forall \ {x,y,z}\in A$.

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

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

$[X,Y]=XY-YX.$

Dalam notasi tersebut, identitas Jacobi adalah:

$[X,[Y,Z]] [Y,[Z,X]] [Z,[X,Y]]\ =\ 0.$

Digunakan dengan komputasi.

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

Menggunakan sifat antisimetri $[X,Y]=-[Y,X]$, identitas Jacobi dapat ditulis ulang sebagai modifikasi dari sifat asosiatif:

$[[X,Y],Z]=[X,[Y,Z]]-[Y,[X,Z]]~.$

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

Tindakan $Y$ diikuti oleh $X$ sebagai operasi $[X,[Y,\cdot \ ]]$, dikurangi tindakan $X$ diikuti oleh $Y$ sebagai operasi $([Y,[X,\cdot \ ]]$, sama dengan tindakan $[X,Y]$ sebagai operasi $[[X,Y],\cdot \ ]$.

Terdapat jumlah identitas Jacobi bertingkat yang melibatkan antikomutator $\{X,Y\}$, contoh:

$[\{X,Y\},Z] [\{Y,Z\},X] [\{Z,X\},Y]=0,\qquad [\{X,Y\},Z] \{[Z,Y],X\} \{[Z,X],Y\}=0.$

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

Bentuk adjoin

Contoh umum dari identitas Jacobi berasal dari perkalian kurung siku $[x,y]$ dengan aljabar Lie dan gelanggang Lie. Identitas Jacobi ditulis sebagai:

$[x,[y,z]] [z,[x,y]] [y,[z,x]]=0$.

Karena perkalian kurung siku adalah antisimetris, identitas Jacobi sebagai dua reformulasi yang setara. Mendefinisikan operasi adjoin $\operatorname {ad} _{x}:y\mapsto [x,y]$ sebagai:

$\operatorname {ad} _{x}[y,z]=[\operatorname {ad} _{x}y,z] [y,\operatorname {ad} _{x}z]$.

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:

$\operatorname {ad} _{[x,y]}=[\operatorname {ad} _{x},\operatorname {ad} _{y}].$

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 $\mathrm {ad}$ 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:

$[x,[y,[z,w]]] [y,[x,[w,z]]] [z,[w,[x,y]]] [w,[z,[y,x]]]=0$.

Lihat pula

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

Referensi

• 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

• (Inggris) Weisstein, Eric W. "Identitas Jacobi". MathWorld.