09.05.2013 Views

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

SHOW MORE
SHOW LESS

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 :

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!