Un espace vectoriel est un ensemble muni d'une structure permettant d'effectuer des combinaisons linéaires.

Étant donné un corps K, un espace vectoriel E sur K est un groupe commutatif (dont la loi est notée +) muni d'une action « compatible » de K (au sens de la définition ci-dessous). Les éléments de E sont appelés vecteurs, et les éléments de K des scalaires.