ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 14 — Espaces vectoriels et applications linéaires · Applications linéaires

Exercice 46

DémonstrationCalcul

Soit f∈ℒ(E,F)f \in \mathcal{L}(E, F) et g∈ℒ(F,G)g \in \mathcal{L}(F, G).

1. Montrer que Ker f⊂Ker (g∘f)\mathrm{Ker}\, f \subset \mathrm{Ker}\,(g \circ f), et que Ker f=Ker (g∘f)\mathrm{Ker}\, f = \mathrm{Ker}\,(g \circ f) si et seulement si Im⁡f∩Ker g={0}\operatorname{Im} f \cap \mathrm{Ker}\, g = \{0\}.

2. Montrer que Im⁡(g∘f)⊂Im⁡g\operatorname{Im}(g \circ f) \subset \operatorname{Im} g, et que Im⁡(g∘f)=Im⁡g\operatorname{Im}(g \circ f) = \operatorname{Im} g si et seulement si Im⁡f+Ker g=F\operatorname{Im} f + \mathrm{Ker}\, g = F.

3. Exprimer Ker (g∘f)\mathrm{Ker}\,(g \circ f) à l'aide de ff et de Ker g\mathrm{Ker}\, g, et Im⁡(g∘f)\operatorname{Im}(g \circ f) à l'aide de gg et de Im⁡f\operatorname{Im} f.

Corrigé

1. Si f(x)=0f(x) = 0, alors g(f(x))=0g(f(x)) = 0. Supposons Im⁡f∩Ker g={0}\operatorname{Im} f \cap \mathrm{Ker}\, g = \{0\} : si g(f(x))=0g(f(x)) = 0, alors f(x)∈Im⁡f∩Ker gf(x) \in \operatorname{Im} f \cap \mathrm{Ker}\, g, donc f(x)=0f(x) = 0. Réciproquement, si Ker f=Ker (g∘f)\mathrm{Ker}\, f = \mathrm{Ker}\,(g \circ f) et y=f(x)∈Ker gy = f(x) \in \mathrm{Ker}\, g, alors x∈Ker (g∘f)=Ker fx \in \mathrm{Ker}\,(g \circ f) = \mathrm{Ker}\, f, donc y=0y = 0.

2. On a g(f(x))∈Im⁡gg(f(x)) \in \operatorname{Im} g. Supposons Im⁡f+Ker g=F\operatorname{Im} f + \mathrm{Ker}\, g = F : tout y∈Fy \in F s'écrit f(x)+kf(x) + k avec g(k)=0g(k) = 0, donc g(y)=g(f(x))g(y) = g(f(x)). Réciproquement, si Im⁡(g∘f)=Im⁡g\operatorname{Im}(g \circ f) = \operatorname{Im} g et y∈Fy \in F, il existe xx tel que g(y)=g(f(x))g(y) = g(f(x)), et y=f(x)+(y−f(x))y = f(x) + \big(y - f(x)\big) avec y−f(x)∈Ker gy - f(x) \in \mathrm{Ker}\, g.

3. On a x∈Ker (g∘f)  ⟺  f(x)∈Ker gx \in \mathrm{Ker}\,(g \circ f) \iff f(x) \in \mathrm{Ker}\, g, et Im⁡(g∘f)=g(f(E))\operatorname{Im}(g \circ f) = g(f(E)). Ker (g∘f)=f−1(Ker g),Im⁡(g∘f)=g(Im⁡f)\boxed{\mathrm{Ker}\,(g \circ f) = f^{-1}(\mathrm{Ker}\, g), \qquad \operatorname{Im}(g \circ f) = g(\operatorname{Im} f)}

Dans l'édifice

Thèmes

applications linéaires

Notions

application linéaire

Ouvrir dans l'atlas interactif →