Mines 2016 - Maths 2
Notations
Dans tout le probl`eme, Kd´esigne Rou C.
Etant donn´es deux entiers naturels net pnon nuls, on note Mn,p(K) l’espace vectoriel des matrices `a
nlignes et pcolonnes et `a coefficients dans Ket Mn(K) = Mn,n(K). Pour i, j ∈[|1, n|], on note Ei,j
la matrice ´el´ementaire de Mn(K) ayant exactement un coefficient non nul, situ´e en position (i, j) et
de valeur 1. La transpos´ee d’une matrice Msera not´ee tM.
Une matrice carr´ee A∈Mn(K) est dite triangulaire sup´erieure stricte lorsqu’elle est triangulaire
sup´erieure `a coefficients diagonaux tous nuls.
On note Sn(K), An(K) et T++
n(K) les sous-ensembles de Mn(K) constitu´es respectivement des matrices
sym´etriques, antisym´etriques et triangulaires sup´erieures strictes.
On rappelle la notation du symbole de Kronecker : pour xet ydeux entiers,
∆x,y =1 si x=y
0 sinon
D´efinition 1 Etant donn´e un entier naturel non nul n, un sous-espace vectoriel Vde Mn(K), et un
´el´ement jde [|1, n|], on note Cj(V)l’ensemble des matrices de Vdont toutes les colonnes sont nulles
`a l’exception ´eventuelle de la j-`eme.
Pour toute matrice M∈Mn(K) avec n≥2, on notera K(M)∈Mn−1(K), R(M)∈Mn−1,1(K),
L(M)∈M1,n−1(K) et a(M)∈Kla d´ecomposition de Men blocs suivante :
M=K(M)R(M)
L(M)a(M)(1)
On a en particulier d´efini des fonctions K:Mn(K)→Mn−1(K) et L:Mn(K)→M1,n−1(K),
´evidemment lin´eaires.
Objectifs
D´efinition 2 Soit A∈Mn(K). On dit que Aest quasi-nilpotente lorsqu’elle ne poss`ede aucune
valeur propre non nulle dans K. Une partie Vde Mn(K)est dite quasi-nilpotente lorsque tous ses
´el´ements sont quasi-nilpotents.
On se propose d’´etudier les sous-espaces vectoriels quasi-nilpotents de Mn(K). En particulier, le
r´esultat principal que nous souhaitons ´etablir s’´enonc´e comme suite.
Th´eor`eme (Dimension des espaces quasi-nilpotents Pour tout sous-espace vectoriel quasi-
nilpotent Nde Mn(K), on a
dim(V)≤n(n−1)
2(QN)
La cl´e pour d´emontrer ce r´esultat r´eside dans le lemme suivant, d´emontr´e dans la partie C.
Lemme (Lemme des colonnes) Pour tout sous-espace vectoriel Vde Mn(K), quasi-nilpotent, il
existe un ´el´ement jde [|1, n|]tel que Cj(V) = {0}.
A. Exemples
Dans cette partie, nd´esigne un entier naturel sup´erieur ou ´egal `a 2.
1. Montrer que la matrice D=0−1
1 0 est quasi-nilpotente vue comme matrice de M2(R).
Est-elle quasi-nilpotente vue comme matrice de M2(C) ?
1