Bourbaki

Lemma 4

Tag 033O, permanent. Cite it as [Bourbaki, Tag 033O].

Théories spectrales, chapter IV, § 4. Opérateurs partiels

Let E be a complex Banach space and let uu be a closed injective partial operator on E such that u−1∈L(E)u^{-1}\in \mathscr{L}(E). Let v∈L(E)v\in \mathscr{L}(E) be such that ∥v∥<∥u−1∥−1\|v\|<\|u^{-1}\|^{-1}. Then the partial operator u+vu+v is injective, one has (u+v)−1∈L(E)(u+v)^{-1}\in \mathscr{L}(E), and

(u+v)−1=u−1∘∑k=0+∞(−vu−1)k(6) (u+v)^{-1}=u^{-1}\circ \sum_{k=0}^{+\infty}(-vu^{-1})^k \tag{6}

where the series is absolutely convergent in L(E)\mathscr{L}(E). Moreover, one has

∥(u+v)−1∥⩽∥u−1∥−1 \|(u+v)^{-1}\|\leqslant \|u^{-1}\|_{-1}
1−∥v∥∥u∥ 1- \|v\| \|u\|

Since ∥v∥∥u−1∥<1\|v\| \|u^{-1}\|<1, the series with general term (−vu−1)k(-vu^{-1})^k is absolutely convergent in L\mathscr{L} (E), and its sum is the inverse of the endomorphism 1E+vu−11_E+vu^{-1} (prop. 2 of I, p. 22). Consequently, the partial operator (1E+vu−1)∘u=u+v((1_E+vu^{-1})\circ u=u+v(IV, p. 226, rem. vi) is injective and the reciprocal partial operator (u+v)−1=u−1∘(1E+vu−1)−1((u+v)^{-1}=u^{-1}\circ (1_E+vu^{-1})^{-1}(IV, p. 226, rem. iii) belongs to L(E)\mathscr{L}(E). Since

∥(1E+vu−1)−1∥⩽∑+∞(∥v∥∥u−1∥)k=\|(1_E+vu^{-1})^{-1}\|\leqslant \sum^{+\infty}(\|v\| \|u^{-1}\|)^k= 1 −1_{-1},

1−∥v∥∥u∥ 1- \|v\| \|u\|
k=0k=0

the lemma is proved.

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.