Vectorruimte কী?

Een $K$-vectorruimte is een verzameling $E$ met een optelling die $(E, +)$ tot een abelse groep maakt (nulelement genoteerd $0_E$ of $0$), en een scalaire vermenigvuldiging $K \times E \to E$ zodat voor alle $\lambda, \mu \in K$ en $x, y \in E$

Gevolgen: $0\,x = 0_E$, $\lambda\,0_E = 0_E$, $(-1)x = -x$, en $\lambda x = 0_E \implies \lambda = 0$ of $x = 0_E$ (vermenigvuldig met $\lambda^{-1}$).