Bourbaki

Remark

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

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

Let E be a real Banach space and let uu be an endomorphism of E. Suppose that 0 is an isolated point of the complex spectrum of uu, that is to say, of the spectrum of the endomorphism 1⊗u1\otimes u of the complexified complete normable space E(C)E_{(\mathbf{C})} of E (I, p. 85, No. 13). The subset {0}\{0\} of the complex spectrum of uu is open and closed, and invariant under conjugation; let us denote by e0(u)∈L(E)e_0(u)\in \mathscr{L}(E) the spectral projector associated with it (No. 13 of I, p. 85). Proposition 14 remains valid mutatis mutandis in this setting.

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.