Bourbaki

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 uu are eigenvalues of finite spectral multiplicity.

The essential spectrum of uu consists of the complex numbers λ\lambda such that u−λ1Eu-\lambda 1_E is not a Riesz endomorphism of E. In particular, if uu is compact, then every λ∈\lambda \in Sp(uu)−{0}-\{0\} 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.

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.