Definition 1
Tag 02G0, permanent. Cite it as [Bourbaki, Tag 02G0].
Théories spectrales, chapter I, § 7. Spectre des endomorphismes des espaces de Banach
Let E be a topological vector space and let be an endomorphism of E. The spectrum of , denoted by Sp(), is the spectrum of relative to the unital algebra .
Let E be a topological vector space and let . The spectrum of is the set of complex numbers such that is not an automorphism of E. If E is metrisable complete, it is also the set of complex numbers such that is not bijective (EVT, I, p. 19, Corollary 1).
Every eigenvalue of belongs to the spectrum of , but the converse is false in general.
In the remainder of this paragraph, we shall confine ourselves to studying the notion of spectrum in the case where E is a Banach space.
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.