Édition de feuilles d'exercices

[planches/ex7424] escp S 2022 Soit un entier \(n\geqslant 1\). On note \(\mathcal{M}_n(\mathbb{R})\) l’ensemble des matrices carrées de taille \(n\) à coefficients réels. \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(M)\) et \(\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(M)\) désignent respectivement le noyau et l’image d’une matrice \(M\in \mathcal{M}_n(\mathbb{R})\).

Soient \(A\in \mathcal{M}_n(\mathbb{R})\) et \(k\) un entier supérieur ou égal à \(1\). On note \(v_k=\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits\big(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A^k)\big)\) la dimension de \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A^k)\) et \(w_k=\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits\big(\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(A^k)\big)\) la dimension de \(\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(A^k).\)

1. Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A^k)\subset \mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A^{k+1})\) pour \(k\geqslant 1\). En déduire que \((v_k)_{k\geqslant 1}\) est une suite croissante.

2. Montrer que la suite \((w_k)_{k\geqslant 1}\) est une suite décroissante.

3. Supposons qu’il existe un entier \(k_0\geqslant 1\) tel que \(v_{k_0}=v_{k_0+1}\). Montrer que \(v_{k_0+1}=v_{k_0+2}\). Que peut-on alors dire des suites d’entiers \((v_k)_{k\geqslant k_0}\) et \((w_k)_{k\geqslant k_0}\)?

   Pour le reste de l’exercice, on définit les notions suivantes.
   Une matrice \(M\in \mathcal{M}_n(\mathbb{R})\) est dite nilpotente s’il existe un entier \(m\geqslant 1\) tel que \(M^m=0\).

   Pour une matrice nilpotente \(M\in \mathcal{M}_n(\mathbb{R})\), on définit son indice de nilpotence par : \[p=\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits\{ m \in \mathbb{N}\setminus\{0\} \mid M^m=0 \}.\]

4. Donner trois exemples de matrices nilpotentes de \(\mathcal {M}_{3}(\mathbb{R})\) : un où \(p=1\), un où \(p=2\) et un où \(p=3\).

5. Soit \(M\in \mathcal {M}_n(\mathbb{R})\) une matrice nilpotente. Montrer que \(p\leqslant n\).

6. On suppose ici que \(n\geqslant 2\). Soit \(B=(b_{i,j})_{i,j\in \{ 1,\ldots,n\}}\in \mathcal {M}_n(\mathbb{R})\) dont les coefficients \(b_{i,j}\) sont définis par : \[b_{i, i+1}=1 \hbox{ pour } i\in \{1, \ldots, n-1\} \hbox{ et } b_{i, j}=0 \hbox{ pour } j\neq i+1 .\] Résoudre dans \(\mathcal{M}_n(\mathbb{R})\) l’équation d’inconnue \(M\) donnée par : \[M^2=B.\]

[concours/ex8551] ccp PC 2005 Déterminer les matrices \(X\in\mathscr{M}_2(\mathbf{R})\) vérifiant : \(X^2+X=\left(\begin{array}{cc}1&1\\1&1\end{array}\right)\).

[ev.algebre/ex0050] Soient \(A\) et \(B\) dans \(\mathscr{M}_n(K)\). On suppose qu’il existe \(\lambda\in K\) tel que \[\lambda\,AB+A+B=0\,.\] Montrer que \(A\) et \(B\) commutent.

[oraux/ex6895] polytechnique, espci PC 2013 Soient \(A\) et \(B\) dans \(\mathscr{M}_n(\mathbf{R})\). On suppose que \(AB=A+B\). Montrer que \(A\) et \(B\) commutent.

[planches/ex3331] polytechnique, espci PC 2018 Soient \(A\) et \(B\) dans \(\mathscr{M}_n(\mathbf{R})\) telles que \(AB+A+B=0\).

1. On suppose \(A\) diagonale à coefficients diagonaux distincts. Montrer que \(B\) est diagonale.

2. La propriété est-elle vraie si \(A\) est seulement diagonale ?

[concours/ex8779] polytechnique, espci PC 2009 Trouver les \(A\in\mathscr{M}_2(\mathbf{C})\) telles que \(A^2=\left(\begin{array}{cc}1&-1\\1&-1\end{array}\right)\).

[planches/ex6554] polytechnique, espci PC 2021 Soient \(A\) et \(B\) dans \(\mathscr{M}_n(\mathbf{C})\) telles que \(\mathop{\mathchoice{\hbox{rg}}{\hbox{rg}}{\mathrm{rg}}{\mathrm{rg}}}\nolimits(A)=\mathop{\mathchoice{\hbox{rg}}{\hbox{rg}}{\mathrm{rg}}{\mathrm{rg}}}\nolimits(B)\) et \(A^2B=A\).

1. Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A)=\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(B)=\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A^2)\).

2. Montrer que \(\mathbf{C}^n=\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(A)\oplus\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(A)=\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(B)\oplus\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(B)\).

3. Montrer que \(B^2A=B\).

[oraux/ex5465] mines PC 2012 Soient \(A\) et \(B\) dans \({\cal M}_n(\mathbf{R})\) et \((*)\) la condition \(A^2B=A\) \(\Leftrightarrow\) \(BA^2=A\).

1. Si \(A\) et \(B\) sont dans \({\cal S}_n(\mathbf{R})\), la condition \((*)\) est-elle vérifiée ?

2. Donner une condition suffisante pour que \((*)\) soit vérifiée.

3. Donner un exemple de couple \((A,B)\) tel que \(A^2B=A\) et \(BA^2\ne A\).

[oraux/ex6019] hec courts E 2014 Soit \(D\) la matrice définie par : \(D=\left(\begin{array}{cc}-1&0\\0&4\end{array}\right)\).

1. Déterminer les matrices \(A\in\mathscr{M}_2(\mathbf{R})\) telles que \(AD=DA\).

2. En déduire les matrices \(M\in\mathscr{M}_2(\mathbf{R})\) qui vérifient \(M^3-2M=D\).

[planches/ex8311] mines PC 2022 On note \(D=\pmatrix{-1&0\cr0&4}\). Résoudre dans \(\mathscr{M}_2(\mathbf{R})\) l’équation \(M^3-2M=D\).