Teorema. Formula di Graßmann Siano W1 , W2 < V .

Allora

dim(W1 + W2 ) = dim(W1 ) + dim(W2 ) − dim(W1 ∩ W2 )

Proof.Considero il sottospazio W1 ∩ W2 di V e una sua base S = {v1 , . . . , vr }. Completo S ad una base

S1 = S ∪ {w1 , . . . , wp } di W1 e S2 = S ∪ {u1 , . . . , uq } di W2 . Verifico che i vettori {vj } ∪ {wj } ∪ {uj } sono
linearmente indipendenti. Pongo
r
X p
X q
X
λ j vj + µj wj + ρj uj = 0 (1)
j=1 j=1 j=1

per opportuni λj , µj , ρj non tutti nulli. Pongo

r
X
v := λ j vj
j=1
Xp
w := µj wj
j=1
Xq
u := ρj uj
j=1

Dal fato che 0 = v + w + u segue che u = −v − w, dunque u ∈ W1 ∩ W2 , di conseguenza ∃α1 , . . . , αr t.c.

r
X
u= αj vj .
j=1

Sostituendo in (1) si ottiene

r
X p
X
(λj + αj )vj + µj wj = 0
j=1 j=1

e, dato che {vj } ∪ {wj } è una base di W1 , i vettori sono linearmente indipendenti, quindi µj = 0∀j. Da
questo segue che:
X r Xp
λj vj + ρj uj = 0.
j=1 j=1

Dato che {vj } ∪ {uj } è una base di W2 , i vettori sono lienarmente indipendenti, e quindi λj = µi = 0∀i, j.
Resta da dimostrare che {vj } ∪ {wj } ∪ {uj } generano W1 + W2 . Preso x ∈ W1 + W2 si ha che
r
X p
X r
X q
X
x= α j vj + βj wj + γ j vj + δj uj
j=1 j=1 j=1 j=1
| {z } | {z }
∈W1 ∈W2 .

Quindi
r
X p
X q
X
x= (αj + γj )vj + µj wj + ρj uj .
j=1 j=1 j=1
 dim(W1 + W2 ) = (r + p) + (r + q) − r
|{z} =
contati 2 volte
= dim(W1 ) + dim(W2 ) − dim(W1 ∩ W2 )

Teorema (del biduale). V ∼

= V vv
Proof.Sia Φ : V → V vv t.v Φ(v) = δv definita come δv : V v → K t.c. δv (f ) = f (v). L’applicazione Φ è
lineare. Prendo λ, µ ∈ K, v, w ∈ V e f ∈ V v qualunque.

δλv+µw (f ) = f (λv + µw) = λf (v) + µf (w) = (δλv + δµw )(f ).

L’applicazione è iniettiva. Per assurdo suppongo che esista v1 ∈ ker(Φ) \ {0}. Sia B = {v1 , v2 , . . . , vn } una
base di V avente v1 come primo elemento e B v = {f1 , f2 , . . . , fn } la corrispondente base duale. Da questo
segue che f1 (v1 ) = 1, ma per ogni f1 ∈ V v risulta f1 (v1 ) = δv1 (f1 ) = Φ(v1 )(f1 ) = 0vv (f1 ) = 0. Assurdo.
ker(Φ) = {0} e quindi Φ è iniettiva, e quindi segue che V ∼ = V vv tramite Φ.