ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 7 — Endomorphismes · Applications linéaires

Exercice 4

DémonstrationCalcul

Soient EE un KK-espace vectoriel muni d'une base (e1 ;e2)(e_{1}\,;e_{2}), et FF un KK-espace vectoriel.

1. Soient ff et gg dans ℒ(E ;F)\mathcal{L}(E\,;F) telles que f(e1)=g(e1)f(e_{1})=g(e_{1}) et f(e2)=g(e2)f(e_{2})=g(e_{2}). Démontrer que f=gf=g.

2. Soient y1y_{1} et y2y_{2} deux vecteurs de FF. Démontrer qu'il existe une unique application linéaire f∈ℒ(E ;F)f \in \mathcal{L}(E\,;F) telle que f(e1)=y1f(e_{1})=y_{1} et f(e2)=y2f(e_{2})=y_{2}.

3. Application : déterminer l'unique endomorphisme ff de ℝ2\mathbb{R}^{2} vérifiant : f(1 ;1)=(2 ;0)etf(1 ;−1)=(0 ;2)f(1\,;1)=(2\,;0) \qquad\text{et}\qquad f(1\,;-1)=(0\,;2) On vérifiera d'abord que ((1 ;1) ;(1 ;−1))\big((1\,;1)\,;(1\,;-1)\big) est bien une base de ℝ2\mathbb{R}^{2}.

Corrigé

1. Soit x∈Ex \in E. Comme (e1 ;e2)(e_{1}\,;e_{2}) est une base, il existe (λ ;μ)(\lambda\,;\mu) tel que x=λe1+μe2x=\lambda e_{1}+\mu e_{2}. Par linéarité de ff puis de gg : f(x)=λf(e1)+μf(e2)=λg(e1)+μg(e2)=g(x)f(x)=\lambda f(e_{1})+\mu f(e_{2})=\lambda g(e_{1})+\mu g(e_{2})=g(x)

f=g\boxed{f=g} Une application linéaire est donc entièrement déterminée par les images des vecteurs d'une base.

2. Existence. Pour x∈Ex \in E, la décomposition x=λe1+μe2x=\lambda e_{1}+\mu e_{2} est unique, puisque (e1 ;e2)(e_{1}\,;e_{2}) est une base. On peut donc poser sans ambiguïté : f(x)=λy1+μy2f(x)=\lambda y_{1}+\mu y_{2} Cette application est linéaire : si x=λe1+μe2x=\lambda e_{1}+\mu e_{2} et x′=λ′e1+μ′e2x'=\lambda' e_{1}+\mu' e_{2}, alors αx+x′=(αλ+λ′)e1+(αμ+μ′)e2\alpha x+x'=(\alpha\lambda+\lambda')e_{1}+(\alpha\mu+\mu')e_{2}, d'où : f(αx+x′)=(αλ+λ′)y1+(αμ+μ′)y2=αf(x)+f(x′)f(\alpha x+x')=(\alpha\lambda+\lambda')y_{1}+(\alpha\mu+\mu')y_{2}=\alpha f(x)+f(x') Enfin f(e1)=y1f(e_{1})=y_{1} et f(e2)=y2f(e_{2})=y_{2}, en prenant respectivement (λ ;μ)=(1 ;0)(\lambda\,;\mu)=(1\,;0) et (0 ;1)(0\,;1).

Unicité. C'est la question 1. Il existe une unique f∈ℒ(E ;F) telle que f(e1)=y1 et f(e2)=y2.\boxed{\text{Il existe une unique } f \in \mathcal{L}(E\,;F) \text{ telle que } f(e_{1})=y_{1} \text{ et } f(e_{2})=y_{2}.}

3. C'est une base. La famille est libre : λ(1 ;1)+μ(1 ;−1)=(0 ;0)\lambda(1\,;1)+\mu(1\,;-1)=(0\,;0) donne λ+μ=0\lambda+\mu=0 et λ−μ=0\lambda-\mu=0, donc λ=μ=0\lambda=\mu=0. Elle est génératrice : pour (x ;y)∈ℝ2(x\,;y) \in \mathbb{R}^{2}, on résout λ+μ=x\lambda+\mu=x et λ−μ=y\lambda-\mu=y, ce qui donne : λ=x+y2etμ=x−y2\lambda=\frac{x+y}{2} \qquad\text{et}\qquad \mu=\frac{x-y}{2}

L'endomorphisme. D'après la question 2 : f(x ;y)=λ (2 ;0)+μ (0 ;2)=(2λ ; 2μ)f(x\,;y)=\lambda\,(2\,;0)+\mu\,(0\,;2)=(2\lambda \,;\, 2\mu)

f(x ;y)=(x+y ; x−y)\boxed{f(x\,;y)=(x+y \,;\, x-y)} Vérification : f(1 ;1)=(2 ;0)f(1\,;1)=(2\,;0) et f(1 ;−1)=(0 ;2)f(1\,;-1)=(0\,;2) ✓

Dans l'édifice

Thèmes

applications linéaires, endomorphismes

Notions

application linéaire

Ouvrir dans l'atlas interactif →