Soit \(E\) un \(K\)-ev de dimension finie et \(f_1,\dots,f_p \in E^*\).
On considère l’application :
\[\Phi : E \to { K^p}, {\vec x} \mapsto {\Bigl(f_1(\vec x),\dots,f_p(\vec x)\Bigr)}\]
Montrer que \(\Phi\) est surjective si et seulement si \((f_1,\dots,f_p)\) est libre.