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.
Capitolo 4<br />
Sistemi <strong>di</strong> Ra<strong>di</strong>ci<br />
4.1 Spazi euclidei e riflessioni<br />
Definizione 4.1.1. Uno spazio euclideo E é uno spazio vettoriale reale <strong>di</strong> <strong>di</strong>mensione finita dotato <strong>di</strong><br />
un prodotto scalare, ossia un’applicazione bilineare<br />
che sod<strong>di</strong>sfa le con<strong>di</strong>zioni seguenti<br />
: E × E → R<br />
(v, w) ↦→ < v, w ><br />
• S1) < v, v > ≥ 0 ∀v ∈ E ed inoltre < v, v > = 0 ⇔ v = 0 (definita poisitiva)<br />
• S2) < v, w > = < w, v > ∀v, w ∈ E (simmetrica)<br />
• S3) < v, w > ≤ < v, z > + < z, w > ∀v, w, z ∈ E (<strong>di</strong>suguaglianza triangolare)<br />
Definizione 4.1.2. Sia E uno spazio euclideo <strong>di</strong> <strong>di</strong>mensione n. Una riflessione in E è un automor-<br />
fismo <strong>di</strong> E che lascia fissi i punti <strong>di</strong> un iperpiano W ⊂ E e che manda ogni vettore ortogonale a tale<br />
iperpiano nel suo opposto.<br />
Ricor<strong>di</strong>amo che un sottospazio vettoriale W <strong>di</strong> uno spazio vettoriale E <strong>di</strong> <strong>di</strong>mensione finita è un<br />
iperpiano se la sua co<strong>di</strong>mensione è 1, ossia <strong>di</strong>m(E) − <strong>di</strong>m(W ) = 1.<br />
Dalla definizione segue facilmente che ogni riflessione conserva il prodotto scalare e che la sua inversa<br />
è essa stessa.<br />
Sia σ una riflessione dello spazio euclideo E che fissa l’iperpiano W . Dall’algrebra lineare sappiamo :<br />
E = W ⊕ W ⊥<br />
dunque due vettori v, w ∈ E li possiamo scrivere come<br />
(4.1)<br />
v = v1 + v2 ; w = w1 + w2 (4.2)<br />
57