Vektorraum
Universität  
Es sei   ein Körper. Ein  -Vektorraum (man sagt auch: ein Vektorraum über  ) ist eine Menge   mit einer Abbildung     genannt Addition (auf  ), sowie einer weiteren Abbildung     genannt skalare Multiplikation (oft auch, in etwas ungünstiger Weise als Skalarmultiplikation bezeichnet), so dass folgendes gilt: 
(i)   ist eine abelsche Gruppe, d.h. es gelten 
    (i,a):   für alle   (Assoziativität) 
    (i,b): Es existiert ein   mit   für alle   (Existenz eines (links-)neutralen Elements) 
    (i,c): Für alle   existiert ein   mit   (Existenz (links-)inverser Elemente) 
    (i,d): Für alle   gilt   (Kommutativität) 
(ii)   und   für alle   und   ("Distributivität") 
(iii)   für alle   und   ("Assoziativät") 
(iv)   für alle   wobei   das multiplikative Inverse in   sei. 
Bemerkungen: 
(1) In (iii) steht   für   wobei hier allerdings   die Multiplikation in   gemeint ist! 
(2) In (nicht notwendig abelschen) Gruppen gibt es genau ein links-neutrales Element, ebenso sind die links-inversen Elemente eindeutig. Ferner ist dann das linksneutrale Element auch rechtsneutral, und wird dann als das neutrale Element bezeichnet. Man spricht dann (in obigem Falle) auch von der additiven Null, und schreibt auch   (bzw. oben auch  ) dafür. Das für   eindeutig bestimmte (additiv) Inverse Element (links-inverse sind auch rechts-inverse Elemente und eindeutig)   mit   wird auch also   notiert:   
(3) In Körpern   ist bekanntlich   (wobei  ) eine Kurznotation für   Analog schreiben wir auch bei der skalaren Multiplikation oben   für   und   
 |