Exercise 12, § 6
Tag 02VP, permanent. Cite it as [Bourbaki, Tag 02VP].
Spectral Theories, III, p. 133
Let be a real matrix of type , irreducible and positive. For every nonzero , put
inf,
where () is the coordinate of of index .
a) If and , then is the greatest real number such that . b) Suppose that and put A. Then .
c) The restriction to of the function is continuous.
d) Deduce that there exists such that and such that sup. (Use the compact sets as well as A)(M), then Exercise 10.)
We note . An element of such that and will be called extremal.
e) One has .
f) If is an extremal vector, then . (If were nonzero, then A) would be according to Exercise 10 and, for A, one would have
g) Every extremal element is .
For every vector in , we denote by the vector ; thus one has and .
h) Let be an eigenvalue of A, viewed as a complex matrix, and let in be a corresponding eigenvector. One has and .
i) Deduce that if , all the coordinates of are nonzero, then that the eigenspace (in ) of A associated with the eigenvalue has dimension 1.
We denote by Δ(X) the determinant of and by B(X) the transpose of the matrix of the cofactors of . We denote B(X) = (). We therefore have B)B (A, III, p. 99, prop. 12). j) For every , the column of index of B is nonzero. (If this is not the case, construct an eigenvector of A associated with the eigenvalue and whose coefficient of index is zero, in contradiction with question f).) k) All the coefficients of B have the same sign. (First prove, using the relation )B, that for every , all the coefficients of the column of index of B are nonzero and have the same sign, then reason with the transposes.)
l) We have and for every . (Use the formula and observe that does not change sign on the interval )
m) Conclude that is a simple root of the characteristic polynomial of A.
Solution
No solution has been written yet.
Cited by
Nothing.
Cites
Nothing.