Beweisen Sie folgendes (außerordentlich nützliches!) Unterraumkriterium: Sei eine Teilmenge eines
-Vektorraums
. Wenn gilt
.
- für alle
und
gilt
,
- für alle
ist
,
dann ist ein Unterraum von
.
Beweisen Sie folgendes (außerordentlich nützliches!) Unterraumkriterium: Sei eine Teilmenge eines
-Vektorraums
. Wenn gilt
dann ist ein Unterraum von
.
Wenn
eine nichtleere Teilmenge von
ist, muss nur die Abgeschlossenheit von
bezüglich Vektoraddition und Skalarmultiplikation gezeigt werden, um zu beweisen, dass
ein Vektorraum ist; die anderen Gesetze folgen aus den entsprechenden Gesetzen in
. Die Abgeschlossenheit bezüglich der Skalarmultiplikation wird im Unterraumkriterium gefordert, insbesondere ist für
auch
. Für
ist
, also ist auch
und
ist bezüglich der Addition abgeschlossen. Da
eine Teilmenge von
ist und mit den Verknüpfungen in
einen Vektorraum bildet, ist
ein Unterraum von
.
Alles gut, man sollte noch erwähnen, dass wegen
für ein beliebiges
auch der Nullvektor in
enthalten ist.