Een -vectorruimte is een verzameling met een optelling die tot een abelse groep maakt (nulelement genoteerd of ), en een scalaire vermenigvuldiging zodat voor alle en
Gevolgen: , , , en of (vermenigvuldig met ).
Voorbeelden
Voorbeeld 18.2
(coördinaatsgewijze bewerkingen); de veeltermen ; de functies van een willekeurige verzameling naar (puntsgewijze bewerkingen) — met daarin de continue functies, de rijen enzovoort; en als -vectorruimte. In elk geval worden de axioma’s geërfd van die van .