## [Vektorraum](/de/node/63313) Definition 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 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 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 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 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 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 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 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 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.