Vektorraum/Basis und minimales Erzeugendensystem/Aufgabe/Lösung


Die Familie sei zunächst eine Basis. Dann ist sie insbesondere ein Erzeugendensystem. Nehmen wir einen Vektor, sagen wir , aus der Familie heraus. Wir müssen zeigen, dass dann die verbleibende Familie, also kein Erzeugendensystem mehr ist. Wenn sie ein Erzeugendensystem wäre, so wäre insbesondere als Linearkombination der Vektoren darstellbar, d.h. man hätte

Dann ist aber

eine nichttriviale Darstellung der , im Widerspruch zur linearen Unabhängigkeit der Familie.

Es sei nun die Familie ein minimales Erzeugendensystem. Um zu zeigen, dass eine Basis vorliegt, muss also lediglich gezeigt werden, dass die Familie linear unabhängig ist. Nehmen wir an, sie sei nicht linear unabhängig. Dann gibt es eine Darstellung

wobei mindestens ein Koeffizient ist. Wir behaupten, dass dann auch die um reduzierte Familie noch ein Erzeugendensystem ist im Widerspruch zur Minimalität. Dazu sei ein beliebiger Vektor, den man als

schreiben kann. Wir können schreiben als

Damit ist

woraus ablesbar ist, dass man auch als Linearkombination der darstellen kann.