Bourbaki

Exercise 13, § 6

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

Spectral Theories, I, p. 181

Let AA be a unital Banach algebra over C,x∈A\mathbf{C},x\in A, and let S = SpA(x)_A(x). Suppose that there exists a morphism φ\varphi of C(S)\mathscr{C}(S) into A which transforms 1 into 1 and zz into xx, denoting by zz the identity mapping of S. Then ∥φ(f)∥⩾∥f∥\|\varphi (f)\|\geqslant \|f\| for every f∈C(S)f\in \mathscr{C}(S). In particular, if the morphism φ\varphi is continuous, then φ\varphi is a homeomorphism onto its image. (We may suppose A commutative. Let λ∈S\lambda \in S. There exists χ∈X(A)\chi \in \mathsf{X}(A) such that λ=χ(x)=χ(φ(z))=(X(φ)(χ))(z)\lambda =\chi (x) =\chi (\varphi (z)) = (\mathsf{X}(\varphi )(\chi ))(z). Hence X(φ)(χ)\mathsf{X}(\varphi )(\chi ) is the character f↦f(λ)f\mapsto f(\lambda ) of C(S)\mathscr{C}(S). Let f∈C(S)f\in \mathscr{C}(S). From what precedes, there exists χ∈X(A)\chi \in \mathsf{X}(A) such that ∣f∣|f| attains its maximum at X(φ)(χ)\mathsf{X}(\varphi )(\chi ). Then ∣χ(φ(f))∣=∥f∥|\chi (\varphi (f))|=\|f\|, hence ∥φ(f)∥⩾∥f∥.\|\varphi (f)\|\geqslant \|f\|.)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.