Édition de feuilles d'exercices

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

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

[planches/ex3199] polytechnique MP 2018 Lorsque \(M\in\mathscr{M}_n(\mathbf{R})\) on pose \(N(M)=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)}\).

1. Montrer que \(N\) est une norme sous-multiplicative, invariante par la conjugaison des éléments du groupe orthogonal.

2. Soit \((A,B)\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_3(\mathbf{R})^2\). On note \([A,B]=ABA^{-1}B^{-1}\). On suppose que \(N(B-I_3)<2\) et que \(A\) commute avec \([A,B]\). Montrer que \(A\) et \(B\) commutent.

3. Soit \((A,B)\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_3(\mathbf{R})^2\). Montrer que \(N(I-[A,B])\leqslant 2N(I-A)\,N(I-B)\).

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

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