Bourbaki

Theorem 3 (Weyl)

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

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

Let u∈L(E)u\in \mathscr{L}(E) be a normal endomorphism of uu. The essential spectrum of uu is the intersection of the sets Sp(u+hu+h), where hh ranges over Lc(E)\mathscr{L}^c(E).

Let h∈Lc(E)h\in \mathscr{L}^c(E). Since Sp0(u)_0(u) is empty (corollary above), Theorem 2 of III, p. 89 implies that Spe(u+h)=_e(u+h) = Spe(u)_e(u). The intersection of the sets Sp(u+hu+h) therefore contains Spe(u)_e(u).

Let λ∈\lambda \in Sps(u)_s(u). Let EλE_{\lambda} denote the proper subspace of uu relative to λ\lambda, and FλF_{\lambda} the image of the spectral projector associated with uu and C−{λ}\mathbf{C}-\{\lambda \}. The space E is the topological direct sum of EλE_{\lambda} and FλF_{\lambda}. Let hh be the finite-rank endomorphism of E which is zero on FλF_{\lambda} and coincides on EλE_{\lambda} with the identity. The endomorphism u+hu+h is invertible, therefore λ∉\lambda \notin Sp(u+hu+h). The theorem follows.

Thus, if uu is a normal endomorphism of E, and if h∈Lch\in \mathscr{L}^c(E), the spectrum of u+hu+h can differ from the spectrum of uu only by isolated points having finite spectral multiplicity.

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.