Groupe symétrique, déterminants — Polytechnique

Exercices corrigés de Polytechnique sur le thème « groupe symétrique, déterminants », regroupés par filière.

MP–MPI


Exercice 1. (★★★) Familles libres ; Matrices d'évaluation ; Formes linéaires
Soient {f_1,\ldots,f_n} des fonctions de {X} dans {\mathbb{C}}.
1) Si {\det(f_i(x_j))=0} pour tout {(x_1,\ldots,x_n)\in X^n}, montrer que les {f_i} sont liées.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {g_1,\ldots,g_n} vérifient {\det(f_i(x_j))=\det(g_i(x_j))} pour tout choix des points, montrer que les deux familles engendrent le même espace, ou qu’elles sont toutes deux liées.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) Déterminant d'un produit ; Inversibilité ; Conjugaison
Soient {A,B,C,D\in\mathcal M_n(\mathbb{R})}, {n\ge2}, telles que {AC-BD=I_n} et {AD+BC=0}.
1) Montrer que {CA-DB=I_n} et {DA+CB=0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Montrer que {\det(AC)\ge0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Matrices semblables ; Décomposition en cycles ; Trace
Pour {\sigma\in\mathfrak S_n}, soit {P_\sigma} sa matrice de permutation complexe.

Montrer que deux permutations sont conjuguées si et seulement si leurs matrices sont semblables.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★) Décomposition en cycles ; Loi uniforme ; Transpositions
1) Si {\tau} est une transposition, comparer les nombres de cycles disjoints de {\sigma} et {\sigma\tau}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Pour une permutation uniforme de {\mathfrak S_n} et deux éléments distincts {i,j}, calculer la probabilité qu’ils soient dans le même cycle.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★) Décomposition en cycles ; Similitude ; Trace
Pour {\sigma\in S_n}, soit {P_\sigma} sa matrice de permutation sur {\mathbb{C}^n}.

Montrer que {\sigma,\sigma'} sont conjuguées dans {S_n} si et seulement si {P_\sigma,P_{\sigma'}} sont semblables.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★) Cycles ; Linéarité ; Sommes d'indicatrices
Déterminer le nombre moyen de {2}-cycles, de {3}-cycles et de {p}-cycles d’une permutation uniforme de {\left\{1,\ldots,n\right\}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) Comatrice ; Rang ; Opérations élémentaires
Soit {M\in M_n(\mathbb{R})}.
1) Si {M} est inversible, combien de coefficients faut-il modifier au minimum pour la rendre singulière ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) Si {M} est singulière, combien faut-il en modifier au minimum pour la rendre inversible ?
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) Décomposition en cycles ; Trace ; Similitude
Pour {\sigma\in S_n}, soit {P_\sigma} sa matrice de permutation et {n_r(\sigma)} le nombre de ses cycles de longueur {r}.
1) Calculer {\operatorname{tr}(P_\sigma^k)} en fonction des {n_r}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2) En déduire que deux permutations sont conjuguées si et seulement si leurs matrices sont semblables.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★) Raisonnement et ensembles ; Permutations ; Compositions d'entiers
Pour {I\subset\left\{1,\ldots,n\right\}}, une composante de {I} est une partie maximale formée d’entiers consécutifs ; on note {c(I)} leur nombre.
a) On dit que {\sigma\in\mathfrak S_{n+1}} est {I}-adaptée si {\sigma(i),\sigma(i+1)} sont consécutifs pour tout {i\in I}.

Dénombrer ces permutations en fonction de {|I|,c(I)}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Dénombrer les {I} de cardinal {p} ayant {c} composantes.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★) Produit scalaire ; Déterminant d'une isométrie ; Trace
[MPI] Pour {O\in O_n(\mathbb{R})}, calculer {|\det\psi_O|}, où {\psi_O:S_n(\mathbb{R})\to S_n(\mathbb{R})} est définie par {\psi_O(A)=O^{\mathsf T}AO}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★★) Matrices définies positives ; Positivité de l'intégrale ; Opérations élémentaires
a) Pour {A\in S_n(\mathbb{R})}, montrer qu’elle est définie positive si et seulement si tous ses mineurs principaux initiaux {\det(a_{ij})_{1\le i,j\le k}} sont strictement positifs.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Pour {t>0}, calculer le déterminant de {A_k=(t^{|i-j|})_{1\le i,j\le k}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Montrer que {(1/(1+|i-j|))_{1\le i,j\le n}} est symétrique définie positive.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★★) Polynômes et fractions rationnelles ; Déterminant de Vandermonde ; Intégration par parties
[MPI] On rappelle {\int_{\mathbb{R}}e^{-x^2/2}\,dx=\sqrt{2\pi}}. Pour {n\ge0}, posons {p_n(x)=(-1)^ne^{x^2/2}(d^n/dx^n)e^{-x^2/2}}.
a) Montrer que {p_n} est un polynôme ; donner degré, coefficient dominant et parité.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Calculer {\int_{\mathbb{R}}p_mp_ne^{-x^2/2}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
c) Calculer {\int_{\mathbb{R}^n}\prod\limits_{i\lt j}(x_j-x_i)^2e^{-\sum\limits_kx_k^2/2}\,dx_1\cdots dx_n}. Indication : considérer {\det(p_{i-1}(x_j))}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 13. (★★★★★) Permutations ; Matrices de Gram ; Orthogonalité
[MPI] Soient des fonctions réelles {(f_n)} de carré intégrable sur {\mathbb{R}}, avec {\int_{\mathbb{R}}f_if_j=\delta_{ij}}. Pour {N\ge1}, posons {K_N(x,y)=\sum\limits_{k=0}^{N-1}f_k(x)f_k(y)} et {\varphi_p(x_1,\ldots,x_p)=\det(K_N(x_i,x_j))}.

Calculer {\int_{\mathbb{R}^p}\varphi_p}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


PC


Exercice 1. (★★★) Déterminants par blocs ; Inversibilité
Soit {A,B,C,D\in M_n(\mathbb{C})}, avec {AB=BA}. Montrer {\det\begin{pmatrix}A&B\\[4pt]C&D\end{pmatrix}=\det(DA-CB)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 2. (★★★) Module ; Déterminant ; Éléments propres
Soit {A\in M_n(\mathbb{C})} telle que {|a_{ii}|\geq2\sum\limits_{j\ne i}|a_{ij}|} pour tout {i}.

Montrer {|\det A|\geq(\min_i|a_{ii}|/2)^n}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 3. (★★★) Transposition ; Multilinéarité
Soit {n} pair, {A} réelle antisymétrique et {C} la matrice dont toutes les entrées valent {1}.

Montrer {\det(A+\lambda C)=\det A} pour tout réel {\lambda}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 4. (★★★★) Déterminant d'un endomorphisme ; Pivot de Gauss ; Composition
Soient {P=aX+b}, {Q=cX+d} et {\Phi\in\mathcal L(\mathbb{R}_n[X])} défini par {\Phi(X^k)=P^kQ^{n-k}} pour {0\le k\le n}.

Calculer {\det\Phi}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 5. (★★★★) déterminant d'une matrice ; permutations ; inversibilité
Pour tout {n\ge1}, construire {M\in M_n(\mathbb{R})} telle que toute permutation de ses {n^2} coefficients donne une matrice inversible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 6. (★★★) Nombres réels ou complexes ; produit de déterminants ; matrices par blocs
Une application {f} entre espaces complexes est antilinéaire si {f(x+\lambda y)=f(x)+\overline\lambda f(y)}.

Pour quels {n} existe-t-il une application antilinéaire sur {\mathbb{C}^n} vérifiant {f^2=-I} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 7. (★★★) produit de déterminants ; boules ; sommes et produits
Soit {E\subset\mathbb{R}^n} fermé borné contenant la boule unité, et {M\in M_n(\mathbb{R})} avec {M(E)\subset E}.

Montrer {|\det M|\le1}.

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 8. (★★★) déterminant d’une famille, d’un endomorphisme ou d’une matrice ; calcul matriciel ; sommes télescopiques
Calculer le déterminant de {A=(1/\min(i,j))_{1\le i,j\le n}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 9. (★★★★) déterminant d’une famille, d’un endomorphisme ou d’une matrice ; rang ; changements de bases
Soit {A\in M_n(\mathbb{R})} telle que {\det(A+H)=\det A+\det H} pour toute {H}.

Que peut-on dire de {A} ?

Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 10. (★★★★) théorème de Rolle ; inversibilité ; valeurs intermédiaires
a) Pour des réels distincts {\alpha_1,\ldots,\alpha_p} et des coefficients non tous nuls {c_i}, montrer que {\sum\limits_ic_ie^{\alpha_ix}} a au plus {p-1} zéros.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Si {\alpha_1\lt \cdots\lt \alpha_p} et {\beta_1\lt \cdots\lt \beta_p}, montrer {\det(e^{\alpha_i\beta_j})>0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 11. (★★★★) théorème spectral ; endomorphismes positifs et définis positifs ; inégalités de convexité
Pour {A,B\in S_n^{++}(\mathbb{R})}, montrer {(\det(A+B))^{1/n}\ge(\det A)^{1/n}+(\det B)^{1/n}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Exercice 12. (★★★) déterminant d’une famille, d’un endomorphisme ou d’une matrice ; théorème des bornes atteintes
Soit {\mathcal A=\left\{M\in M_n(\mathbb{R}):m_{ij}\in[0,1]\right\}} et {\alpha=\sup_{M\in\mathcal A}\det M}.
a) Montrer que le supremum est atteint.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
b) Montrer que ce supremum est atteint par une matrice à coefficients dans {\left\{0,1\right\}} et de déterminant positif.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :


Retour aux planches par thème

Author: Jean-Michel Ferrard

Professeur de mathématiques en classe préparatoire aux grandes écoles.