Sebuah ruang vektor atas adalah himpunan dengan sebuah penjumlahan yang membuat menjadi grup abelian (dengan nolnya ditulis atau ), beserta perkalian skalar sedemikian sehingga, untuk setiap dan :
Akibatnya: , , , dan atau (dengan mengalikannya dengan ).
Contoh
Contoh 18.2
(dengan operasi koordinat demi koordinat); polinomial ; fungsi dari sebarang himpunan ke (dengan operasi titik demi titik) — yang memuat fungsi yang kontinu, barisan , dan seterusnya; serta sebagai ruang vektor atas . Pada setiap kasusnya aksiomanya diwarisi dari aksioma .