ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 16 — Matrices · Matrices et applications linéaires

Exercice 19

DémonstrationCalcul

Montrer que les applications suivantes sont linéaires, et déterminer leurs matrices dans les bases canoniques.

1. u:𝕂3[X]→𝕂2u : \mathbb{K}_{3}[X] \to \mathbb{K}^{2}, P↦(P(−1),P′(0)+P′′(1))P \mapsto \big(P(-1), P'(0) + P''(1)\big).

2. v:𝕂n[X]→𝕂n[X]v : \mathbb{K}_{n}[X] \to \mathbb{K}_{n}[X], P↦XP′P \mapsto XP'.

3. w:𝕂3[X]→𝕂3[X]w : \mathbb{K}_{3}[X] \to \mathbb{K}_{3}[X], P↦2P+(X−1)P′P \mapsto 2P + (X - 1)P'.

Lesquelles sont injectives ? surjectives ?

Corrigé

La linéarité de chacune des trois applications découle de celle de l'évaluation et de la dérivation.

(i) Les images de 11, XX, X2X^{2}, X3X^{3} sont (1,0)(1, 0), (−1,1)(-1, 1), (1,2)(1, 2) et (−1,6)(-1, 6). Les deux lignes de la matrice ne sont pas proportionnelles, donc rgu=2=dim⁡𝕂2\mathrm{rg} u = 2 = \dim \mathbb{K}^{2} : l'application uu est surjective, mais non injective, puisque dim⁡𝕂3[X]=4>2\dim \mathbb{K}_{3}[X] = 4 > 2. Mat(u)=(1−11−10126),u surjective, non injective\boxed{\mathrm{Mat}(u) = \begin{pmatrix} 1 & -1 & 1 & -1 \\ 0 & 1 & 2 & 6 \end{pmatrix}, \quad u \text{ surjective, non injective}}

(ii) On a v(Xk)=kXkv(X^{k}) = kX^{k}. Les constantes sont dans le noyau, et 11 n'est pas dans l'image : vv n'est ni injective ni surjective. Mat(v)=diag(0,1,2,…,n)\boxed{\mathrm{Mat}(v) = \mathrm{diag}(0, 1, 2, \dots, n)}

(iii) On a w(Xk)=2Xk+kXk−1(X−1)=(k+2)Xk−kXk−1w(X^{k}) = 2X^{k} + kX^{k - 1}(X - 1) = (k + 2)X^{k} - kX^{k - 1}. La matrice est triangulaire supérieure de coefficients diagonaux 2,3,4,52, 3, 4, 5, tous non nuls : elle est inversible (proposition 12), et ww est un automorphisme. Mat(w)=(2−10003−20004−30005),w bijective\boxed{\mathrm{Mat}(w) = \begin{pmatrix} 2 & -1 & 0 & 0 \\ 0 & 3 & -2 & 0 \\ 0 & 0 & 4 & -3 \\ 0 & 0 & 0 & 5 \end{pmatrix}, \quad w \text{ bijective}}

Dans l'édifice

Thèmes

matrice d'une application linéaire, espaces de polynômes

Notions

matrice

Ouvrir dans l'atlas interactif →