Uno spazio vettoriale è una struttura algebrica definita a partire da un insieme di vettori, da un campo di scalari e da due operazioni binarie, dette somma tra vettori e prodotto di un vettore per uno scalare, che devono soddisfare determinate proprietà.