Édition de feuilles d'exercices

[concours/ex3317] centrale M 1993 Soit \(E\) un espace euclidien de dimension \(n\). On considère \(n\) vecteurs \(u_1\), … , \(u_n\) de \(E\) et on note \(G\) la matrice \(\left((u_i\mid u_j)\right)\). Montrer l’équivalence des deux conditions suivantes :

1. il existe un projecteur orthogonal \(p\) et une base orthonormale \((e_i)\) tels que \(p(e_i)=u_i\) pour tout \(i\) de \(\{1,\ldots,n\}\) ;

2. \(\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits G\subset\{0,1\}\).

[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/ex1224] ens PC 2024

1. Soit \(S\in \mathscr{S}_{n}(\mathbb{R)}\) inversible. Montrer que les assertions sont équivalentes :

   1. \(S\) admet \(k\) valeurs propres positives (comptées avec multiplicité),

   2. il existe des sous-espaces vectoriels \(F\) et \(G\) de \(E\) tels que \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits F=k\), \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits G=n-k\) et \(\forall X\in F\), \(X^{T}SX\geqslant 0\) et \(\forall Y\in G\), \(Y^{T}SY\leqslant 0\).

2. Soit \(S\in \mathscr{S}_{n}(\mathbb{R)}\) inversible. Soit \(P\in \mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_{n}(\mathbb{R)}\). Montrer que \(P^{T}SP\) et \(S\) ont le même nombre de valeurs propres positives.

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

[concours/ex5247] ens MP 2007 Soit \(S\in\mathscr{S}_n(\mathbf{R})\). Donner une condition nécessaire et suffisante sur \(S\) pour qu’il existe \(A\in\mathscr{M}_n(\mathbf{R})\) antisymétrique telle que \(SA\) soit orthogonale.