Base de l'image et du noyau d'une application linéaire


Colle de mathématiques

Sujet de colle de maths:

Énoncé du sujet

On considère l'application linéaire $f$ de $\mathbb R^3$ dans $\mathbb R^4$ définie par
\[f(x,y,z)=(x+z,y-x,z+y,x+y+2z)\]

  1. Déterminer une base de $\text{Im}(f)$.
  2. Déterminer une base de $\ker(f)$.
  3. L'application $f$ est-elle injective? surjective?



Correction

Correction

  1. On sait que $\bigl(f(e_1),f(e_2),f(e_3)\bigr)$ est une famille génératrice de $\text{Im}(f)$.
    En utilisant la définition de $f$, on a :
    \[\begin{array}{lcl}
f(e_1)&=&(1,-1,0,1)\\
f(e_2)&=&(0,1,1,1)\\
f(e_3)&=&(1,0,1,2)\\
\enar\]


    On peut alors chercher à savoir si cette famille est libre ou non.
    On peut alors remarquer que $f(e_3)=f(e_1)+f(e_2)$ c'est-à-dire que $f(e_3)$ est combinaison linéaire de $(f(e_1),f(e_2))$.
    Ainsi, la famille$\bigl(f(e_1),f(e_2),f(e_3)\bigr)$ est liée, et la famille des deux vecteurs $\bigl(f(e_1),f(e_2)\bigr)$ est même déjà génératrice de $\text{Im}(f)$.
    Cette famille de deux vecteurs est de plus libre car ces deux vecteurs sont non-nuls et ne sont pas colinéaires. On en déduit que $\bigl(f(e_1),f(e_2)\bigr)$ est une base de $\text{Im}(f)=\text{Vect}(f(e_1),f(e_2))$.
  2. On a :
    \[\begin{array}{ll}
  &(x,y,z)\in\ker(f)\\[.5em]\iff& f(x,y,z)=(0,0,0,0)\\[.6em]
  \iff&\left\{}\newcommand{\ra}{\right\}
  \begin{array}{rcl}
  x+z&=&0\\
  -x+y&=&0\\
  y+z&=&0\\
  x+y+2z&=&0\\
  \enar\right.\\[2.5em]
  \iff&\left\{}\newcommand{\ra}{\right\}
  \begin{array}{rcl}
  x+z&=&0\\
  y+z&=&0\\
  y+z&=&0\\
  y+z&=&0\\
  \enar\right.\\[2.5em]
  \iff&\left\{}\newcommand{\ra}{\right\}
  \begin{array}{rcl}
    x&=&-z\\
    y&=&-z\\
    z&=&z
  \enar\right.\enar\]


    On en déduit que le vecteur $(-1,-1,1)$ engendre $\ker(f)$. Comme il est non-nul, c'est une base de $\ker(f)$ (qui est donc de dimension 1, ce que l'on peut aussi obtenir en utilisant le théorème du rang)
  3. $f$ n'est pas injective, car son noyau n'est pas réduit au vecteur nul.
    $f$ n'est pas surjective, car
    \[\text{rg}(f)=\text{dim(Im(f)}=2\not=\text{dim}\lp\R^4\rp=4\]

    ce qui montre que l'image de $f$ n'est pas $\R^4$ tout entier.


Tag:Applications linéaires

Autres sujets au hasard: Lancer de dés


Voir aussi:
LongPage: h2: 3 - h3: 0
Énoncé du sujet