Proposition 21
Tag 0344, permanent. Cite it as [Bourbaki, Tag 0344].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E be a complex Banach space and a closed partial operator on E. Let . Every bounded connected component of PSp meets the spectrum of .
Let U be a connected component of PSp which does not meet Sp(). The set U is open and closed in PSp, and its closure U in therefore satisfies PSp.
Since Sp() is contained in PSp and U does not meet Sp(), this equality proves that the set U is disjoint from Sp(), hence contained in the resolvent set of . Moreover, it implies that the set U does not meet PSp.
One therefore has for every in U, whereas for . If the set U is bounded, its closure is compact and there exists such that for . The foregoing implies that , which contradicts the maximum principle (VAR, R1, p. 29, 3.3.7) since the resolvent of is holomorphic in the resolvent set of (Prop. 14 of IV, p. 246).
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.