Corollary
Tag 02UP, permanent. Cite it as [Bourbaki, Tag 02UP].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
a) Let Ω be the unbounded connected component of Sp. We have Sp() Sp;
b) Any point adherent to Sp which does not belong to Sp belongs to Sp.
Assertion a) is a direct consequence of assertion b) of th. 1. Let be a point adherent to Sp which does not belong to Sp. It belongs to the spectrum of , since the latter is closed. It does not belong to any of the sets Sp, for , since these are open (loc. cit.) and disjoint from Sp. We therefore have Sp, whence b).
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.