$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Exercices corrigés - Applications linéaires : exercices théoriques

Projecteurs et symétries
Enoncé
Soit $E$ un espace vectoriel et $p,q$ deux projecteurs de $E$ tels que $p\neq 0$, $q\neq 0$ et $p\neq q$. Démontrer que $(p,q)$ est une famille libre de $\mathcal L(E)$.
Indication
Corrigé
Exercice 2 - Projections et sommes directes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $E_1,\dots,E_n$ des sous-espaces vectoriels de $E$. On suppose que $E_1\oplus\dots\oplus E_n=E$. On note $p_i$ le projecteur sur $E_i$ parallèlement à $\oplus_{j\neq i}E_j$. Montrer que $p_i\circ p_j=0$ si $i\neq j$ et que $p_1+\dots+p_n=Id_E$.
Indication
Corrigé
Exercice 3 - Sous-espace stable et projecteur [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un $\mathbb K$-espace vectoriel, et soit $u\in\mathcal L(E)$. On dit qu'un sous-espace vectoriel $F$ de $E$ est stable par $u$ si $u(x)\in F$ pour tout $x\in F$. Soit $p$ un projecteur de $E$. Démontrer que $u$ commute avec $p$ si et seulement si $\textrm{Im}(p)$ et $\ker(p)$ sont stables par $u$.
Indication
Corrigé
Exercice 4 - Endomorphismes annulant un polynôme de degré 2 [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f\in\mathcal L(E)$ et soient $\alpha,\beta$ deux réels distincts.
  1. Démontrer que $E=\textrm{Im}(f-\alpha Id_E)+\textrm{Im}(f-\beta Id_E)$.
    On suppose de plus que $\alpha$ et $\beta$ sont non nuls et que $$(f-\alpha Id_E)\circ (f-\beta Id_E)=0.$$
  2. Démontrer que $f$ est inversible, et calculer $f^{-1}$.
  3. Démontrer que $E=\ker(f-\alpha Id_E)\oplus \ker(f-\beta Id_E)$.
  4. Exprimer en fonction de $f$ le projecteur $p$ sur $\ker(f-\alpha Id_E)$ parallèlement à $\ker(f-\beta Id_E)$.
Indication
Corrigé
Exercice 5 - Somme de deux projecteurs [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un $\mathbb R$-espace vectoriel. Soient $p$ et $q$ deux projecteurs de $E$.
  1. Montrer que $p+q$ est un projecteur si et seulement si $p\circ q=q\circ p=0$.
  2. Montrer que, dans ce cas, on a $\textrm{Im}(p+q)=\textrm{Im}(p)\oplus \textrm{Im}(q)$ et $\ker(p+q)=\ker p\cap \ker q$.
Indication
Corrigé
Exercices théoriques sur les applications linéaires
Exercice 6 - Inclusion de noyaux et d'images [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel, $f\in\mathcal L(E)$, et $1\leq p\leq q$ deux entiers. Comparer $\ker(f^p)$ et $\ker(f^q)$, puis $\textrm{Im}(f^p)$ et $\textrm{Im}(f^q)$.
Indication
Corrigé
Exercice 7 - Avez-vous compris ce qu'étaient le noyau et l'image? [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $E,F,G$ trois $\mathbb K$-espaces vectoriels, et soient $f\in\mathcal L(E,F)$ et $g\in\mathcal L(F,G)$. Démontrer que $$g\circ f=0\iff \textrm{Im}f\subset\ker g.$$
Corrigé
Exercice 8 - Endomorphismes qui commutent, noyaux et images [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel et $u,v\in\mathcal L(E)$. On suppose que $u\circ v=v\circ u$. Démontrer que $\textrm{ker}(u)$ et $\textrm{Im}(u)$ sont stables par $v$, c'est-à-dire que $$v(\ker (u))\subset \ker (u)\textrm{ et }v(\textrm{Im}(u))\subset \textrm{Im}(u).$$
Corrigé
Exercice 9 - Endomorphisme nilpotent et famille libre [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f\in\mathcal L(E)$ tel qu'il existe $n\geq 1$ vérifiant $f^n=0$ et $f^{n-1}\neq 0$. Démontrer qu'il existe $x\in E$ tel que la famille $(x,f(x),\dots,f^{n-1}(x))$ soit libre.
Indication
Corrigé
Exercice 10 - Sommes directes de noyaux [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f\in\mathcal L(E)$. Démontrer que $\ker(f)$, $\ker(f-Id)$ et $\ker(f+Id)$ sont en somme directe.
Indication
Corrigé
Enoncé
Soient $E,F$ deux espaces vectoriels et $f\in\mathcal L(E,F)$. Soit $G$ un supplémentaire de $\ker(f)$ dans $E$. Montrer que $G$ et $\textrm{Im}(f)$ sont isomorphes.
Indication
Corrigé
Exercice 12 - Une caractérisation des homothéties [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel et $f\in\mathcal L(E)$ tel que, pour tout $x\in E$, la famille $(x,f(x))$ est liée.
  1. Démontrer que pour tout $x\in E$, $x\neq 0$, il existe un scalaire $\lambda_x$ tel que $f(x)=\lambda_x x$.
  2. Soit $x,y\in E\backslash\{0\}$.
    1. Comparer $\lambda_x$ et $\lambda_y$ lorsque $(x,y)$ est liée.
    2. Comparer $\lambda_x$ et $\lambda_y$ lorsque $(x,y)$ est libre.
  3. En déduire que $f$ est une homothétie.
Indication
Corrigé
Exercice 13 - Quand le noyau et l'image sont supplémentaires [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $f\in\mathcal L(E)$.
  1. Démontrer que $\ker(f)\subset\ker(f^2)$ et que $\textrm{Im}(f^2)\subset\textrm{Im}(f)$.
  2. Démontrer que $\ker(f)\cap\textrm{Im}(f)=\{0_E\}$ si et seulement si $\ker(f)=\ker(f^2)$.
  3. Démontrer que $\ker(f)+\textrm{Im}(f)=E$ si et seulement si $\textrm{Im}(f)=\textrm{Im}(f^2)$.
Indication
Corrigé
Enoncé
Soit $E$ et $F$ deux espaces vectoriels, $f\in\mathcal L(E,F)$ et $g\in\mathcal L(F,E)$ vérifiant $$f\circ g\circ f=f\textrm{ et }g\circ f\circ g=g.$$
  1. Démontrer que $\ker(f)$ et $\textrm{Im}(g)$ sont en somme directe.
  2. Démontrer que $\ker(f)$ et $\textrm{Im}(g)$ sont supplémentaires.
  3. On pose $E=\mathbb R_n[X]$, $F=\mathbb R_{n-1}[X]$ et $f(P)=P'$, $g:P(x)\mapsto \int_0^x P(t)dt$. Vérifier que $f$ et $g$ satisfont toutes les conditions de l'énoncé. Sont-elles inversibles?
Indication
Corrigé
Exercice 15 - Image de la composée et somme de l'image et du noyau [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel et $f,g\in\mathcal L(E)$. Démontrer que $$E=\textrm{Im}(f)+\ker(g)\iff \textrm{Im}(g\circ f)=\textrm{Im}(g).$$
Corrigé
Exercice 16 - Factorisation d'une application linéaire surjective [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $E$ et $F$ deux $K$-espaces vectoriels et $f$ appartenant à $\mathcal L(E,F)$.
  1. On suppose qu'il existe $g$ appartenant à $\mathcal L(F,E)$ telle que $f\circ g=Id_F$. Montrer que $f$ est surjective.
  2. On suppose que $f$ est surjective. On admet l'existence d'un sous-espace vectoriel $G$ de $E$ tel que $G\oplus \ker(f)=E$.
    1. Soit $\hat f:G\to F$, $x\mapsto f(x)$. Montrer que $\hat f$ est un isomorphisme d'espaces vectoriels.
    2. Soit $g:F\to E$, $y\mapsto \hat f^{-1}(y)$. Calculer $f\circ g$.
  3. Conclure.
Indication
Corrigé
Exercice 17 - Factorisation et inclusion de noyaux [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Dans cet exercice, on admet que dans tout espace vectoriel, un sous-espace admet un supplémentaire.
Soient $E,F$ deux espaces vectoriels et $u,v\in\mathcal L(E,F)$. Montrer que $$\ker(u)\subset\ker(v)\iff \exists f\in\mathcal L(F)\textrm{ tel que }v=f\circ u.$$
Indication
Corrigé
Exercice 18 - Factorisation et inclusion des images [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Dans cet exercice, on suppose connue la propriété suivante : si $E_1$ est un espace vectoriel et $F_1$ est un sous-espace vectoriel de $E_1$, alors il possède un supplémentaire. Soient alors $E,F,G$ trois espaces vectoriels, $u\in\mathcal L(F,G)$ et $v\in\mathcal L(E,G)$. Démontrer que les propriétés suivantes sont équivalentes :
  1. $\textrm{Im}(v)\subset\textrm{Im}(u)$;
  2. Il existe $w\in\mathcal L(E,F)$ tel que $v=u\circ w$.
Indication
Corrigé