[concours/ex7801] ens cachan MP 2008 Soit \(M=\left(\begin{array}{cccccc} 2&-1&0&\cdots&0&-1\\ -1&2&-1&0&&0\\ 0&-1&2&\ddots&\ddots&\vdots\\ \vdots&0&\ddots&\ddots&\ddots&0\\ 0&&\ddots&\ddots&\ddots&-1\\ -1&0&\cdots&0&-1&2\end{array}\right)\).
[concours/ex7801]
Montrer que \(M\) est une matrice symétrique positive mais pas strictement positive.
Soit \(f\in C^3(\mathbf{R},\mathbf{C})\), 1-périodique. On pose \(F_n={}^t\left(\vphantom{|_|}f(1/n),f(2/n),\ldots,f(n/n)\right)\). On pose \(N(X)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\{|x_k|,\ 1\leqslant k\leqslant n\}\) lorsque \(X={}^t(x_1,\ldots,x_n)\).
On suppose que \(N(n^2MF_n+F_n)\rightarrow0\). Que dire de \(f\) ?
[oraux/ex8194] ens paris, ens lyon, ens cachan, ens rennes MP 2016 Soit un entier \(n\) au moins égal à 3. On munit \(\mathbf{R}^n\) de sa structure euclidienne canonique. On note \(E\) l’espace des formes bilinéaires symétriques sur \(\mathbf{R}^n\).
[oraux/ex8194]
Dans \(\mathbf{R}^n\) on donne des vecteurs unitaires \(X\), \(Y\), \(V\), \(W\) tels que \(X\) et \(V\) d’une part, \(Y\) et \(W\) d’autre art, sont orthogonaux. Montrer l’existence de \(G\) dans \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\) tel que \(GX=Y\) et \(GV=W\).
Soit \(B\) un élément de \(E\) tel que \(B(GX,GY)=B(X,Y)\) pour tous \(X\), \(Y\) de \(\mathbf{R}^n\) et \(G\) de \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\). Que peut-on dire de \(B\) ?
Un sous-espace vectoriel \(F\) de \(E\) est dit stable si, pour tout \(B\) de \(F\) et tout \(G\) de \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\), \((X,Y)\mapsto B(GX,GY)\) est dans \(F\). Décrire les sous-espaces stables de \(E\).
[oraux/ex8222] polytechnique, ens cachan PSI 2016
[oraux/ex8222]
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\).
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}.\]
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|)\).
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 :
il existe \(X\), \(Y\in\mathscr{M}_n(\mathbf{R})\) telles que \(A=XY-YX\) ;
\(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A)=0\).
On se propose de démontrer la propriété admise plus haut.
Examiner le cas \(n=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.
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/ex1083] ens paris, ens lyon, ens saclay, ens rennes MP 2024
[examen/ex1083]
Soit \(A\in\mathscr{S}_n(\mathbf{R})\) à coefficients strictement positifs. Montrer qu’il existe un vecteur propre de \(A\) dont tous les coefficients sont \(>0\).
Soit \(A\in\mathscr{M}_2(\mathbf{R})\) à coefficients \(>0\). Montrer que \(A\) possède un vecteur propre à coefficients \(>0\).
Soient \(a_1\), … , \(a_n\in\mathbf{N}^*\), \(M_i=\pmatrix{a_i& 1\cr1&0}\) pour \(1\leqslant i\leqslant n\). Montrer que \(M_1\times \cdots\times M_n\) est à spectre inclus dans \(\mathbf{R}\setminus \mathbf{Q}\).
[concours/ex0351] ens lyon MP 1996 Soit \(A\in\mathscr{M}_{2n}(\mathbf{Z})\) antisymétrique de déterminant non nul. Montrer qu’il existe une matrice \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_{2n}(\mathbf{Z})\) et des entiers uniques \(d_1\), … , \(d_n\) tels que \(d_i\mid d_{i+1}\) pour \(1\leqslant i\leqslant n-1\) et \[{}^tPAP=\pmatrix{ &&&d_1&&0\cr &0&&&\ddots\cr &&&0&&d_n\cr -d_1&&0\cr &\ddots&&&0\cr 0&&-d_n}\]
[concours/ex0351]
[planches/ex5069] mines PSI 2019 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) une matrice symétrique. On pose \(\rho(A)=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits\{|\lambda|,\ \lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(A)\}\) et on note \(E\) l’ensemble des vecteurs propres de \(A\) de norme 1 (pour la norme euclidienne canonique de \(\mathscr{M}_{n,1}(\mathbf{R})\)). Pour \(X\in E\), on pose \(F(A,X)=\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\left\{\vphantom{|_|}\smash{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits\left((A-uX{}^tX)^2\right)},\ u\in\mathbf{R}\right\}\) puis \(m(A)=\mathop{\mathchoice{\hbox{inf}}{\hbox{inf}}{\mathrm{inf}}{\mathrm{inf}}}\limits\{F(A,X),\ X\in E\}\). Montrer que \(m(A)=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^2)-\rho(A^2)\).
[planches/ex5069]
[planches/ex7573] ens lyon MP 2022 Une matrice \(H\) de \(\mathscr{M}_n(\mathbf{C})\) est dite hermitienne lorsque, pour tout \((i,j)\in[[1,n]]^2\), \(h_{i,j}=\overline{h_{j,i}}\) et une telle matrice est dite positive (resp. définie positive) lorsque toutes ses valeurs propres sont réelles positives (resp. réelles strictement positives).
[planches/ex7573]
Déterminer les formes linéaires \(f\) sur \(\mathscr{M}_n(\mathbf{C})\) telles que \(f(I_n)=1\) et \(f(H)\in\mathbf{R}_+\) pour toute \(H\in\mathscr{M}_n(\mathbf{C})\) hermitienne positive.
Déterminer les formes linéaires \(f\) sur \(\mathscr{M}_n(\mathbf{C})\) telles que \(f(I_n)=1\) et \(f(H)\in\mathbf{R}_+^*\) pour toute \(H\in\mathscr{M}_n(\mathbf{C})\) hermitienne définie positive.
[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}\).
[examen/ex1220]
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})\).
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/ex7560] ens paris MP 2022 Soient \(A\), \(B\in\mathscr{M}_n(\mathbf{R})\) telles qu’il existe \(U\in\mathscr{M}_n(\mathbf{C})\) telle que \(U\overline U^T=I_n\) et \(A=UB\overline U^T\). Montrer qu’il existe \(O\in\mathscr{O}_n(\mathbf{R})\) telle que \(A=OBO^T\).
[planches/ex7560]
[oraux/ex8157] mines PC 2015 Soient \((E,\langle\ ,\ \rangle)\) un espace euclidien et \(u\in\mathscr{O}(E)\). Soit \(\lambda\in\mathbf{R}\) une valeur propre de \(u\). Montrer que la dimension de l’espace propre associé à la valeur propre \(\lambda\) est égal à la multiplicité de cette valeur propre dans le polynôme caractéristique.
[oraux/ex8157]
[examen/ex3257] mines MP 2025 Soient \(n\), \(m\in\mathbf{N}^*\), \(S\in\mathscr{S}_m(\mathbf{R})\). On pose \(A=\left(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(S^{i+j-2})\right)_{1\leqslant i,j\leqslant n}\). Montrer que \(\mathop{\mathchoice{\hbox{rg}}{\hbox{rg}}{\mathrm{rg}}{\mathrm{rg}}}\nolimits(A)=\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits(n,\mathop{\mathchoice{\hbox{deg}}{\hbox{deg}}{\mathrm{deg}}{\mathrm{deg}}}\nolimits(\pi_S))\), où l’on a noté \(\pi_S\) le polynôme minimal de \(S\).
[examen/ex3257]
[oraux/ex0823] centrale PSI 2009 Soient \(E=\mathscr{S}_2(\mathbf{R})\), \(A=\left(\begin{array}{cc}a&b\\c&d\end{array}\right)\in\mathscr{M}_2(\mathbf{R})\) et \(\Phi:S\in E\mapsto AS+S{}^tA\in E\).
[oraux/ex0823]
Donner la matrice de \(\Phi\) dans une base de \(E\).
Quelle relation existe-t-il entre \(\chi_A\) et \(\chi_\Phi\) ?
Si \(\Phi\) est diagonalisable, la matrice \(A\) est-elle diagonalisable ?
Si \(A\) est diagonalisable, l’endomorphisme \(\Phi\) est-il diagonalisable ?
[examen/ex1633] mines MP 2024 Soit \(M\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
[examen/ex1633]
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\).
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})\).
Montrer qu’il existe \(O\), \(O'\) dans \(\mathscr{O}_n(\mathbf{R})\) telles que \(M=ODO'\).
Montrer le même résultat si \(M\) est non inversible.
[examen/ex0195] mines PC 2023 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) une matrice trigonalisable.
[examen/ex0195]
Montrer qu’il existe une matrice orthogonale \(\Omega\) et une matrice triangulaire supérieure \(B\) telles que \(A=\Omega B\Omega^T\).
On suppose que \(AA^T=A^TA\). Montrer que \(A\) est diagonalisable.
La réciproque de la question précédente est-elle vraie ?
[concours/ex5946] centrale MP 2007
[concours/ex5946]
Soit \(U\in\mathscr{O}_n(\mathbf{R})\) tel qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) et \(p\geqslant 2\) dans \(\mathbf{N}\) tel que \(PUP^{-1}=U^p\). Montrer que toutes les valeurs propres de \(U\) sont des racines de l’unité. En déduire qu’il existe \(m\in\mathbf{N}^*\) tel que \(U^m=I_n\).
Montrer que tout morphisme du groupe \(\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_2(\mathbf{R})\) dans \(\mathscr{O}_n(\mathbf{R})\) est trivial.
[oraux/ex8295] centrale PSI 2016 Soit \(U\in\mathscr{S}_n(\mathbf{R})\). On cherche une condition nécessaire et suffisante pour qu’il existe une matrice antisymétrique \(V\) telle que \(U+V\) soit orthogonale.
[oraux/ex8295]
On suppose que \(U\) convient. Montrer que \(UV=VU\) et \(I_n=U^2-V^2\). Montrer que si \(\lambda\in\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits(U)\) alors \(\lambda\in[-1,1]\) et si \(\lambda\in\left]-1,1\right[\), alors \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(U-\lambda I_n)\) est de dimension paire.
Conclure.
[oraux/ex8193] ens paris MP 2016 Soient \(n\in\mathbf{N}\) avec \(n\geqslant 2\) et \(\mathscr{L}\) un endomorphisme de \(\mathscr{S}_n(\mathbf{R})\). On suppose que : \(\forall O\in\mathscr{O}_n(\mathbf{R})\), \(\forall S\in\mathscr{S}_n(\mathbf{R})\), \(\mathscr{L}({}^tOSO)={}^tO\mathscr{L}(S)O\). Montrer qu’il existe \(\lambda\) et \(\mu\) dans \(\mathbf{R}\) tels que : \(\forall S\in\mathscr{S}_n(\mathbf{R})\), \(\mathscr{L}(S)=\mu S+\lambda\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(S)I_n\).
[oraux/ex8193]
[planches/ex1462] ens paris MP 2017 Soient \(n\in\mathbf{N}^*\), \(A\) et \(B\) dans \(\mathscr{S}_n(\mathbf{R})\) telles que \(\forall k\in\mathbf{N}^*\), \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A+B)^k=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^k)+\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(B^k)\). Montrer \(AB=0\).
[planches/ex1462]
[oraux/ex0633] polytechnique, ens cachan PSI 2008 Soit \((E,\langle\ ,\ \rangle)\) un espace euclidien. Si \(v\in E\setminus\{0\}\), soit \(\varphi_v:x\in E\mapsto2\displaystyle{\langle v,x\rangle\over\langle u,v\rangle}\) et \(I_v=\{w\in E,\ \varphi_v(w)\in\mathbf{Z}\}\).
[oraux/ex0633]
Déterminer \(I_v\).
Deux vecteurs non colinéaires \(v\) et \(w\) sont dits en position radicielle si \(v\in I_w\) et \(w\in I_v\). Montrer que l’ensemble des vecteurs en position radicielle avec \(v\) est stable par toute transformation orthogonale dont \(v\) est vecteurs propre. Montrer que si \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits E=2\) cet ensemble est la réunion de \(v^\perp\setminus\{0\}\) et d’un ensemble fini à préciser. Généraliser en dimension quelconque.
[concours/ex2430] ens paris M 1995 Soit \(G=O_2(\mathbf{R})\) le groupe des matrices orthogonales de \(\mathscr{M}_2(\mathbf{R})\). Soit \(F\in\mathbf{R}[x_1,x_2,x_3,x_4]\). Si \(x=(x_1,x_2)\) et \(y=(y_1,y_2)\) sont dans \(\mathbf{R}^2\), on note \(F(x,y)=F(x_1,x_2,y_1,y_2)\). On fait agir \(G\) sur \(\mathbf{R}[x_1,x_2,x_3,x_4]\) par \(gF(x,y)=F(gx,gy)\). On suppose enfin que, pour tout \(g\) de \(G\), on a \(gF=F\).
[concours/ex2430]
Soit \(K(a,b,c)=F(a,0,b,c)\). Montrer que \(K\) est un polynôme en \(a^2\), \(b^2\), \(c^2\), \(ab\).
Montrer qu’il existe \(N\in\mathbf{R}[u,v,w]\) et \(\alpha\in\mathbf{N}\) tels que, pour tout \(x\), \(y\) de \(\mathbf{R}^2\) : \[F(x,y)={N\left((x|x),(y|y),(x|y)\right)\over(x|x)^\alpha}.\]
Soit \(R\in\mathbf{R}[u,v,w]\) tel que, pour tout \(x\), \(y\) de \(\mathbf{R}^2\), on ait : \[R\left((x|x),(y|y),(x|y)\right)=0.\] Montrer que \(R=0\).
En déduire que \(F\) est de la forme \(H\left((x|x),(y|y),(x|y)\right)\) où \(H\in\mathbf{R}[u,v,w]\).
La plupart des textes affichés provoquent l'apparition de bulles d'aide au passage de la souris