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 alle

Ausserdem müssen die folgenden Axiome für alle und alle erfüllt werden:

Axiome eines Vektorraums

  1. Es gibt einen Vektor , sodass für alle folgendes gilt:
  2. Es gibt einen Vektor , sodass gilt
Link to original

Link to original

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.

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.14

Link to original