16 CAPITOLO 1. RICHIAMI DI ALGEBRA LINEARE Proposizione 1.4.1. Sia g : V × V → F una forma bilineare sull’ F -spazio vettoriale V . Siano B e B ′ due basi <strong>di</strong> V e C la matrice <strong>di</strong> cambiamento <strong>di</strong> base da B a B ′ . Allora, se S ed S ′ sono le matrici che rappresentano g rispetto a B e B ′ , abbiamo S ′ = B T S B. Proposizione 1.4.2. Sia g : V × V → F una forma bilineare simmetrica sull’ F -spazio vettoriale V . Se S è la matrice che rappresenta g rispetto alla base B <strong>di</strong> V , abbiamo che g è non degenere se e solo se S è non singolare.
Capitolo 2 <strong>Algebre</strong> <strong>di</strong> <strong>Lie</strong> 2.1 Prime definizioni Sia L uno spazio vettoriale su un campo F . Diremo che L è un’ algebra <strong>di</strong> <strong>Lie</strong> su F se in L è definita un’operazione binaria che sod<strong>di</strong>sfa le seguenti con<strong>di</strong>zioni: ϕ : L × L → L (x, y) ↦→ ϕ(x, y) • L1) ϕ è bilineare, ossia ϕ(ax + by, z) = aϕ(x, z) + bϕ(y, z) e ϕ(x, ay + bz) = aϕ(x, y) + bϕ(x, z) qualsiasi siano i vettori x, y, z <strong>di</strong> L e gli scalari a, b <strong>di</strong> F • L2) ϕ(x, x) = 0 per ogni vettore x <strong>di</strong> L • L3) ϕ(x, ϕ(y, z)) + ϕ(y, ϕ(z, x)) + ϕ(z, ϕ(x, y)) = 0 per ogni terna <strong>di</strong> vettori x, y, z <strong>di</strong> L Chiamiamo ϕ commutatore, la denotiamo col simbolo [, ] e, <strong>di</strong> conseguenza, in<strong>di</strong>chiamo con [x, y] l’immagine <strong>di</strong> un generico elemento del suo dominio ; la con<strong>di</strong>zione (L3) prende il nome <strong>di</strong> identità <strong>di</strong> Jacobi. A meno <strong>di</strong> in<strong>di</strong>cazioni contrarie, nel corso del nostro lavoro considereremo sempre algebre <strong>di</strong> <strong>Lie</strong> aventi <strong>di</strong>mensione finita in qualità <strong>di</strong> spazi vettoriali. Dalle con<strong>di</strong>zioni (L1) e (L2) segue che il commutatore è antisimmetrico. Infatti, presi due vettori x, y ∈ L, per la (L2) si ha [x+y, x+y] = 0 e dalla bilinearità del commutatore segue 0 = [x+y, x+y] = [x, x + y] + [y, x + y] = [x, x] + [x, y] + [y, x] + [y, y]. Riapplicando (L2) otteniamo 0 = [x, x] + [x, y] + [y, x] + [y, y] = [x, y] + [y, x] ossia [x, y] = −[y, x]. Denotiamo con (L2)’ questa con<strong>di</strong>zione <strong>di</strong> antisimmetria. Viceversa, se l’operazione binaria ϕ sod<strong>di</strong>sfa (L2)’ allora non è <strong>di</strong>fficile mostrare che verifica anche 17