Définition

Définition

Soient \(E\) et \(F\) deux \(\mathbf K\textrm{-espaces}\) vectoriels et \(f\) une application linéaire de \(E\) dans \(F\).

  • L'image de \(f\), notée \(\mathrm{Im}(f)\), est l'ensemble des images des éléments de \(E\) par \(f\).

  • Le noyau de \(f\), noté \(\mathrm{Ker}(f)\) ou \(f^{-1} 0_F\), est l'ensemble des éléments de \(E\) dont l'image est \(0_F\).

    \(\mathrm{Im}(f) = f(E) = \{ y \in F /\exists x \in \mathbb E, f(x) = y\}\)

    \(\mathrm{Ker}(f) = f^{-1}(0_F) = \{ x \in \mathbb E / f(x) = 0_F\}\)

Terminologie

Le mot " noyau " se traduit en anglais par " kernel " et en allemand par " kern ", d'où la notation \(\mathrm{Ker}(f)\).

Remarque

Remarquer la simplification habituelle de l'écriture : \(f^{-1} (0_F)\). Il faudrait écrire \(f^{-1}(\{0_F\})\).