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.