ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 7 — Endomorphismes · Noyau et image

Exercice 7

Calcul

Pour chacune des quatre applications de l'exercice 6, dire si elle est injective, surjective, bijective, en appliquant le théorème 1. Vérifier ensuite, sur chacune, la remarque du cours concernant les dimensions du noyau et de l'image.

Corrigé

Le théorème 1 ramène l'injectivité à la seule condition Ker f={0E}\mathrm{Ker}\, f=\{0_{E}\}, et la surjectivité à Im f=F\mathrm{Im}\, f = F.

InjectiveSurjectivedim⁡Ker fdim⁡Im fSomme1. ℝ3→ℝ2nonoui1232. ℝ2→ℝ3ouinon0223. ℝ3→ℝ3ouioui0334. ℝ3→ℝ3nonnon123\begin{array}{|c|c|c|c|c|c|} \hline & \text{Injective} & \text{Surjective} & \dim \mathrm{Ker}\, f & \dim \mathrm{Im}\, f & \text{Somme} \\ \hline \text{1. }\mathbb{R}^{3} \to \mathbb{R}^{2} & \text{non} & \text{oui} & 1 & 2 & 3 \\ \hline \text{2. }\mathbb{R}^{2} \to \mathbb{R}^{3} & \text{oui} & \text{non} & 0 & 2 & 2 \\ \hline \text{3. }\mathbb{R}^{3} \to \mathbb{R}^{3} & \text{oui} & \text{oui} & 0 & 3 & 3 \\ \hline \text{4. }\mathbb{R}^{3} \to \mathbb{R}^{3} & \text{non} & \text{non} & 1 & 2 & 3 \\ \hline \end{array}

Dans chaque cas, dim⁡Ker f+dim⁡Im f vaut la dimension de l’espace de deˊpart.\boxed{\text{Dans chaque cas, } \dim \mathrm{Ker}\, f+\dim \mathrm{Im}\, f \text{ vaut la dimension de l'espace de \emph{départ}.}} C'est la remarque du cours : ce n'est pas une coïncidence, mais le théorème du rang, qui sera démontré au chapitre suivant. On notera que la troisième application est bijective : c'est le seul cas où l'espace de départ et l'espace d'arrivée ont la même dimension et le noyau est trivial.

Dans l'édifice

Thèmes

noyau, injectivité et surjectivité

Notions

noyau

Ouvrir dans l'atlas interactif →