Proposition 20
Tag 0342, permanent. Cite it as [Bourbaki, Tag 0342].
Théories spectrales, chapter IV, § 4. Opérateurs partiels
Let E be a complex Banach space and a closed partial operator on E. Let . For every , the following conditions are equivalent:
(i) One has PSp;
(ii) Either Sp(), or there exists dom() such that and ;
(iii) There exists such that and Sp().
One may suppose that E is nonzero. Condition (ii) is a reformulation of the definition, and hence of condition (i).
Suppose that condition (i) is satisfied and let us prove (iii). If belongs to the spectrum of , one can take in (iii).
Suppose therefore that Sp(). By definition of PSp, there exists such that and . Put . One has . By the Hahn–Banach theorem (EVT, II, p. 67, cor. 2), the linear form on such that admits a continuous extension such that ; hence . For every , put . One has and . It follows that , therefore Sp(). Since moreover , condition (iii) is satisfied.
Conversely, let such that and Sp(). The partial operator is therefore not injective with a continuous inverse; by Lemma 4 of IV, p. 243, applied to the injective partial operator and to , one therefore has . It follows that condition (iii) implies (i).
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.