Lemma 7
Tag 02VB, permanent. Cite it as [Bourbaki, Tag 02VB].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
We have if and only if for all and , and if and only if for all and .
Let be the canonical basis of . The vectors belong to and for every (resp. for every ) if and only if for all and (resp. for all and ). The result follows by linearity.
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.