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.