Ein Erzeugendensystem eines Vektorraums V ist genau dann eine Basis von V,
wenn es lin. unabh. ist.
Angenommen, es ist NICHT lin. unabh., genau dann gibt es eine Darstellung des
Nullvektors mit mindestens einem xi ungleich 0: 0-Vektor = ∑i=1n xivi
Dann gilt für alle w∈V w = ∑i=1n λivi #
==> w = w+0-Vektor = ∑i=1n λivi + ∑i=1n xivi
also w = ∑i=1n (xi+ λi)vi ##
Und die Darstellungen # und ## sind verschieden, da mindestens ein xi ungleich 0 ist.
Also: Wenn es ein w mit einer eindeutigen Darstellung gibt, sind die
vi ein linear unabhängigs Erz.system und bilden somit eine Basis