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)