Prépa, 1re année › Dimension finie › Déterminer noyau, image et rang
Déterminer noyau, image et rang : méthode (MPSI)
Méthode
Déterminer noyau, image et rang
- Résoudre $u(x) = 0$ : on obtient une base de $\operatorname{Ker} u$ et sa dimension $k$.
- En déduire $\operatorname{rg} u = \dim E - k$ sans autre calcul.
- Pour une base de l'image : $\operatorname{Im} u = \operatorname{Vect}(u(e_1), \dots, u(e_n))$ ; on extrait de cette famille $\operatorname{rg} u$ vecteurs libres.
- Si $\operatorname{rg} u = \dim F$, alors $\operatorname{Im} u = F$ et $u$ est surjective.
Exemple
Une application de $\mathbb{R}^4$ dans $\mathbb{R}^3$
Soit $u(x,y,z,t) = (x+y+z+t, \; x-y, \; z-t)$. Le noyau est défini par $x = y$, $z = t$ et $2y + 2t = 0$, soit $t = -y$ : $\operatorname{Ker} u = \operatorname{Vect}((1,1,-1,-1))$, de dimension $1$.
Par le théorème du rang, $\operatorname{rg} u = 4 - 1 = 3 = \dim \mathbb{R}^3$ : $u$ est surjective. Aucune résolution de système $u(x) = b$ n'est nécessaire.
Exemple
L'opérateur de différence
Soit $n \geq 1$ et $\Delta : \mathbb{R}_n[X] \to \mathbb{R}_{n-1}[X]$, $P \mapsto P(X+1) - P(X)$.
- $\Delta$ est bien à valeurs dans $\mathbb{R}_{n-1}[X]$ : si $P = \sum_{k=0}^n a_k X^k$, le coefficient de $X^n$ dans $P(X+1)$ est $a_n$, donc il disparaît dans la différence. La linéarité est immédiate.
- Noyau : si $P(X+1) = P(X)$, alors $P(k) = P(0)$ pour tout $k \in \mathbb{N}$ par récurrence ; le polynôme $P - P(0)$ a une infinité de racines, il est nul. Donc $\operatorname{Ker} \Delta = \mathbb{R}_0[X]$, de dimension $1$.
- Rang : $\operatorname{rg} \Delta = (n+1) - 1 = n = \dim \mathbb{R}_{n-1}[X]$.
Conclusion : $\Delta$ est surjective. Pour tout $Q$ de degré au plus $n-1$, il existe $P \in \mathbb{R}_n[X]$ tel que $P(X+1) - P(X) = Q$, et $P$ est unique à une constante additive près.
S’entraîner
- Une base de $\mathbb{R}^3$ et des coordonnées
- Base d'un sous-espace défini par des équations
- Rang d'une famille de $\mathbb{R}^4$ par échelonnement
- Une famille de polynômes trompeuse
- Noyau et image d'un endomorphisme de $\mathbb{R}^3$