Seien n ∈ ℕ und B := {b1, · · · , bn} eine K-Basis von V . Wir halten die Reihenfolge b1, ..., bn fest. Seien w1, · · · , wn ∈ W in dieser Reihenfolge gegeben. Nun definieren wir eine Abbildung φ : V → W wie folgt:
Ist v ∈ V , so seien λ1, ..., λn ∈ K so, dass v = \( \sum\limits_{i=1}^{n}{λ_i · b_i} \) gilt, und dann sei
vφ := \( \sum\limits_{i=1}^{n}{λ_i· w_i} \)
Zeigen Sie, dass φ ∈ HomK(V, W) ist!