Formula di Grassmann

Sia V uno spazio vettoriale su un campo K, e siano U, W ⊆ V sottospazi.

Ricordo che

U ∩ W è un sottospazio;

U ∪ W in generale non è un sottospazio di V;

si definisce
U + W = {v ∈ V | ∃u ∈ U, ∃w ∈ W con v = u + w}
e si verifica che questo è un sottospazio (ed è il più piccolo sottospazio
contenente sia U che W);

si parla di somma diretta (e si scrive U ⊕ W al posto di U + W) quando

U ∩ W = {0}.

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 1/8
TEOREMA (Formula di Grassmann) - Sia V uno spazio vettoriale f.g. su un
campo K, e siano X, Y ⊆ V sottospazi. Si ha:
dim X + dim Y = dim(X ∩ Y) + dim(X + Y).
Dimostrazione. Anzitutto tutti gli spazi coinvolti sono f.g. perchè lo è V.
Sia dim(X ∩ Y) = i.

Se i = 0, cioè X ∩ Y = {0} siano {x1 , . . . xr } una base di X, e

{y1 , . . . , ys } una base di Y.

Se i ≥ 1, sia {v1 , . . . , vi } una base di X ∩ Y. I vettori v1 , . . . , vi sono l.i.,

quindi, per il teorema di completamento della base, ∃xi+1 , . . . , xr tali che
{v1 , . . . , vi , xi+1 , . . . , xr } sia base di X e ∃yi+1 , . . . , ys tali che
{v1 , . . . , vi , yi+1 , . . . , ys } sia base di Y.

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 2/8
In ogni caso abbiamo
dim X = r, dim Y = s, dim X ∩ Y = i.
Dobbiamo quindi dimostrare che
dim(X + Y) = r + s − i.

Allo scopo faremo vedere che

B = {v1 , . . . , vi , xi+1 , . . . , xr , yi+1 , . . . , ys }
è base di X + Y.

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 3/8
1) - B è insieme di generatori per X + Y:
X + Y = {v = x + y},
x ∈ X = hv1 , . . . , vi , xi+1 , . . . , xr i, y ∈ Y = hv1 , . . . , vi , yi+1 , . . . , ys i
⇒ x + y ∈ hv1 , . . . , vi , xi+1 , . . . , xr , yi+1 , . . . , ys i ⇒ 1).

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 4/8
2) - B è l.i.:

(?)α1 v1 + · · · + αi vi + βi+1 xi+1 + · · · + βr xr + γi+1 yi+1 + · · · + γs ys = 0

⇒
α1 v1 + · · · + αi vi + βi+1 xi+1 + · · · + βr xr = −γi+1 yi+1 · · · − γs ys .
Il I membro è un vettore di X, mentre il II membro è un vettore di Y, quindi
entrambi appartengono a X ∩ Y. In particolare il II membro può essere
espresso come combinazione lineare di elementi della sua base di X ∩ Y:
−γi+1 yi+1 · · · − γs ys = δ1 v1 + · · · + δi vi
⇒

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 5/8
 δ1 v1 + · · · + δi vi + γi+1 yi+1 + · · · + γs ys = 0

v1 , . . . , vi , yi+1 , . . . , ys costituiscono una base di Y (quindi l.i.)

⇒
δ1 = · · · = δi = 0, γi+1 = · · · = γs = 0.
Quindi la (?) diviene
α1 v1 + · · · + αi vi + βi+1 xi+1 + · · · + βr xr = 0
v1 , . . . , vi , xi+1 , . . . , xr base di X (quindi l.i.)
⇒
α1 = · · · = αi = 0, βi+1 = · · · = βs = 0
⇒ tutti i coefficienti nella (?) sono necessariamente 0 ⇒ 2).

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 6/8
COROLLARIO - Sia V uno spazio vettoriale f.g. su un campo K, e siano
X, Y ⊆ V tali che X + Y = X ⊕ Y (ossia X ∩ Y = {0}).
Si ha
dim(X ⊕ Y) = dim X + dim Y.

OSSERVAZIONE - L’ipotesi che V sia f.g. nel teorema (e nel corollario) non
è necessaria. Basta chiedere che X e Y lo siano. In tal caso infatti anche X ∩ Y
è f.g. (come sottospazio di X, ad esempio) ed anche X + Y lo è, dal momento
che si può ottenere un sistema di generatori di X + Y prendendo tutti i
generatori di X e di Y.

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 7/8
ESEMPI. Sia V = VectO (E3 )
1) Siano r, s rette per O distinte tra loro. Sia X = VectO (r), Y = VectO (s). Si
ha X ∩ Y = {0}.
Abbiamo visto che il sottospazio somma X ⊕ Y corrisponde allo spazio dei
vettori per O che giacciono sul piano π che contiene r e s: X + Y = VectO (π).
Si ha: 1 + 1 = dim X + dim Y = dim(X ⊕ Y) = 2.
2) Siano α, β piani per O distinti tra loro e sia r = α ∩ β.
Sia X = VectO (α), Y = VectO (β). Si ha X + Y = V e X ∩ Y = VectO (r).
Si ha: 2 + 2 = dim X + dim Y = dim(X ∩ Y) + dim(X + Y) = 1 + 3.

a cura dei docenti del corso (2019/2020) GEOMETRIA 1 - Corso di Laurea in Fisica 8/8