Proposition 8
Tag 02RY, permanent. Cite it as [Bourbaki, Tag 02RY].
Théories spectrales, chapter III, § 3. Endomorphismes de Fredholm et endomorphismes de Riesz
Let E be a separated locally convex space and an endomorphism of E. The following conditions are equivalent:
(i) is a Riesz endomorphism of E;
(ii) There exists a quasi-inverse of which commutes with ;
(iii) There exists a closed vector subspace of E, of finite codimension, stable under , such that induces an automorphism of .
The implication (i) (ii) follows from prop. 6, d).
Suppose that possesses a quasi-inverse which is permutable with . The kernel of is a closed vector subspace of E, of finite codimension, stable under and . Since one has for every , the mappings and induce automorphisms of inverse to one another. Thus (ii) implies (iii).
Finally, the implication (iii) (i) follows from assertion a) of prop. 7 and from the fact that an automorphism is a Riesz endomorphism.
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.