ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 7 — Endomorphismes · Noyau et image

Exercice 9

DémonstrationCalcul

1. On pose φ(x ;y ;z)=x+2y−z\varphi(x\,;y\,;z)=x+2y-z. Démontrer que φ\varphi est une forme linéaire sur ℝ3\mathbb{R}^{3}, puis déterminer Ker φ\mathrm{Ker}\, \varphi et Im φ\mathrm{Im}\, \varphi.

2. Démontrer que les seuls sous-espaces vectoriels du KK-espace vectoriel KK sont {0K}\{0_{K}\} et KK.

3. En déduire que toute forme linéaire non nulle est surjective.

4. Déterminer le noyau de la dérivation D:g↦g′D : g \mapsto g', de 𝒟(ℝ ;ℝ)\mathcal{D}(\mathbb{R}\,;\mathbb{R}) dans ℱ(ℝ ;ℝ)\mathcal{F}(\mathbb{R}\,;\mathbb{R}). L'application DD est-elle injective ?

Corrigé

1. L'application φ\varphi est linéaire d'après l'exercice 3, et son ensemble d'arrivée est ℝ\mathbb{R} : c'est bien une forme linéaire. Son noyau est l'ensemble des (x ;y ;z)(x\,;y\,;z) tels que x+2y−z=0x+2y-z=0, un plan vectoriel, engendré par exemple par (1 ;0 ;1)(1\,;0\,;1) et (0 ;1 ;2)(0\,;1\,;2). Enfin φ(1 ;0 ;0)=1\varphi(1\,;0\,;0)=1. Ker φ=Vect((1 ;0 ;1) ;(0 ;1 ;2))etIm φ=ℝ\boxed{\mathrm{Ker}\, \varphi=\mathrm{Vect}\big((1\,;0\,;1)\,;(0\,;1\,;2)\big) \qquad\text{et}\qquad \mathrm{Im}\, \varphi=\mathbb{R}}

2. Soit FF un sous-espace vectoriel de KK non réduit à {0K}\{0_{K}\}, et soit a∈Fa \in F non nul. Pour tout λ∈K\lambda \in K, le corps KK fournit a−1a^{-1}, et : λ=(λa−1)⋅a∈F\lambda=\big(\lambda a^{-1}\big) \cdot a \in F puisque FF est stable par multiplication externe. Les seuls sous-espaces vectoriels de K sont {0K} et K.\boxed{\text{Les seuls sous-espaces vectoriels de } K \text{ sont } \{0_{K}\} \text{ et } K.}

3. D'après la proposition 2, Im φ\mathrm{Im}\, \varphi est un sous-espace vectoriel de KK. Si φ≠0\varphi \neq 0, alors Im φ≠{0K}\mathrm{Im}\, \varphi \neq \{0_{K}\}, donc Im φ=K\mathrm{Im}\, \varphi = K d'après la question 2. Toute forme lineˊaire non nulle est surjective.\boxed{\text{Toute forme linéaire non nulle est surjective.}}

4. Une fonction dérivable sur ℝ\mathbb{R} de dérivée nulle est constante. Ker D={fonctions constantes}\boxed{\mathrm{Ker}\, D=\big\{\text{fonctions constantes}\big\}} Ce noyau n'est pas réduit à la fonction nulle, donc D n’est pas injective.\boxed{D \text{ n'est pas injective.}}

Dans l'édifice

Thèmes

applications linéaires, formes linéaires, noyau, injectivité et surjectivité, exemples en dimension infinie

Notions

application linéaire, noyau

Ouvrir dans l'atlas interactif →