1. Définition d'un K-espace vectoriel
Soit ou . Un -espace vectoriel est un ensemble muni d'une addition et d'une multiplication externe telles que :
- est un groupe commutatif (associativité, neutre , opposés, commutativité) ;
- pour et : , , , .
- Conséquences : , , , et .
- Exemples : , , , l'ensemble des fonctions de dans , l'ensemble des suites réelles.