\((v_1,v_2)\) ist eine Basis von \(\mathbb{R}^2\). Für jedes \(v\in \mathbb{R}^2\) existieren deshalb eindeutige \(a_v,b_v\in \mathbb{R}\) mit \(v = a_vv_1 + b_vv_2\).
Sei \(\phi:\,\mathbb{R}^2\to\mathbb{R}^3, v\mapsto a_vw_1+b_vw_2\). Dann ist \(\phi\) wohldefiniert und die einzige lineare Abbildung mit \(\phi(v_1)=w_1\) und \(\phi(v_2)=w_2\).