Vektorraum
Ein Vektorraum oder linearer Raum ist eine algebraische Struktur, die in fast allen Zweigen der Mathematik verwendet wird. Vektorräume bilden den zentralen Untersuchungsgegenstand der linearen Algebra. Die Elemente eines Vektorraums heißen Vektoren. Sie können addiert oder mit Skalaren multipliziert werden, das Ergebnis ist wieder ein Vektor desselben Vektorraums. Entstanden ist der Begriff, indem diese Eigenschaften ausgehend von Vektoren des euklidischen Raumes abstrahiert wurden, so dass sie dann auf abstraktere Objekte wie Funktionen oder Matrizen übertragbar sind.
Die Skalare (Zahlen), mit denen man einen Vektor multiplizieren kann, stammen aus einem Körper. Deswegen ist ein Vektorraum immer ein Vektorraum „über“ einem bestimmten Körper. Man spricht beispielsweise von einem Vektorraum über den reellen Zahlen. In den meisten Anwendungen legt man die reellen oder die komplexen Zahlen als Körper zugrunde.
Eine Basis eines Vektorraums ist eine Menge von Vektoren, die es erlaubt, jeden Vektor durch eindeutige, endlich viele Koordinaten darzustellen. Die Anzahl der Basisvektoren wird Dimension des Vektorraums genannt. Sie ist unabhängig von der Wahl der Basis und kann auch unendlich sein. Die strukturellen Eigenschaften eines Vektorraums sind eindeutig durch den Körper, über dem er definiert ist, und seine Dimension bestimmt.
Eine Basis ermöglicht es, Rechnungen mit Vektoren über deren Koordinaten statt mit den Vektoren selbst auszuführen, was manche Anwendungen erleichtert.
Inhaltsverzeichnis |
Formale Definition [Bearbeiten]
Sei
eine Menge. Man nennt
einen Vektorraum über einem Körper
oder kurz K-Vektorraum, wenn
eine abelsche Gruppe ist und die Verknüpfung
die Skalarmultiplikation genannt wird, für alle
und
die Eigenschaften
| I: | ![]() |
| IIa: | ![]() |
| IIb: | ![]() |
| III: | ![]() |
erfüllt, wobei 1 hier das neutrale Element des Körpers bezeichnet.
Mit anderen Worten: Ein
-Vektorraum ist ein unitärer
-Linksmodul, dessen Grundring
ein (kommutativer) Körper ist.
Anmerkungen [Bearbeiten]
- „
ist eine abelsche Gruppe“ bedeutet:
- Für alle
gilt
(Assoziativität). - Es gibt ein neutrales Element
, sodass
für alle
gilt. - Zu jedem
gibt es ein inverses Element
sodass 
- Für alle
gilt
(Kommutativität).
- Für alle
- Die Addition der abelschen Gruppe
heißt Vektoraddition, ihr neutrales Element Nullvektor. - In Analogie zu den Axiomen eines Körpers werden die Vektorraumaxiome I und II der Skalarmultiplikation häufig als Assoziativ-, beziehungsweise Distributivgesetze bezeichnet.[1][2] Dabei ist jedoch zu beachten, dass beim ersten Axiom die Skalarmultiplikation assoziativ mit der Multiplikation in
ist, und dass beim dritten Axiom die Pluszeichen zwei verschiedene Additionen (links die in
bzw. rechts jene in
) bezeichnen. - Die zu Distributivgesetzen analogen Axiome IIa und IIb garantieren die Verträglichkeit von Vektoraddition und Skalarmultiplikation.
- In diesem Artikel werden im Folgenden – wie in der Mathematik üblich – sowohl die Addition im Körper
als auch die Addition im Vektorraum
mit demselben Zeichen „+“ bezeichnet, obwohl es sich um unterschiedliche Verknüpfungen handelt. Genauso werden sowohl die Multiplikation im Körper als auch die skalare Multiplikation zwischen Körperelement und Vektorraumelement mit dem Malpunkt „·“ bezeichnet. Bei beiden Multiplikationen ist es auch üblich, den Malpunkt wegzulassen. In der Praxis besteht keine Gefahr, die beiden Additionen oder die beiden Multiplikationen zu verwechseln. Die Verwendung der gleichen Symbole macht die Vektorraumaxiome besonders suggestiv.
Alternative Definition [Bearbeiten]
Ist
eine abelsche Gruppe, so bildet die Menge
der Endomorphismen von
mit punktweiser Addition als Addition, der Komposition von Abbildungen als Multiplikation und der Identität als Einselement einen Ring. Operiert der Körper
auf
d. h. gibt es einen Ringhomomorphismus
von Ringen mit Einselement, so macht dies
zu einem
-Vektorraum.
Die Äquivalenz zu obenstehender Definition ergibt sich, wenn man
setzt.
Erste Eigenschaften [Bearbeiten]
Für alle
und
gelten folgende Aussagen:
.
.- Die Gleichung
ist für alle
eindeutig lösbar; die Lösung ist
.
Beispiele [Bearbeiten]
Euklidische Ebene [Bearbeiten]
Ein anschaulicher Vektorraum ist die zweidimensionale Euklidische Ebene
(in rechtwinkligen kartesischen Koordinaten) mit den Pfeilklassen (Verschiebungen oder Translationen) als Vektoren und den reellen Zahlen als Skalaren.
ist die Verschiebung um 2 Einheiten nach rechts und 3 Einheiten nach oben,
die Verschiebung um 3 Einheiten nach rechts und 5 Einheiten nach unten.
Die Summe zweier Verschiebungen ist wieder eine Verschiebung, und zwar diejenige Verschiebung, die man erhält, indem man die beiden Verschiebungen nacheinander ausführt:
, d. h. die Verschiebung um 5 Einheiten nach rechts und 2 Einheiten nach unten.
Der Nullvektor
entspricht der Verschiebung, die alle Punkte an ihrem Platz belässt, d. h. der identischen Abbildung.
Durch die Streckung der Verschiebung
mit einem Skalar
aus der Menge der reellen Zahlen erhalten wir das Dreifache der Verschiebung:
.
Alles zu diesem Beispiel gesagte gilt auch in der reellen affinen Ebene.
Kn [Bearbeiten]
Ist
ein Körper und
eine natürliche Zahl, so bildet das
-fache kartesische Produkt
die Menge aller
-Tupel mit Einträgen in
, einen Vektorraum über
. Die Addition und die skalare Multiplikation werden komponentenweise definiert; für
,
setzt man:
Häufig werden die
-Tupel als Spaltenvektoren geschrieben, das heißt ihre Einträge stehen untereinander. In dieser Schreibweise gilt:
Die Vektorräume
bilden gewissermaßen die Standardbeispiele für endlichdimensionale Vektorräume. Jeder
-dimensionale
-Vektorraum ist isomorph zum Vektorraum
. Mit Hilfe einer Basis kann jedes Element eines Vektorraums eindeutig durch ein Element des
als Koordinatentupel dargestellt werden.
Funktionenräume [Bearbeiten]
Ist
ein Körper,
ein
-Vektorraum und
irgendeine Menge, so kann auf der Menge
aller Funktionen
eine Addition und eine skalare Multiplikation punktweise definiert werden: Für
und
sind die Funktionen
und
definiert durch
für alle
und
für alle
.
Mit dieser Addition und skalaren Multiplikation ist
ein
-Vektorraum. Insbesondere gilt dies für
, wenn also als Zielraum der Körper
selbst gewählt wird. Weitere Beispiele für Vektorräume erhält man als Untervektorräume dieser Funktionenräume.
In vielen Anwendungen ist
, der Körper der reellen Zahlen, oder
, der Körper der komplexen Zahlen, und
ist eine Teilmenge von
,
,
oder
. Beispiele sind etwa der Vektorraum aller Funktionen von
nach
und die Unterräume
aller stetigen Funktionen und
aller
-mal stetig differenzierbaren Funktionen von
nach
.
Raum der linearen Funktionen [Bearbeiten]
Ein einfaches Beispiel für einen Funktionenraum ist der zweidimensionale Raum der reellen linearen Funktionen, das heißt der Funktionen der Form
mit reellen Zahlen
und
. Dies sind diejenigen Funktionen, deren Graph eine Gerade ist. Die Menge dieser Funktionen ist ein Untervektorraum des Raums aller reellen Funktionen, denn die Summe zweier linearen Funktionen ist wieder linear, und ein Vielfaches einer linearen Funktion ist auch eine lineare Funktion.
Zum Beispiel ist die Summe der beiden linearen Funktionen
und
mit
,
,
die Funktion
mit
.
Das 3-fache der linearen Funktion
ist die lineare Funktion
mit
.
Polynomräume [Bearbeiten]
Die Menge
der Polynome mit Koeffizienten aus einem Körper
bildet, mit der üblichen Addition und der üblichen Multiplikation mit einem Körperelement, einen unendlichdimensionalen Vektorraum. Die Menge der Monome
ist eine Basis dieses Vektorraums. Die Menge der Polynome, deren Grad durch ein
nach oben beschränkt ist, bildet einen Untervektorraum der Dimension
. Beispielsweise bildet die Menge aller Polynome vom Grad kleiner gleich 4, also aller Polynome der Form
,
einen 5-dimensionalen Vektorraum mit der Basis
.
Bei unendlichen Körpern
kann man die (abstrakten) Polynome mit den zugehörigen Polynomfunktionen identifizieren. Bei dieser Betrachtungsweise entsprechen die Polynomräume Unterräumen des Raums aller Funktionen von
nach
. Zum Beispiel entspricht der Raum aller reellen Polynome vom Grad
dem Raum der linearen Funktionen.
Körpererweiterungen [Bearbeiten]
Ist
ein Oberkörper von
, so ist
mit seiner Addition und der eingeschränkten Multiplikation
als skalare Multiplikation ein
-Vektorraum. Die dazu nachzuweisenden Regeln ergeben sich unmittelbar aus den Körperaxiomen für
. Diese Beobachtung spielt eine wichtige Rolle in der Körpertheorie.
Beispielsweise ist
auf diese Weise ein zweidimensionaler
-Vektorraum; eine Basis ist
. Ebenso ist
ein unendlichdimensionaler
-Vektorraum, bei dem eine Basis jedoch nicht konkret angegeben werden kann.
Lineare Abbildungen [Bearbeiten]
Lineare Abbildungen sind die Funktionen zwischen zwei Vektorräumen, die in einem gewissen Sinne die Struktur des Vektorraums erhalten, sie sind die Homomorphismen zwischen Vektorräumen im Sinne der universellen Algebra. Eine Funktion
zwischen zwei Vektorräumen
und
über demselben Körper
heißt genau dann linear, wenn für alle
und alle 
erfüllt sind. Das heißt
ist in einem gewissen Sinne kompatibel mit den Strukturen, die den Vektorraum konstituieren, nämlich der Addition und der Skalarmultiplikation. Zwei Vektorräume heißen isomorph, wenn es eine lineare Abbildung zwischen ihnen gibt, die bijektiv ist, also eine Umkehrfunktion besitzt. Diese Umkehrfunktion ist dann automatisch ebenfalls linear. Isomorphe Vektorräume unterscheiden sich nicht bezüglich ihrer Struktur als Vektorraum.
Basis eines Vektorraums [Bearbeiten]
Für endlich viele
und
bezeichnet man die Summe
als Linearkombination der Vektoren
. Dabei ist
selbst wieder ein Vektor aus dem Vektorraum
.
Ist
eine Teilmenge von
, so wird die Menge aller Linearkombinationen von Vektoren aus
die lineare Hülle von
genannt. Sie ist ein Untervektorraum von
, und zwar der kleinste Untervektorraum, der
enthält.
Eine Teilmenge
eines Vektorraums
heißt linear abhängig, wenn sich der Nullvektor auf nicht-triviale Weise als eine Linearkombination von Vektoren
ausdrücken lässt. „Nicht-trivial“ bedeutet, dass mindestens ein Skalar (ein Koeffizient der Linearkombination) von null verschieden ist. Andernfalls heißt
linear unabhängig.
Eine Teilmenge
eines Vektorraums
ist eine Basis von
, wenn
linear unabhängig ist und die lineare Hülle von
der ganze Vektorraum ist.
Unter Voraussetzung des Auswahlaxioms lässt sich mittels des Lemmas von Zorn beweisen, dass jeder Vektorraum eine Basis hat (er ist frei), wobei diese Aussage im Rahmen von Zermelo Fraenkel äquivalent zum Auswahlaxiom ist.[3] Dies hat weitreichende Konsequenzen für die Struktur eines jeden Vektorraums: Zunächst einmal lässt sich zeigen, dass je zwei Basen eines Vektorraums dieselbe Kardinalität haben, sodass die Kardinalität einer beliebigen Basis eines Vektorraums eine eindeutige Kardinalzahl ist, die man als Dimension des Vektorraums bezeichnet. Zwei Vektorräume über demselben Körper sind nun genau dann isomorph, wenn sie dieselbe Dimension haben, denn aufgrund der Gleichmächtigkeit zweier Basen von zwei Vektorräumen existiert eine Bijektion zwischen ihnen. Diese lässt sich leicht zu einer linearen über allen Linearkombinationen von Basiselementen also den ganzen Räumen fortsetzen, und man erhält einen Isomorphismus. Ebenso lässt sich zeigen, dass beliebige lineare Abbildungen durch die Bilder von Elementen einer Basis festgelegt sind. Dies ermöglicht die Darstellung jedweder linearer Abbildungen zwischen endlichdimensionalen Vektorräumen als Matrix. Dies lässt sich auf unendlichdimensionale Vektorräume übertragen, wobei jedoch sichergestellt werden muss, dass jede verallgemeinerte „Spalte“ nur endlich viele von Null verschiedene Einträge enthält, damit jeder Basisvektor auf eine Linearkombinationen von Basisvektoren im Zielraum abgebildet wird.
Mittels des Basisbegriffs hat sich das Problem, ein Skelett in der Kategorie aller Vektorräume über einem gegebenen Körper zu finden, darauf reduziert, ein Skelett in der Kategorie der Mengen zu finden, das durch die Klasse der Kardinalzahlen gegeben ist. Ein jeder
-dimensionale Vektorraum lässt sich auch als die
-fache direkte Summe des zugrunde liegenden Körpers auffassen. Die direkten Summen eines Körpers bilden also ein Skelett der Kategorie der Vektorräume über ihm.
Die Linearfaktoren der Darstellung eines Vektors in den Basisvektoren heißen Koordinaten des Vektors bezüglich der Basis und sind Elemente des zugrunde liegenden Körpers. Erst durch Einführung einer Basis werden jedem Vektor seine Koordinaten bezüglich der gewählten Basis zugeordnet. Dadurch wird das Rechnen erleichtert, insbesondere wenn man statt Vektoren in „abstrakten” Vektorräumen ihre zugeordneten „anschaulichen” Koordinatenvektoren verwenden kann.
Untervektorraum [Bearbeiten]
Ein Untervektorraum (auch linearer Unterraum) ist eine Teilmenge eines Vektorraums, die selbst wieder ein Vektorraum über demselben Körper ist. Dabei werden die Vektorraumoperationen auf den Untervektorraum vererbt. Ist
ein Vektorraum über einem Körper
, so bildet eine Teilmenge
genau dann einen Untervektorraum, wenn die folgenden Bedingungen erfüllt sind:[4]

- für alle
gilt 
- für alle
und
gilt 
Die Menge
muss also abgeschlossen bezüglich der Vektoraddition und der Skalarmultiplikation sein. Jeder Vektorraum enthält zwei triviale Untervektorräume, nämlich zum einen sich selbst, zum anderen den Nullvektorraum
, der nur aus dem Nullvektor besteht. Jeder Unterraum ist Bild eines anderen Vektorraums unter einer linearen Abbildung in den Raum und Kern einer linearen Abbildung in einen anderen Vektorraum. Aus einem Vektorraum und einem Untervektorraum kann man durch Bildung von Äquivalenzklassen einen weiteren Vektorraum, den Quotientenraum oder Faktorraum, bilden, was maßgeblich mit der Eigenschaft eines Unterraums zusammenhängt, ein Kern zu sein, siehe auch Homomorphiesatz.
Vektorräume mit zusätzlicher Struktur [Bearbeiten]
In vielen Anwendungsbereichen in der Mathematik, etwa der Geometrie oder Analysis, ist die Struktur eines Vektorraums nicht hinreichend, etwa erlauben Vektorräume an sich keine Grenzwertprozesse, und man betrachtet daher Vektorräume mit bestimmten zusätzlich auf ihnen definierten Strukturen, die mit der Vektorraumstruktur in gewissen Sinnen kompatibel sind. Beispiele:
- Euklidischer Vektorraum
- Als euklidischer Vektorraum wird (meist) ein reeller Vektorraum mit Skalarprodukt bezeichnet. Er ist ein Spezialfall eines Prähilbertraums (siehe dort für abweichende Nomenklatur).
- Normierter Raum
- Ein normierter Raum ist ein Vektorraum, in dem Vektoren eine Länge (Norm) besitzen. Diese ist eine nichtnegative reelle Zahl und erfüllt die Dreiecksungleichung.
- Prähilbertraum
- Ein Prähilbertraum ist ein reeller oder komplexer Vektorraum, auf dem ein inneres Produkt (Skalarprodukt bzw. positiv definite hermitesche Form) definiert ist. In einem solchen Raum kann man Begriffe wie Länge und Winkel definieren.
- Topologischer Vektorraum
- Ein topologischer Vektorraum über einem topologischen Körper
ist ein topologischer Raum
mit einer kompatiblen
-Vektorraumstruktur, d. h. die Vektorraumoperationen
und
sind stetig. - Unitärer Vektorraum
- Als unitärer Vektorraum wird (meist) ein komplexer Vektorraum mit positiv definiter hermitescher Form ("Skalarprodukt") bezeichnet. Er ist ein Spezialfall des Prähilbertraums.
Bei all diesen Beispielen handelt es sich um topologische Vektorräume. In topologischen Vektorräumen sind die analytischen Konzepte der Konvergenz, der gleichmäßigen Konvergenz und der Vollständigkeit anwendbar. Ein vollständiger normierter Vektorraum heißt Banachraum, ein vollständiger Prähilbertraum heißt Hilbertraum.
Verallgemeinerungen [Bearbeiten]
- Wenn man an Stelle eines Körpers
einen kommutativen Ring zugrunde legt, erhält man einen Modul. Moduln sind eine gemeinsame Verallgemeinerung der Begriffe abelsche Gruppe (für den Ring der ganzen Zahlen) und Vektorraum (für Körper).
- Einige Autoren verzichten in der Definition von Körpern auf das Kommutativgesetz der Multiplikation und nennen Moduln über Schiefkörpern ebenfalls Vektorräume. Folgt man dieser Vorgehensweise, so müssen
-Linksvektorräume und
-Rechtsvektorräume unterschieden werden, wenn der Schiefkörper nicht kommutativ ist. Die oben gegebene Definition des Vektorraums ergibt dabei einen
-Linksvektorraum, da die Skalare im Produkt auf der linken Seite stehen.
-Rechtsvektorräume werden analog mit der spiegelbildlich erklärten Skalarmultiplikation definiert. Viele fundamentale Ergebnisse gelten völlig analog auch für Vektorräume über Schiefkörpern, etwa die Existenz einer Basis.
- Wenn man an Stelle eines Körpers
einen Halbkörper zugrunde legt, erhält man einen Halbvektorraum.
- Eine andere Verallgemeinerung von Vektorräumen sind Vektorbündel; sie bestehen aus je einem Vektorraum für jeden Punkt eines topologischen Basisraums.
Literatur [Bearbeiten]
- Gerd Fischer: Lineare Algebra. Vieweg-Verlag, ISBN 3-528-03217-0.
Einzelnachweise [Bearbeiten]
- ↑ H. Grauert, H. C. Grunert: Lineare Algebra und Analytische Geometrie, ISBN 3-486-24739-5.
- ↑ H.-J. Kowalski, G. O. Michler: Lineare Algebra.
- ↑ Andreas Blass, Axiomatic set theory in Contemporary Mathematics volume 31, 1984 Kapitel Existence of bases implies the axiom of choice, S. 31–33
- ↑ Christoph Ableitinger, Angela Herrmann: Lernen aus Musterlösungen zur Analysis und Linearen Algebra. Ein Arbeits- und Übungsbuch. 1. Auflage. Vieweg + Teubner, Wiesbaden 2011, ISBN 978-3-8348-1724-2, S. 88.
Weblinks [Bearbeiten]
- Vektorraumtheorie (eLearning-Angebot mit Übungsaufgaben)




gilt
(
, sodass
für alle
gilt.
sodass 
(
.
.
ist für alle
.
ist die Verschiebung um 2 Einheiten nach rechts und 3 Einheiten nach oben,
die Verschiebung um 3 Einheiten nach rechts und 5 Einheiten nach unten.
, d. h. die Verschiebung um 5 Einheiten nach rechts und 2 Einheiten nach unten.
.



für alle
und
für alle 
,
,
.
.
,



gilt 
und 
und
sind