Bourbaki

Lemma 7

Tag 02VB, permanent. Cite it as [Bourbaki, Tag 02VB].

Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach

We have uA(R+n)⊂R+nu_A(\mathbf{R}^n_+)\subset \mathbf{R}_+^n if and only if ai,j⩾0a_{i,j}\geqslant 0 for all ii and jj, and uA(R+n−{0})⊂(R+∗)nu_A(\mathbf{R}^n_+-\{0\})\subset (\mathbf{R}_+^*)^n if and only if ai,j>0a_{i,j}>0 for all ii and jj.

Let (e1,...,en)(e_1, . . . , e_n) be the canonical basis of Rn\mathbf{R}^n. The vectors eie_i belong to R+n\mathbf{R}_+^n and uA(ei)∈R+nu_A(e_i)\in \mathbf{R}_+^n for every ii (resp. uA(ei)∈(R+∗)nu_A(e_i)\in (\mathbf{R}_+^*)^n for every ii) if and only if ai,j⩾0a_{i,j}\geqslant 0 for all ii and jj (resp. ai,j>0a_{i,j}>0 for all ii and jj). The result follows by linearity.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.