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.

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.

Link to original

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):
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.

Link to original

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