Bourbaki

Proposition 1

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

Théories spectrales, chapter I, § 7. Spectre des endomorphismes des espaces de Banach

Let E be a complex Banach space and uu an endomorphism of E. Let λ∈C\lambda \in \mathbf{C} and f∈Of\in \mathscr{O}(Sp(uu)). We have

Ker(u−λ1Eu-\lambda 1_E)⊂\subset Ker(f(u)−f(λ)1Ef(u)-f(\lambda )1_E).

Let x∈Ex\in E be nonzero. The set A of the v∈L(E)v\in \mathscr{L}(E) such that xx is an eigenvector of vv is a unital subalgebra of L(E)\mathscr{L}(E).

The algebra A is full: if v∈Av\in A is invertible in L(E)\mathscr{L}(E) and if xx is an eigenvector of vv for the eigenvalue λ\lambda, then λ≠0\lambda \not= 0 and v−1(x)=λ−1xv^{-1}(x) =\lambda^{-1}x, which proves that v−1∈Av^{-1}\in A.

The algebra A is closed in L(E)\mathscr{L}(E). In fact, if (vn)n∈N(v_n)_{n\in\mathbf{N}} is a sequence in A such that vnv_n converges to v∈L(E)v\in \mathscr{L}(E), the sequence (λn)n∈N(\lambda_n)_{n\in\mathbf{N}} such that vn(x)=λnxv_n(x) =\lambda_nx is bounded, and therefore admits a subsequence converging to a complex number μ\mu, so that v(x)=μxv(x) =\mu x.

Suppose that xx is an eigenvector of uu and that u(x)=λxu(x) =\lambda x. The algebra A contains uu, and therefore contains the closed full unital subalgebra B generated by uu, which is commutative. The mapping χ:B→C\chi : B\rightarrow \mathbf{C} which associates with vv the eigenvalue of vv relative to xx is a character of B such that χ(u)=λ\chi (u) =\lambda. For every f∈Of\in \mathscr{O}(Sp(uu)), we have f(u)∈Bf(u)\in B and χ(f(u))=f(χ(u))=f(λ)\chi (f(u)) =f(\chi (u)) =f(\lambda ) by Proposition 7 of I, p. 75, whence the proposition.

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-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.