ich bräuchte Hilfe dabei folgende Aussage zu beweisen:
Sei V ein K-Vektorraum und E ⊂ V ein Erzeugendensystem. Sei E'⊂V eine Teilmenge mit den Eigenschaften, dass jedes Element aus E eine Linearkombination von Elementen aus E' ist. Dann is auch E' ein Erzeugendensystem von V.
Also logisch ist die Aussage ja, aber wie schreibt man das jetzt als formal korrekten Beweis? ;)
:)
Liebe Grüße