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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

102 CAPITOLO 5. TEOREMA DI CLASSIFICAZIONE<br />

⎛<br />

⎞<br />

2<br />

⎜ 0<br />

⎜ −1<br />

⎜<br />

E7 = ⎜ 0<br />

⎜ 0<br />

⎜<br />

⎝<br />

0<br />

0<br />

2<br />

0<br />

−1<br />

0<br />

0<br />

−1<br />

0<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

−1<br />

−1<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

0<br />

−1<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

0<br />

−1<br />

2<br />

0<br />

⎟<br />

0<br />

⎟<br />

0<br />

⎟<br />

0 ⎟<br />

0 ⎟<br />

−1 ⎟<br />

⎠<br />

0 0 0 0 0 −1 2<br />

⎛<br />

⎞<br />

2<br />

⎜ 0<br />

⎜ −1<br />

⎜ 0<br />

E8 = ⎜ 0<br />

⎜ 0<br />

⎜<br />

⎝<br />

0<br />

0<br />

2<br />

0<br />

−1<br />

0<br />

0<br />

0<br />

−1<br />

0<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

0<br />

−1<br />

−1<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

0<br />

0<br />

−1<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

0<br />

0<br />

−1<br />

2<br />

−1<br />

0<br />

0<br />

0<br />

0<br />

0<br />

−1<br />

2<br />

0<br />

⎟<br />

0 ⎟<br />

0<br />

⎟<br />

0 ⎟<br />

0 ⎟<br />

0 ⎟<br />

−1 ⎟<br />

⎠<br />

0 0 0 0 0 0 −1 2<br />

⎛<br />

2<br />

⎜ −1<br />

F4 = ⎜<br />

⎝ 0<br />

−1<br />

2<br />

−1<br />

0<br />

−2<br />

2<br />

⎞<br />

0<br />

⎟<br />

0 ⎟<br />

−1 ⎟<br />

⎠<br />

0 0 −1 2<br />

⎛ ⎞<br />

2 −1<br />

G2 = ⎝ ⎠<br />

−3 2<br />

Dimostrazione. Sia E uno spazio euclideo <strong>di</strong> <strong>di</strong>mensione p e U = {ɛ1, . . . , ɛn} un insieme <strong>di</strong> n vettori<br />

(n ≤ p) in<strong>di</strong>pendenti e con norma unitaria. Supponiamo che < ɛi, ɛj > sia non positivo ogni volta che<br />

i è <strong>di</strong>verso da j ed inoltre si abbia 4 < ɛi, ɛj > 2 ∈ {0, 1, 2, 3}. Un sottoinsieme <strong>di</strong> uno spazio euclideo<br />

con le caratteristiche <strong>di</strong> U si <strong>di</strong>ce ammissibile. Ad U associamo un grafico Γ : identifichiamo ogni<br />

elemento <strong>di</strong> U con un vertice e il vertice che rappresenta ɛi lo colleghiamo con quello che rappresenta<br />

ɛj con 4 < ɛi, ɛj > 2 fili. Dato che il grafico definito è dello stesso tipo dei grafici <strong>di</strong> Coxeter, possiamo

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

Saved successfully!

Ooh no, something went wrong!