Zeigen Sie: Seien und
komplementäre Unterräume des Vektorraums
. Wenn
eine Basis von
und
eine Basis von
ist, dann ist
eine Basis von
.
Zeigen Sie: Seien und
komplementäre Unterräume des Vektorraums
. Wenn
eine Basis von
und
eine Basis von
ist, dann ist
eine Basis von
.
Da
und
komplementäre Unterräume von
sind, gilt
.
erzeugt
und
erzeugt
, deshalb ist
ein Erzeugendensystem von
.
mit
und
eine Linearkombination des Nullvektors, dann gilt
, wobei
und
ist. Da
und
komplementäre Unterräume sind, ist
, deshalb muss
sein. Der Nullvektor lässt sich also nur durch die triviale Linearkombination der Vektoren aus
darstellen, also sind diese linear unabhängig. Damit ist
ein linear unabhängiges Erzeugendensystem, also eine Basis von
.
Sei
Ich hätte noch deutlicher geschrieben, dass
und daher gleich
ist. Das „denkt“ man sich zwar aus deinen Worten, aber ich würde hier einfach ein paar mehr Schritte klarer aufschreiben. Trotzdem gut.