Aljabar Lie

ruang vektor dengan operasi biner yang menggunakan identitas Jacobi

Dalam matematika, aljabar Lie (pengucapan /l/ "Lee") adalah ruang vektor bersama dengan operasi yang disebut braket Lie, peta bilinear bergantian adalah bagian dari identitas Jacobi.[a] Ruang vektor dengan operasi ini adalah aljabar non-asosiatif, yang berarti bahwa kurung Lie belum tentu asosiatif.

Aljabar Lie berkaitan erat dengan grup Lie, yaitu grup dengan lipatan halus: setiap grup Lie memunculkan aljabar Lie, yang merupakan ruang singgung identitasnya. Sebaliknya, untuk aljabar Lie berdimensi-hingga di atas bilangan riil atau kompleks, ada yang sebagai penghubung dengan grup Lie hingga penutupan (teorema ketiga Lie). Korespondensi ini memungkinkan untuk mempelajari struktur dan klasifikasi grup Lie dalam kaitannya dengan aljabar Lie.

Dalam fisika, grup Lie sebagai grup simetri dari sistem fisik, dan aljabar Lie (vektor tangen dekat identitas) sebagai gerakan simetri yang sangat kecil. Jadi aljabar Lie dan representasi mereka digunakan secara luas dalam fisika, terutama dalam mekanika kuantum dan fisika partikel.

Contoh dasar adalah ruang vektor tiga dimensi dengan operasi braket yang ditentukan oleh produk silang Simetris-miring dari , dan asosiatif, maka identitas Jacobi:

Ini adalah aljabar Lie dari grup Lie rotasi ruang, dan setiap vektor dapat digambarkan sebagai rotasi yang sangat kecil di sekitar sumbu v, dengan kecepatan yang sama dengan besaran v. Braket Lie adalah ukuran non-komutatif antara dua rotasi: karena rotasi berjalan dengan sendirinya, maka memiliki sifat .

Sejarah

sunting

Aljabar Lie diperkenalkan untuk mempelajari konsep transformasi infinitesimal oleh Marius Sophus Lie pada tahun 1870-an,[1] dan ditemukan secara independen oleh Wilhelm Killing[2] di tahun 1880-an. Nama aljabar Lie diberikan oleh Hermann Weyl pada tahun 1930-an; dalam teks yang lebih lama, istilah grup infinitesimal digunakan.

Definisi

sunting

Definisi aljabar Lie

sunting

Aljabar Lie adalah ruang vektor   di beberapa bidang F dengan operasi biner   disebut braket Lie memenuhi aksioma berikut:[b]

 
 
untuk skalar a, b dalam F dan elemen x, y, z dalam  .
 
untuk x dalam  .
 
untuk x, y, z dalam  .

Menggunakan bilinearitas untuk memperluas kurung Lie   dan menggunakan alternativitas menunjukkan   untuk elemen x, y dalam   yang menunjukkan bilinearitas dan alternativitas sebagai

 
untuk semua elemen x, y dalam  . Jika karakteristik bidang bukan 2 maka antikomutatifitas sebagai alternatif.[3]

Untuk menunjukkan aljabar Lie dengan huruf fraktur huruf kecil seperti  . Jika aljabar Lie dikaitkan dengan grup Lie, maka aljabar tersebut dilambangkan dengan versi fraktur grup: misalnya aljabar Lie SU(n) adalah  .

Generator dan dimensi

sunting

Elemen aljabar Lie   dikatakan generator jika subaljabar terkecil yang menggunakan elemen ini adalah  . Dimensi dari aljabar Lie adalah dimensinya sebagai ruang vektor di atas F. Kardinalitas himpunan pembangkit minimal dari aljabar Lie tetap kurang dari atau sama dengan dimensinya.

Lihat klasifikasi aljabar Lie berdimensi rendah untuk contoh kecil lainnya.

Subaljabar, ideal dan homomorfisme

sunting

Braket Lie tidak harus menggunakan asosiatif, artinya   tidak harus menggunakan  . Namun, aljabar fleksibel. Meskipun demikian, istilah gelanggang asosiatif dan aljabar biasanya diterapkan pada aljabar Lie. Subaljabar Lie adalah subruang   sebagai penutupan di bawah braket Lie. Ideal   adalah subaljabar yang menggunakan kondisi yang lebih sederhana:[4]

 

Aljabar Lie homomorfisme adalah peta linear kompatibel dengan tanda kurung Lie:

 

Gelanggang asosiatif sebagai ideal adalah kernel homomorfisme; menggunakan aljabar Lie   dan ideal   untuk menghasilkan aljabar fungtor atau aljabar hasil bagi  , dan teorema isomorfisme pertama berlaku untuk Lie aljabar.

Karena barket Lie adalah sejenis komutator lebih kecil kecil dari grup Lie, maka dua elemen   diubah jika braket:  .

Subaljabar pemusat dari himpunan bagian   adalah himpunan elemen dengan S: yaitu,  . Pemusat dari   adalah pusat  . Demikian pula, untuk subruang S, subaljabar penormal dari S adalah  .[5] Dengan halnya, jika S adalah subaljabar Lie,   adalah subaljabar terbesar sehingga   adalah ideal dari  .

Contoh

sunting

Untuk  , komutator dari dua elemen

 

maka   adalah subaljabar kecuali ideal. Maka, karena setiap ruang sub-vektor satu dimensi dari aljabar Lie menghasilkan struktur aljabar Lie abelian induksi, yang umumnya tidak ideal. Untuk aljabar Lie sederhana, semua aljabar Lie abelian tidak menjadi ideal.

Jumlah langsung dan produk setengah langsung

sunting

Untuk dua Aljabar Lie   dan  , jumlah langsung Aljabar Lie adalah ruang vektor  terdiri dari  , dengan operasi tersebut

 

sehingga salinan  :   Maka   menjadi aljabar Lie dan   ideal dari  . Jika peta kanonik   (yaitu, menerima bagian), maka   dikatakan sebagai produk setengah langsung dari   dan  ,  . Lihat pula jumlah setengah langsung dari aljabar Lie.

Teorema Levi mengatakan bahwa aljabar Lie berdimensi-hingga adalah perkalian setengah langsung dari akar dan subaljabar komplementernya (Levi subaljabar).

Turunan

sunting

Turunan pada aljabar Lie   (atau pada aljabar non-asosiatif) adalah peta linear   yang mematuhi hukum Leibniz, yaitu,

 

untuk  . Turunan batin yang terkait dengan   adalah pemetaan adjoin   didefinisikan oleh  . (Ini adalah derivasi sebagai konsekuensi dari identitas Jacobi.) Turunan luar adalah derivasi yang tidak berasal dari representasi adjoin aljabar Lie. Jika   adalah setengah sederhana, setiap turunan adalah dalam.

Turunan membentuk ruang vektor  , yang merupakan subaljabar Lie dari  ; braketnya adalah komutator. Turunan dalam membentuk subaljabar Lie dari  .

Contoh

sunting

Misalnya, aljabar Lie ideal   representasi adjoin   dari   bertindak sebagai turunan luar pada   karena   untuk   dan  . Untuk aljabar Lie   dari matriks segitiga atas dalam  , dari ideal   dari matriks segitiga atas (di mana satu-satunya elemen bukan nol berada di atas diagonal matriks). Misalnya, komutator elemen dalam   dan   gives

 

menunjukkan turunan luar dari   dalam  .

Jumlah langsung dan produk setengah langsung

sunting

Untuk dua aljabar Lie   dan  , jumlah langsung Aljabar Lie adalah ruang vektor  terdiri dari semua  , dengan operasi tersebut

 

maka salinan   komutatif satu sama lain:   Maka   sebagai aljabar Lie dan   ideal  . Jika peta kanonik   membagi (yaitu, menerima bagian), lalu   dikatakan sebagai produk setengah langsung dari   dan  ,  . Lihat pula jumlah setengah langsung dari aljabar Lie.

Teorema Levi digunakan aljabar Lie berdimensi-hingga adalah hasil kali setengah-langsung dari akar dan subaljabar komplementernya (subaljabar Levi).

Turunan

sunting

Turunan pada aljabar Lie   (atau pada aljabar non-asosiatif) adalah peta linear   yang mematuhi hukum Leibniz, yaitu,

 

untuk semua  . Turunan batin yang terkait dengan   adalah pemetaan adjoin   didefinisikan oleh  . Jika   adalah setengah sederhana, setiap turunan adalah dalam.

Turunan membentuk ruang vektor   yang merupakan subaljabar Lie dari  ; braketnya adalah komutator. Turunan dalam membentuk subaljabar Lie dari  .

Contoh

sunting

Misalnya, aljabar Lie ideal   representasi adjoin   dari   bertindak sebagai turunan luar pada   since   untuk semua   dan  . Untuk aljabar Lie   dari matriks segitiga atas dalam  , menggunakan ideal   dari matriks segitiga atas (dimana satu-satunya elemen bukan nol berada di atas diagonal matriks). Misalnya, komutator elemen dalam   dan   diberikan oleh

 

menunjukkan turunan luar dari   dalam  .

Membagi aljabar Lie

sunting

Misalkan V adalah ruang vektor berdimensi-hingga di atas bidang F,   aljabar Lie transformasi linear dan   sebuah subaljabar Lie. Maka   sebagai membagi jika akar dari polinomial karakteristik dari semua transformasi linear dalam   berada di bidang dasar F.[6] Lebih umum, aljabar Lie berdimensi-hingga   dikatakan terpecah jika memiliki subaljabar Cartan yang gambarnya di bawah representasi adjoin   adalah aljabar Lie terpisah. Bentuk riil terpisah dari aljabar Lie setengah sederhana kompleks (lihat #Bentuk riil dan pengkompleksan) adalah contoh membagi aljabar Lie riil. Lihat pula membagi aljabar Lie untuk informasi lebih lanjut.

Basis ruang vektor

sunting

Untuk kalkulasi praktis, sering kali lebih mudah untuk memilih basis ruang vektor eksplisit untuk aljabar. Konstruksi umum untuk basis ini digambarkan dalam artikel konstanta struktur.

Definisi menggunakan notasi teori-kategori

sunting

Meskipun definisi di atas cukup untuk pemahaman konvensional tentang Lie aljabar, setelah dipahami, wawasan tambahan dapat diperoleh dengan menggunakan notasi umum untuk teori kategori, yaitu dengan mendefinisikan aljabar Lie dalam istilah peta linear—yaitu, morfisme dari kategori ruang vektor tanpa mempertimbangkan elemen individu. Dalam bagian ini, bidang dimana aljabar didefinisikan karakteristik berbeda dari dua.)

Untuk definisi kategori-teoretis dari aljabar Lie, diperlukan dua kepangan isomorfisme. Jika A adalah ruang vektor, pertukaran isomorfisme   didefinisikan oleh

 

Kepangan siklik-permutasi   didefinisikan sebagai

 

dimana   adalah morfisme identitas. Sama halnya,   didefinisikan oleh

 

Dengan notasi ini, aljabar Lie dapat didefinisikan sebagai objek   dalam kategori ruang vektor dengan morfisme

 

yang memenuhi dua persamaan morfisme

 

dan

 

Contoh

sunting

Ruang vektor

sunting

Setiap ruang vektor   sebagai tanda kurung siku nol yang identik menjadi aljabar Lie. Aljabar Lie satu dimensi di atas bidang adalah abelian, dengan sifat dari kurung Lie.

Aljabar asosiatif dengan tanda kurung komutator

sunting
  • Pada aljabar asosiatif   di atas bidang   dengan perkalian  , braket Lie dapat ditentukan dengan komutator  . Dengan tanda kurung ini,   adalah aljabar Lie.[7] Aljabar asosiatif A disebut aljabar pembungkus dari aljabar Lie  . Setiap aljabar Lie dapat digabungkan ke aljabar yang muncul dari aljabar asosiatif dengan aljabar pembungkus universal.
  • Aljabar asosiatif endomorfisma dari ruang-F vektor   dengan braket Lie di atas dilambangkan  .
  • Untuk ruang vektor berdimensi hingga  , contoh sebelumnya, aljabar Lie dari matriks n×n, dinotasikan   atau  ,[8] dengan braket  , dimana   menunjukkan perkalian matriks. Aljabar Lie dari grup linear umum yang terdiri dari matriks invers.

Matriks khusus

sunting

Dua subaljabar dari   adalah:

Aljabar matriks Lie

sunting

Kompleks grup matriks adalah grup Lie yang terdiri dari matriks   dimana perkalian G adalah perkalian matriks. Aljabar Lie   ruang matriks merupakan vektor bersinggungan dengan G dalam ruang linear  : terdiri dari turunan kurva halus dalam G dengan identitas:

 

Braket Lie dari   adalah komutator matriks,  . Dengan aljabar Lie, kita dapat memulihkan grup Lie sebagai citra pemetaan matriks eksponensial   didefinisikan oleh  , yang menyatu untuk setiap matriks  : yaitu,  .[10]

Berikut ini adalah contoh aljabar Lie dari grup matriks Lie:[10]

  • Grup linear khusus   terdiri dari n × n matriks dengan determinan 1. Aljabar Lie  terdiri dari n × n matriks dengan entri kompleks dan jejak 0. Demikian pula, mendefinisikan grup Lie riil   dan aljabar Lie  .
  • Grup uniter   terdiri dari n × n matriks uniter (sebagai  ). Aljabar Lie   terdiri dari matriks adjoin ( ).
  • Grup ortogonal khusus  , terdiri dari matriks ortogonal determinan-satu riil ( ). Aljabar Lie   terdiri dari matriks simetris-miring riil ( ). Grup ortogonal penuh  , tanpa determinan-satu kondisi, terdiri dari   dan komponen terhubung yang terpisah, maka memiliki aljabar Lie sama dengan  . Demikian pula, mendefinisikan versi kompleks dari grup dan aljabar ini, hanya dengan entri matriks kompleks.

Dua dimensi

sunting
  • Pada setiap bidang   hingga isomorfisme, satu aljabar Lie nonabelian dua dimensi. Dengan generator x, y, braketnya didefinisikan sebagai  . Ini sebagai grup affine dalam satu dimensi.
Ini diwujudkan dengan matriks:
 

Maka

 

untuk setiap bilangan asli   dan   melihat bahwa elemen grup Lie yang dihasilkan adalah matriks segitiga atas 2 × 2 dengan satuan diagonal lebih rendah:

 

Tiga dimensi

sunting
  • Aljabar Heisenberg   is a aljabar Lie tiga dimensi yang dihasilkan elemen x, y, dan z dengan tanda kurung Lie
 .
Ini diwujudkan sebagai ruang dari matriks segitiga 3 × 3, dengan tanda kurung komutator Lie:
 
Setiap elemen dari grup Heisenberg dengan demikian dapat direpresentasikan sebagai produk dari generator grup, yaitu, matriks eksponensial dari generator aljabar Lie,
 
  • Aljabar Lie   dari grup SO(3) direntang oleh tiga matriks[11]
 
Relasi pergantian di antara generator adalah
 
 
 
Tiga dimensi ruang Euklides   dengan kurung Lie diberikan oleh perkalian silang dari vektor sebagai relasi pergantian yang sama seperti di atas: dengan demikian, isomorfik untuk  . Aljabar Lie keekuivalen secara unitar dengan operasi komponen momentum sudut spin biasa untuk partikel spin-1 dalam mekanika kuantum.

Dimensi tak hingga

sunting
  • Kelas penting aljabar Lie berdimensi tak hingga muncul di topologi diferensial. Ruang halus bidang vektor pada lipatan diferensial M membentuk aljabar Lie, dimana kurung Lie didefinisikan sebagai komutator bidang vektor. Salah satu cara untuk mengekspresikan tanda kurung Lie adalah melalui formalisme turunan Lie, yang mengidentifikasi bidang vektor X dengan operasi diferensial parsial urutan pertama LX sebagai fungsi halus dengan membiarkan LX(f) menjadi turunan arah dari fungsi f ke X. Braket Lie [X,Y] dari dua bidang vektor adalah bidang vektor yang ditentukan melalui fungsi dengan rumus:
 

Wakilan

sunting

Definisi

sunting

Diberikan ruang vektor V, misal   menunjukkan aljabar Lie yang terdiri dari semua endomorfisma linear dari V, dengan tanda kurung yang diberikan oleh  . Sebuah wakilan dari aljabar Lie   dengan V adalah homomorfisme aljabar Lie

 

Wakilan sebagai setia jika kernelnya nol. Teorema Ado[12] untuk setiap aljabar Lie berdimensi-hingga memiliki wakilan setia dengan ruang vektor berdimensi-hingga.

Wakilan adjoin

sunting

Untuk aljabar Lie  , maka didefinisikan wakilan   given by   adalah wakilan pada ruang vektor   yang merupakan wakilan adjoin.

Tujuan teori wakilan

sunting

Salah satu aspek penting dari studi Lie aljabar (terutama aljabar Lie semi-sederhana) adalah studi tentang wakilan. Memang, sebagian besar buku yang tercantum di bagian referensi mencurahkan sebagian besar halaman untuk teori wakilan. Meskipun teorema Ado adalah hasil yang penting, tujuan utama dari teori wakilan bukanlah untuk menemukan wakilan yang tepat dari aljabar Lie yang diberikan  . Dalam kasus semi-sederhana untuk wakilan adjoin adalah setia. Sebaliknya, tujuannya adalah untuk memahami semua kemungkinan wakilan  , hingga gagasan alami tentang kesetaraan. Dalam kasus semi sederhana di atas bidang karakteristik nol, teorema Weyl[13] untuk setiap wakilan berdimensi-hingga adalah jumlah langsung dari wakilan yang tidak dapat direduksi (tidak memiliki subruang invarian nontrivial). Wakilan yang tidak dapat direduksi, pada gilirannya, diklasifikasikan dengan teorema dengan bobot tertinggi.

Teori wakilan dalam Fisika

sunting

Teori wakilan aljabar Lie memegang peranan penting dalam berbagai bagian teori fisika. Operasi di ruang negara bagian yang memenuhi relasi pergantian alami tertentu. Relasi pergantian ini biasanya berasal dari kesimetrian masalah—khususnya, mereka adalah relasi aljabar Lie dari grup kesimetrian yang relevan. Contohnya adalah operasi momentum sudut dimana relasi pergantinya adalah aljabar Lie   dari grup rotasi SO(3). Biasanya, ruang satuan sangat jauh dari tidak dapat direduksi di bawah operasi terkait, tetapi seseorang dapat mencoba untuk menguraikannya menjadi bagian-bagian yang tidak dapat direduksi. Dalam melakukannya, untuk mengetahui wakilan tak tersederhanakan dari aljabar Lie yang diberikan. Dalam studi tentang kuantum atom hidrogen, misalnya, buku teks mekanika kuantum memberikan (tanpa menyebutnya demikian) klasifikasi wakilan tak tersederhanakan dari aljabar Lie  .

Relasi grup Lie

sunting
 
Ruang tangen dari bola dengan satu titik  . Jika   adalah elemen identitas, maka ruang tangen merupakan Aljabar Lie

Meskipun aljabar Lie dipelajari dengan hak sendiri, secara historis sebagai sarana untuk mempelajari grup Lie.

Menguraikan secara singkat relasi antara grup Lie dan aljabar Lie. Setiap grup Lie memunculkan aljabar Lie yang ditentukan secara kanonik (atau secara konkret, ruang tangen pada identitas). Sebaliknya, untuk aljabar Lie berdimensi-hingga  , grup Lie terhubung   dengan aljabar Lie  . Ini adalah teorema ketiga Lie; lihat rumus Baker–Campbell–Hausdorff. Grup Lie tidak ditentukan secara unik, namun dua grup Lie dengan aljabar Lie yang sama adalah isomorfik lokal, dan khususnya memiliki sampul universal yang sama. Misal grup ortogonal khusus SO(3) dan grup uniter khusus SU(2) ditolak aljabar Lie yang sama, isomorfik menjadi   dengan produk silang, tetapi SU(2) adalah penutup ganda SO(3) yang terhubung sederhana.

Bentuk dan kerumitan riil

sunting

Diberikan aljabar Lie kompleks  , aljabar Lie riil   dikatakan sebagai bentuk riil dari   jika kompleksifikasi   isomorfik untuk  .[14] Bentuk rill tidak harus unik; sebagai contoh,   memiliki dua bentuk riil   dan  .[14]

Diberikan aljabar Lie kompleks berdimensi-hingga setengah sederhana  , bentuk terpisah adalah bentuk riil yang terbagi; yaitu, ia memiliki subaljabar Cartan melalui representasi adjoin dengan nilai eigen riil. Ada bentuk perpecahan dan unik (hingga isomorfisme).[14] Bentuk kompak adalah bentuk riil yang merupakan aljabar Lie dari grup Lie kompak. Ada bentuk yang kompak dan unik.[14]

Lie aljabar dengan struktur tambahan

sunting

Aljabar Lie dapat dilengkapi dengan beberapa struktur tambahan yang dianggap kompatibel dengan braket. Misalnya, aljabar Lie bertingkat adalah aljabar Lie dengan struktur ruang vektor bertingkat. Jika ia juga dilengkapi dengan diferensial (sehingga ruang vektor bergradasi yang mendasari adalah kaidah kompleks), maka ia disebut aljabar Lie bergradasi diferensial.

Sebuah aljabar Lie sederhana adalah benda sederhana dalam kategori aljabar Lie; dengan kata lain, itu diperoleh dengan mengganti himpunan yang mendasari dengan himpunan sederhana (jadi mungkin lebih baik dianggap sebagai keluarga Lie aljabar).

Gelanggang Lie

sunting

Gelanggang Lie muncul sebagai generalisasi dari aljabar Lie, atau melalui studi deret tengah bawah grup. Gelanggang Lie didefinisikan sebagai gelanggang non-asosiatif dengan perkalian yaitu antikomutatif dan memenuhi identitas Jacobi. Lebih spesifiknya kita bisa mendefinisikan gelanggang Lie   menjadi grup abelian dengan operasi   yang memiliki properti berikut:

  • Bilinearitas:
 
untuk x, y, zL.
  • Identitas Jacobi :
 
untuk x, y, z dalam L.
  • Untuk x dalam L:
 

Gelanggang Lie tidak perlu grup Lie sebagai tambahan. Semua aljabar Lie adalah contoh gelanggang Lie. Semua gelanggang asosiatif dapat dibuat menjadi gelanggang Lie dengan menentukan operator braket  . Sebaliknya, pada aljabar Lie mana pun, ada cincin yang sesuai, yang disebut aljabar pembungkus universal.

Lihat pula

sunting

Keterangan

sunting
  1. ^ Tanda kurung [,] mewakili operasi bilinear "×"; sering kali, ini adalah komutator: [x,y] = x yy x, untuk produk asosiatif pada ruang vektor yang sama. Tapi belum tentu!
  2. ^ (Bourbaki 1989, Section 2.) memungkinkan lebih umum untuk modul melalui Gelanggang komutatif; dalam artikel ini, ini disebut Gelanggang Lie.

Referensi

sunting
  1. ^ O'Connor & Robertson 2000
  2. ^ O'Connor & Robertson 2005
  3. ^ Humphreys 1978, hlm. 1
  4. ^ Karena antikomutatifitas dari komutator, gagasan tentang ideal kiri dan kanan dalam aljabar Lie bertepatan.
  5. ^ Jacobson 1962, hlm. 28
  6. ^ Jacobson 1962, hlm. 42
  7. ^ Bourbaki 1989, §1.2. Example 1.
  8. ^ Bourbaki 1989, §1.2. Contoh 2.
  9. ^ Humphreys 1978, hlm. 2
  10. ^ a b Hall 2015, §3.4
  11. ^ Hall 2015, Contoh 3.27
  12. ^ Jacobson 1962, Ch. VI
  13. ^ Hall 2015, Teorema 10.9
  14. ^ a b c d Fulton & Harris 1991, §26.1.

Sumber

sunting

Pranala luar

sunting