Bourbaki

Lemma 2

Tag 02SS, permanent. Cite it as [Bourbaki, Tag 02SS].

Théories spectrales, chapter III, § 4. Perturbations dans les espaces de Banach

Let cc be a real number. If c<((u))c <((u)), then for every element z∈z\in Im(uu), there exists an element xx of E such that u(x)=zu(x) =z and c∥x∥⩽∥z∥c\|x\|\leqslant \|z\|. Conversely, if for every z∈z\in Im(uu) there exists x∈Ex\in E such that u(x)=zu(x) =z and c∥x∥⩽∥z∥c\|x\|\leqslant \|z\|, then c⩽((u))c\leqslant ((u)).

This is a consequence of formulas (2) and (5) and of the definition of the conorm of uu.

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.