Sia $\mathbb{K}$ un campo:
Uno spazio vettoriale $\mathcal{V}$ su $\mathbb{K}$ è un insieme $V$, i cui elementi $v \in V$ sono detti vettori, dotato di due operazioni Somma Vettoriale $(+)$, Prodotto per Scalare $(\cdot )$.
$$ \mathcal{V} = (V,\mathbb{K} ,+,\cdot) $$
$\mathcal{V}$ = Spazio vettoriale sul campo $\mathbb{K}$
$V$ = Insieme dei vettori
$\mathbb{K}$ = campo degli scalari
$(+)$ = Somma Vettoriale
$( \cdot )$ = Prodotto per Scalare
$V \ni v$ = Vettore
Dalla definizione ne deriva che su uno spazio vettoriale $\mathcal{V}$ varranno le seguenti proprietà.
Per la somma vettoriale valgono le proprietà di $(V,+)$ gruppo commutativo, quindi: