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.

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

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

Saved successfully!

Ooh no, something went wrong!