ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 7 — Endomorphismes · Structure de l'ensemble des endomorphismes

Exercice 11

DémonstrationCalcul

1. Soient ff, g∈ℒ(E ;F)g \in \mathcal{L}(E\,;F) et λ∈K\lambda \in K. Démontrer que λf+g\lambda f+g est encore une application linéaire.

2. En déduire que ℒ(E ;F)\mathcal{L}(E\,;F) est un sous-espace vectoriel de ℱ(E ;F)\mathcal{F}(E\,;F).

3. On pose, sur ℝ2\mathbb{R}^{2}, f(x ;y)=(x ;0)f(x\,;y)=(x\,;0) et g(x ;y)=(0 ;y)g(x\,;y)=(0\,;y). Calculer f+gf+g, puis 2f−3g2f-3g.

4. Calculer f∘gf \circ g et g∘fg \circ f. Qu'en déduit-on sur l'anneau ℒ(ℝ2)\mathcal{L}(\mathbb{R}^{2}) ?

Corrigé

1. Soient α∈K\alpha \in K et (x ;y)∈E2(x\,;y) \in E^{2}. En utilisant successivement la définition des opérations point par point, puis la linéarité de ff et de gg : (λf+g)(αx+y)=λ f(αx+y)+g(αx+y)=λ(αf(x)+f(y))+αg(x)+g(y)=α(λf(x)+g(x))+(λf(y)+g(y))=α (λf+g)(x)+(λf+g)(y)\begin{aligned} (\lambda f+g)(\alpha x+y) &= \lambda\,f(\alpha x+y)+g(\alpha x+y)\\ &= \lambda\big(\alpha f(x)+f(y)\big)+\alpha g(x)+g(y)\\ &= \alpha\big(\lambda f(x)+g(x)\big)+\big(\lambda f(y)+g(y)\big)\\ &= \alpha\,(\lambda f+g)(x)+(\lambda f+g)(y) \end{aligned}

λf+g∈ℒ(E ;F)\boxed{\lambda f+g \in \mathcal{L}(E\,;F)}

2. On a ℒ(E ;F)⊂ℱ(E ;F)\mathcal{L}(E\,;F) \subset \mathcal{F}(E\,;F), l'application nulle est linéaire, et la question 1 donne la stabilité par λf+g\lambda f+g : c'est la caractérisation du chapitre 6. ℒ(E ;F) est un sous-espace vectoriel de ℱ(E ;F).\boxed{\mathcal{L}(E\,;F) \text{ est un sous-espace vectoriel de } \mathcal{F}(E\,;F).}

3. On additionne coordonnée par coordonnée : (f+g)(x ;y)=(x ;0)+(0 ;y)=(x ;y)doncf+g=Idℝ2(f+g)(x\,;y)=(x\,;0)+(0\,;y)=(x\,;y) \qquad\text{donc}\qquad \boxed{f+g=\mathrm{Id}_{\mathbb{R}^{2}}}

(2f−3g)(x ;y)=2 (x ;0)−3 (0 ;y)=(2x ; −3y)(2f-3g)(x\,;y)=2\,(x\,;0)-3\,(0\,;y)=\boxed{(2x \,;\, -3y)}

4. On compose dans les deux sens : (f∘g)(x ;y)=f(0 ;y)=(0 ;0)et(g∘f)(x ;y)=g(x ;0)=(0 ;0)(f \circ g)(x\,;y)=f(0\,;y)=(0\,;0) \qquad\text{et}\qquad (g \circ f)(x\,;y)=g(x\,;0)=(0\,;0)

f∘g=g∘f=0, alors que f≠0 et g≠0.\boxed{f \circ g = g \circ f = 0, \text{ alors que } f \neq 0 \text{ et } g \neq 0.}
L’anneau ℒ(ℝ2) posseˋde des diviseurs de zeˊro : il n’est pas inteˋgre.\boxed{\text{L'anneau } \mathcal{L}(\mathbb{R}^{2}) \text{ possède des diviseurs de zéro : il n'est pas intègre.}}

Dans l'édifice

Thèmes

applications linéaires, composition

Notions

application linéaire

Ouvrir dans l'atlas interactif →