Définition -- Somme de sous-espaces
Pour un -espace vectoriel, et , on définit la somme de et par
Proposition
La somme de et forme un espace vectoriel
Proposition
L’intersection de et notée forme un espace vectoriel
Définition -- Somme directe
On dit que la somme de sous-espaces vectoriels et est directe si
On note cela