Corollary
Tag 0366, permanent. Cite it as [Bourbaki, Tag 0366].
Théories spectrales, chapter IV, § 5. Opérateurs partiels normaux et théorème spectral
Let A be an open set in and . If A contains elements of Sp(), then the dimension of the image of the spectral projector of relative to A is at least equal to .
Let be distinct elements of the spectrum of belonging to A. There exists a family of pairwise disjoint open sets of such that for . Let B be the union of the sets . The image of contains the image of the spectral projector ; moreover is the sum of the projectors , and since the image of is orthogonal to the image of for all , the result follows from Prop. 10.
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.