Édition de feuilles d'exercices

[examen/ex3864] centrale MP 2025 On pose, pour \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\), \(N(A)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits_{1\leqslant i,j\leqslant n}\left(\displaystyle\frac{|a_{i,j}|+|a_{j,i}|}{2}\right)\).

1. Démontrer l’inégalité de Cauchy-Schwarz.

2. L’application \(N\) est-elle une norme sur \(\mathscr{M}_n(\mathbf{R})\) ?

3. Soient \(A\in\mathscr{M}_n(\mathbf{R})\) et \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(A)\). Montrer que \(|\lambda|\leqslant nN(A)\).

[examen/ex2235] centrale MP 2024

1. Soit \(M\in\mathscr{S}_d(\mathbb{R})\). Montrer que le spectre de \(M\) est inclus dans \(\mathbf{R}^+\) si et seulement si \(\forall x\in\mathbb{R}^d\), \(\langle Mx,x\rangle\geqslant 0\).

2. Soient \(M_1\), … , \(M_n\in\mathscr{M}_d(\mathbb{R})\) telles que \(\displaystyle\sum\limits_{i=1}^nM_i^TM_i=I_d\). On pose, pour \(X\in\mathscr{S}_d(\mathbf{R})\), \(\mathscr{L}(X)=\displaystyle\sum\limits_{i=1}^nM_i^TXM_i\). Montrer que \(\mathscr{L}\) préserve le caractère symétrique positif.

3. Donner \(p\in\mathbb{N}\), \(\Pi:\mathscr{M}_d(\mathbb{R})\rightarrow\mathscr{M}_p(\mathbb{R})\) morphisme d’algèbre vérifiant \(\Pi(X^T)=\Pi(X)^T\) et \(V\in\mathscr{M}_{p,d}(\mathbb{R})\) vérifiant \(V^TV=I_d\) tels que \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(\mathscr{L}(X)=V^T\Pi(X)V\).

   Pour \(M\), \(N\in\mathscr{M}_d(\mathbb{R})\), on note \(M\geqslant N\) si et seulement si \(M-N\) est symétrique positive.

4. Montrer \(\mathscr{L}(X^TX)\geqslant\mathscr{L}(X^T)\mathscr{L}(X)\).

5. On suppose qu’il existe \(\mathscr{K}\) du même type que \(\mathscr{L}\) tel que \(\mathscr{L}\mathbin{\circ}\mathscr{K}=\mathscr{K}\mathbin{\circ}\mathscr{L}=\mathscr{I}\). Montrer que : \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(\mathscr{L}(X^TX)=\mathscr{L}(X^T)\mathscr{L}(X)\).

[oraux/ex8222] polytechnique, ens cachan PSI 2016

1. Soit \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(d_1,\ldots,d_n)\). Étudier l’image de \(f:X\in\mathscr{M}_n(\mathbf{R})\mapsto DX-XD\).

2. Soit \((u,v,w)\in\mathbf{R}^3\). Montrer qu’il existe \(x\in\mathbf{R}\) tel que : \[u\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits^2(x)+v\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits^2(x)+w\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(x)\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(x)={u+v\over2}.\]

3. Soit \((x,y,z)\in\mathbf{R}^3\). Montrer que : \(\left|z-\displaystyle{x+y\over2}\right|\leqslant\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits(|z-x|,|z-y|)\).

4. On admet la propriété : pour toute \(A\in\mathscr{M}_n(\mathbf{R})\), il existe \(P\) orthogonale telle que \(PAP^{-1}\) ait tous ses coefficients diagonaux égaux. Démontrer l’équivalence entre :

   1. il existe \(X\), \(Y\in\mathscr{M}_n(\mathbf{R})\) telles que \(A=XY-YX\) ;

   2. \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=0\).

5. On se propose de démontrer la propriété admise plus haut.

   1. Examiner le cas \(n=2\).

   2. Soit \(\delta:M\in\mathscr{M}_n(\mathbf{R})\mapsto\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits_{1\leqslant i,j\leqslant n}(|m_{i,i}-m_{i,j}|)\). Montrer que \(P\in\mathscr{O}_n(\mathbf{R})\mapsto\delta(PAP^{-1})\) possède un maximum.

   3. Supposons que \(\delta(A)>0\). Montrer qu’il existe \(P\in\mathscr{O}_n(\mathbf{R})\) telle que \(\delta(PAP^{-1})<\delta(A)\). Conclure.

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

[planches/ex7568] ens paris, ens lyon, ens saclay, ens rennes MP 2022 Soit \(A\), \(B\) dans \(\mathscr{S}_n(\mathbf{R})\), et \(k\in\mathbf{N}^*\).

Montrer que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left((AB)^{2^k}\right)\leqslant\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left((A^2B^2)^{2^{k-1}}\right)\).