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 be a normal endomorphism of . The essential spectrum of is the intersection of the sets Sp(), where ranges over .
Let . Since Sp is empty (corollary above), Theorem 2 of III, p. 89 implies that Sp Sp. The intersection of the sets Sp() therefore contains Sp.
Let Sp. Let denote the proper subspace of relative to , and the image of the spectral projector associated with and . The space E is the topological direct sum of and . Let be the finite-rank endomorphism of E which is zero on and coincides on with the identity. The endomorphism is invertible, therefore Sp(). The theorem follows.
Thus, if is a normal endomorphism of E, and if (E), the spectrum of can differ from the spectrum of 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.