Bourbaki

Remark

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

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

Let π\pi denote the canonical homomorphism of L(E)\mathscr{L}(E) onto the Calkin algebra C\mathscr{C}alk(E) of E (cf. No. 4 of III, p. 75). The spectrum of π(u)\pi (u) relative to the algebra C\mathscr{C}alk(E) is sometimes called the stable spectrum of uu. Its elements are the complex numbers λ\lambda such that u−λ1Eu-\lambda 1_E is not a Fredholm endomorphism of E (cor. 1 of theorem 3 of III, p. 73). It is therefore equal to Spω(u)∪_{\omega}(u)\cup Sp−∞(u)∪_{-\infty}(u)\cup Sp+∞(u)_{+\infty}(u).

Let A be the set of endomorphisms of E which commute with uu. The closure B of π(A)\pi (A) in C\mathscr{C}alk(E) is a complete normable algebra and the spectrum of π(u)\pi (u) relative to B is the essential spectrum Spe(u)_e(u) of uu (III, p. 77, prop. 3). By the cor. of prop. 6 of I, p. 28, applied to the subalgebra B of C\mathscr{C}alk(E), the set Spe(u)_e(u) is the union of Spω(u)∪_{\omega}(u)\cup Sp−∞(u)∪_{-\infty}(u)\cup Sp+∞(u)_{+\infty}(u) and of certain bounded connected components of its complement.

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.