Espacio vectorial কী?

Un $K$-espacio vectorial es un conjunto $E$ con una suma que hace de $(E, +)$ un grupo abeliano (con cero escrito $0_E$ o $0$) y una multiplicación por escalares $K \times E \to E$ tal que, para todos $\lambda, \mu \in K$ y $x, y \in E$:

Consecuencias: $0\,x = 0_E$, $\lambda\,0_E = 0_E$, $(-1)x = -x$ y $\lambda x = 0_E \implies \lambda = 0$ o $x = 0_E$ (multiplíquese por $\lambda^{-1}$).