Definition
Eine Menge V mit einer abelschen Gruppenstruktur + und einer Skalarmultiplikation durch Elemente eines Körpers F, die Distributivität, Assoziativität der Skalarmultiplikation und 1·v = v erfüllt; äquivalent zu einem Modul über einem Körper.
Prinzip
Prinzip
Linearkombinationen und Abschluss: Vektoren sind unter Addition und Skalarmultiplikation abgeschlossen, sodass lineare Abhängigkeit, Basen und Dimension die Struktur bestimmen.
Demonstration
Demonstration
R^n mit komponentenweiser Addition und skalarer Multiplikation über R; der Raum F[x] der Polynome über einem Körper F ist ein unendlichdimensionales Beispiel. Konkret lässt sich jeder Vektor in R^3 als Linearkombination der Standardbasis e1,e2,e3 schreiben.
Fehlanwendung
Fehlanwendung
Ein Modul über einem Ring als Vektorraum zu bezeichnen, wenn der Skalaring kein Körper ist (z. B. Z-Module) — Teilbarkeit durch Skalare und Existenz von Basen können fehlen. Ohne Auswahlaxiom in unendlichen Dimensionen zu behaupten, jeder Unterraum habe ein Komplement, ist ebenfalls falsch.
Konsequenz
Konsequenz
Mit gewähltem Skalarkörper und Basis haben Vektoren Koordinaten, lineare Abbildungen werden zu Matrizen, und Dimension sowie Rang sind entscheidende Invarianten für Klassifikation und Rechnung.
Umkehrung
Umkehrung
Wenn die Skalarmultiplikation entfällt und nur die abelsche Gruppe bleibt, verschwinden meisten linearen Konzepte (Spann, lineare Unabhängigkeit, Dimension) und die Struktur ist schwächer.
Abgrenzung
Abgrenzung
Benötigt einen Skalarkörper; schließt Module über Nicht-Körpern aus, affige Räume (ohne kanonischen Nullpunkt) sowie topologische oder Skalarprodukt-Strukturen, sofern nicht ausdrücklich angegeben.
Semantische Spannung
Semantische Spannung
Vektorraum vs Modul: Beide erlauben Addition, aber Module über Ringen können ohne Basen und ohne Skalenteilbarkeit auskommen. Vektorraum vs affiner Raum: Beides hat Geraden und Ebenen, doch der affine Raum besitzt keinen Ursprung und keine lineare Skalierung.
Synthese
Synthese
Ein Vektorraum ist der algebraische Rahmen, in dem Elemente linear kombiniert und durch Feldelemente skaliert werden, wodurch lineare Relationen, Basen und Koordinatenrepräsentationen zentral werden.