Wenn V endlich dimensional ist kann man so argumentieren:
Der Unterraum besitzt eine Basis (v1;v2;...;vn) .
V selbst eine (u1;u2;...;um) mit m≥n.
Definiere die lineare Abb. f durch
f(u1)=v1 ; f(u2)=v2 etc , also f(ui)=vi) für i<n und
für alle anderen f(ui)=vn.
Und durch die Festlegung auf einer Basis ist die lin. Abb.
eindeutig definiert.