Definition 8
Tag 033P, permanent. Cite it as [Bourbaki, Tag 033P].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let be a closed operator with dense domain on a complex Banach space E. The resolvent set of is the set of complex numbers such that the partial operator is injective and its inverse belongs to .
The spectrum of , denoted by Sp(), is the complement of the resolvent set in .
If Sp(), we denote by the inverse of . The mapping of Sp() into which associates to is called the resolvent of .
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.