Definition 4.1
Ein (reeller) Vektorraum ist eine Menge von Vektoren, welche unter den folgenden beiden linearen Operationen abgeschlossen sind.
Addition von Vektoren: für alle
Skalare Multiplikation: für alle und alleAusserdem müssen die folgenden Axiome für alle und alle erfüllt werden:
Link to originalAxiome eines Vektorraums
Link to original
- Es gibt einen Vektor , sodass für alle folgendes gilt:
- Es gibt einen Vektor , sodass gilt
Theorem 4.5
Sei die Menge aller Funktionen: mit der Vektoraddition definiert als und die Skalare Multiplikation mit definiert als: .
Dann ist ein Vektor Raum
Link to original
Beispiele:
,
Theorem 4.6
Link to original
Lemma 4.7
Link to original
Lemma 4.8
Link to original
Lemma 4.9
Link to original
Definition 4.11
Sei ein Vektor Raum. Dann ist ein Unterraum von eine Teilmenge von : . Der Unterraum ist selbst ein Vektorraum, mit den selben linearen Operationen, die auch hat.
Link to original
In dieser Illustration sind Unterräume von dargestellt. Es gilt zu beachten, dass die in der dritten Illustration dargestellte Gerade kein Unterräume von ist. Die Begründung dafür wird in Lemma 4.13 geliefert.
Lemma 4.12
Sei ein Vektor Raum und . Die folgenden beiden Aussagen sind äquivalent:
- (i) ist ein Unterraum von
- (ii) ist nicht leer und für alle und gilt^Aussage-2
- (a) ( ist unter der Vektoraddition geschlossen)
- (b) ( ist unter der skalaren Multiplikation geschlossen)
Beweis
(i) (ii)
Aus Definition 4.1 folgt, dass ein Vektor Raum mindestens einen Vektor (den Nullvektor) enthält und unter der Vektoraddition sowie der skalaren Multiplikation geschlossen ist.(ii) (i)
Aus der Definition 4.1 für folgt, dass unter der Vektoraddition sowie der skalaren Multiplikation geschlossen ist. Da gelten alle Axiome eines Vektorraums ausser Axiom 3 und Axiom 4 sowieso in .Axiom 3 (Nullvektor):
Wähle ein und berechne mit (b). Nach Fakt 4.9 ist in . Also ist in enthalten und auch der Nullvektor. Das dritte Axiom ist also erfüllt.Axiom 4 (Gegenvektor):
Link to original
Wähle ein und berechne mit (b). Nach Fakt 4.10 ist in erfüllt. ist also in enthalten und der Gegenvektor von . Somit ist das vierte Axiom erfüllt.
Lemma 4.14
Link to original
In dieser Illustration sind Unterräume von