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.
10 CAPITOLO 1. RICHIAMI DI ALGEBRA LINEARE<br />
• aA = B = (bij) = (a · aij) se i > j allora a · aij = a · 0 = 0 = bij<br />
• A + B = C = (cij) = (aij + bij) se i > j allora cij = aij + bij = 0 + 0 = 0<br />
• AB = C = (cij) = ( n<br />
k=1 aikbkj) dunque i fattori a sinistra sono non nulli solo quando i ≤ k<br />
mentre quelli a destra sono <strong>di</strong>versi da 0 solo per k ≤ j. Ma se i > j allora {k ≥ i} ∩ {k ≤ j} = 0.<br />
Infine consideriamo il sottoinsieme η(n, F ) ⊂ gl(n, F ) costituito dalle matrici strettamente trian-<br />
golari superiori, ossia le matrici A ∈ gl(n, F ) della forma :<br />
A = (aij) con aij = 0 se i ≥ j (1.31)<br />
Anche in questo caso abbiamo la chiusura rispetto al prodotto per scalare, la somma ed il prodotto<br />
matriciale. Infatti, se A, B, C sono matrici strettamente triangolari superiori e a uno scalare <strong>di</strong> F ,<br />
abbiamo :<br />
• aA = B = (bij) = (a aij) se i ≥ j allora bij = a · aij = a · 0 = 0<br />
• A + B = C = (cij) = (aij + bij) se i ≥ j allora cij = aij + bij = 0 + 0 = 0<br />
• AB = C = (cij) = ( n<br />
k=1 aikbkj) solo quando k > i i fattori a sinistra non sono nulli, solo per<br />
k < j i fattori a destra non sono nulli. Se i ≥ j allora {k > i} ∩ {k < j} = 0<br />
Avendo giá mostrato una base <strong>di</strong> gl(n, F ), vorremmo trovare una base per ognuno dei 3 sottospazi<br />
vettoriali <strong>di</strong> gl(n, F ) introdotti.<br />
Una base <strong>di</strong> t(n, F ) é:<br />
B1 = {eij | i ≤ j} (1.32)<br />
Le matrici che costituiscono quest’insieme sono sicuramente triangolari superiori perché hanno termini<br />
nulli per i > j. Esse sono in<strong>di</strong>pendenti (perché sottoinsiemi <strong>di</strong> un insieme linearmente in<strong>di</strong>pendente)<br />
e generano t(n, F ) :<br />
A = (akl) = aij eij con i ≤ j (1.33)<br />
Calcoliamo la <strong>di</strong>mensione <strong>di</strong> t(n, F ) sommando il numero <strong>di</strong> vettori <strong>di</strong> B1 :