You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
178 <strong>Elemente</strong> <strong>de</strong> algebră liniară<br />
b) Dacă V este un spat¸iu vectorial peste K atunci mult¸imea L(V ) a tuturor operato-<br />
rilor liniari A : V −→ V consi<strong>de</strong>rată împreună cu adunarea operatorilor, înmult¸irea<br />
cu scalari ¸si compunerea operatorilor este o algebră asociativă peste K.<br />
Definit¸ia 9.2 Fie K unul dintre corpurile R ¸si C. Prin algebră Lie peste corpul<br />
K se înt¸elege o mult¸ime L consi<strong>de</strong>rată împreună cu trei operat¸ii<br />
L × L :−→ L : (a, b) ↦→ a + b (adunarea)<br />
K × L :−→ L : (α, a) ↦→ αa (inmultirea cu scalari)<br />
L × L :−→ L : (a, b) ↦→ [a, b] (crosetul)<br />
astfel încât L împreună cu primele două operat¸ii este spat¸iu vectorial ¸si<br />
1) [αa + βb, c] = α[a, c] + β[b, c], ∀a, b, c ∈ L, ∀α, β ∈ K;<br />
2) [a, b] + [b, a] = 0, ∀a, b ∈ L;<br />
3) [[a, b], c] + [[b, c], a] + [[c, a], b] = 0, ∀a, b, c ∈ A (i<strong>de</strong>ntitatea Jacobi).<br />
Prin dimensiunea algebrei Lie se înt¸elege dimensiunea spat¸iului vectorial corespunzător.<br />
Observat¸ia 9.1 O algebră Lie L poate fi privită ca un spat¸iu vectorial L pe care<br />
s-a <strong>de</strong>finit o lege <strong>de</strong> compozit¸ie internă suplimentară<br />
L × L :−→ L : (a, b) ↦→ [a, b]<br />
compatibilă cu structura <strong>de</strong> spat¸iu vectorial.<br />
Propozit¸ia 9.3 a) Plecând <strong>de</strong> la orice algebră asociativă A se obt¸ine o structură<br />
<strong>de</strong> algebră Lie pe A <strong>de</strong>finind cro¸setul prin<br />
[a, b] = ab − ba.<br />
b) Algebra Lie peste K obt¸inută plecând <strong>de</strong> la Mn×n(K) se notează cu gl(n, K).<br />
c) Algebra Lie peste K obt¸inută plecând <strong>de</strong> la L(V ) se notează cu gl(V ).<br />
Demonstrat¸ie. Avem<br />
[αa+βb, c] = (αa + βb)c−c(αa + βb)=α(ac − ca)+β(bc − cb) = α[a, c]+β[b, c]<br />
[a, b] = ab − ba = −(ba − ab) = −[b, a]<br />
[[a, b], c] + [[b, c], a] + [[c, a], b] = [(ab − ba), c] + [(bc − cb), a] + [(ca − ac), b]<br />
=(ab−ba)c−c(ab−ba)+(bc−cb)a−a(bc−cb)+(ca−ac)b−b(ca−ac)=0.