Proposition 1
Tag 02UG, permanent. Cite it as [Bourbaki, Tag 02UG].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
The sensitive points of the spectrum of are eigenvalues of finite spectral multiplicity.
The essential spectrum of consists of the complex numbers such that is not a Riesz endomorphism of E. In particular, if is compact, then every Sp() is a sensitive point of the spectrum (cor. 2 of III, p. 77).
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.