Untervektorräume
Definition.
Sei ein -Vektorraum.
Eine Teilmenge von heißt Teilraum oder
Untervektorraum von , wenn folgendes gilt:
- (UV1) enthält mindestens ein Element
- (UV2) ist abgeschlossen gegenüber der Addition
- (UV3) und
ist abgeschlossen bezüglich der Skalarmultiplikation
Ein Teilraum von ist selbst ein -Vektorraum.
Beweis.
Wir müssen nur prüfen, dass und dass mit auch
ist. Alle anderen Vektorraumaxiome sind dann erfüllt, da sie in
gelten.
Nach (UV1) gibt es ein und es folgt:
Für beliebiges gilt:
Für beliebiges gilt: