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
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