Proposition 19
Tag 0341, permanent. Cite it as [Bourbaki, Tag 0341].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E be a complex Banach space and a closed partial operator on E. One has PSp PSp if and
PSp Sp().
The first assertion results from the definition. For the second, the spectrum of is contained in PSp for every by definition, and if Sp(), then PSp when .
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.