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
|