Algebre di Lie semisemplici, sistemi di radici e loro classificazione
Algebre di Lie semisemplici, sistemi di radici e loro classificazione
Algebre di Lie semisemplici, sistemi di radici e loro classificazione
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
14 CAPITOLO 1. RICHIAMI DI ALGEBRA LINEARE<br />
proprio n 2 − 1.<br />
Pren<strong>di</strong>amo tutte le matrici eij con i = j insieme con:<br />
hi = eii − ei+1,i+1 (1 ≤ i ≤ n − 1) (1.47)<br />
Tutte queste matrici hanno traccia nulla e sono esattamente n 2 − 1.<br />
Vorremmo far vedere che esse sono in<strong>di</strong>pendenti, dunque costituiscono una base <strong>di</strong> sl(n, F ) che chi-<br />
ameremo base standard <strong>di</strong> sl(n, F ). Pren<strong>di</strong>amo una combinazione lineare delle matrici dette che ci<br />
<strong>di</strong>a la matrice nulla:<br />
Pertanto si ha :<br />
<br />
i=j<br />
αij eij +<br />
• αij = 0 ∀i, j con i = j<br />
n<br />
βi hi = <br />
i=1<br />
i=j<br />
αij eij +<br />
• β1 = 0 (solo h1 ha un elemento non nullo nella posizione (1, 1))<br />
• β2<br />
• .<br />
• βn−1 = 0<br />
n<br />
i=1<br />
βi(eii − ei+1,ei+1 ) = 0 (1.48)<br />
(grazie al punto precedente solo h2 ha un elemento non nullo nella posizione (2, 2))<br />
1.4 Forme bilineari<br />
Sia V uno spazio vettoriale sul campo F . Una forma bilineare su V è un’applicazione g : V × V → F<br />
tale che :<br />
per ogni v, w, z ∈ V e a, b ∈ F .<br />
g(av + bw, z) = ag(v, z) + bg(w, z) (1.49)<br />
g(v, aw + bz) = ag(v, w) + bg(v, z) (1.50)<br />
Se g(v, w) = g(w, v) per ogni coppia <strong>di</strong> vettori v, w ∈ V <strong>di</strong>remo che g è una forma bilineare simmetrica,<br />
antissimentrica se g(v, w) = −g(w, v) ∀v, w ∈ V .<br />
Se g è simmetrica, possiamo definirne il nucleo :<br />
V ⊥ = {v ∈ V | g(v, w) = 0 ∀w ∈ V } (1.51)<br />
Esso è un sottospazio vettoriale <strong>di</strong> V. Infatti, se v1, v2 sono due elementi del nucleo e a è uno scalare<br />
<strong>di</strong> F , abbiamo :<br />
g(v1 + v2, w) = g(v1, w) + g(v2, w) = 0 + 0 = 0 (1.52)