Ruang vektor কী?

Sebuah ruang vektor atas $K$ adalah himpunan $E$ dengan sebuah penjumlahan yang membuat $(E, +)$ menjadi grup abelian (dengan nolnya ditulis $0_E$ atau $0$), beserta perkalian skalar $K \times E \to E$ sedemikian sehingga, untuk setiap $\lambda, \mu \in K$ dan $x, y \in E$:

Akibatnya: $0\,x = 0_E$, $\lambda\,0_E = 0_E$, $(-1)x = -x$, dan $\lambda x = 0_E \implies \lambda = 0$ atau $x = 0_E$ (dengan mengalikannya dengan $\lambda^{-1}$).