1. Da \( Ui \le V \text{für alle } i \in I \) gilt, hat man für alle i∈I jedenfalls 0∈Ui .
==> \( 0 = \sum \limits_{i \in I} 0 \in \sum \limits_{i \in I} U_{i} \).
Dass die Summe unter der Addition abgeschlossen ist:
Seien \( x, y \in \sum \limits_{i \in I} U_{i} \) .
==> \( \forall i \in I \exists a_i \in U_{i} x = \sum \limits_{i \in I} a_{i} \)
und analog \( y = \sum \limits_{i \in I} b_{i} \)
Dann gilt \( x+y = \sum \limits_{i \in I} a_i + b_{i} \).
Und weil alle Ui Unterräume sind , sind die Summen \( a_i + b_{i} \in U_i \),
also \( x+y \in \sum \limits_{i \in I} U_{i} \) .
Dass die Summe unter der Skalarmultiplikation abgeschlossen ist geht ähnlich.