.. . eine Basis (ist) eine Teilmenge eines Vektorraumes, mit deren Hilfe sich jeder Vektor des Raumes eindeutig als endliche Linearkombination darstellen lässt
gilt laut Wikipedia.
Zu zeigen: Basis → lin. unabh.:
Der Nullvektor ist also eindeutig als Linearkombination darstellbar, d.h. o=0·v1+...+0vd. Die Eindeutigkeit bedeutet, dass die Vektoren linear unabhängig sind.
Zu zeigen: lin. unabh. → Basis
Wenn die Vektoren linear unabhängig sind, muss gezeigt werden, dass jeder Vektor w des Raumes eindeutig als endliche Linearkombination dargestellt wird.
w=a1·v1+...+ad·vd=b1·v1+...+b1·vd
Wenn wir beide Seiten subtrahieren:
(a1-b1)·v1+...+(ad-bd)·vd=o
Da die Vektoren v1,...,vd linear unabhängig sind, müssen alle Faktoren Null sein, d.h. alle ai=bi. Die Darstellung von w ist eindeutig. v1,...,vd bilden eine Basis.