Fakt 4.9
Link to original
Fakt 4.10
(Excercise 4.10)
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.13
Der Nullvektor eines Vektor Raums ist auch in jedem Unterraum von enthalten und ist auch in diesem Unterraum der Nullvektor.
Das zeigt auch auf, warum in den folgenden Illustrationen die Gerade der dritten Illustration kein Unterraum von ist. Die Bedingung, dass der Nullvektor von enthalten sein muss ist verletzt, da die Gerade nicht durch den Ursprung geht.
Link to original
Lemma 4.14
Link to original
Isomorphismus
Link to original
Theorem 4.40
Sei eine Matrix. Dann gilt:
Link to original
In dieser Illustration sind Unterräume von 