Édition de feuilles d'exercices

[planches/ex8603] centrale PSI 2022 Pour \(M\in\mathscr{M}_2(\mathbf{C})\), on pose \(M^*=\overline M^T\).

Soient \(A=\{M\in\mathscr{M}_2(\mathbf{C})\ ;\ M^*=-M,\ \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(M)=0\}\) et \(G=\{M\in\mathscr{M}_2(\mathbf{C})\ ;\ M^*M=I_2,\ \mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(M)=1\}\).

1. Montrer que \(A\) est un \(\mathbf{R}\)-espace vectoriel et préciser sa dimension.

2. L’ensemble \(A\) est-il un \(\mathbf{C}\)-espace vectoriel ?

3. Caractériser \(A\cap G\).

4. Une matrice appartenant à \(G\) est-elle diagonalisable ?

[oraux/ex0929] centrale PC 2010 Soit \(A\in\mathscr{S}_n(\mathbf{R})\). On cherche à écrire \(A={}^tLL\) où \(L\) est triangulaire inférieure à coefficients diagonaux strictement positifs.

1. Étudier l’existence de \(L\) pour \(A=\left(\begin{array}{cc}8&5\\5&4\end{array}\right)\), \(A=\left(\begin{array}{cc}4&6\\6&1\end{array}\right)\), \(A=\left(\begin{array}{cccc}1&2&3&4\\2&4&10&12\\3&10&25&14\\ 4&12&14&35\end{array}\right)\).

2. Trouver une relation entre \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A\) et \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits L\).

3. Si \(L\) existe, montrer que : \(\forall i\in\{1,\ldots,n\}\), \(a_{i,,i}>0\). Est-ce suffisant ?

[oraux/ex5581] centrale MP 2012 On note \({\cal S}_n(\mathbf{R}^+)\) l’ensemble des matrices réelles symétriques de taille \(n\) à coefficients positifs.

1. Une matrice de \({\cal S}_n(\mathbf{R}^+)\) peut-elle avoir une valeur propre strictement négative ? Que des valeurs propres strictement négatives ?

2. Soient \(A\in {\cal S}_n(\mathbf{R}^+)\), \(\lambda_1\leqslant\cdots\leqslant\lambda_n\) ses valeurs propres, \((X_1,\ldots ,X_n)\) une base orthonormée telle que \(\forall i\in\{1,\ldots ,n\}\,\;A\,X_i=\lambda_i\,X_i\).

   Pour \(\alpha\in\mathbf{R}\), on pose \(B(\alpha)=\left( \begin{array}{c|c} A&\alpha\,X_n\\ \hline \alpha\,{}^t\; X_n&0 \end{array}\right)\).

   1. Montrer que \(\lambda_1\),…, \(\lambda_{n-1}\) sont des valeurs propres de \(B(\alpha)\).

   2. On note \(\beta\) et \(\gamma\) les deux autres valeurs propres de \(B(\alpha)\). Exprimer \(\beta+\gamma\) et \(\beta\,\gamma\) en fonction de \(\lambda_n\) et \(\alpha\).

   3. Trouver \(A\in {\cal S}_2(\mathbf{R}^+)\) de valeurs propres \(-1\) et \(2\), et \(\alpha\in\mathbf{R}\) tels que \(B(\alpha)\) ait pour valeurs propres \(-1\), \(-2\) et \(4\).

[examen/ex1220] ens PC 2024 Soit \(n\in\mathbf{N}\) et \(M\in\mathscr{S}_n(\mathbf{R})\). En notant \((s_1,\ldots ,s_n)\) les valeurs propres de \(M\), on pose \(N_p(M) = \left(\displaystyle\sum\limits_{i=1}^n |s_i|^p\right)^{1/p}\).

1. Montrer que \((A,B)\mapsto \mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(AB)\) est un produit scalaire sur \(\mathscr{S}_n(\mathbf{R})\). En déduire que \(N_2\) est une norme sur \(\mathscr{S}_n(\mathbf{R})\).

2. Montrer que \(N_1(M) = \mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{|\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits (MO)|,\; O\in \mathscr{O}_n(\mathbf{R})\}\). En déduire que \(N_1\) est une norme sur \(\mathscr{S}_n(\mathbf{R})\).

[examen/ex1088] ens lyon MP 2024 Soient \(X\) un ensemble et \(K:X\times X\to \mathbb{R}\). On suppose que, pour tous \(n\geqslant 1\) et \(x_1\), … , \(x_n\in X\), \((K(x_i,x_j))_{1\leqslant i,j\leqslant n}\in \mathcal{S}_n^+(\mathbb{R})\). Pour \(x\in X\), on note \(K_x:y\mapsto K(x,y)\). Soit \(E\) le sous-espace de \(\mathbb{R}^{X}\) engendré par les fonctions \((K_x)_{x\in X}\).

Soit \(a\), \(b\in E\). Par définition de \(E\), il existe \((\lambda_x)_{x\in X}\) et \((\mu_x)_{x\in X}\) dans \(\mathbb{R}^X\) n’admettant qu’un nombre fini de coefficients non nuls tels que \(a=\displaystyle\sum\limits_{x\in X}^{}\lambda_xK_x\) et \(b=\displaystyle\sum\limits_{x\in X}^{}\mu_xK_x,\) et on pose \[\langle a,b\rangle=\sum\limits_{x,y\in X}^{}\lambda_x\mu_yK(x,y).\]

1. Montrer que cela définit bien un produit scalaire sur \(E\).

2. Montrer qu’il existe \(f:X\to E\) telle que \(\forall x\), \(y\in X\), \(K(x,y)=\langle f(x), f(y) \rangle\).