Édition de feuilles d'exercices

[oraux/ex8165] centrale MP 2015

1. Soit \(G\) un groupe fini et \(g\in G\). Montrer que \(x\mapsto xg\) est une bijection de \(G\) dans lui-même.

2. Soit \(U\) une partie de \(\mathscr{M}_n(\mathbf{C})\) irréductible, c’est-à-dire telle que les seuls sous-espaces vectoriels de \(\mathbf{C}^n\) stables par tous les éléments de \(U\) soient \(\{0\}\) et \(\mathbf{C}^n\). Soit \(M\in\mathscr{M}_n(\mathbf{R})\) telle que : \(\forall A\in U\), \(\exists B\in\mathscr{M}_n(\mathbf{C})\), \(MA=BM\). Montrer que \(M\) est nulle ou inversible.

3. Soient \(G\) un groupe fini, \(\phi_1\) et \(\phi_2\) deux morphismes de groupes de \(G\) dans \(\mathscr{O}_n(\mathbf{R})\) tels que \(\phi_1(G)\) et \(\phi_2(G)\) soient irréductibles. Soit \(M\in\mathscr{M}_n(\mathbf{R})\). Appliquer ce qui précède à \(P=\displaystyle\sum\limits_{g\in G}\phi_2(g)^{-1}M\phi_1(g)\). Que dire de \(\displaystyle\sum\limits_{g\in G}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(\phi_2(g)^{-1})\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(\phi_1(g))\) ?

[planches/ex1710] polytechnique MP 2017 Soit \(n\in\mathbf{N}^*\). Si \(S\in\mathscr{S}_n(\mathbf{R})\), on appelle espace associé de \(S\) le sous-espace engendré par les sous-espaces propres de \(S\) associés à des valeurs propres non nulles.

1. Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Montrer que l’on peut écrire \(S=S^+-S^-\) où \(S^+\) et \(S^-\) sont dans \(\mathscr{S}_n^+(\mathbf{R})\) et où les espaces associés de \(S^+\) et \(S^-\) sont orthogonaux.

2. Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Montrer qu’il existe un unique \(C\in\mathscr{S}_n^+(\mathbf{R})\) tel que \(C^2=S^2\). On note \(C=|S|\).

3. Montrer que si \(S=S^+-S^-\) est une décomposition de \(S\) comme en 1), alors \(|S|=S^++S^-\).

   Soit \(E_n=\{M\in\mathscr{S}_n^+(\mathbf{R}),\ \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(M)=1\}\). Pour \((S,T)\in E_n^2\), soit \(d(S,T)=\displaystyle{1\over2}\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(|T-S|)\).

4. Indiquer la forme des éléments de \(E_2\). Calculer \(d(S,T)\) pour \(S\) et \(T\) dans \(E_2\).

5. Montrer, pour \(S\) et \(T\) dans \(E_n\), \(d(S,T)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(R(T-S)),\ R\in P_n\}\) où \(P_n\) désigne l’ensemble des matrices de projecteurs orthogonaux de \(\mathscr{M}_n(\mathbf{R})\).

[oraux/ex7878] mines MP 2013 Soit \(M\in\mathscr{M}_n(\mathbf{R})\) qui commute avec sa transposée. Montrer que \(M\) est orthogonalement semblable à une matrice diagonale par blocs, dont les blocs diagonaux sont de taille 1, ou de taille 2 de la forme \(\pmatrix{\alpha&\beta\cr-\beta&\alpha}\).

[examen/ex1633] mines MP 2024 Soit \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).

1. Montrer qu’il existe \(P\in\mathscr{O}_n(\mathbf{R})\) et \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_1,\ldots,\lambda_n)\) avec \(\lambda_i>0\) pour tout \(i\) telles que \(P^TM^TMP=D^2\).

2. On note \(V_1\), … , \(V_n\) les colonnes de \(MP\).

   Soit \(Q\) la matrice dont les colonnes sont \(\displaystyle\frac{1}{\lambda_1}V_1\), … , \(\displaystyle\frac{1}{\lambda_n}V_n\). Montrer que \(Q\in\mathscr{O}_n(\mathbf{R})\).

3. Montrer qu’il existe \(O\), \(O'\) dans \(\mathscr{O}_n(\mathbf{R})\) telles que \(M=ODO'\).

4. Montrer le même résultat si \(M\) est non inversible.

[oraux/ex0483] polytechnique MP 2005 Soit \(E\) un espace vectoriel réel de dimension finie muni d’une base \(\mathscr{B}\).

1. Soit \(\varphi\) et \(\psi\) des formes bilinéaires symétriques positives sur \(E\). Montrer que si, pour tout \(x\in E\), \(\varphi(x,x)\leqslant\psi(x,x)\) alors \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}\varphi\leqslant\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits_\mathscr{B}\psi\).

2. Soit \(\varphi\) une forme bilinéaire symétrique positive sur \(E\). On pose, pour \((z_1,\ldots,z_m)\in E^m\) : \(G(z_1,\ldots,z_m)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(\varphi(z_i,z_j))_{1\leqslant i,j\leqslant m}\). Soit \((x_1,\ldots,x_p,y_1,\ldots,y_q)\in E^{p+q}\). Montrer que \[G(x_1,\ldots,x_p,y_1,\ldots,y_q)\leqslant G(x_1,\ldots,x_p)G(y_1,\ldots,y_q).\]