[concours/ex3278] ens lyon M 1993 Sur \(\mathscr{M}_n(\mathbf{C})\), on définit la norme \(\left\|A\right\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^*A)}\). Soit \(\mathscr{U}_n\) l’ensemble des matrices unitaires d’ordre \(n\).
[concours/ex3278]
Montrer que, pour tout \(U\) de \(\mathscr{U}_n\) et tout \(A\) de \(\mathscr{M}_n(\mathbf{C})\), on a : \[\left\|UA\right\|=\left\|AU\right\|=\left\|A\right\|.\] On considère des matrices \(A\) et \(B\) de \(\mathscr{U}_n\) et on pose \(C=ABA^{-1}B^{-1}\). On suppose \(AC=CA\) et \(\left\|I-B\right\|<\sqrt2\). On veut montrer que \(AB=BA\).
Montrer que \(A\) et \(BAB^{-1}\) commutent.
Montrer qu’il existe \(U\) dans \(\mathscr{U}_n\), des complexes \(\lambda_1\), … , \(\lambda_n\) de module \(1\) et une permutation \(\sigma\) de \(\{1,\ldots,n\}\) tels que \(U^*AU=D\) et \(U^*BAB^{-1}U=D'\) avec \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_1,\ldots,\lambda_n)\) et \(D'=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\lambda_{\sigma(1)},\ldots,\lambda_{\sigma(n)})\).
Conclure.
[oraux/ex0471] polytechnique MP 2005 Soit \(A\), \(B\in\mathscr{M}_n(\mathbf{C})\). On suppose que \(\{X\in\mathbf{C}^n\mid X^*AX=X^*BX=0\}=\{0\}\). Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\) telle que \(P^*AP\) et \(P^*BP\) soient triangulaires supérieures.
[oraux/ex0471]
[concours/ex1353] ens paris MP 1998 Soit \(A\), \(B\in\mathscr{M}_n(\mathbf{C})\) deux matrices hermitiennes positives. Montrer qu’il existe \(T\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\) telle que \(T^*AT\) et \(T^*BT\) soient diagonales.
[concours/ex1353]
[oraux/ex5025] polytechnique MP 2012
[oraux/ex5025]
Soient \(A\) et \(B\) dans \(S_n^{++}(\mathbf{R})\). Montrer qu’il existe \(P\) inversible telle que \({}^tPAP\) et \({}^tPBP\) soient diagonales.
Le résultat est-il encore vrai si l’on suppose simplement \(A\) et \(B\) dans \(S_n^{+}(\mathbf{R})\) ?
[examen/ex3558] mines PSI 2025 Soit \(V\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) dont tous les éléments sont diagonalisables sur \(\mathbf{R}\).
[examen/ex3558]
Donner un exemple de tel hyperplan.
Soit \(F=\left\{\pmatrix{a&b\cr-b&a}\right\}_{(a,b)\in\mathbf{R}^2}\). Montrer que \(F\cap V\neq\{0\}\) et en déduire que \(I_2\in V\).
On munit \(\mathscr{M}_2(\mathbf{R})\) de son produit scalaire canonique. Quelle est la dimension de \(V^\perp\) ?
Montrer qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(QVQ^{-1}=S_2(\mathbf{R})\).
[planches/ex1464] ens paris, ens lyon, ens cachan, ens rennes MP 2017 Soit \(n\in\mathbf{N}^*\). Si \(A\in\mathscr{M}_n(\mathbf{C})\), on pose \(A^*={}^t\overline A\) et on introduit l’ensemble \(U_n(\mathbf{C})\) des matrices unitaires \(A\), matrices de \(\mathscr{M}_n(\mathbf{C})\) telles que \(A^*A=I_n\). On admet que toute matrice unitaire est unitairement semblable à une matrice diagonale.
[planches/ex1464]
On pose, pour \(A\) et \(B\) dans \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\), \([A,B]=ABA^{-1}B^{-1}\) et \(\|A\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A^*A}\).
Soient \(A\) et \(B\) dans \(U_n(\mathbf{C})\). Montrer que \(\|I_n-[A,B]\|\leqslant\sqrt2\|I_n-A\|\times\|I_n-B\|\).
Indication : On pourra montrer que, si \((C,P)\in\mathscr{M}_n(\mathbf{C})\times U_n(\mathbf{C})\), \(\|CP\|=\|PC\|=\|C\|\).
Soient \(A\), \(B\) dans \(U_n(\mathbf{C})\). On suppose que \(A\) commute avec \([A,B]\) et que \(\|I_n-B\|<\sqrt2\). Montrer que \(A\) et \(B\) commutent.
[concours/ex8869] ens paris MP 2010 Soient \(m\) un entier \(\geqslant 2\), \(A=(a_{i,j})_{1\leqslant i,j\leqslant m}\) dans \(\mathscr{S}_n(\mathbf{R})\) dont tous les coefficients appartiennent à \(\{0,1\}\) et telle qu’il existe \(p\) dans \(\mathbf{N}^*\) tel que tous les coefficients de \(A^p\) soient \(>0\). On note \(F\) l’ensemble des fonctions de \(\mathbf{Z}\) dans \(\{1,\ldots,m\}\), \(\theta\) l’application de \(F\) dans \(F\) qui à la suite \((\omega_n)_{n\in\mathbf{Z}}\) associe la suite \((\omega_{n+1})_{n\in\mathbf{Z}}\). On note enfin \(\Omega\) l’ensemble des suites \((\omega_n)_{n\in\mathbf{Z}}\) appartenant à \(F\) telles que \(\forall n\in\mathbf{Z}\), \(a_{\omega_n,\omega_{n+1}}=1\).
[concours/ex8869]
Vérifier que \(\theta\) est une bijection de \(F\) sur \(F\), que \(\Omega\) est non vide.
Pour \(n\) dans \(\mathbf{N}^*\), soient \(P_n\) l’ensemble des points fixes de \(\theta^n\) appartenant à \(\Omega\), \(\pi_n\) le cardinal de \(P_n\), \(P=\mathop{\bigcup}\limits_{n\in\mathbf{N}^*}P_n\). Montrer qu’existe \(R\) dans \(\mathbf{Q}(X)\) dont 0 n’est pas pôle et \(\eta>0\) tels que, pour \(x\in\left]-\eta,\eta\right[\), on ait : \(\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\sum\limits_{n=1}^{+\infty}{\pi_nx^n\over n}\right)=R(x)\).
Pour \(\omega\) dans \(P\), soit \(p(\omega)\) le plus petit \(n\) de \(\mathbf{N}^*\) tel que \(\omega\) appartienne à \(P_n\). Enfin, pour \(n\) dans \(\mathbf{N}^*\), soit \(Q_n\) l’ensemble des \(\omega\) de \(P\) tels que \(p(\omega)=n\). On définit une relation \(\sim\) sur \(P\) par : \(\omega\sim\omega'\) si et seulement s’il existe \(k\) dans \(\mathbf{Z}\) tel que \(\theta^k(\omega)=\omega'\). Vérifier que c’est une relation d’équivalence sur \(P\), que \(p\) est constante sur les classes de \(\sim\). Si \(\widetilde P\) est l’ensemble des classes d’équivalence de \(\sim\) et \(\tilde p\) la fonction déduite de \(p\) sur \(\widetilde P\), montrer, pour \(x\) réel assez près de 0, l’égalité : \(R(x)=\displaystyle\mathop{\prod}\limits_{u\in\widetilde P}{1\over1-x^{\tilde p(u)}}\).
[planches/ex3199] polytechnique MP 2018 Lorsque \(M\in\mathscr{M}_n(\mathbf{R})\) on pose \(N(M)=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits({}^tMM)}\).
[planches/ex3199]
Montrer que \(N\) est une norme sous-multiplicative, invariante par la conjugaison des éléments du groupe orthogonal.
Soit \((A,B)\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_3(\mathbf{R})^2\). On note \([A,B]=ABA^{-1}B^{-1}\). On suppose que \(N(B-I_3)<2\) et que \(A\) commute avec \([A,B]\). Montrer que \(A\) et \(B\) commutent.
Soit \((A,B)\in\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_3(\mathbf{R})^2\). Montrer que \(N(I-[A,B])\leqslant 2N(I-A)\,N(I-B)\).
[planches/ex4589] ens PC 2019 Soit \(V\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) dont tous les éléments sont diagonalisables dans \(\mathbf{R}\).
[planches/ex4589]
Montrer que \(I_2\in V\).
Donner un exemple de tel hyperplan \(V\).
Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(P^{-1}VP\) contienne toutes les matrices diagonales.
Montrer qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(Q^{-1}VQ=\mathscr{S}_2(\mathbf{R})\).
[planches/ex0497] ens paris, ens lyon, ens cachan, ens rennes MP 2014 Soit \(A\in\mathscr{S}_N(\mathbf{R})\) à coefficients dans \(\{0,1\}\), telle qu’il existe \(n_0\) pour lequel tous les coefficients de \(A^{n_0}\) sont strictement positifs. On note \(\Omega\) l’ensemble des suites \((\omega_k)_{k\in\mathbf{Z}}\) dans \([[1,N]]^2\) telles que, pour tout \(k\in\mathbf{Z}\), \(A_{\omega_k,\omega_{k+1}}=1\).
[planches/ex0497]
Montrer que \(\Omega\) n’est pas vide.
Soit \(\pi_n\) le nombre d’éléments de \(\Omega\) qui sont \(n\)-périodiques. Montrer que le rayon de convergence de \(\displaystyle\sum\limits{\pi_n\over n}x^n\) est strictement positif.
Montrer que \(\xi(x)=\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\sum\limits_{n=1}^{+\infty}{\pi_n\over n}x^n\right)\) est une fraction rationnelle de \(\mathbf{Q}(X)\).
[oraux/ex3512] ens paris MP 2011 Soient \(N\) un entier \(\geqslant 2\) et \(A=(a_{i,j})_{1\leqslant i,j\leqslant N}\in\mathscr{S}_N(\mathbf{R})\) à coefficients dans \(\{0,1\}\). On suppose qu’il existe \(m\in\mathbf{N}\) tel que \(A^m\) a ses coefficients strictement positifs. On note \(\Omega_A=\{\omega\in\{1,\ldots,N\},\ \forall n\in\mathbf{Z},\ a_{\omega_n,\omega_{n+1}}=1\}\).
[oraux/ex3512]
Montrer que \(\Omega_A\) est non vide. Soit \(\Theta:(u_n)_{n\in\mathbf{Z}}\mapsto(u_{n+1})_{n\in\mathbf{Z}}\). Montrer que \(\Theta\) induit une bijection de \(\Omega_A\) sur \(\Omega_A\).
On appelle orbite tout ensemble du type \(\{\Theta^n(\omega),\ n\in\mathbf{N}\}\) avec \(\omega\in\Omega_A\). On note \(\mathscr{O}_f\) l’ensemble des orbites finies. Soit \(g:x\mapsto\displaystyle\mathop{\prod}\limits_{C\in\mathscr{O}_f}{1\over1-x^{\mathop{\mathchoice{\hbox{card}}{\hbox{card}}{\mathrm{card}}{\mathrm{card}}}\nolimits(C)}}\). Montrer que \(g\) est définie au voisinage de 0. Montrer que \(g\) est une fraction rationnelle ; l’exprimer en fonction de \(A\).
[oraux/ex0920] centrale PSI 2010 Soit \(\mathscr{H}\) un hyperplan de \(\mathscr{M}_2(\mathbf{R})\) constitué de matrices diagonalisables. On veut montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_2(\mathbf{R})\) telle que \(\mathscr{H}=P\mathscr{S}_2(\mathbf{R})P^{-1}\).
[oraux/ex0920]
Montrer que \(\mathscr{H}\) contient une matrice non inversible non nulle.
Montrer que, par conjugaison, on peut se ramener à \(\mathscr{H}=\mathop{\mathchoice{\hbox{Vect}}{\hbox{Vect}}{\mathrm{Vect}}{\mathrm{Vect}}}\nolimits(A,B,C)\) où \(A=\left(\begin{array}{cc}1&0\\0&0\end{array}\right)\), \(B=\left(\begin{array}{cc}1&0\\0&1\end{array}\right)\), \(C=\left(\begin{array}{cc}1&\omega^2\\1&0\end{array}\right)\) avec \(\omega\in\mathbf{R}_+^*\).
En déduire le résultat.
[oraux/ex3507] ens paris, ens lyon, ens cachan MP 2011 Si \(M\in\mathscr{M}_n(\mathbf{R})\), on note \(\mu_M\) le polynôme minimal de \(M\).
[oraux/ex3507]
Soit \(A\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\). Exprimer \(\mu_{A^{-1}}\) en fonction de \(\mu_A\).
Soit \(A\in\mathscr{O}_n(\mathbf{R})\). On suppose que 1 et \(-1\) ne sont pas racines de \(\mu_A\). Montrer que \(\mu_A\) est un polynôme réciproque de degré pair.
Soient \(A\) et \(B\) dans \(\mathscr{O}_n(\mathbf{R})\) tels que : \(\mu_A=\mu_B\) et \(\mu_A\) est irréductible. Montrer que \(A\) et \(B\) sont orthogonalement semblables.
[examen/ex3263] mines MP 2025 Soit \(A\in\mathscr{S}_n(\mathbf{R})\). Déterminer le nombre de matrices \(B\in\mathscr{M}_n(\mathbf{R})\) telles que \(A=B^2\).
[examen/ex3263]
[oraux/ex3600] polytechnique MP 2011 Quelles sont les matrices \(A\in\mathscr{M}_n(\mathbf{R})\) telles que : \(\forall P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\), \(PA\in\mathscr{S}_n(\mathbf{R})\) ?
[oraux/ex3600]
[oraux/ex5300] mines MP 2012 Soit \(A=(a_{i,j})\in {\cal S}_n(\mathbf{R})\) telle que, pour tout \(i\in\{1,\nobreak\ldots\unskip\nobreak ,n\}\), \(a_{i,i}=1\) et \(\sum\limits_{j=1}^n|a_{i,j}|\leqslant 2\). Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits A\in[0,1]\).
[oraux/ex5300]
[concours/ex3599] mines M 1992 Soit \(E\) un espace euclidien de dimension \(n\), \(f\) et \(g\) deux éléments de \(O(E)\).
[concours/ex3599]
On suppose \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(f+I)\) paire. Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits f=1\).
On suppose que \(f^2=-\mathchoice{\hbox{Id}}{\hbox{Id}}{\mathrm{Id}}{\mathrm{Id}}\) et \(fg=gf\). Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits g=1\).
[planches/ex3198] polytechnique MP 2018 Soient \(\lambda_1\), \(\lambda_2\in\mathbf{R}\). Déterminer le lieu \(L\) dans \(\mathbf{R}^2\) de la diagonale des matrices de \(\mathscr{S}_2(\mathbf{R})\) dont les valeurs propres sont \(\lambda_1\) et \(\lambda_2\) c’est-à-dire : \[L=\left\{\vphantom{|_|}(S_{1,1},S_{2,2}),\ S\in\mathscr{S}_2(\mathbf{R})\hbox{ et }\chi_S=(X-\lambda_1)(X-\lambda_2)\right\}.\]
[planches/ex3198]
[concours/ex6253] ens MP 2006 Soit \(E\) un espace euclidien de dimension \(2n\) et de norme \(\|\ \|\), \(F\) un sous-espace de \(E\) de dimension \(n\), \(u\in\mathscr{L}(F)\) et \(p\) la projection orthogonale de \(E\) sur \(F\). Montrer l’équivalence entre :
[concours/ex6253]
\(\forall x\in F\), \(\|u(x)\|\leqslant\|x\|\) ;
\(\exists v\in\mathscr{O}(E)\), \(u=p\mathbin{\circ} v_{|F}\).
[examen/ex3073] polytechnique, espci PC 2025 Soient \(M_1\), … , \(M_n\in\mathscr{M}_p(\mathbf{R})\) telles que \(\displaystyle\sum\limits_{i=1}^nM_i^TM_i=I_p\).
[examen/ex3073]
Pour \(X\in\mathscr{M}_p(\mathbf{R})\), on pose \(L(X)=\displaystyle\sum\limits_{i=1}^nM_i^TXM_i\).
On écrit \(M\geqslant N\) pour signifier \(M-N\in\mathscr{S}_n^+(\mathbf{R})\). Montrer que \(L(X^TX)\geqslant L(X^T)L(X)\).
[planches/ex6093] ens saclay, ens rennes MP 2021 Pour \(M\in\mathscr{M}_n(\mathbf{C})\), on pose \(M^*=\overline M^T\).
[planches/ex6093]
Montrer que \(\|A\|=\sqrt{\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(A^*A)}\) définit une norme sur \(\mathscr{M}_n(\mathbf{C})\).
Montrer que pour tout \(U\in\mathscr{M}_n(\mathbf{C})\) telle que \(U^*U=I_n\) et pour tout \(A\in\mathscr{M}_n(\mathbf{C})\), on a \(\|UA\|=\|AU\|=\|A\|\).
Pour \((p,q)\in[[1,n]]^2\) tel que \(p\neq q\), pour tout \(\theta\in\mathbf{R}\), on note \(G(p,q,\theta)\) la matrice de \(\mathscr{M}_n(\mathbf{R})\) ayant les mêmes coefficients que \(I_n\) sauf éventuellement aux positions suivantes : \(G(p,q,\theta)_{p,p}=\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta\), \(G(p,q,\theta)_{q,q}=\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta\), \(G(p,q,\theta)_{p,q}=-\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\theta\) et \(G(p,q,\theta)_{q,p}=\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\theta\). Montrer que \(\|G(p,q,\theta)^TAG(p,q,\theta)\|=\|A\|\) pour tout \(A\in\mathscr{M}_n(\mathbf{R})\).
Soient \(A\in\mathscr{S}_n(\mathbf{R})\) et \(p<q\) dans \([[1,n]]\) tels que \(a_{p,q}\neq0\). Montrer qu’il existe un unique \(\theta\in\displaystyle\left]-{\pi\over4},0\right[\cup\left]0,{\pi\over4}\right[\) tel que, pour \(B=G(p,q,\theta)^TAG(p,q,\theta)\), on ait \(b_{p,q}=0\) et \(\displaystyle\sum\limits_{i=1}^nb_{i,i}^2=2a_{p,q}^2+\sum\limits_{i=1}^na_{i,i}^2\).
[oraux/ex0629] ens paris, ens lyon, ens cachan MP 2008 Soit \(A\in\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_2(\mathbf{C})\) telle que \(\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits A\neq\pm2\).
[oraux/ex0629]
Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_2(\mathbf{C})\) telle que \(P^{-1}AP\) soit diagonale.
Soit \(B\in\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_2(\mathbf{C})\) telle que \(A\) et \(B\) n’ont pas de vecteurs propres communs.
Montrer qu’il existe \(P\in\mathop{\mathchoice{\hbox{SL}}{\hbox{SL}}{\mathrm{SL}}{\mathrm{SL}}}\nolimits_2(\mathbf{C})\) telle que \(P^{-1}AP\) et \(P^{-1}BP\) soient symétriques.
Soient \(a_1\), … , \(a_n\), \(b_1\), … , \(b_n\in\mathbf{Z}\) tels que \(A^{a_1}B^{b_1}\ldots A^{a_n}B^{b_n}=I_2\). Montrer que : \(A^{-a_1}B^{-b_1}\ldots A^{-a_n}B^{-b_n}=I_2\).
[planches/ex8524] centrale MP 2022 (avec Python)
[planches/ex8524]
Python
Soit \(n\in\mathbf{N}^*\). Pour \(\theta\in\mathbf{R}\) et \((p,q)\in[[1,n]]\) avec \(p\neq q\), on note \(\Omega_{p,q}(\theta)\in\mathscr{M}_n(\mathbf{R})\) la matrice dont les coefficients d’indices \((p,p)\) et \((q,q)\) valent \(\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits\theta\), les autres coefficients diagonaux valant 1, et \([\Omega_{p,q}(\theta)]_{p,q}=-[\Omega_{p,q}(\theta)]_{p,q}=sin\theta\). Tous les autres coefficients sont nuls.
Coder une fonction Python qui renvoie la matrice \(\Omega_{p,q}(\theta)\).
Coder une fonction Python qui, pour une matrice \(A\in\mathscr{S}_n(\mathbf{R})\), renvoie un couple \((p,q)\in[[1,n]]^2\) avec \(p<q\) tel que \(|a_{p,q}|=\mathop{\mathchoice{\hbox{max}}{\hbox{max}}{\mathrm{max}}{\mathrm{max}}}\limits_{1\leqslant i<j\leqslant n}|a_{i,j}|\).
Coder une fonction Python prenant en argument \(A\in\mathscr{S}_n(\mathbf{R})\), et qui renvoie la matrice \(B=\Omega_{p,q}(\theta)^TA\Omega_{p,q}(\theta)\) où \((p,q)\) est défini comme précédemment et \(\theta\in\left[\displaystyle-{\pi\over4},{\pi\over4}\right]\) vérifie \(\mathop{\mathchoice{\hbox{cotan}}{\hbox{cotan}}{\mathrm{cotan}}{\mathrm{cotan}}}\nolimits(2\theta)=\displaystyle{a_{p,p}-a_{q,q}\over2a_{p,q}}\).
Avec les notations précédentes, montrer que \(B\) est symétrique et de même norme euclidienne canonique que \(A\).
[oraux/ex0747] polytechnique MP 2009 Soit \(S\in\mathscr{S}_n(\mathbf{R})\) telle que, pour toute matrice inversible \(P\), \(PS\) soit encore symétrique. Que dire de \(S\) ? Donner deux méthodes.
[oraux/ex0747]
[oraux/ex8834] ens PC 2014 Soit \(A\in\mathscr{M}_n(\mathbf{R})\) de spectre réel. On suppose que, pour tout \(i\in[[1,n]]\), \(a_{i,i}=1\) et \(\displaystyle\sum\limits_{j\neq i}a_{i,j}\leqslant 1\). Montrer que \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A)\) appartient à \([0,1]\).
[oraux/ex8834]
[oraux/ex0464] centrale 2004 Soit \(D\) une matrice diagonale réelle de taille \(n\), de valeurs propres notées \(\lambda_1<\ldots<\lambda_n\). On se donne une matrice symétrique réelle \(V\), et pour \(\varepsilon>0\), on note \(\mu_1\leqslant\ldots\leqslant\mu_n\) les valeurs propres de \(M(\varepsilon)=D+\varepsilon V\) ; montrer que, pour tout \(i\), \(\mu_i\) admet un développement limité à tous ordres en \(\varepsilon\) lorsque ce dernier tend vers 0. Déterminer les deux premiers termes du développement.
[oraux/ex0464]
[planches/ex1711] polytechnique MP 2017 Soient \(n\) et \(d\) dans \(\mathbf{N}^*\). Soient \(M_1\), … , \(M_n\) dans \(\mathscr{M}_d(\mathbf{R})\) telles que \(\displaystyle\sum\limits_{k=1}^n{}^tM_kM_k=I_d\). On définit l’endomorphisme \(L\), de l’espace vectoriel \(\mathscr{M}_d(\mathbf{R})\) dans lui-même, par l’égalité \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(L(X)=\displaystyle\sum\limits_{k=1}^n{}^tM_kXM_k\).
[planches/ex1711]
Enfin, si \(X\in\mathscr{M}_d(\mathbf{R})\), on écrit \(X\geqslant 0\) lorsque, pour tout \(Y\in\mathscr{M}_{d,1}(\mathbf{R})\), \({}^tYXY\geqslant 0\).
Soit \(X\in\mathscr{M}_d(\mathbf{R})\). Montrer que, si \(X\geqslant 0\), alors \(L(X)\geqslant 0\).
Montrer l’existence de \(p\in\mathbf{N}^*\), de \(V\in\mathscr{M}_{p,d}(\mathbf{R})\) vérifiant \({}^tVV=I_d\), et d’un morphisme d’algèbres \(\pi\), de \(\mathscr{M}_d(\mathbf{R})\) vers \(\mathscr{M}_p(\mathbf{R})\), tel que \(\pi({}^tX)={}^t(\pi(X))\) et \(L(X)={}^tV\pi(X)V\), pour tout \(X\in\mathscr{M}_d(\mathbf{R})\).
Montrer que \(\forall X\in\mathscr{M}_d(\mathbf{R})\), \(L({}^tXX)-{}^t(L(X))L(X)\geqslant 0\).
[concours/ex0115] polytechnique PC 1996 Soient \(A\) et \(B\) deux matrices symétriques réelles, \(\lambda_1\), … , \(\lambda_n\) les valeurs propres supposées distinctes de \(A\) ; \(x_1\), … , \(x_n\) une base orthonormée de vecteurs propres. Trouver un développement limité en \(0\) des valeurs propres \(\mu_i\) de \(A+\varepsilon B\) sous la forme : \[\mu_i=\lambda_i+\varepsilon\lambda_{i1}+\varepsilon^2\lambda_{i2}+ \cdots+\varepsilon^n\lambda_{in}+o(\varepsilon^n)\,.\] Même question pour les vecteurs propres \(y_i\).
[concours/ex0115]
[planches/ex6087] ens saclay, ens rennes MP 2021
[planches/ex6087]
Pour \(A\), \(B\), \(C\) dans \(\mathscr{M}_n(\mathbf{R})\), montrer que : \[\left|\matrix{A&B\cr0&C}\right|=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(C),\quad\left|\matrix{A&B\cr B&A}\right|=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A-B)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A+B),\quad\left|\matrix{A&-B\cr B&A}\right|\geqslant 0.\]
Le but de l’exercice est de démontrer que, pour \(A\) et \(B\) dans \(\mathscr{S}_n(\mathbf{R})\), on a \(AB=0\) si et seulement si, pour tout \((x,y)\in\mathbf{R}^2\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA-yB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-yB)\).
Montrer le sens direct.
Soient \(M\in\mathscr{S}_n^+(\mathbf{R})\) et \(N\in\mathscr{S}_n(\mathbf{R})\) telles que, pour tout \(t\in\mathbf{R}\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(M-tN)=0\). Montrer que \(\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(M)\cap\mathop{\mathchoice{\hbox{ker}}{\hbox{ker}}{\mathrm{ker}}{\mathrm{ker}}}\nolimits(N)\neq\{0\}\).
En déduire que si \(A\) et \(B\) sont deux éléments de \(\mathscr{S}_n(\mathbf{R})\) tels que, pour tout \((x,y)\in\mathbf{R}^2\), \(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA-yB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-xA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-yB)\), alors il existe un vecteur propre de \(A\) appartenant au noyau de \(B\).
[oraux/ex6865] ens cachan MP 2013 Soit \(n\in\mathbf{N}^*\).
[oraux/ex6865]
On fixe \(B\in\mathscr{M}_n(\mathbf{R})\). Déterminer le maximum de \(\mathop{\mathchoice{\hbox{deg}}{\hbox{deg}}{\mathrm{deg}}{\mathrm{deg}}}\nolimits(\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A+XB))\) pour \(A\in\mathscr{M}_n(\mathbf{R})\).
On se donne \(A\) et \(B\) dans \(\mathscr{S}_n(\mathbf{R})\) et on se place dans \(\mathbf{R}[X,Y]\). Montrer que : \[\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-XA-YB)=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-XA)\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(I_n-YB)\hbox{ si et seulement si }AB=0.\]
[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]
[planches/ex5862] polytechnique MP 2020 Soient \(n\) et \(p\) deux éléments de \(\mathbf{N}^*\) tels que \(n\geqslant p\), \(A\in\mathscr{S}_n(\mathbf{R})\), \(B\in\mathscr{M}_{n,p}(\mathbf{R})\) et \[S=\pmatrix{A&B\cr B^T&0}.\] Montrer que \(S\) est inversible si et seulement s’il existe \(C\in\mathscr{M}_{n,n-p}(\mathbf{R})\) de rang \(n-p\) telle que \(C^TB=0\) et \(C^TAC\) soit inversible.
[planches/ex5862]
[planches/ex8523] centrale MP 2022 (avec Python)
[planches/ex8523]
Soit \(A\in\mathscr{S}_n(\mathbf{R})\). Pour \(k\in[[1,n]]\), on note \(A_k\) la matrice extraite de \(A\) constituée de ses \(k\) premières lignes et \(k\) premières colonnes, et on pose \(\Delta_k=\mathop{\mathchoice{\hbox{det}}{\hbox{det}}{\mathrm{det}}{\mathrm{det}}}\nolimits(A_k)\).
Écrire une fonction qui renvoie une matrice symétrique de taille \(n\), à coefficients aléatoirement choisis dans l’intervalle \([[-20,20]]\).
Écrire une fonction, prenant une matrice carrée \(M\in\mathscr{M}_n(\mathbf{R})\) en argument, et qui renvoie le couple \((\ell_1,\ell_2)\) où \(\ell_1=[\Delta_1,\Delta_2/\Delta_1,\ldots,\Delta_n/\Delta_{n-1}]\) et \(\ell_2\) est la liste des valeurs propres de \(M\).
Tester la fonction précédente sur différentes matrices symétriques. Que constate-t-on ?
Soit \(D_p\in\mathscr{M}_n(\mathbf{R})\) la matrice diagonale dont les \(p\) premiers coefficients sont égaux à 1, et les suivants, égaux à \(-1\). On note \(\mathscr{O}_p=\{P^TD_pP,\ P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\}\).
Montrer que la relation \(\mathscr{R}\), définie par \(A\mathscr{R} B\) s’il existe \(P\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) telle que \(A=P^TBP\), est une relation d’équivalence sur \(\mathscr{M}_n(\mathbf{R})\).
Soit \(A\in\mathscr{S}_n(\mathbf{R})\cap\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\). Montrer qu’il existe \(p\in[[0,n]]\) tel que \(A\in\mathscr{O}_p\).
Soient \(p\), \(q\in[[0,n]]\). On suppose qu’il existe \(Q\in\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) telle que \(D_p=Q^TD_qQ\) et on pose \(f:X\in\mathscr{M}_{n,1}(\mathbf{R})\longmapsto X^TD_pX\).
Montrer qu’il existe deux sous-espaces vectoriels de \(\mathscr{M}_{n,1}(\mathbf{R})\) tels que \(\forall X\in F\setminus\{0\}\) (resp. \(G\setminus\{0\}\)), \(f(X)>0\) (resp. \(f(X)<0\)).
En déduire que \(p\leqslant q\), puis que \(p=q\).
Montrer que \((\mathscr{O}_p)_{0\leqslant p\leqslant n}\) est une partition de \(\mathscr{S}_n(\mathbf{R})\cap\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\).
On suppose que les \(\Delta_k\) sont non nuls et qu’il existe \(Q\in\mathscr{M}_{n-1}(\mathbf{R})\) triangulaire supérieure avec une diagonale de 1 telle que \(Q^TA_n^{-1}Q=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\Delta_1,\Delta_2/\Delta_1,\ldots,\Delta_{n-1}/\Delta_{n-2})\).
Montrer l’existence d’une matrice \(P\in\mathscr{M}_n(\mathbf{R})\) triangulaire supérieure à diagonale de 1 telle que \(P^TAP=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\Delta_1,\Delta_2/\Delta_1,\ldots,\Delta_n/\Delta_{n-1})\).
[concours/ex0028] polytechnique MP 1996 Soit \(S=(a_{ij})\) une matrice symétrique réelle dont tous les mineurs principaux sont non nuls. Montrer qu’il existe une matrice \(T\) triangulaire supérieure avec des \(1\) sur la diagonale et une matrice diagonale \(\Delta\) telle que \(S={}^tT\Delta T\) et calculer les termes de \(\Delta\).
[concours/ex0028]
Indication : traiter le cas d’une matrice \((2,2)\) puis le cas général.
[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/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]
[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\) ?
[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 :
[concours/ex3317]
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\}\) ;
\(\mathop{\mathchoice{\hbox{Sp}}{\hbox{Sp}}{\mathrm{Sp}}{\mathrm{Sp}}}\nolimits G\subset\{0,1\}\).
[examen/ex2729] ens paris MP 2025 Soit \(n\in\mathbf{N}^*\). On appelle forme quadratique sur \(\mathbf{R}^n\) toute application \(q:\mathbf{R}^n\to\mathbf{R}\) telle qu’il existe \((a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\) telle que \(q(x)=\sum\limits_{1\leqslant i,j\leqslant n}a_{i,j}x_ix_j\) pour tout \(x=(x_1,\ldots,x_n)\in\mathbf{R}^n\). Soit \(G\) un sous-groupe fini de \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{R})\) tels que \(\{0\}\) et \(\mathbf{R}^n\) sont les seuls sous-espaces de \(\mathbf{R}^n\) stables par tous les éléments de \(G\). Montrer que les formes quadratiques invariantes par \(G\) constituent une droite vectorielle.
[examen/ex2729]
[examen/ex2719] ens paris MP 2025 Déterminer l’ensemble des symétries linéaires sur \(\mathscr{S}_n(\mathbf{R})\) qui fixent un hyperplan et stabilisent l’ensemble \(\mathscr{S}_n^{++}(\mathbf{R})\).
[examen/ex2719]
[oraux/ex0850] ens MP 2010 Soit \(A=(a_{i,j})_{1\leqslant i,j\leqslant n}\in\mathscr{M}_n(\mathbf{R})\) à coefficients positifs. On suppose que : \(\forall i\in\{1,\ldots,n\}\), \(a_{i,1}+a_{i,2}+\cdots+a_{i,n}=1\), qu’il existe \(n_0\in\mathbf{N}^*\) tel que \(A^{n_0}\) ait tous ses coefficients strictement positifs, et qu’il existe \((u_1,\ldots,u_n)\in(\mathbf{R}_+^*)^n\) tel que : \(\forall(i,j)\in\{1,\ldots,n\}^2\), \(u_ia_{i,j}=u_ja_{j,i}\).
[oraux/ex0850]
On pose, pour \(x\) et \(y\) dans \(\mathscr{M}_{n,1}(\mathbf{R})\), \(\phi(x,y)=\sum\limits_{i=1}^nu_ix_iy_i\). Montrer que \(\phi\) est un produit scalaire.
Montrer que toutes les valeurs propres complexes de \(A\) sont dans l’intervalle \(\left]-1,1\right]\).
Montrer que 1 est racine simple du polynôme caractéristique de \(A\).
[oraux/ex8209] polytechnique MP 2016 Soient \(m\) et \(n\) dans \(\mathbf{N}^*\), \(M\) dans \(\mathscr{M}_{m,n}(\mathbf{R})\). On munit \(\mathbf{R}^m\) et \(\mathbf{R}^n\) de leur structure euclidienne canonique. On note \(S^{n-1}\) (resp. \(S^{m-1}\)) la sphère unité de \(\mathbf{R}^n\) (resp. \(\mathbf{R}^m\)). On note \(\sigma_1=\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\langle u,Mv\rangle,\ u\in S^{m-1},\ v\in S^{n-1}\}\).
[oraux/ex8209]
Montrer qu’il existe \(u_1\) dans \(S^{m-1}\) et \(v_1\) dans \(S^{n-1}\) tels que \(\sigma_1=\langle u_1,Mv_1\rangle\) et que, si \(M\neq0\), \(\sigma_1>0\).
Montrer que \(Mv_1=\sigma_1u_1\) et que \({}^tMu_1=\sigma_1v_1\).
reprendre ces questions avec \(\sigma_2=\mathop{\mathchoice{\hbox{sup}}{\hbox{sup}}{\mathrm{sup}}{\mathrm{sup}}}\limits\{\langle u,Mv\rangle,\ u\in S^{m-1}\cap u_1^\perp,\ v\in S^{n-1}\cap v_1^\perp\}\).
Montrer qu’il existe \(U\) dans \(\mathscr{O}_m(\mathbf{R})\), \(V\) dans \(\mathscr{O}_n(\mathbf{R})\) et \(\Sigma\) dans \(\mathscr{M}_{m,n}(\mathbf{R})\) telles que \(M=U\Sigma V\) et que les seuls coefficients non nuls de \(\Sigma\) soient \(\Sigma_{i,i}\) pour \(1\leqslant i\leqslant r\), tous strictement positifs. Interpréter ces coefficients à l’aide de la matrice \({}^tMM\).
[oraux/ex8003] ens lyon MP 2014 Soit \(k\in\mathbf{N}^*\). On note \(N=(n_{i,j})\in\mathscr{M}_k(\mathbf{C})\) définie par \(n_{i,j}=\delta_{i+1,j}\). On fixe \(c\), \(c_1\) et \(c_2\) dans \(\mathbf{R}_+^*\). Montrer qu’il existe une matrice hermitienne \(H\in\mathscr{M}_k(\mathbf{C})\) telle que : \[\forall W\in\mathbf{C}^k,\ W^*HW\geqslant c\sum\limits_{j=1}^k|w_j|^2\hbox{ et }\mathop{\mathchoice{\hbox{Im}}{\hbox{Im}}{\mathrm{Im}}{\mathrm{Im}}}\nolimits(W^*HNW)\leqslant c_1|w_1|^2-c_2\sum\limits_{j=2}^k|w_j|^2.\] Indication : On cherchera \(H\) sous la forme d’une matrice tridiagonale à coefficients hors-diagonale imaginaire purs.
[oraux/ex8003]
[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/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}^*\).
[planches/ex7568]
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)\).
[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 ?
[examen/ex1090] ens paris, ens lyon, ens saclay, ens rennes MP 2024 Si \(G\) est un groupe, on note \(Z(G)\) son centre.
[examen/ex1090]
On pose \(\mathscr{U}_n(\mathbf{C})=\{A\in\mathcal M_n(\mathbf{C})\,,\, A^*A=I_n\}\) où \(A^*=\overline{A}^T\), l’ensemble des matrices unitaires.
Montrer que \(Z(G)\) est un sous-groupe de \(G\) et que \(\mathscr{U}_n(\mathbf{C})\) est un sous-groupe de \(\mathop{\mathchoice{\hbox{GL}}{\hbox{GL}}{\mathrm{GL}}{\mathrm{GL}}}\nolimits_n(\mathbf{C})\).
Soit \(A\in\mathscr{M}_n(\mathbf{C})\) hermitienne, c’est-à-dire telle que \(A^*=A\). Démontrer qu’il existe \(P\in\mathscr{U}_n(\mathbf{C})\) telle que \(P^*AP\) soit diagonale.
Démontrer que toute matrice \(M\in\mathscr{M}_n(\mathbf{C})\) s’écrit comme combinaison linéaire d’au plus quatre matrices unitaires.
Déterminer \(Z\left(\mathscr{U}_n(\mathbf{C})\right)\).
[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.
[concours/ex5247]
[oraux/ex8165] centrale MP 2015
[oraux/ex8165]
Soit \(G\) un groupe fini et \(g\in G\). Montrer que \(x\mapsto xg\) est une bijection de \(G\) dans lui-même.
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.
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))\) ?
[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)\).
[examen/ex3864]
Démontrer l’inégalité de Cauchy-Schwarz.
L’application \(N\) est-elle une norme sur \(\mathscr{M}_n(\mathbf{R})\) ?
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)\).
Vous pouvez pré-filtrer l'affichage des exercices, en imposant par exemple des exercices d'un concours particulier