Kommen wir nun zu der Definition des Vektorraums:
Sei
ein Körper. Ein Tripel
- wobei
eine Menge von
-Tupeln
und

und

Verknüpfungen
- wird

-Vektorraum genannt, wenn folgende Axiome gelten:

ist eine kommutative Gruppe
S1:

gilt
(Assoziativgesetz)
S2:
(neutrales Element)
D1:

gilt
(Distributivgesetz)
D2:

gilt
(Distributivgesetz)