Geometria 1 Spazi vettoriali euclidei/1

V spazio vettoriale reale di dimensione finita

h · , · i : V ⇥ V ! R prodotto
prodotto scalare
scalare
def
() forma bilineare simmetrica definita positiva (pos = dim V )
cioè: 1) hv1 + v2 , wi = hv1 , wi + hv1 , wi , 8 v1 , v2 , w 2 V
ha v, wi = a hv, wi , 8 a 2 R e 8 v, w 2 V
hv, w1 + w2 i = hv, w1 i + hv, w2 i, 8 v, w1 , w2 2 V
hv, a wi = a hv, wi , 8 a 2 R e 8 v, w 2 V
2) hw, vi = hv, wi , 8 v, w 2 V
3) hv, vi > 0 , 8 v 2 V {0V }
spazio vettoriale
V = (V, h · , · i) spazio vettoriale euclideo
euclideo
U ⇢ V sottospazio vettoriale
3 U = (U, h · , · i|U ⇥U ) sottospazio
sottospazio vettoriale
vettoriale euclideo
euclideo
Esempi 1) V = spazio dei vettori liberi del piano/spazio
Esempi
Esempi:
hv, wi = kvk · kwk · cos vw g (prodotto scalare geometrico)
2) RB n = (Rn , hx, yi = x1 y1 + . . . + xn yn )
BB D T T
spazio vett.
spazio vett. euclideo
euclideo numerico
numerico (prod. scal. canonico)
Prop
Prop.
Prop (Disuguaglianza di Cauchy-Schwarz)
hv, wi2  hv, vihw, wi 8 v, w 2 V spazio vettoriale euclideo
e vale = se e solo se v k w (cioè v e w linearmente dipend.)
Dim ha v + b w, a v + b wi 0 con a = hw, wi e b =
Dim
Dim. hv, wi
2 hw, wi2 hv, vi hw, wihv, wi2 0
2 hv, wi2  hv, vihw, wi se w 6= 0
V = (V, h · , · i) spazio vettoriale euclideo
3 k · k : V ! R normanorma associata a h · , · i
def p
definita v 7! kvk == hv, vi , 8 v 2 V
Note
Note:
Note 1) kvk 0 (e kvk = 0 , v = 0) , 8 v 2 V
2) kv + wk B kvk + kwk (e vale = , v ⇠ w) , 8 v, w 2 V
BB D T T
disuguaglianza triangolare
disuguaglianza triangolare
( kv + wk2 = kvk2 + 2hv, wi + kwk2  (kvk + kwk)2 )
Geometria 1 Spazi vettoriali euclidei/2

3) ka vk = |a| kvk , 8 a 2 R e 8 v 2 V
4) k · k 3 h · , · i ( hv, wi = (kv + wk2 kvk2 kwk2 )/2 )
V = (V, h · , · i) spazio vettoriale euclideo
def
v 2 V versore
versore () kvk = 1
def
v, w 2 V vettori ortogonali
ortogonali (v ? w) () hv, wi = 0
Note 1) v 2 V {0V } 3 v/kvk versore di v ( v 2 (v/kvk, kvk) )
Note
Note:
2) v ? w , kv + wk2 = kvk2 + kwk2 (identità identità pitagorica
identità pitagorica
pitagorica)
def
3) v, w 2 V {0V } 3 < |vw| g = = arccos(hv, wi/(kvk · kwk)) 0
Ռ < < D T T g
misura
misura dell’angolo
dell’angolo convesso
convesso vw
6 h · , · i (= per k h · , · i , k 2 R
4) ? (misura angoli) 3 {0})
Prop V = (V, h · , · i) spazio vettoriale euclideo
Prop
Prop.
3 V ! V ⇤ isomorfismo canonico (indotto da h · , · i)
definito v 7! v > con v > (w) = hv, wi 8 v, w 2 V
Dim h · , · i bilin. definito positivo ) v 7! v > lineare iniettiva
Dim
Dim.
V = (V, h · , · i) spazio vettoriale euclideo
ortogonali (U1 ? U2 )
U1 , U2 ⇢ V sottospazi vettoriali ortogonali
def
() hu1 , u2 i = 0 , 8 u1 2 U1 , u2 2 U2
U ⇢ V sottospazio vettoriale
def
3 U ? == {v 2 V | hu, vi = 0 8 u 2 U } ortogonale
ortogonale di U in V
(sottospazio vettoriale massimale ortogonale ad U )
Prop
Prop.
Prop V = (V, h · , · i) spazio vettoriale euclideo
U ⇢ V sottospazio vettoriale ) V = U U ?
3 ⇡U : V ! U proiezione ortogonale (v = u + u? 7! u)
proiezione ortogonale
riflessione rispetto a U (v = u + u? 7! u
U : V ! V riflessione u? )
Dim h · , · i definito positivo ) U \ U ? = {0V }
Dim
Dim.
(U ? )> = Nil U ) dim U ? = dim V dim U
Note 1) U $B U ? : {sottosp. vett. di V } $ {sottosp. vett. di V }
Note
Note:
BB D T T >
dualità euclidea
dualità euclidea ($ dualità lineare)
Geometria 1 Spazi vettoriali euclidei/3

2) ? = involuzione ((U ? )? = U , 8 U ⇢ V sottosp. vett.)

3) U ⇢ V sottospazio vettoriale, dim U ? = dim V dim U
4) U1 , U2 ⇢ V sottospazi vettoriali, U1 ⇢ U2 , U1? U2?
5) U1 , . . . , Un ⇢ V sottospazi vettoriali,
(U1 \ . . . \ Un )? = U1? + . . . + Un?
(U1 + . . . + Un )? = U1? \ . . . \ Un?
Basi
Basi ortonormali
ortonormali
{v1 , . . . , vn } ⇢ V spazio vettoriale euclideo
def
insieme
insieme ortogonale
ortogonale () vi 6= 0 e vi ? vj , 8 i 6= j
def
insieme ortonormale
insieme ortonormale () kvi k = 1 e vi ? vj , 8 i 6= j

Note
Note:
Note 1) {v1 , . . . , vn } ortogonale ) linearmente indipendente
(ortog. , hvi i ⇢ hv1 , . . . , vi 1 , vi+1 , . . . , vn i? 8 i = 1, . . . , n)
2) {v1 , . . . , vn } ortogon. 3 {v1 /kv1 k, . . . , vn kvn k} ortonorm.
3) teorema di Sylvester ) 9 base ortonormale di V
4) {v1 , . . . , vn } base ortonormale di V
, {v1⇤ , . . . , vn⇤ } = {v1> , . . . , vn> } in V ⇤
Pn
, v = i=1 hv, vi i vi 8 v 2 V (componenti = proiezioni)
5) ? 3 h · , · i a meno di fattore k 2 R {0} (3 mis. angoli)
(h · , · i0 altro prodotto scalare che induce stessa relaz. ?
{v1 , . . . , vn } base ortonor. per h · , · i ) ortogon. per h · , · i0
) hvi , vi i0 = ki i,j 3 hvi + vj , vi vj i0 = 0 ) ki = kj )
Prop (Metodo di ortonormalizzazione di Gramm-Schmidt)
Prop
Prop.
V spazio vettoriale euclideo, {v1 , . . . , vn } ⇢ V lin. indip.
3 {w1 , . . . , wn } ⇢ V unico insieme ortonormale
t.c. 1) hw1 , . . . , wi i = hv1 , . . . , vi i per ogni 1  i  n
2) hvi , wi i > 0 per ogni i = 1, . . . , n
Dim wi definito per induzione a partire da w1 = v1 /kv1 k
Dim
Dim.
P
i > 1 3 ui = vi j<i hvi , wj i wj 3 wi = ui /kui k

Nota {v1 , . . . , vk } ortonormale ) w1 = v1 , . . . , wk = vk

Nota
Nota:
Geometria 1 Spazi vettoriali euclidei/4
Corol V spazio vettoriale euclideo di dimensione n
Corol
Corol.
{v1 , . . . , vk } ⇢ V {0V } insieme ortonormale
3 {v1 , . . . , vn } ⇢ V {0V } base ortonormale
0
Dim
Dim.
Dim {v1 , . . . , vk } lin. ind. 3 {v1 , . . . , vk , vk+1 , . . . , vn0 } base
3 {v1 , . . . , vn } base ortonormale (Gramm-Schmidt + nota)
Applicazioni lineari
Applicazioni lineari isometriche
isometriche
' : V ! W con V, W spazi vettoriali euclidei
def
isometrica () h'(v1 ), '(v2 )i = hv1 , v2 i , 8 v1 , v2 2 V
appl. lineare isometrica
() k'(v)k = kvk , 8 v 2 V (k · k 3 h · , · i)
def
isometria
isometria (lineare)
(lineare) () ' isometrica e biiettiva
def
V 5B W () 9 ' : V ! W isometria
BB D T T
spazi vettoriali euclidei isomorfi isometrici
isomorfi o isometrici
Note
Note:
Note 1) ' : V ! W appl. lineare isometrica ) ' iniettiva
2) ' : V ! W appl. isom. ) 'U : U ! '(U ) appl. isom.
3) ' : V ! W isometria , ' isometrica e dim V = dim W
4) idV : V ! V , incl U ⇢V : U ! V e U : V ! V sono isom.
5) ' : V ! W e : W ! U isom. ) a ' : V ! U isom.
6) ' : V ! W isometria ) ' 1 : W ! V isometria
BB D T 0T
5 “relazione di equivalenza” tra spazi vettoriali euclidei
Prop
Prop.
Prop ' : V ! W appl. lineare con V, W spazi vettoriali euclidei
isometrica , 9 {v1 , . . . , vn } ⇢ V base ortonormale tale che
{'(v1 ), . . . , '(vn )} ⇢ W insieme ortonormale
, 8 {v1 , . . . , vn } ⇢ V base ortonormale si ha
{'(v1 ), . . . , '(vn )} ⇢ W insieme ortonormale
Dim
Dim {v1 , . . . , vn } ⇢ V e {'(v1 ), . . . , '(vn )} ⇢ W ortonormali
Dim.
2
Pn 2 2
Pn
) k'(v)k = i=1 |ai | = kvk , 8 v = i=1 ai vi 2 V
Corol
Corol.
Corol V 5 W , dim V = dim W
Nota ' : Rn ! Rm appl. lineare isometrica
Nota
Nota:
, '(x) = M · x con M 2 Mm,n R t.c. M ⇤ · M = In
Geometria 1 Spazi vettoriali euclidei/5

V spazio vettoriale euclideo

B = (v1 , . . . , vn ) base ortonorm. ord. di V 2 B : V ! Rn isom.
v $ B (v) = (x1 , . . . , xn ) coordinate
coordinate lineari
lineari ortogonali
ortogonali su V
B 0 altra base orton. ord. di V 3 B,B 0 = B 0 a B 1 : Rn ! Rn isom.
0 0
B,B 0 : (x1 , . . . , xn ) 7! (x1 , . . . , xn ) camb.
camb. di
di coordinate
coordinate ortogonali
ortogonali
Note
Note:
Note 1) v $ x = (x1 , . . . , xn ) , w $ y = (y1 , . .p
. , yn )
) hv, wi = x1 y1 + . . . + xn yn , kvk = x21 + . . . + x2n
2) U ⇢ V sottosp. vett., U : A · x = 0 3 U ? : x = A⇤ · t
U : x = M · t 3 U ?: M ⇤ · x = 0
3) U1 , U2 ⇢ V sottosp. vett., Ui : Ai · x = 0 , x = Mi · t
U1 ? U2 , rg(A⇤i |Mj ) = rg A⇤i , Mi⇤ · Mj = 0
Automorfismi isometrici
Automorfismi isometrici
V spazio vettoriale euclideo
IsoB 0 V = {' 2 Aut V | ' isometria} ⇢ Aut V (sottogr. non norm.)
BB D T T
gruppo
gruppo delle
delle isometrie
isometrie (lineari)
(lineari) di V
IsoB + V = {' 2 Iso0 V | ' cons. orient.} ⇢ Iso0 V (sottogr. norm.)
BB D 0T T
gruppo delle
gruppo delle isometrie
isometrie (lineari)
(lineari) positive
positive di V

B = (v1 , . . . , vn ) base ortonormale ordinata di V

def
3 Iso0 V 5 Iso0 Rn iso def. ' $ < 'B == 'B,B = B a ' a B 1
ŒÕ< < D T T ' in coord. lineari indotte da B
1
Nota B 0 altra base ortonorm. ord. di V 3 'B 0 =
Nota
Nota: B,B 0 a 'B a B,B 0
def
Iso0 Rn 5 O(n)
BBB == {M 2 GL(n, R) | M 1 = M ⇤ } ⇢ GL(n, R)
D T T gruppo
gruppo ortogonale
ortogonale (M matrice
matrice ortogonale
ortogonale)
ortogonale
def
Iso+
0 R 5 SO(n)
n
BBB == {M 2 O(n) | det M = 1} ⇢ O(n) (sottogr. nor.)
D T T gruppo
gruppo ortogonale
ortogonale speciale
speciale o gruppo delle rotazioni
rotazioni

Note 1) {v1 , . . . , vn } ⇢ Rn base ortonormale , (v1 . . . vn ) 2 O(n)

Note
Note:
2) M 2 O(n) ) det M = ±1 ((det M )2 = det(M ⇤ · M ) = 1)
3) B, B 0 ⇢ Rn basi orton. ) MB,B 0 = (hwi , vj i)j=1,...,n
i=1,...,n 2 O(n)
Geometria 1 Spazi vettoriali euclidei/6

4) V spazio vettoriale euclideo orientato, dim V = n

def
v1 , . . . , vn 2 V 3 < Vol(v1 , . . . , vn ) == det( B (v1 ) . . . B (vn ))
ŒÕ< < D T T volume euclideo orientato
volume euclideo orientato
Prop ' 2 Iso0 V con V spazio vettoriale euclideo
Prop
Prop.
3 V = V1 V 1 V↵1 . . . V↵k sottosp. ortog. invar. per '
con V±1 = autosp. dell’autoval. ±1 (= {0V } altrimenti)
dim V↵i = 2, '| : V↵i ! V↵i rotazione di ↵i radianti
Dim
Dim.
Dim per induzione su dim V = n 1 (n  2 banale)
V = Rn , '(x) = M · x con M 2 O(n)
k 2 C soluzione dell’equaz. caratteristica det(M t In ) = 0
k 2 R ) k = ±1 autoval. di ' con x 2 Rn autovettore
) Rn = hxi U sottospazi invarianti per '
con U = hxi? () dim U = n 1)
k2/ R 3 k soluzione dell’equaz. caratteristica
3 z 2 Cn {0} tale che M · z = k z e M · z = k z
3 x, y 2 Rn linearmente indipendenti con z = x + y i
) Rn = hx, yi U sottospazi invarianti per '
con '| : hx, yi ! hx, yi rotazione
e U = hx, yi? () dim U = n 2)
Corol 8 ' 2 Iso0 V con V spazio vettoriale euclideo
Corol
Corol.
9 B = (v1 , . . . , vn ) base ortonormale ordinata di V
t.c. M ('B ) 2 O(n) matrice diagonale a blocchi
con blocchi univoc. determ. a meno dell’ordine
⇣ ⌘
cos ↵ sin ↵
del tipo (±1) e con ↵ 6= 0, ⇡
sin ↵ cos ↵
Dim basi ortonormali di V1 , V 1 , V↵1 , . . . , V↵k 3 B
Dim
Dim.
autovalori di ' 3 blocchi a meno dell’ordine
Note 1) ' 2 Iso+
Note
Note: 0 V ) ' = comp. di rotazioni
rotazioni (una se dim V  3)
( I2 = rotazione di ⇡ radianti 3 V 1 = {0V })
2) ' 2 Iso0 V ) ' = comp. di riflessioni
riflessioni (V = V1 V 1 )
(ogni rotazione è composizione di due riflessioni)
Geometria 1 Spazi vettoriali euclidei/7
Similitudini lineari
Similitudini lineari

V spazio vettoriale euclideo

BBB 0 V = {k ' 2 Aut V | k 2 R {0} , ' 2 Iso0 V } ⇢ Aut V

Sim
D T T gruppo
gruppo delle
delle similitudini
similitudini (lineari)
(lineari) di V
+
Sim
BBB 0 V = {' 2 Sim0 V | ' cons. orient.} ⇢ Sim0 V (sottogr. norm.)
D T T gruppo
gruppo delle
delle similitudini
similitudini (lineari)
(lineari) positive
positive di V

Note 1) Sim0 V = {' 2 Aut V | |'(v1h

Note
Note: )'(v2 )| = |vh
1 v2 | 8 v1 , v2 2 V }
= {' 2 Aut V | '(v1 ) ? '(v2 ) 8 v1 ? v2 2 V }
2) Iso0 V ⇢ Sim0 V , Iso+ +
0 V ⇢ Sim0 V sottogruppi normali

Forme
Forme bilineari
bilineari ee operatori
operatori simmetrici
simmetrici
V spazio vettoriale euclideo
simmetrico
' 2 End V operatore simmetrico
def
() h'(v), wi = hv, '(w)i , 8 v, w 2 V
Nota ' 2 End V operatore simmetrico
Nota
Nota:
, 9 B base ortonorm. ord. di V t.c. M ('B ) mat. simm.
, 8 B base ortonorm. ord. di V si ha M ('B ) mat. simm.

Esempi
Esempi:
Esempi 1) ⇡U : V ! V (proiez. ortog. su U ⇢ V ) operatore simm.
2) U : V ! V (rifles. risp. ad U ⇢ V ) operatore simm.
3) rotazioni di angoli ↵ 6= 0, ⇡ non sono operatori simm.
Prop ' 2 End V oper. simm. con V spazio vett. euclideo
Prop
Prop.
) tutti gli zeri di p' (t) = det(' t idV ) sono reali
def
3 sp ' H == (k1 , . . . , kn ) con k1 . . . kn autovalori di '
H H H—
§ T T spettro
spettro di '
Dim V = Rn , '(x) = M · x con M 2 Mn,n
Dim
Dim. sim
R
k 2 C zero di pM (t) = det(M t In ) 3 k zero di pM (t)
3 z 2 Cn {0} tale che M · z = k z e M · z = k z
) z ⇤ · M · z = k |z| e z ⇤ · M · z = k |z| ) k = k ) k 2 R
Geometria 1 Spazi vettoriali euclidei/8
Teorema spettrale
Teorema spettrale
' 2 End V oper. simm. con V spazio vett. euclideo
) 9 B = (v1 , . . . , vn ) base ortonormale ordinata di V t.c.
M ('B ) = Diag(k1 , . . . , kn ) ('(vi ) = ki vi 8 i = 1, . . . , n)
Dim per induzione su dim V = n 1 (n = 1 banale)
Dim
Dim.
3 v1 2 V autovettore per ' t.c. kv1 k = 1 ( 9 per il lemma)
) U = hv1 i? ⇢ V sottosp. vett. invariante per '
3 = '| : U ! U con dim U = n 1
3 B 0 = (v2 , . . . , vn ) base ortonorm. di U t.c. M ( B 0 ) diag.
) B = (v1 , . . . , vn ) base ortonorm. di V t.c. M ('B ) diag.
Nota
Nota:
Nota per ogni A 2 Mn,n sim
R esiste M 2 O(n) tale che
A = M · D · M 1 e D = M ⇤ · A · M (equiv. + congr.)
D = Diag(k1 , . . . , kn ) con (k1 , . . . , kn ) = sp(x 7! A · x)
Corol
Corol
Corol. 2 Bil V simmetrica con V spazio vett. euclideo
) 9 B = (v1 , . . . , vn ) base ortonormale ordinata di V t.c.
M ( B ) = Diag(k1 , . . . , kn ), (k1 , . . . , kn ) = sp(x 7! A · x)
con A = mat. di risp. base ortonormale arbitraria
Nota
Nota
Nota: 2 Bil Rn simmetrica, (x, y) = x⇤ · A · y
pA (t) 3 rg e pos (teorema di Cartesio)
Spazi vettoriali euclidei complessi
V spazio vettoriale complesso di dimensione finita
: V ⇥ V ! C forma
forma sesquilineare
sesquilineare
def
() 1) (v1 + v2 , w) = (v1 , w) + (v1 , w) , 8 v1 , v2 , w 2 V
(a v, w) = a (v, w) , 8 a 2 C e 8 v, w 2 V
2) (v, w1 + w2 ) = (v, w1 ) + (v, w2 ), 8 v, w1 , w2 2 V
(v, a w) = a (v, w) , 8 a 2 C e 8 v, w 2 V
: V ⇥ V ! C forma
forma hermitiana
hermitiana
def
() forma sesquilineare t.c. (w, v) = (v, w) , 8 v, w 2 V
() (v, v) 2 R , 8 v 2 V )
Geometria 1 Spazi vettoriali euclidei/9
Note 1)
Note
Note: : Cn ⇥ Cn ! C forma sesquilineare
, (x, y) = x⇤ · A · y con A 2 Mn,n C
2) : Cn ⇥ Cn ! C forma hermitiana
, (x, y) = x⇤ · A · y con A⇤ = A (matrice
matrice
matrice hermitiana
hermitiana)
hermitiana
h · , · i : V ⇥ V ! C prodotto
prodotto scalare
scalare hermitiano
hermitiano
def
() forma hermitiana t.c. hv, vi > 0 , 8 v 2 V {0V }
V = (V, h · , · i) spazio
spazio vettoriale
vettoriale euclideo
euclideo complesso
complesso
Esempio CB n = (Cn , hx, yi = x1 y1 + . . . + xn yn )
Esempio
Esempio:
BB D T T
spazio vett.
spazio vett. euclideo
euclideo complesso
complesso numerico
numerico
Prop
Prop.
Prop (Disuguaglianza di Cauchy-Schwarz)
|hv, wi|2  hv, vihw, wi 8 v, w 2 V spazio vett. euclideo compl.
e vale = se e solo se v k w (cioè v e w linearmente dipend.)
Dim
Dim.
Dim ha v + b w, a v + b wi 0 con a = hw, wi e b = hv, wi
2 hw, wi2 hv, vi hw, wi|hv, wi|2 0
2 |hv, wi|2  hv, vihw, wi se w 6= 0
V = (V, h · , · i) spazio vettoriale euclideo complesso
3 k · k : V ! R normanorma associata a h · , · i
def p
definita v 7! kvk == hv, vi , 8 v 2 V
Note 1) kvk 0 (e kvk = 0 , v = 0) , 8 v 2 V
Note
Note:
2) ka vk = |a| kvk , 8 a 2 C e 8 v 2 V
3) kv + wk B kvk + kwk (e vale = , v ⇠ w) , 8 v, w 2 V
BB D T T
disuguaglianza triangolare
disuguaglianza triangolare
( kv + wk2 = kvk2 + 2|hv, wi| + kwk2  (kvk + kwk)2 )
V = (V, h · , · i) spazio vettoriale euclideo complesso
def
versore () kvk = 1
v 2 V versore
def
v, w 2 V vettori ortogonali
ortogonali (v ? w) () hv, wi = 0
Note 1) v 2 V {0V } 3 v/kvk versore di v ( v 2 (v/kvk, kvk) )
Note
Note:
2) v ? w , kv + wk2 = kvk2 + kwk2 (identità
identità pitagorica
identità pitagorica
pitagorica)
Geometria 1 Spazi vettoriali euclidei/10

V = (V, h · , · i) spazio vettoriale euclideo complesso

U ⇢ V sottosp. vett. 3 U = (U, h · , · i|U ⇥U ) sottosp. vett. eucl. compl.
U1 , U2 ⇢ V sottospazi vettoriali ortogonali
ortogonali (U1 ? U2 )
def
() hu1 , u2 i = 0 , 8 u1 2 U1 , u2 2 U2
U ⇢ V sottospazio vettoriale
def
3 U ? == {v 2 V | hu, vi = 0 8 u 2 U } ortogonale
ortogonale di U in V
(sottospazio vettoriale massimale ortogonale ad U )
Prop
Prop.
Prop V = (V, h · , · i) spazio vettoriale euclideo complesso
U ⇢ V sottospazio vettoriale ) V = U U ?
3 ⇡U : V ! U proiezione ortogonale (v = u + u? 7! u)
proiezione ortogonale
riflessione rispetto a U (v = u + u? 7! u
U : V ! V riflessione u? )
Dim come nel caso reale
Dim
Dim.
Note 1) U $B U ? : {sottosp. vett. di V } $ {sottosp. vett. di V }
Note
Note:
BB D T T
dualità euclidea
dualità compl. ((U ? )? = U 3 ? = invol.)
euclidea compl.
2) U ⇢ V sottospazio vettoriale, dim U ? = dim V dim U
3) U1 , U2 ⇢ V sottospazi vettoriali, U1 ⇢ U2 , U1? U2?
4) U1 , . . . , Un ⇢ V sottospazi vettoriali,
(U1 \ . . . \ Un )? = U1? + . . . + Un?
(U1 + . . . + Un )? = U1? \ . . . \ Un?
{v1 , . . . , vn } ⇢ V spazio vettoriale euclideo complesso
def
insieme ortogonale
insieme ortogonale () vj 6= 0 e vj ? vk , 8 j 6= k
def
insieme ortonormale
insieme ortonormale () kvj k = 1 e vj ? vk , 8 j 6= k
Note 1) {v1 , . . . , vn } ortogonale ) linearmente indipendente
Note
Note:
2) {v1 , . . . , vn } ortogon. 3 {v1 /kv1 k, . . . , vn kvn k} ortonorm.
Prop
Prop.
Prop (Metodo di ortonormalizzazione di Gramm-Schmidt)
V spazio vett. euclideo compl., {v1 , . . . , vn } ⇢ V lin. indip.
3 {w1 , . . . , wn } ⇢ V insieme ortonormale (non unico)
t.c. hw1 , . . . , wj i = hv1 , . . . , vj i per ogni 1  j  n
Dim come nel caso reale
Dim
Dim.
Geometria 1 Spazi vettoriali euclidei/11
Note 1) wj univoc. determ. a meno di fattore
Note
Note: fattore ei#j 2 C
2) {v1 , . . . , vk } ortonormale 3 w1 = v1 , . . . , wk = vk
Corol
Corol.
Corol V spazio vett. euclideo compl. di dimensione n
{v1 , . . . , vk } ⇢ V {0V } insieme ortonormale
3 {v1 , . . . , vn } ⇢ V {0V } base ortonormale
Dim come nel caso reale
Dim
Dim.
Nota {v1 , . . . , vn } ⇢ V base ortonormale
Nota
Nota:
Pn
, v = j=1 hv, vj i vj 8 v 2 V
, vj⇤ = ⇡hvj i 8 j = 1, . . . , n (componenti = proiezioni)
' : V ! W con V, W spazi vettoriali euclidei complessi
def
isometrica () h'(v1 ), '(v2 )i = hv1 , v2 i , 8 v1 , v2 2 V
appl. lineare isometrica
def
isometria (lineare)
isometria (lineare) () ' isometrica e biiettiva
def
V 5B W () 9 ' : V ! W isometria
BB D T T
spazi vett. euclidei compl. isomorfi
isomorfi o isometrici
isometrici
Prop
Prop.
Prop ' : V ! W appl. lineare con V, W spazi vett. euclidei compl.
isometrica , 9 {v1 , . . . , vn } ⇢ V base ortonormale tale che
{'(v1 ), . . . , '(vn )} ⇢ W insieme ortonormale
, 8 {v1 , . . . , vn } ⇢ V base ortonormale si ha
{'(v1 ), . . . , '(vn )} ⇢ W insieme ortonormale
Dim
Dim.
Dim come nel caso reale
Corol
Corol.
Corol V 5 W , dim V = dim W
Nota ' : Cn ! Cm appl. lineare isometrica
Nota
Nota:
, '(x) = M · x con M 2 Mm,n C t.c. M ⇤ · M = In
V spazio vettoriale euclideo complesso
B = (v1 , . . . , vn ) base ortonorm. ord. di V 2 B : V ! Cn isom.
v $ B (v) = (x1 , . . . , xn ) coordinate
coordinate lineari
lineari ortogonali
ortogonali su V
B 0 altra base orton. ord. di V 3 B,B 0 = B 0 a B 1 : Cn ! Cn isom.
0 0 camb. di
di coordinate
coordinate ortogonali
ortogonali
B,B 0 : (x1 , . . . , xn ) 7! (x1 , . . . , xn ) camb.
Geometria 1 Spazi vettoriali euclidei/12
B
x = (x1 , . . . , xn ) , w $ y 0 = (y1 , . . . , yn )
B
Nota v $
Nota
Nota:
p
) hv, wi = x1 y1 + . . . + xn yn , kvk = |x1 |2 + . . . + |xn |2
V spazio vettoriale euclideo complesso
IsoB 0 V = {' 2 Aut V | ' isometria} ⇢ Aut V (sottogr. non norm.)
BB D T T
gruppo
gruppo delle
delle isometrie
isometrie (o automorfismi
automorfismi unitari
unitari)
unitari di V
B = (v1 , . . . , vn ) base ortonormale ordinata di V
def
3 Iso0 V 5 Iso0 Cn iso def. ' $ < 'B == 'B,B = B a ' a B 1
ŒÕ< < D T T ' in coord. lineari indotte da B
1
Nota B 0 altra base ortonorm. ord. di V 3 'B 0 =
Nota
Nota: B,B 0 a 'B a B,B 0
def
Iso0 Cn 5 U(n)
BBB == {M 2 GL(n, C) | M 1 = M ⇤ } ⇢ GL(n, C)
D T T gruppo
gruppo unitario
unitario (M matrice
matrice unitaria
unitaria)
unitaria
Note 1) {v1 , . . . , vn } ⇢ Cn base ortonormale , (v1 . . . vn ) 2 U(n)
Note
Note:
2) M 2 U(n) ) |det M | = 1 (|det M |2 = det(M ⇤ · M ) = 1)
3) B, B 0 ⇢ Cn basi orton. ) MB,B 0 = (hwj , vk i)k=1,...,n
j=1,...,n 2 U(n)

Prop
Prop.
Prop 8 ' 2 Iso0 V con V spazio vett. euclideo complesso
9 B = (v1 , . . . , vn ) base ortonormale ordinata di V
tale che M ('B ) 2 Diag(ei#1 , . . . , ei#n )
Dim per induzione su dim V = n 1 (n = 1 banale)
Dim
Dim.
V = Cn , '(x) = M · x con M 2 U(n)
k 2 C autovalore di ' ) |k| = 1
3 k = ei# , x 2 Cn {0} t.c. '(x) = ei# x
) Cn = hxi U sottospazi invarianti per '
con U = hxi? () dim U = n 1)
Nota Rn ⇢ Cn $ R2n 3 O(n) ⇢ U(n) ⇢ SO(2n)
Nota
Nota:
(prod. hermit. di Cn si restringe al prod. scalare di Rn ⇢ Cn
norma hermit. di Cn coincide con la norma di R2n $ Cn )
V spazio vettoriale euclideo complesso
hermitiano
' 2 End V operatore hermitiano
def
() h'(v), wi = hv, '(w)i , 8 v, w 2 V
Geometria 1 Spazi vettoriali euclidei/13
Note 1) ' 2 End Cn operatore hermitiano , '(x) = M · x
Note
Note:
con M 2 Mn,n C t.c. M ⇤ = M (matrice
matrice hermitiana
matrice hermitiana
hermitiana)
2) ' 2 End V operatore hermitiano
, 9 B base ortonorm. ord. di V t.c. M ('B ) mat. hermit.
, 8 B base ortonorm. ord. di V si ha M ('B ) mat. hermit.
Prop ' 2 End V oper. herm. con V sp. vett. eucl. compl.
Prop
Prop.
) tutti gli autovalori k1 . . . kn di ' sono reali
def
cioè sp ' == (k1 , . . . , kn ) 2 Rn (spettro
spettro di ')
spettro
Dim
Dim.
Dim come nel caso reale
Teorema spettrale
Teorema spettrale
' 2 End V oper. hermitiano con V sp. vett. eucl. compl.
) 9 B = (v1 , . . . , vn ) base ortonorm. ord. di V tale che
M ('B ) = Diag(k1 , . . . , kn ) ('(vi ) = ki vi 8 i = 1, . . . , n)
Dim come nel caso reale
Dim
Dim.