Wenn fA surjektiv ist, gibt es zu jedem der kanonischen Einheitsvektoren ei
von K^m (also i ∈{1,...,m } ) einen Vektor vi ∈ K^n mit fA(vi) = ei .
Also für alle i ∈{1,...,m } gilt dann A*vi = ei .
Die Matrix B sei die Matrix, deren Spalten die vi sind,
dann gilt also A*B = Em .
Ist umgekehrt B eine Matrix mit A*B = Em . #
Dann ist fA surjektiv, denn sei v∈K^m , dann ist
Em * v = v
also wegen # (A*B)*v = v
==> A * ( B*v) = v
==> fA ( B*v) = v
also ist B*v ein Vektor, dessen Bild v ist. Somit gibt es
zu jedem v∈K^m ein w∈K^n (nämlich w = B*v)
mit fA ( w) = v. Also ist fA surjektiv.