Un -espace vectoriel est un ensemble muni d’une addition faisant de un groupe abélien (de neutre noté ou ), et d’une multiplication externe telle que, pour tous et :
Conséquences : , , , et ou (multiplier par ).
Exemples
Exemple 18.2
(opérations coordonnée par coordonnée) ; les polynômes ; les fonctions d’un ensemble quelconque dans (opérations point par point) — qui contient les fonctions continues, les suites , etc. ; comme -espace vectoriel. Dans chaque cas, les axiomes sont hérités de ceux de .