[planches/ex7574] ens saclay, ens rennes MP 2022 Soit \(A\in\mathscr{M}_{n,p}(\mathbf{R})\).
[planches/ex7574]
Justifier que \(AA^T\) est diagonalisable à valeurs propres positives.
On note \(\sigma_1\geqslant\cdots\geqslant\sigma_r>0\) ses valeurs propres non nulles (avec multiplicité), et \(S(A)=(\sqrt{\sigma_1},\ldots,\sqrt{\sigma_r})\).
Comparer \(S(A)\) à \(S(A^T)\).
Montrer qu’il existe \(U\) dans \(\mathscr{O}_n(\mathbf{R})\) et \(V\) dans \(\mathscr{O}_p(\mathbf{R})\) telles que \(U^TAV=R=\pmatrix{D&0\cr0&0}\), avec \(D=\mathop{\mathchoice{\hbox{diag}}{\hbox{diag}}{\mathrm{diag}}{\mathrm{diag}}}\nolimits(\sigma_1,\ldots,\sigma_r)\), où \(S(A)=(\sigma_1,\ldots,\sigma_r)\).
On considère \(A^*=VR^*U^T\), avec \(R^*=\pmatrix{D^{-1}&0\cr0&0}\in\mathscr{M}_{p,n}(\mathbf{R})\). Interpréter géométriquement les matrices \(AA^*\) et \(A^*A\), en commençant par examiner le cas particulier où \(A\) est inversible.
[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/ex8218] polytechnique MP 2016 Soient \(n\in\mathbf{N}^*\), \(A\in\mathscr{M}_n(\mathbf{R})\) de déterminant 1.
[oraux/ex8218]
Notant \(\|\ \|\) la norme euclidienne canonique sur \(\mathbf{R}^n\), montrer qu’il existe \(u\in\mathbf{R}^n\) tel que \(\|u\|=\|Au\|=1\).
Établir l’existence de \(\Omega\) et \(\Omega'\) dans \(\mathop{\mathchoice{\hbox{SO}}{\hbox{SO}}{\mathrm{SO}}{\mathrm{SO}}}\nolimits_n(\mathbf{R})\) et de \(T\) triangulaire supérieure dont la diagonale ne comporte que des 1 telles que \(A=\Omega T\Omega'\).
[examen/ex1617] mines MP 2024 Soit \(E\) un espace réel de dimension \(n\geqslant 2\). Lorsque \(\Phi\) est un produit scalaire sur \(E\), on note \(\mathscr{O}_{\Phi}(E)\) le groupe des isométries pour \(\Phi\), et \(\mathscr{S}_{\Phi}^{++}(E)\) l’ensemble des endomorphismes autoadjoints définis positifs pour \(\Phi\).
[examen/ex1617]
On fixe un produit scalaire \(\Phi\). Montrer que les propositions suivantes sont équivalentes :
\(\Psi\) est un produit scalaire,
\(\exists a\in\mathscr{S}_{\Phi}^{++}(E)\), \(\Psi(x,y)=\Phi(a(x),y)\).
Soit \(u\in\mathscr{O}_{\Phi}(E)\). Déterminer une condition nécessaire et suffisante pour que \(u\in\mathscr{O}_{\Psi}(E)\) (on utilisera l’endomorphisme \(a\) de la question précédente).
Soit \(P\) l’ensemble des produits scalaires sur \(E\). Déterminer \(\mathop{\bigcap}\limits\limits_{\Psi \in P}\mathscr{O}_{\Psi}(E)\).
[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]\).
Vous pouvez choisir d'afficher ou non des icônes pour savoir si les exercices possèdent une solution