Édition de feuilles d'exercices

[oraux/ex5025] polytechnique MP 2012

1. Soient \(A\) et \(B\) dans \(S_n^{++}(\mathbf{R})\). Montrer qu’il existe \(P\) inversible telle que \({}^tPAP\) et \({}^tPBP\) soient diagonales.

2. Le résultat est-il encore vrai si l’on suppose simplement \(A\) et \(B\) dans \(S_n^{+}(\mathbf{R})\) ?

[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.

[concours/ex8869] ens paris MP 2010 Soient \(m\) un entier \(\geqslant 2\), \(A=(a_{i,j})_{1\leqslant i,j\leqslant m}\) dans \(\mathscr{S}_n(\mathbf{R})\) dont tous les coefficients appartiennent à \(\{0,1\}\) et telle qu’il existe \(p\) dans \(\mathbf{N}^*\) tel que tous les coefficients de \(A^p\) soient \(>0\). On note \(F\) l’ensemble des fonctions de \(\mathbf{Z}\) dans \(\{1,\ldots,m\}\), \(\theta\) l’application de \(F\) dans \(F\) qui à la suite \((\omega_n)_{n\in\mathbf{Z}}\) associe la suite \((\omega_{n+1})_{n\in\mathbf{Z}}\). On note enfin \(\Omega\) l’ensemble des suites \((\omega_n)_{n\in\mathbf{Z}}\) appartenant à \(F\) telles que \(\forall n\in\mathbf{Z}\), \(a_{\omega_n,\omega_{n+1}}=1\).

1. Vérifier que \(\theta\) est une bijection de \(F\) sur \(F\), que \(\Omega\) est non vide.

2. Pour \(n\) dans \(\mathbf{N}^*\), soient \(P_n\) l’ensemble des points fixes de \(\theta^n\) appartenant à \(\Omega\), \(\pi_n\) le cardinal de \(P_n\), \(P=\mathop{\bigcup}\limits_{n\in\mathbf{N}^*}P_n\). Montrer qu’existe \(R\) dans \(\mathbf{Q}(X)\) dont 0 n’est pas pôle et \(\eta>0\) tels que, pour \(x\in\left]-\eta,\eta\right[\), on ait : \(\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\sum\limits_{n=1}^{+\infty}{\pi_nx^n\over n}\right)=R(x)\).

3. Pour \(\omega\) dans \(P\), soit \(p(\omega)\) le plus petit \(n\) de \(\mathbf{N}^*\) tel que \(\omega\) appartienne à \(P_n\). Enfin, pour \(n\) dans \(\mathbf{N}^*\), soit \(Q_n\) l’ensemble des \(\omega\) de \(P\) tels que \(p(\omega)=n\). On définit une relation \(\sim\) sur \(P\) par : \(\omega\sim\omega'\) si et seulement s’il existe \(k\) dans \(\mathbf{Z}\) tel que \(\theta^k(\omega)=\omega'\). Vérifier que c’est une relation d’équivalence sur \(P\), que \(p\) est constante sur les classes de \(\sim\). Si \(\widetilde P\) est l’ensemble des classes d’équivalence de \(\sim\) et \(\tilde p\) la fonction déduite de \(p\) sur \(\widetilde P\), montrer, pour \(x\) réel assez près de 0, l’égalité : \(R(x)=\displaystyle\mathop{\prod}\limits_{u\in\widetilde P}{1\over1-x^{\tilde p(u)}}\).

[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.

[examen/ex3558] mines PSI 2025 Soit \(V\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) dont tous les éléments sont diagonalisables sur \(\mathbf{R}\).

1. Donner un exemple de tel hyperplan.

2. Soit \(F=\left\{\pmatrix{a&b\cr-b&a}\right\}_{(a,b)\in\mathbf{R}^2}\). Montrer que \(F\cap V\neq\{0\}\) et en déduire que \(I_2\in V\).

3. On munit \(\mathscr{M}_2(\mathbf{R})\) de son produit scalaire canonique. Quelle est la dimension de \(V^\perp\) ?

   Montrer qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(QVQ^{-1}=S_2(\mathbf{R})\).

[planches/ex0497] ens paris, ens lyon, ens cachan, ens rennes MP 2014 Soit \(A\in\mathscr{S}_N(\mathbf{R})\) à coefficients dans \(\{0,1\}\), telle qu’il existe \(n_0\) pour lequel tous les coefficients de \(A^{n_0}\) sont strictement positifs. On note \(\Omega\) l’ensemble des suites \((\omega_k)_{k\in\mathbf{Z}}\) dans \([[1,N]]^2\) telles que, pour tout \(k\in\mathbf{Z}\), \(A_{\omega_k,\omega_{k+1}}=1\).

1. Montrer que \(\Omega\) n’est pas vide.

2. Soit \(\pi_n\) le nombre d’éléments de \(\Omega\) qui sont \(n\)-périodiques. Montrer que le rayon de convergence de \(\displaystyle\sum\limits{\pi_n\over n}x^n\) est strictement positif.

3. Montrer que \(\xi(x)=\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\sum\limits_{n=1}^{+\infty}{\pi_n\over n}x^n\right)\) est une fraction rationnelle de \(\mathbf{Q}(X)\).

[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.

[oraux/ex0471] polytechnique MP 2005 Soit \(A\), \(B\in\mathscr{M}_n(\mathbf{C})\). On suppose que \(\{X\in\mathbf{C}^n\mid X^*AX=X^*BX=0\}=\{0\}\). Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\) telle que \(P^*AP\) et \(P^*BP\) soient triangulaires supérieures.

[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\).

[oraux/ex0920] centrale PSI 2010 Soit \(\mathscr{H}\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) constitué de matrices diagonalisables. On veut montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(\mathscr{H}=P\mathscr{S}_2(\mathbf{R})P^{-1}\).

1. Montrer que \(\mathscr{H}\) contient une matrice non inversible non nulle.

2. Montrer que, par conjugaison, on peut se ramener à \(\mathscr{H}=\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(A,B,C)\) où \(A=\left(\begin{array}{cc}1&0\\0&0\end{array}\right)\), \(B=\left(\begin{array}{cc}1&0\\0&1\end{array}\right)\), \(C=\left(\begin{array}{cc}1&\omega^2\\1&0\end{array}\right)\) avec \(\omega\in\mathbf{R}_+^*\).

3. En déduire le résultat.