Exercice 12, § 6
Étiquette 02VP, permanente. À citer comme [Bourbaki, Tag 02VP].
Théories spectrales, III, p. 133
Soit A une matrice réelle de type , irréductible et positive. Pour tout non nul, on pose
inf,
où () est la coordonnée de d’indice .
a) Si et , alors est le plus grand nombre réel tel que . b) Supposons que et posons A. On a alors .
c) La restriction à de la fonction est continue.
d) En déduire qu’il existe tel que et tel que sup. (Utiliser les ensembles compacts ainsi que A)(M), puis l’exercice 10.)
On note . Un élément de tel que et sera dit extrémal.
e) On a .
f) Si est un vecteur extrémal, alors . (Si était non nul, alors A) serait d’après l’exercice 10 et, pour A, on aurait
g) Tout élément extrémal est .
Pour tout vecteur dans , on note le vecteur ; on a donc et .
h) Soient une valeur propre de A, vue comme matrice complexe, et dans un vecteur propre correspondant. On a et .
i) En déduire que si , toutes les coordonnées de sont non nulles, puis que l’espace propre (dans ) de A associé à la valeur propre est de dimension 1.
On note Δ(X) le déterminant de et B(X) la transposée de la matrice des cofacteurs de . On note B(X) = (). On a donc B)B (A, III, p. 99, prop. 12). j) Pour tout , la colonne d’indice de B est non nulle. (Si ce n’est pas le cas, construire un vecteur propre de A associé à la valeur propre et dont le coefficient d’indice soit nul, en contradiction avec la question f).) k) Tous les coefficients de B sont du même signe. (Montrer d’abord, à l’aide de la relation )B, que pour tout , tous les coefficients de la colonne d’indice de B sont non nuls et du même signe, puis raisonner avec les transposées.)
l) On a et pour tout . (Utiliser la formule et observer que ne change pas de signe sur l’intervalle )
m) En conclure que est une racine simple du polynôme caractéristique de A.
Solution
Aucune solution n’a encore été écrite.
Cité par
Rien.
Cite
Rien.