Bourbaki

Proposition 6

Tag 0289, permanent. Cite it as [Bourbaki, Tag 0289].

Théories spectrales, chapter I, § 3. Algèbres de Banach commutatives

Let A be a commutative Banach algebra and let x∈Ax\in A.

a) The union of the set of values of G(x)\mathscr{G}(x) and of {0}\{0\} is equal to SpA′(x)'_A(x) ;

b) If A has a unit element, the set of values of G(x)\mathscr{G}(x) is SpA(x)_A(x). In particular, in order that xx be invertible, it is necessary and sufficient that G(x)\mathscr{G}(x) should not vanish.

Suppose that A admits a unit element. It is known that, for every χ∈X(A)\chi \in \mathsf{X}(A), one has χ(x)∈\chi (x)\in SpA(x)_A(x). Conversely, let λ∈\lambda \in SpA(x)_A(x). Then x−λx-\lambda is not invertible, hence belongs to a maximal ideal of A. There then exists χ∈X(A)\chi \in \mathsf{X}(A) such that χ(x−λ)=0\chi (x-\lambda ) = 0 (th. 2 of I, p. 30), whence b).

Let us pass to the general case. Let A~\widetilde{A} be the Banach algebra obtained from A by adjoining a unit element; it is commutative. The set SpA′(x)'_A(x) is equal to SpA~(x)_{\widetilde{A}}(x), that is to say to the set of values of GA~(x)\mathscr{G}_{\widetilde{A}}(x) on X(A~)=X′(A)\mathsf{X}(\widetilde{A}) =\mathsf{X}'(A). Whence a).

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.