En montrant que l'image est engendrée par les images des vecteurs d'une base et en extrayant une famille libre

L'objectif

Décrire l'image d'une application linéaire $f \colon E \to F$ et en exhiber une base, en déduire son rang.

Le principe

Si $\mathcal{B} = (e_1, \ldots, e_n)$ est une base de $E$ , alors $\mathrm{Im}(f) = \mathrm{Vect}(f(e_1), \ldots, f(e_n))$ ; il suffit ensuite d'en extraire une sous-famille libre maximale.

La méthode

1
Je fixe une base $\mathcal{B} = (e_1, \ldots, e_n)$ de $E$ (souvent la base canonique).
2
Je calcule les images $f(e_1), \ldots, f(e_n)$ : on a alors $\mathrm{Im}(f) = \mathrm{Vect}(f(e_1), \ldots, f(e_n))$ .
3
J'examine les relations de dépendance entre ces images (à vue ou par pivot) pour extraire une sous-famille libre qui engendre encore $\mathrm{Im}(f)$ .
Comment montrer qu'une famille de vecteurs est libre ?Voir
4
Je conclus : « $\mathrm{Im}(f) = \mathrm{Vect}(\ldots)$ , $\mathrm{rg}(f) = k$ ».

Évalue la méthode

0/5 validés

Cherche chaque exercice au brouillon, puis coche “j'ai réussi” si tu as trouvé la bonne démarche. Utilise le bouton aide si tu as besoin d'un coup de pouce.

Application guidée 1

Soit $f \colon \mathbb{R}^3 \to \mathbb{R}^2$ , $f(x,y,z) = (x + y, x - z)$ . Déterminer $\mathrm{Im}(f)$ .

Application guidée 2

Soit $f \colon \mathbb{R}^3 \to \mathbb{R}^3$ , $f(x,y,z) = (x+y+z,\ 2x+2y+2z,\ -x-y-z)$ . Déterminer $\mathrm{Im}(f)$ .

Application autonome 1

Soit $\varphi \colon \mathbb{R}_2[X] \to \mathbb{R}^2$ , $\varphi(P) = (P(0), P(1))$ . Déterminer $\mathrm{Im}(\varphi)$ .

Application autonome 2

Soit $f : \mathbb{R}^2 \to \mathbb{R}^3$ , $f(x, y) = (x + y, 2x - y, x + 4y)$ . Déterminer $\mathrm{Im}(f)$ et son rang.

Application autonome 3

Soit $D : \mathbb{R}_3[X] \to \mathbb{R}_3[X]$ , $D(P) = P'$ . Déterminer $\mathrm{Im}(D)$ et $\mathrm{rg}(D)$ .

Connecte-toi pour cocher tes exercices réussis et sauvegarder ta progression.