Lemma 11
Tag 036W, permanent. Cite it as [Bourbaki, Tag 036W].
Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral
Suppose that is finite-dimensional. Then, for every real number 0, the image of the spectral projector of defined by is infinite-dimensional.
If is finite-dimensional, then the essential spectrum of is nonempty, hence is finite and belongs to Sp. Moreover, the lower spectrum Sp is finite, hence there exists such that Sp(). The assertion then results from Lemma 9.
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.