ATLAS Ouvrir dans l'atlas →

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

Exercice 3

Démonstration

1. Soit f∈ℒ(ℝ)f \in \mathcal{L}(\mathbb{R}), où ℝ\mathbb{R} est vu comme ℝ\mathbb{R}-espace vectoriel. Démontrer qu'il existe un réel aa tel que f(x)=axf(x)=ax pour tout xx.

2. À quelle condition sur aa l'application ff est-elle un automorphisme de ℝ\mathbb{R} ?

3. Soit φ\varphi une forme linéaire sur ℝ2\mathbb{R}^{2}. Démontrer qu'il existe (a ;b)∈ℝ2(a\,;b) \in \mathbb{R}^{2} tel que φ(x ;y)=ax+by\varphi(x\,;y)=ax+by pour tout (x ;y)(x\,;y).

4. Énoncer et démontrer le résultat analogue pour une forme linéaire sur ℝn\mathbb{R}^{n}.

Corrigé

1. Posons a=f(1)a=f(1). Pour tout réel xx, l'homogénéité donne : f(x)=f(x⋅1)=x f(1)=axf(x)=f(x \cdot 1)=x\,f(1)=ax

∀x∈ℝ,f(x)=axaveca=f(1)\boxed{\forall x \in \mathbb{R}, \quad f(x)=ax \quad\text{avec}\quad a=f(1)}

2. Si a=0a=0, alors f=0f=0, dont le noyau est ℝ\mathbb{R} tout entier : ff n'est pas injective. Si a≠0a \neq 0, l'application y↦yay \mapsto \dfrac{y}{a} est une réciproque. f est un automorphisme de ℝ si et seulement si a≠0.\boxed{f \text{ est un automorphisme de } \mathbb{R} \text{ si et seulement si } a \neq 0.}

3. Notons (e1 ;e2)(e_{1}\,;e_{2}) la base canonique de ℝ2\mathbb{R}^{2} et posons a=φ(e1)a=\varphi(e_{1}), b=φ(e2)b=\varphi(e_{2}). Tout vecteur s'écrit (x ;y)=x e1+y e2(x\,;y)=x\,e_{1}+y\,e_{2}, d'où par linéarité : φ(x ;y)=x φ(e1)+y φ(e2)=ax+by\varphi(x\,;y)=x\,\varphi(e_{1})+y\,\varphi(e_{2})=ax+by

φ(x ;y)=ax+by\boxed{\varphi(x\,;y)=ax+by}

4. Le même raisonnement, avec la base canonique (e1 ;… ;en)(e_{1}\,;\dots\,;e_{n}) de ℝn\mathbb{R}^{n} et ak=φ(ek)a_{k}=\varphi(e_{k}), donne : φ(x1 ;… ;xn)=∑k=1nakxk\boxed{\varphi(x_{1}\,;\dots\,;x_{n})=\sum_{k=1}^{n} a_{k}x_{k}} Les formes linéaires sur ℝn\mathbb{R}^{n} sont donc exactement les expressions linéaires homogènes en les coordonnées.

Dans l'édifice

Thèmes

applications linéaires, formes linéaires, automorphismes

Notions

application linéaire, isomorphisme, groupe linéaire

Ouvrir dans l'atlas interactif →