Exercices corrigés des ENS sur le thème « réduction des endomorphismes », regroupés par filière.
MP–MPI
Montrer que toute matrice {B} s’écrit {B=\sum\limits_iP_iBP_i+AK-KA}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {A+iB} admet un vecteur propre réel.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer {\dim V}, montrer que {\psi} est diagonalisable et que les morphismes {G_n\to\mathbb{R}^\star} sont des vecteurs propres.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer l’équivalence des assertions :
Question 2) Une et une seule des propriétés suivantes est vraie : toute combinaison non nulle possède deux valeurs propres réelles distinctes ; les deux matrices sont codiagonalisables.
Question 3) Il existe {S\in S_2^{++}(\mathbb{R})} telle que {SA} soit symétrique pour toute combinaison linéaire {A}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Étudier la convergence des itérés, puis faire de même avec {B_i=\alpha A_i+(1-\alpha)A_{i+1}}, {0\lt \alpha\lt 1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’il existe {k\ge1} tel que {M^k-I} soit nilpotente.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer {\mathcal A=M_n(\mathbb{C})}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Question 2) Le résultat reste-t-il valable sur un corps {K} quelconque ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Donner une expression simple de {|G_n|^2} par un calcul direct.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer le spectre de {S} et la multiplicité de chacune de ses valeurs propres.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\operatorname{Comm}_A=\operatorname{Comm}_D+ \operatorname{Comm}_N}, que ces deux derniers endomorphismes commutent et sont respectivement diagonalisable et nilpotent.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Question 2) Que se passe-t-il dans le cas général ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
À quelle condition existe-t-il {P\in GL_n(\mathbb{C})} tel que {PAP^{-1}} et {PBP^{-1}} soient diagonales ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {P(A)} est diagonalisable si et seulement si {P^{(j)}(\lambda_i)=0} pour {1\le i\le r} et {1\le j\le\beta_i-1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’ils sont codiagonalisables.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {u} admet au plus une décomposition {u=d+n}, où {(d,n)\in K[u]^2}, {d} est diagonalisable, {n} nilpotent et {dn=nd}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’il existe un vecteur propre de {A} dont tous les coefficients sont strictement positifs.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {A} possède un vecteur propre à coefficients positifs ou nuls.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que le spectre de {M_1\cdots M_n} est inclus dans {\mathbb{R}\setminus\mathbb{Q}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {A} est semblable à {A^{-1}} si et seulement s’il existe {B,C\in M_3(\mathbb{R})} avec {A=BC}, {B^2=C^2=I_3}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’elles sont cotrigonalisables.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {M} est diagonalisable si et seulement si {A,B} le sont et il existe {X} tel que {C=AX-XB}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer celles qui sont normales et de Bourdaud.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\rho(H)} possède une valeur propre {\alpha}, puis que {\rho(X)E_\alpha\subset\ker(\rho(H)-(\alpha+2)I)} et {\rho(Y)E_\alpha\subset\ker(\rho(H)-(\alpha-2)I)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {v\circ u} est diagonalisable.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {SA} est diagonalisable sur {\mathbb{C}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PSI
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Montrer que {f^{n+1}g-gf^{n+1}=\sum_{k=0}^nf^k(fg-gf)f^{n-k}.}c) On suppose {f} non inversible.
Montrer que {f} est nilpotent si et seulement si {\varphi_f} l’est.
d) Montrer que, si {f} possède une unique valeur propre, {\varphi_f} est nilpotent.
Étudier la réciproque.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Décrire les matrices inversibles {P} telles que {P^{-1}AP} soit diagonale.
c) Soient {A,B} codiagonalisables, avec {B} à valeurs propres deux à deux distinctes.
Montrer qu’il existe {P\in\mathbb{C}[X]} avec {A=P(B)}.
d) Sans la condition de spectre simple sur {B}, montrer qu’il existe {C,P,Q} avec {A=P(C)}, {B=Q(C)}.
e) {\operatorname{diag}(-1,-4)} est-elle le carré d’une matrice réelle ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Montrer que {f} n’a aucune valeur propre réelle et que {d} est pair.
c) Construire une base {(e_1,f(e_1),\ldots,e_p,f(e_p))} et donner la matrice de {f} dans cette base.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Poser {\varphi_B(M)=MB-BM}.
i) Vérifier que c’est un endomorphisme et caractériser son noyau.
ii) Montrer que, si {A^p\ne0}, {p} est une valeur propre de {\varphi_B}.
c) {A} est-elle nilpotente ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\operatorname{Sp}(A)\subset\bigcup_{i=1}^n \left\{z\in\mathbb{C}:|z-a_{ii}|\le\sum_{j\ne i}|a_{ij}|\right\}.}
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Montrer que {S} est convexe, fermé, borné et stable par produit.
c)
i) Montrer que {\operatorname{Sp}A\subset\left\{|z|\le1\right\}}.
ii) Si {|\lambda|=1}, montrer que {\lambda^\ell=1} pour un {\ell\le n}.
d) Supposer tous les coefficients de {A} strictement positifs.
i) Montrer que {\dim\ker(A-I)=1}.
ii) Montrer que les autres valeurs propres ont un module {\lt 1}.
e) Une matrice {B} vérifie {(P)} si ses coefficients sont positifs ou nuls et ses sommes de lignes au plus {1}.
i) Montrer que {|\det B|\le1}.
ii) Déterminer celles qui vérifient aussi {|\det B|=1}.
iii) En déduire les matrices stochastiques dont le déterminant a module {1}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
i) Montrer que {\varphi} est un automorphisme.
ii) Déterminer ses valeurs propres.
iii) Est-elle diagonalisable ?
b) On fixe {\mu>0} et {f(t)=(4\mu t^2,2\mu t)}. Les tangentes à la courbe en {f(t_0)} et {f(t_1)} sont orthogonales.
i) Montrer que {4t_0t_1+1=0}.
ii) Montrer que leur point d’intersection appartient à une droite fixe.
c) Soient {Q\in O_n(\mathbb{R})} et {X,Y\in\mathcal M_{n,1}(\mathbb{R})}.
i) Montrer que {(QX)^T(QY)=X^TY}.
ii) Déterminer les valeurs propres réelles de {Q} et montrer que deux vecteurs propres associés à des valeurs propres réelles distinctes sont orthogonaux.
d) Soit {M\in O_2(\mathbb{R})} diagonalisable sur {\mathbb{R}}.
Montrer qu’à similitude près {M} peut prendre exactement trois formes.
Donner les transformations géométriques correspondantes.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
On prend ensuite {E=\mathbb{R}^{\mathbb{Z}}} et {F(u)_n=u_{n+1}+u_{n-1}}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
En déduire la dimension de cet espace propre.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer qu’il existe un unique couple {(D,U)} tel que {A=DU=UD}, avec {D} diagonale et {U} unipotente.
Si {A} est réelle, montrer que {D,U} le sont.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\lambda\in\operatorname{Sp}(M)} implique {e^\lambda\in\operatorname{Sp}(e^M)}.
Montrer qu’aucune matrice réelle {M} ne vérifie {e^M=C}.
Que peut-on dire de l’application exponentielle réelle ?
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
i) Montrer que {u} est diagonalisable.
ii) Montrer que {\operatorname{tr}u=(\operatorname{tr}A)^2}.
iii) Montrer que {S_n(\mathbb{R})} est stable et que la restriction {u_S} a pour trace {\frac12(\operatorname{tr}(A^2)+(\operatorname{tr}A)^2)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
i) Montrer que {A} est diagonalisable sur {\mathbb{C}}.
ii) Montrer qu’il existe des entiers {r,s} avec {r+2s\le n}, et des entiers {k_1\le\cdots\le k_s}, tels que {\operatorname{tr}A=r+2\sum_{i=1}^s\cos(2k_i\pi/m).}iii) Montrer que {\left\{A^k:k\in\mathbb{N}\right\}} est fini.
iv) Si {N} est son cardinal, montrer que {\operatorname{tr}u=N^{-1}\sum\limits_{k=1}^N\operatorname{tr}(A^k)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
PC
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
b) Déterminer la limite de {(M^n)}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Déterminer ses valeurs propres et vecteurs propres.
b) Poser {F=\left\{u\in E:\sum\limits_nu_n^2\lt \infty\right\}}, muni du produit scalaire {\langle u,v\rangle=\sum\limits_nu_nv_n}.
Montrer que {F} est stable par {D}, puis déterminer {H=\left\{\frac{\langle u,Du\rangle}{\lVert u\rVert^2}:u\in F\setminus\left\{0\right\}\right\}.}
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {A_n} a {n+1} valeurs propres distinctes {\lambda_0\lt \cdots\lt \lambda_n}, de multiplicités {\binom nk}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
2) Montrer qu’une matrice réelle {A} est diagonalisable sur {\mathbb{R}} si et seulement s’il existe {S} symétrique définie positive avec {SA=A^tS}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
Montrer que {\Phi:M\mapsto AM-MB} est un automorphisme de {M_n(\mathbb{R})}.
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres
- avoir une souscription active sur mathprepa
- et être connecté au site
- revenir à la page d'accueil
- ou tester la page d'extraits libres