Eine Menge von Objekten, Vektoren genannt, die eine abelsche Gruppe unter Addition bilden und über die eine Skalarmultiplikation durch Elemente eines Körpers ausgeübt wird, wobei die üblichen Axiome (Distributivität, Assoziativität, Einheitswirkung) gelten; äquivalent dazu ein Modul über einem Körper.

Prinzip

Die Skalarmultiplikation durch einen Körper ermöglicht Division durch nichtverschwindende Skalare, wodurch Basen existieren (Zorns Lemma im unendlichen Fall) und die Dimension ein vollständiges Invarinat für endlich-dimensionale Vektorräume ist.

Demonstration

R^n mit komponentenweiser Addition und Skalarmultiplikation durch reelle Zahlen ist ein Standardbeispiel; jeder endlich-dimensionale Vektorraum der Dimension n über einem Körper F ist isomorph zu F^n.

Fehlanwendung

Module über Nicht-Körpern wie Vektorräume zu behandeln (z. B. anzunehmen, alle Untermoduln hätten Komplemente oder die Dimension verhalte sich gleich), oder lineare Unabhängigkeit über verschiedene Basiskörper ohne Skalareinschränkung zu verwechseln.

Konsequenz

Vektorräume besitzen ein vollständiges Lineare-Algebra-Werkzeug: Basen, Koordinaten, durch Matrizen darstellbare lineare Abbildungen, Dualräume, kanonische Zerlegungen (Direktsummen) und dimensionsbasierte Klassifikation in endlicher Dimension.

Umkehrung

Ein Modul über einem allgemeinen Ring bietet nicht die Garantien eines Vektorraums: Basen müssen nicht existieren, Untermoduln sind möglicherweise keine direkten Summanden, und dimensionenähnliche Invarianten klassifizieren nicht unbedingt Isomorphietypen.

Abgrenzung

Voraussetzung ist, dass der Skalarring ein Körper ist; schließt Module über Nicht-Körpern, topologische Vektorräume (mit zusätzlicher Topologie) und Strukturen aus, in denen Skalare keine Division durch Nicht-Null ermöglichen.

Semantische Spannung

Die Spannung zeigt sich beim Übergang zwischen koordinatenfreier, axiomatischer Beschreibung und konkreten Matrix-/Koordinatenmodellen; zudem besteht eine Spannung zwischen endlichen und unendlichen Dimensionen (Hamel-Basen vs. topologische Basen).

Synthese

Ein Vektorraum ist ein Modul über einem Körper, dessen skalare Invertierbarkeit eine robuste lineare Theorie ermöglicht: Basen existieren, endliche Dimensionen klassifizieren die Struktur bis auf Isomorphie, und lineare Abbildungen lassen sich bezüglich gewählter Basen durch Matrizen darstellen.