Definition 10
Tag 036T, permanent. Cite it as [Bourbaki, Tag 036T].
Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral
Let be a normal partial operator on E. A complex number Sp() belongs to the discrete spectrum of if is isolated in Sp() and if is an eigenvalue of finite multiplicity.
We denote by Sp the discrete spectrum of . Its complement in Sp() is called the essential spectrum of and denoted by Sp.
The essential spectrum of a normal partial operator on E is closed in , since Sp() is closed in and the complement of the essential spectrum is open in Sp(). The discrete spectrum of is not necessarily closed in (exercise 36 of IV, p. 369).
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.