Bourbaki

Proposition 14

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

Théories spectrales, chapter III, § 3. Endomorphismes de Fredholm et endomorphismes de Riesz

Let E be a complex Banach space. In order that an element uu of L(E)\mathscr{L}(E) be a Riesz endomorphism of E, it is necessary and sufficient that one of the following two mutually exclusive conditions be satisfied:

(i) The endomorphism uu of E is an automorphism of E;

(ii) The point 0 is an isolated point of Sp(uu) and the projector e0(u)e_0(u) has finite rank.

When condition (ii) is satisfied, the image of e0(u)e_0(u) is the nilspace of uu and the kernel of e0(u)e_0(u) is the conilspace of uu.

Every automorphism of E is a Riesz endomorphism of E (III, p. 47, remark 1). If uu satisfies condition (ii), the kernel F of e0(u)e_0(u) is a closed vector subspace of finite codimension of E, stable under uu. Let uFu_F be the endomorphism of F induced by uu. Its spectrum is contained in C−{0}\mathbf{C}-\{0\} (No. 3 of I, p. 131), hence uFu_F is an automorphism of F. It follows that uu is a Riesz endomorphism of E (III, p. 48, prop. 8).

Conversely, let uu be a Riesz endomorphism of E. Let N denote its nilspace and I its conilspace. By prop. 6 of III, p. 47, the space E is the topological direct sum of N and I, and the mapping uu defines, by passing to the subspaces, a nilpotent endomorphism uNu_N of N and an automorphism uIu_I of I. In particular, we have Sp(uNu_N)⊂{0}\subset \{0\} and 0∉0\not \in Sp(uIu_I). If N is zero, then I = E and uu is an automorphism of E. Otherwise, 0 is an isolated point of Sp(uu) and e0(u)e_0(u) is the projector with image N and kernel I (prop. 2 of I, p. 129); in particular, it is of finite rank.

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-6-mini, gpt-5.4, 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.