Bourbaki

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 S⊂CS\subset \mathbf{C} be an infinite, discrete, bounded and closed set in C−{0}\mathbf{C}-\{0\}. Then S is the set of values of a sequence (λn)n∈N(\lambda_n)_{n\in\mathbf{N}} of non-zero complex numbers, pairwise distinct, such that the sequence (∣λn∣)n∈N(|\lambda_n|)_{n\in\mathbf{N}} is decreasing and converges to 0.

For every integer i⩾1i\geqslant 1, the set AiA_i of complex numbers λ∈S\lambda \in S such that ∣λ∣⩾1i|\lambda |\geqslant \frac{1}{i} is compact and discrete in C\mathbf{C}, hence finite. Let aia_i be its cardinal. Since S is infinite, the sequence (ai)(a_i) tends to +∞+\infty. Put A0=∅A_0=\emptyset and a0=0a_0= 0. For every i⩾1i\geqslant 1, choose a bijection n↦λnn\mapsto \lambda_n of the interval [ai−1,ai[[a_{i-1}, a_i[ of N\mathbf{N} onto Ai−Ai−1A_i-A_{i-1} such that the mapping n↦∣λn∣n\mapsto |\lambda_n| is decreasing on [ai−1,ai[[a_{i-1}, a_i[. The sequence (λn)n∈N(\lambda_n)_{n\in\mathbf{N}} satisfies the required properties.

Let E be a complete normable space of infinite dimension. The algebra Lc(E)\mathscr{L}^c(E) is a non-unital subalgebra of L(E)\mathscr{L}(E). Recall that for every compact endomorphism u∈Lcu\in \mathscr{L}^c(E), the spectrum SpLc(E)′(u)'_{\mathscr{L}^c(E)}(u) is the spectrum of uu relative to the unital subalgebra Lc(E)⊕C1E\mathscr{L}^c(E)\oplus \mathbf{C}1_E of L(E)(\mathscr{L}(E) (I, p. 4, No.o4^o4).

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, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.