2. Sommes directes, bases
• Sommes directes
Soit (Ei)i∈I une famille d'espaces vectoriels sur K. Dans l'espace vectoriel :


Soit, en particulier, E un espace vectoriel sur K, soit (Ei)i∈I une famille de sous-espaces vectoriels de E, et U l'application linéaire de la somme directe de cette famille dans E qui à tout élément (xi)i∈I associe l'élément :

Alors l'image de U est la somme :


Ainsi, pour que U soit surjective, il faut et il suffit que :

… pour nos abonnés, l'article se prolonge sur 19 pages…



