Centrale-Supélec 2022 — Mathématiques 1 — PC
Notations
Dans tout le problème, {n} désigne un entier naturel supérieur ou égal à {2}.
{\mathcal M_{n,p}(\mathbb R)} désigne l’ensemble des matrices réelles à {n} lignes et {p} colonnes ; {\mathcal M_n(\mathbb R)} celui des matrices carrées d’ordre {n}, {0_n} sa matrice nulle et {\mathcal S_n(\mathbb R)} son sous-espace des matrices symétriques.
{\operatorname{diag}(a_1,\ldots,a_n)} est la matrice diagonale de coefficients {a_1,\ldots,a_n}, {A^{\mathsf T}} la transposée de {A} et {\operatorname{sp}(A)} son spectre réel. Les éléments de {\mathcal M_1(\mathbb R)} sont assimilés à des réels.
Le produit scalaire canonique sur {\mathcal M_{n,1}(\mathbb R)} est {(U\mid V)=U^{\mathsf T}V} ; sa norme est notée {\|U\|}.
Les variables aléatoires sont définies sur {(\Omega,\mathcal B,\mathbb P)}. Pour tout {p\in]0,1[}, on suppose qu’il existe sur cet espace une suite de variables de Bernoulli de paramètre {p}, mutuellement indépendantes. On note {\mathbb E(X)}, {\mathbb V(X)} et {\operatorname{cov}(X,Y)} l’espérance, la variance et la covariance, lorsqu’elles existent. On rappelle que
{\begin{array}{l}\operatorname{cov}(X,Y)=\mathbb E[(X-\mathbb E(X))(Y-\mathbb E(Y))]\\[8pt]\quad=\mathbb E(XY)-\mathbb E(X)\mathbb E(Y).\end{array}}Définition. Une matrice {A} est orthodiagonalisable s’il existe une matrice diagonale {D} et une matrice orthogonale {P} telles que {A=PDP^{\mathsf T}}. Orthodiagonaliser {A} consiste à déterminer un tel couple {(D,P)}.
I — Généralités sur les matrices symétriques réelles
Q 1. Démontrer que {A\in\mathcal M_n(\mathbb R)} est orthodiagonalisable si et seulement si elle est symétrique.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
I.A — Un exemple dans {\mathcal M_3(\mathbb R)}
On pose {A_1=\left(\begin{array}{rrr}3&-2&4\\[8pt]-2&6&2\\[8pt]4&2&3\end{array}\right).}
Q 2. En observant la première et la dernière colonne de {A_1}, déterminer un vecteur propre de {A_1} et la valeur propre {\lambda_1} associée.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 3. Déterminer le sous-espace propre de {A_1} associé à {\lambda_1} et en déduire le spectre de {A_1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 4. Orthodiagonaliser {A_1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
I.B — Un exemple dans {\mathcal M_n(\mathbb R)}
Q 5. Montrer que {\phi(P,Q)=\int_0^1P(t)Q(t)\,dt} définit un produit scalaire sur {\mathbb R_{n-1}[X]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 6. Écrire la matrice {H} de ce produit scalaire dans la base canonique de {\mathbb R_{n-1}[X]}, de terme général {h_{i,j}=\phi(X^i,X^j)}, les indices variant de {0} à {n-1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 7. Soit {U\in\mathcal M_{n,1}(\mathbb R)}. Exprimer {U^{\mathsf T}HU} à l’aide de {\phi} et des coefficients de {U}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 8. Montrer que {H\in\mathcal S_n(\mathbb R)} et que ses valeurs propres sont strictement positives.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
I.C — Rayon spectral
Pour {A\in\mathcal M_n(\mathbb R)} de spectre réel non vide, on définit {\rho(A)=\max_{\lambda\in\operatorname{sp}(A)}|\lambda|}.
Q 9. Montrer que, si {A} est nilpotente, c’est-à-dire {A^p=0_n} pour un entier {p\ge1}, alors son rayon spectral est nul.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 10. On note {C=\{U\in\mathcal M_{n,1}(\mathbb R):U^{\mathsf T}U=1\}}. Démontrer que {C} est une partie fermée.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 11. En déduire que {U\mapsto|U^{\mathsf T}AU|} admet un maximum sur {C}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 12. Montrer que {\rho(A)\le\max_{U\in C}|U^{\mathsf T}AU|}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
I.D — Rayon spectral d’une matrice symétrique
Soit {A\in\mathcal S_n(\mathbb R)}.
Q 13. Démontrer que {\rho(A)=\max_{U\in C}|U^{\mathsf T}AU|}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On suppose de plus que les valeurs propres de {A} sont toutes positives.
Q 14. Montrer alors que {\rho(A)=\max_{U\in C}(U^{\mathsf T}AU)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 15. Démontrer que {\rho} définit une norme sur {\mathcal S_n(\mathbb 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 :
II — Matrice de covariance
On considère des variables aléatoires réelles discrètes {Y_1,\ldots,Y_n} sur {(\Omega,\mathcal B,\mathbb P)} et le vecteur {Y=(Y_1,\ldots,Y_n)^{\mathsf T}}. Un vecteur aléatoire est dit constant lorsque la fonction correspondante est constante.
Lorsque les espérances existent, on pose {\mathbb E(Y)=(\mathbb E(Y_1),\ldots,\mathbb E(Y_n))^{\mathsf T}}. Sa matrice de covariance {\Sigma_Y} a pour coefficients {\sigma_{i,j}=\operatorname{cov}(Y_i,Y_j)} et sa variance totale est {\mathbb V_T(Y)=\sum\limits_{i=1}^n\mathbb V(Y_i)}.
Dans toute la suite, {\mathbb E(Y)} et {\Sigma_Y} sont supposées bien définies.
II.A
On admet que {Y} est une variable aléatoire discrète à valeurs dans {\mathcal M_{n,1}(\mathbb R)}. On admet également que {(Y-\mathbb E(Y))(Y-\mathbb E(Y))^{\mathsf T}} est une variable aléatoire discrète matricielle, dont l’espérance se calcule coefficient par coefficient.
Q 16. Vérifier que {\Sigma_Y} est symétrique, que {\Sigma_Y=\mathbb E[(Y-\mathbb E(Y))(Y-\mathbb E(Y))^{\mathsf T}]} et que {\Sigma_{Y+U}=\Sigma_Y} pour tout vecteur constant {U}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 17. Soient {p\in\mathbb N^*} et {M\in\mathcal M_{p,n}(\mathbb R)}. On pose {Z=MY}. Justifier que {Z} admet une espérance et exprimer {\mathbb E(Z)} en fonction de {\mathbb E(Y)}. Montrer que sa matrice de covariance existe et vérifie {\Sigma_Z=M\Sigma_YM^{\mathsf T}}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
II.B — Propriété des valeurs propres
On note {P} la matrice de passage de la base canonique à une base orthonormée de vecteurs propres de {\Sigma_Y} et on pose {X=P^{\mathsf T}Y=(X_1,\ldots,X_n)^{\mathsf T}}.
Q 18. Démontrer que {\Sigma_X} est diagonale.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 19. En déduire que les valeurs propres de {\Sigma_Y} sont toutes positives.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 20. Démontrer que {\mathbb V_T(X)=\mathbb V_T(Y)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
II.C — Étude de la réciproque
Soit {D=\operatorname{diag}(\lambda_1,\ldots,\lambda_n)} avec {\lambda_i\ge0}.
Q 21. Démontrer l’existence d’un vecteur aléatoire discret {Z} tel que {\Sigma_Z=D}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Soit {A\in\mathcal S_n(\mathbb R)} dont les valeurs propres sont positives.
Q 22. Démontrer l’existence d’un vecteur aléatoire discret {Y} tel que {\Sigma_Y=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 :
II.D
Soit {U=(u_1,\ldots,u_n)^{\mathsf T}\in\mathcal M_{n,1}(\mathbb R)}. On pose {X=U^{\mathsf T}Y}.
Q 23. Montrer que {X} admet une variance et que {\mathbb V(X)=U^{\mathsf T}\Sigma_YU}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
II.E — Image de {\Sigma_Y}
L’objectif est de montrer que {\mathbb P(Y-\mathbb E(Y)\in\operatorname{Im}\Sigma_Y)=1}. On note {r=\operatorname{rg}\Sigma_Y}.
Q 24. Traiter le cas {r=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 :
On suppose maintenant {r\lt n}.
Q 25. Démontrer que le noyau et l’image de {\Sigma_Y} sont supplémentaires orthogonaux.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
On note {d=\dim\ker\Sigma_Y} et on choisit une base orthonormée {(V_1,\ldots,V_d)} de ce noyau.
Q 26. Démontrer que, pour tout {j\in\{1,\ldots,d\}}, {\mathbb V(V_j^{\mathsf T}(Y-\mathbb E(Y)))=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 :
Q 27. En déduire que {\mathbb P(V_j^{\mathsf T}(Y-\mathbb E(Y))=0)=1}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 28. Conclure.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
III — Maximisation de la variance
Les notations sont celles de II. On cherche un vecteur unitaire {U} maximisant la variance de {U^{\mathsf T}Y}. On reprend {C=\{U:U^{\mathsf T}U=1\}} et on pose {q_Y(U)=\mathbb V(U^{\mathsf T}Y)} sur {C}.
III.A — Un exemple dans {\mathcal M_{3,1}(\mathbb R)}
On pose {A_2=\operatorname{diag}(9,5,4)}.
Q 29. Justifier l’existence d’un vecteur aléatoire dont {A_2} est la matrice de covariance.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 30. Dans cette question seulement, on suppose {\Sigma_Y=A_2}. Déterminer le maximum de {q_Y} sur {C}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
III.B — Cas général
Q 31. Démontrer que {q_Y} admet un maximum sur {C}. Préciser sa valeur et un vecteur {U_0\in C} qui l’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 :
III.C — Étude d’un exemple
Dans cette sous-partie seulement, {\sigma_{i,i}=\sigma^2} et {\sigma_{i,j}=\sigma^2\gamma} pour {i\ne j}, où {\sigma,\gamma>0}. On note {J} la matrice dont tous les coefficients valent {1}.
Q 32. Démontrer que {\gamma\le1} et exprimer {\Sigma_Y} en fonction de {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 :
Q 33. Déterminer les valeurs propres de {J}, les dimensions des sous-espaces propres et un vecteur propre associé à la valeur propre de module maximal.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 34. Préciser un vecteur unitaire {U_0} pour lequel la variance de {Z=U_0^{\mathsf T}Y} est maximale.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 35. Calculer le pourcentage de variance totale représenté par {Z}, c’est-à-dire {\mathbb V(Z)/\mathbb V_T(Y)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
III.D
On suppose que {\Sigma_Y} possède {n} valeurs propres distinctes {\lambda_1>\cdots>\lambda_n}. On choisit un vecteur unitaire {U_0} réalisant le maximum de {\mathbb V(U^{\mathsf T}Y)} sur {C}, puis on pose {C'=\{U:U^{\mathsf T}U=1,\ U_0^{\mathsf T}U=0\}}.
Q 36. Justifier que {q_Y} admet un maximum sur {C’}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Q 37. Déterminer ce maximum et préciser un vecteur {U_1\in C’} qui l’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 :
Q 38. Calculer {\operatorname{cov}(U_0^{\mathsf T}Y,U_1^{\mathsf T}Y)} ; on pourra supposer {Y} centrée.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :
Ces questions de maximisation de la variance sont à la base de l’analyse en composantes principales : on cherche des combinaisons linéaires des variables initiales concentrant le maximum d’information et décorrélées entre elles.