Bourbaki

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 uu a closed partial operator on E. Let ε∈R+∗\varepsilon \in \mathbf{R}^*_+. For every λ∈C\lambda \in \mathbf{C}, the following conditions are equivalent:

(i) One has λ∈\lambda \in PSpε(u)_{\varepsilon}(u);

(ii) Either λ∈\lambda \in Sp(uu), or there exists x∈x\in dom(uu) such that ∥x∥=1\|x\|= 1 and ∥(λ1E−u)(x)∥<ε\|(\lambda 1_E-u)(x)\|< \varepsilon;

(iii) There exists v∈L(E)v\in \mathscr{L}(E) such that ∥v∥<ε\|v\|< \varepsilon and λ∈\lambda \in Sp(u+vu+v).

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 λ\lambda belongs to the spectrum of uu, one can take v=0v= 0 in (iii).

Suppose therefore that λ∉\lambda \notin Sp(uu). By definition of PSpε(u)_{\varepsilon}(u), there exists y∈Ey\in E such that ∥y∥=1\|y\|= 1 and ∥R(u,λ)y∥>ε−1\|R(u, \lambda )y\|> \varepsilon^{-1}. Put x=R(u,λ)yx= R(u, \lambda )y. One has x≠0x\not = 0. By the Hahn–Banach theorem (EVT, II, p. 67, cor. 2), the linear form ℓ\ell on Cx\mathbf{C}x such that ℓ(x)=1\ell (x) = 1 admits a continuous extension ℓ1∈E′\ell_1\in E' such that ∥ℓ1∥=∥ℓ∥\|\ell_1\|=\|\ell \|; hence ∥ℓ1∥=∥x∥−1<ε\|\ell_1\|=\|x\|^{-1}< \varepsilon. For every e∈Ee\in E, put v(e)=ℓ1(e)yv(e) =\ell_1(e)y. One has v∈L(E)v\in \mathscr{L}(E) and v(x)=yv(x) =y. It follows that (u+v)x=u(x)+y=λx(u+v)x=u(x) +y=\lambda x, therefore λ∈\lambda \in Sp(u+vu+v). Since moreover ∥v∥=∥ℓ1∥<ε\|v\|=\|\ell_1\|< \varepsilon, condition (iii) is satisfied.

Conversely, let v∈L(E)v\in \mathscr{L}(E) such that ∥v∥<ε\|v\|< \varepsilon and λ∈\lambda \in Sp(u+vu+v). The partial operator λ1E−(u+v)\lambda 1_E-(u+v) is therefore not injective with a continuous inverse; by Lemma 4 of IV, p. 243, applied to the injective partial operator λ1E−u\lambda 1_E-u and to −v-v, one therefore has ∥v∥⩾∥R(u,λ)∥−1\|v\|\geqslant \|R(u, \lambda )\|^{-1}. 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.

Machine translation of the English, by gpt-5.4, against glossary version 34. Not checked by a person.