Definition: Addition von Unterräumen
Sei
ein Vektorraum über . Seien und Unterräume von . Die Summe
ist die Menge
Dass es sich bei der Menge
Proposition:
ist ein Vektorraum Sei
ein Vektorraum über . Seien und Unterräume von . Dann ist
ein Vektorraum von .
Beweis
Seien
Wir zeigen nach dem Unterraumkriterium, dass
-
Da
, und , ist . -
Seien
beliebig. So gibt es und mit und . Dann gibt es auch und mit . Dann gilt:Da
ist -
Seien
und . Dann gilt mit . Da und Unterräume sind, gilt Mit dem Unterraumkriterium folgt die Behauptung.