UntervektorraumDefinition (Untervektorraum):
sei ein -Vektorraum. Eine Teilmenge heißt Untervektorraum, falls gilt:
(I)
(Der Nullvektor ist Element von .)
(II) und .
(Ist in , so auch alle Vielfachen.)
(III) .
(Zu zwei Vektoren in ist auch deren Summe in .)
Beispiele:
(1.) Ein sehr kleiner Untervektorraum:
und .
Beweis:
(I) 
(II) 
(III) 
(2.) und ist ein Untervektorraum.
Beweis:
(I) mit ist die Nullabbildung. , denn .
(II) , d.h. mit , und , denn .
(III) , d.h. mit und , denn . 
Dagegen ist kein Untervektorraum, da (I) offensichtlich nicht erfüllt ist.
(3.) Sei V ein -Vektorraum. Der Spann der Vektoren ,
ist ein Untervektorraum.
Beweis:
(I) , denn 
(II) für gewisse .
und , d.h. für gewisse , denn:
. Setze .
(III) und für gewisse 
|