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 be an endomorphism of E. Suppose that 0 is an isolated point of the complex spectrum of , that is to say, of the spectrum of the endomorphism of the complexified complete normable space of E (I, p. 85, No. 13). The subset of the complex spectrum of is open and closed, and invariant under conjugation; let us denote by 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.