Sei f : V → W eine lineare Abbildung zwischen endlichdimensionalen
Vektorräumen mit dim(V)=n und dim(W)=m und r = rank(f).
Dann ist f(V) ein Untervektorraum von W und besitzt
somit eine Basis w1,....,wk.
Die Urbilder der wi sind linear unabhängig in V. Nenne sie
v1 , … , vk. Ergänze diese durch vk+1,...,vn zu einer Basis
von V und die w1,....,wk durch wk+1 ,..., wm zu einer Basis von W.
Dann ist für jedes i ∈ { 1,..., k } immer f(vi) = wi
und für i > k gilt f(vi)=0.
Also ist die Matrix bezgl. dieser Basen genau
von der geforderten Form.