Teorema 4.12.1
(Relazione di Grassmann) Se
e
sono sottospazi vettoriali di uno spazio vettoriale
di dimensione finita, allora
Osservazione 4.12.2
Da quanto detto si deduce che se
è una base di
e
è una base di
, allora
è un sistema di generatori di
, dal quale si può estrarre una base di
prendendo un sistema massimale di vettori linearmente indipendenti.
Definizione 4.12.3
Dati
e
sottospazi vettoriali la somma
si dice diretta se
e si indica con
In particolare si ha
0 commenti :
Posta un commento