# Lie eşcebri
Matematik'te bir Lie eşcebri ikili yapıda bir Lie cebridir.
sonlu boyutlular içinde, burada ikili nesnelerdir: Lie eşcebrinin yapısı bir Lie cebri doğasında ikili vektör uzayıdır ve terside var.


## Tanım.
Diyelimki "E" bir vektör uzayı üzerinde bir "k" alanı donanımı ile bir doğrusal gönderim dE →E ∧E olsun "E" den "E" ile kendisinin dış çarpımı'nadır, bunu genişletmekte mümkündür "d" bir kademe türevi tekliğine (bunun anlamı, herhangi "a", "b" için ∈ "E" homojen elemanılarıdır, d(a ∧b) = (da)∧b + (-1)^deg a a ∧(db)) "E" dış cebiri'nin derecesi 1 olsun:
d⋀^∙E→⋀^∙+1 E.
öyleyse ("E", "d") çifti eğer "d"2 = 0 ise bir Lie eşcebri olduğu söylenir,
örneğin eğer dış cebri'nin kademeli bileşenleri ile türevleri (⋀^* E, d)
bir eşzincir karmaşık formudur:
E →^d E∧E →^d ⋀^3 E→^d …


### De Rham karmaşık İlişkisi.
vektör alanları'nın dış cebri olarak (ve tensör cebri) sadece diferansiyel formların de Rham karmaşığı olarak bir manifold formun bir Lie eşcebri("K" baz alanı üzerindedir. Ayrıca, vektör alanları ve diferansiyel formlar arasında bir eşleştirme vardır.
ancak, durum ustacadır: Lie braketi düzgün fonksiyon C^∞(M) un üzerindeki cebir doğrusal değildir (hatta Lie türevidir) veya dış türev'i değildir: d(fg) = (df)g + f(dg) ≠f(dg) (bunun bir türevidir, fonksiyonları üzerinde doğrusal değil): bu tensör değildir. Onlar fonksiyonları üzerinde doğrusal olmayan, ama tutarlı bir şekilde davranırlar, Lie cebir ve Lie eşcebri kavramı basitçe yakalanamaz.
Daha fazla, de Rham karmaşığı içinde, derivasyon için tanımlanan sadeceΩ^1 →Ω^2, aynı zamanda C^∞(M) →Ω^1(M) için tanımlanmıştır.


## Lie cebri olarak ikili yapı.
Bir vektör uzayı üzerinde bir Lie cebir yapı haritası [·,·]𝔤×𝔤→𝔤 çarpık-simetrik'tir ve Jacobi özdeşliği tatmin edicidir.Eşdeğer bir harita [·,·]𝔤 ∧𝔤 →𝔤 bu Jacobi özdeşliği tatmin edicidir.
Ikili, bir vektör uzayı diyelim ki "E" üzerinde bir Lie eşcebri yapısı doğrusal bir harita dE →E ⊗E bu antisimetriktir (Bu bunu karşılamak demektir τ∘d = -d , burada τ kurallı çevirmedir E ⊗E →E ⊗E ) ve "eşdöngü durumu" denmesi uygundur (ayrıca "eş-Leibniz kuralı" olarak da bilinir)
 (d⊗id)∘d = (id⊗d)∘d+(id ⊗τ)∘(d⊗id)∘d .
Antisimetri durumuna ikili, harita dE →E ⊗E ayrıca bir harita olarak yazılabilir dE →E ∧E.
bir Lie cebrinin Lie braketi çiftinin 𝔤 ürün bir haritası (eşdeğişmeli)
[·,·]^*𝔤^* →(𝔤 ∧𝔤)^* ≅𝔤^* ∧𝔤^*
burada izomorfizm ≅ sonlu boyut içinde tutunur;Lie eşçarpımı'nin ikilisi için ikilidir. Bu konu içinde, Jacobi özdeşliği eşdöngü durumuna karşı gelir.
Daha açıkçası, diyelim ki "E" karakteristik ne "2" ne de "3" bir alan üzerinde bir Lie eşcebri olsun.Çift alan "E"* ile tanımlanan bir braket yapısını taşır
α(["x", "y"]) = "d"α("x"∧"y"), hepsi için α ∈ "E" ve"x","y" ∈ "E"*.
Bizim gösterdiğimiz bu bağlantı "E"* ile bir Lie braketidir.
Jacobi özdeşliği ile kontrol etmek için yeterlidir .Herhangi "x", "y", "z" ∈ "E"* ve α ∈ "E" için 
d^2α(x∧y∧z) = 1/3 d^2α(x∧y∧z + y∧z∧x + z∧x∧y) = 1/3 (dα([x, y]∧z) + dα([y, z]∧x) +dα([z, x]∧y)),
burada ikinci adım eşlenikler arasında kama çarpımı ile bir kama çarpımı çifti, standart ayrımı aşağıdadır . 
sonucu şudur
d^2α(x∧y∧z) = 1/3 (α([[x, y], z]) + α([[y, z], x])+α([[z, x], y])).
dolayısıyla "d"2 = 0, bu aşağıdadır
α([[x, y], z] + [[y, z], x] + [[z, x], y]) = 0, için herhangi α, "x", "y" ve "z".
Böylece, çift ikilik izomorfizmi (daha doğrusu, çift ikilikli monomorfizm tarafından, dolayı sonlu boyutlu vektör uzayına gerek olmayabilir) tarafından, Jacobi özdeşliğine uyar.
özel olarak, unutmayın [[eşdöngü]] durumunu bu kanıt göstermektedir "d"2 = 0 içinde, Jacobi özdeşliği içinde bir ikili anlamdır