$$\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 - Réduction des endomorphismes - la théorie

Valeurs propres, vecteurs propres, sous-espaces stables
Exercice 1 - Sous-espaces stables et endomorphismes qui commutent [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un $\mathbb K$-espace vectoriel et $u,v$ deux endomorphismes de $E$.
  1. Démontrer que si $u\circ v=v\circ u$, alors $\textrm{Im}(u)$ et $\ker(u)$ sont stables par $v$. La réciproque est-elle vraie?
  2. On suppose désormais que $u$ est un projecteur. Démontrer que $u\circ v=v\circ u$ si et seulement si $\ker(u)$ et $\textrm{Im}(u)$ sont stables par $v$.
Indication
Corrigé
Exercice 2 - Une CNS pour que deux endomorphismes commutent [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $f,g$ deux endomorphismes du $\mathbb K$-espace vectoriel $E$ de dimension finie tels que $f$ est diagonalisable. Démontrer que $f$ et $g$ commutent si et seulement si les sous-espaces propres de $f$ sont stables par $g$.
Indication
Corrigé
Enoncé
Soient $u$ et $v$ deux endomorphismes d'un $\mathbb C$-espace vectoriel $E$ de dimension finie. On suppose que $u$ et $v$ commutent. Démontrer que $u$ et $v$ ont un vecteur propre commun.
Indication
Corrigé
Diagonalisation - en théorie
Exercice 4 - $f\circ g$ et $g\circ f$ diagonalisables? [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un $\mathbb C$-espace vectoriel de dimension finie, et soient $f,g\in\mathcal L(E)$. On souhaite étudier si le fait que $f\circ g$ est diagonalisable entraîne que $g\circ f$ est diagonalisable. On fixe $\mathcal B$ une base de $E$ et on désigne par $A$ (resp. $B$) la matrice de $f$ (resp. $g$) dans cette base.
  1. Dans cette question, on suppose $f$ et $g$ inversibles.
    1. En utilisant $\det(BAB-\lambda B)$, démontrer que $AB$ et $BA$ ont le même polynôme caractéristique.
    2. Soit $\lambda$ une valeur propre de $f\circ g$, et soit $E_\lambda$ (resp. $F_\lambda$) l'espace propre de $f\circ g$ (resp. de $g\circ f$) associé à $\lambda$. Démontrer les inclusions $$g(E_\lambda)\subset F_\lambda\textrm{ et }f(F_\lambda)\subset E_\lambda.$$
    3. Que peut-on en déduire sur les dimensions des espaces $E_\lambda$ et $F_\lambda$?
    4. Montrer que si $f\circ g$ est diagonalisable, alors $g\circ f$ est diagonalisable.
  2. Dans cette question, on suppose maintenant $f$ et $g$ quelconques.
    1. Montrer que si $f\circ g$ a une valeur propre nulle, il en est de même de $g\circ f$.
    2. Soit $\alpha\in\mathbb C\backslash\{0\}$ tel que $AB-\alpha I$ est inversible. On note $C$ son inverse. Vérifier que $$(BA-\alpha I)(BCA-I)=\alpha I.$$ Que peut-on en déduire pour $\det(BA-\alpha I)$?
    3. Déduire de ce qui précède que $f\circ g$ et $g\circ f$ ont les mêmes valeurs propres.
    4. Donner un exemple simple de matrices $A$ et $B$ tel que $AB$ est diagonalisable, et $BA$ n'est pas diagonalisable.
Indication
Corrigé
Exercice 5 - Base de matrices diagonalisables... [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Existe-t-il une base de $\mathcal M_n(\mathbb R)$ constituée de matrices diagonalisables dans $\mathbb R$?
Indication
Corrigé
Exercice 6 - Diagonalisation simultanée [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un $\mathbb K$-espace vectoriel de dimension finie.
  1. Soient $u,v\in\mathcal L(E)$ diagonalisables tels que $u\circ v=v\circ u$. Démontrer qu'il existe une base de $E$ dans laquelle les matrices de $u$ et $v$ sont simultanément diagonalisables.
  2. Plus généralement, soit $u_1,\dots,u_m$ une famille d'endomorphismes diagonalisables de $E$ commutant deux à deux, $m\geq 1$. Montrer qu'il existe une base de $E$ diagonalisant tous les $u_i$.
Indication
Corrigé
Exercice 7 - Diagonalisation et sous-espaces stables [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel de dimension finie sur $\mathbb K=\mathbb R$ ou $\mathbb C$ et soit $u\in\mathcal L(E)$. Démontrer que $u$ est diagonalisable si et seulement si tout sous-espace de $E$ possède un supplémentaire stable par $u$.
Indication
Corrigé
Enoncé
Soit $f$ un endomorphisme diagonalisable d'un $\mathbb K$-espace vectoriel $E$ de dimension finie. On note $\mathcal C_f$ le sous-espace vectoriel des endomorphismes de $E$ commutant avec $f$.
  1. Démontrer que $g\in\mathcal C_f$ si et seulement si les sous-espaces propres de $f$ sont stables par $g$.
  2. En déduire que $\dim(\mathcal C_f)=\sum_{\lambda\in\textrm{sp}(f)}\textrm{mult}(\lambda)^2$, où $\textrm{mult}(\lambda)$ désigne la multiplicité de la valeur propre $\lambda$.
  3. On suppose en outre que les valeurs propres de $f$ sont simples. Démontrer que $(Id,f,\dots,f^{n-1})$ est une base de $\mathcal C_f$.
Indication
Corrigé
Autres réductions - Matrices semblables
Enoncé
Soit $u$ un endomorphisme d'un $\mathbb K$-espace vectoriel $E$ de dimension finie. On suppose que $E$ et $\{0\}$ sont les seuls sous-espaces vectoriels de $E$ stables par $u$.
  1. $u$ possède-t-il des valeurs propres?
  2. Démontrer que pour tout $x\in E\backslash\{0_E\}$, la famille $(x,u(x),\dots,u^{n-1}(x))$ est une base de $E$.
  3. Montrer que la matrice de $u$ dans la base $(x,u(x),\dots,u^{n-1}(x))$ est indépendante du choix de $x$.
Indication
Corrigé
Enoncé
Soit $A\in\mathcal M_n(\mathbb K)$ non nulle tel que $A^2=0$ et soit $r$ le rang de $A$. Démontrer que $A$ est semblable à $\left(\begin{array}{cc}0&I_r\\0&0\end{array}\right)$.
Indication
Corrigé
Exercice 11 - Réduction des endomorphismes anti-involutifs [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel réel de dimension finie, et $f$ un endomorphisme de $E$ vérifiant $f^2=-Id$.
  1. Donner un exemple de tel endomorphisme sur $\mtr^2$.
  2. Montrer que $f$ n'a pas de valeurs propres réelles. En déduire que la dimension de $E$ est paire.
  3. Montrer que, pour tout $x$ de $E$, $\vect(x,f(x))$ est stable par $f$.
  4. En déduire que si $\dim E=2n$, il existe des vecteurs $(e_1,\dots,e_n)$ tels que $(e_1,f(e_1),\dots,e_n,f(e_n))$ forme une base de $E$. Quelle est la matrice de $f$ dans cette base?
Indication
Corrigé
Exercice 12 - Semblable sur $\mathbb R$ ou sur $\mathbb C$? [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soient $A,B\in\mathcal M_n(\mathbb R)$. On suppose qu'il existe $P\in GL_n(\mathbb C)$ tel que $PAP^{-1}=B$. Démontrer qu'il existe $Q\in GL_n(\mathbb R)$ tel que $QAQ^{-1}=B$.
Indication
Corrigé
Exercice 13 - Endomorphisme de trace nulle [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A\in\mathcal M_n(\mathbb R)$ une matrice de trace nulle. Montrer que $A$ est semblable à une matrice dont tous les éléments diagonaux sont nuls.
Indication
Corrigé
Endomorphismes nilpotents - Matrices nilpotentes
Exercice 14 - Une matrice sans racine carrée [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $n\geq 2$ et $A$ la matrice définie par $A=(a_{i,j})_{1\leq i,j\leq n}\in\mathcal M_n(\mathbb R)$ où $a_{i,i+1}=1$ pour $i=1,\dots,n-1$, les autres coefficients étant tous nuls.
  1. La matrice $A$ est-elle diagonalisable?
  2. Existe-t-il $B\in\mathcal M_n(\mathbb R)$ tel que $B^2=A$.
Indication
Corrigé
Exercice 15 - Déterminant et matrices nilpotentes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A\in GL_n(\mathbb C)$ et $N\in\mathcal M_n(\mathbb C)$ nilpotente. On suppose que $AN=NA$. Démontrer que $\det(A+N)=\det(A)$.
Indication
Corrigé
Exercice 16 - Tout hyperplan de $\mathcal M_n(\mathbb K)$ contient une matrice inversible [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $H$ un hyperplan de $\mathcal M_n(\mathbb K)$, $n\geq 2$. Le but de l'exercice est de démontrer que $H$ contient une matrice inversible. On raisonne par l'absurde et on suppose que $H$ ne contient pas de matrices inversibles.
  1. Démontrer que $H$ contient toutes les matrices nilpotentes.
  2. Conclure.
Indication
Corrigé
Exercice 17 - Produit de matrices nilpotentes [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
  1. Soient $A,B\in\mathcal M_n(\mathbb R)$ telles que $AB=BA$ et $B$ est nilpotente. Prouver que si $A\neq 0$, alors $\textrm{rg}(BA)<\textrm{rg}(A)$.
  2. Soient $A_1,\dots,A_n\in\mathcal M_n(\mathbb R)$ des matrices nilpotentes qui commutent. Prouver que $A_1\cdots A_n=0$. Le résultat subsiste-t-il si on ne suppose plus que les matrices commutent?
Indication
Corrigé
Exercice 18 - Matrices nilpotentes et trace des puissances [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $A\in\mathcal M_n(\mathbb C)$. Démontrer que $A$ est nilpotente si et seulement si, pour tout $p\geq 1$, on a $\textrm{Tr}(A^p)=0$.
Indication
Corrigé