Édition de feuilles d'exercices

[planches/ex4589] ens PC 2019 Soit \(V\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) dont tous les éléments sont diagonalisables dans \(\mathbf{R}\).

1. Montrer que \(I_2\in V\).

2. Donner un exemple de tel hyperplan \(V\).

3. Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(P^{-1}VP\) contienne toutes les matrices diagonales.

4. Montrer qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(Q^{-1}VQ=\mathscr{S}_2(\mathbf{R})\).

[planches/ex1464] ens paris, ens lyon, ens cachan, ens rennes MP 2017 Soit \(n\in\mathbf{N}^*\). Si \(A\in\mathscr{M}_n(\mathbf{C})\), on pose \(A^*={}^t\overline A\) et on introduit l’ensemble \(U_n(\mathbf{C})\) des matrices unitaires \(A\), matrices de \(\mathscr{M}_n(\mathbf{C})\) telles que \(A^*A=I_n\). On admet que toute matrice unitaire est unitairement semblable à une matrice diagonale.

On pose, pour \(A\) et \(B\) dans \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\), \([A,B]=ABA^{-1}B^{-1}\) et \(\|A\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A^*A}\).

1. Soient \(A\) et \(B\) dans \(U_n(\mathbf{C})\). Montrer que \(\|I_n-[A,B]\|\leqslant\sqrt2\|I_n-A\|\times\|I_n-B\|\).

   Indication : On pourra montrer que, si \((C,P)\in\mathscr{M}_n(\mathbf{C})\times U_n(\mathbf{C})\), \(\|CP\|=\|PC\|=\|C\|\).

2. Soient \(A\), \(B\) dans \(U_n(\mathbf{C})\). On suppose que \(A\) commute avec \([A,B]\) et que \(\|I_n-B\|<\sqrt2\). Montrer que \(A\) et \(B\) commutent.

[concours/ex3278] ens lyon M 1993 Sur \(\mathscr{M}_n(\mathbf{C})\), on définit la norme \(\left\|A\right\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^*A)}\). Soit \(\mathscr{U}_n\) l’ensemble des matrices unitaires d’ordre \(n\).

1. Montrer que, pour tout \(U\) de \(\mathscr{U}_n\) et tout \(A\) de \(\mathscr{M}_n(\mathbf{C})\), on a : \[\left\|UA\right\|=\left\|AU\right\|=\left\|A\right\|.\] On considère des matrices \(A\) et \(B\) de \(\mathscr{U}_n\) et on pose \(C=ABA^{-1}B^{-1}\). On suppose \(AC=CA\) et \(\left\|I-B\right\|<\sqrt2\). On veut montrer que \(AB=BA\).

2. Montrer que \(A\) et \(BAB^{-1}\) commutent.

3. Montrer qu’il existe \(U\) dans \(\mathscr{U}_n\), des complexes \(\lambda_1\), … , \(\lambda_n\) de module \(1\) et une permutation \(\sigma\) de \(\{1,\ldots,n\}\) tels que \(U^*AU=D\) et \(U^*BAB^{-1}U=D'\) avec \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_1,\ldots,\lambda_n)\) et \(D'=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_{\sigma(1)},\ldots,\lambda_{\sigma(n)})\).

4. Conclure.

[concours/ex1353] ens paris MP 1998 Soit \(A\), \(B\in\mathscr{M}_n(\mathbf{C})\) deux matrices hermitiennes positives. Montrer qu’il existe \(T\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\) telle que \(T^*AT\) et \(T^*BT\) soient diagonales.

[oraux/ex3512] ens paris MP 2011 Soient \(N\) un entier \(\geqslant 2\) et \(A=(a_{i,j})_{1\leqslant i,j\leqslant N}\in\mathscr{S}_N(\mathbf{R})\) à coefficients dans \(\{0,1\}\). On suppose qu’il existe \(m\in\mathbf{N}\) tel que \(A^m\) a ses coefficients strictement positifs. On note \(\Omega_A=\{\omega\in\{1,\ldots,N\},\ \forall n\in\mathbf{Z},\ a_{\omega_n,\omega_{n+1}}=1\}\).

1. Montrer que \(\Omega_A\) est non vide. Soit \(\Theta:(u_n)_{n\in\mathbf{Z}}\mapsto(u_{n+1})_{n\in\mathbf{Z}}\). Montrer que \(\Theta\) induit une bijection de \(\Omega_A\) sur \(\Omega_A\).

2. On appelle orbite tout ensemble du type \(\{\Theta^n(\omega),\ n\in\mathbf{N}\}\) avec \(\omega\in\Omega_A\). On note \(\mathscr{O}_f\) l’ensemble des orbites finies. Soit \(g:x\mapsto\displaystyle\mathop{\prod}\limits_{C\in\mathscr{O}_f}{1\over1-x^{\mathop{\mathchoice{\hbox{card}}{\hbox{card}}{\mathrm{card}}{\mathrm{card}}}\nolimits(C)}}\). Montrer que \(g\) est définie au voisinage de 0. Montrer que \(g\) est une fraction rationnelle ; l’exprimer en fonction de \(A\).