Es gelte
, und
, mit
.
Dann gibt es
linear unabhängige Basisvektoren von U
.
Diese können auch als Teil
der Basis von
dienen. Dann fehlen aber noch
Basis-Vektoren in
.
Diese können nach dem Basisergänzungssatz so gefunden werden,
dass sie nicht in U
sind:
Wähle Basis
und
, aber
.
D.h., die
sind linear unabhängig von
den
.
Setze
die lineare Hülle aller
.
Aus der Konstruktion folgt, dass
Untervektorraum von V ist, und seine
Dimension ist gleich der Anzahl der
, nämlich
.
Da galt
, ist der Durchschnitt
,
und per Konstruktion ist die direkte Summe
=V, weil eben
die Basis von V ist.
Dr.Wolfgang Quapp
2002-12-05