Lemma 2
Tag 02UV, permanent. Cite it as [Bourbaki, Tag 02UV].
Théories spectrales, chapter III, § 6. Propriétés spectrales des endomorphismes des espaces de Banach
Let be an infinite, discrete, bounded and closed set in . Then S is the set of values of a sequence of non-zero complex numbers, pairwise distinct, such that the sequence is decreasing and converges to 0.
For every integer , the set of complex numbers such that is compact and discrete in , hence finite. Let be its cardinal. Since S is infinite, the sequence tends to . Put and . For every , choose a bijection of the interval of onto such that the mapping is decreasing on . The sequence satisfies the required properties.
Let E be a complete normable space of infinite dimension. The algebra is a non-unital subalgebra of . Recall that for every compact endomorphism (E), the spectrum Sp is the spectrum of relative to the unital subalgebra of I, p. 4, No.).
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.