Bourbaki

Exercise 3, § 8

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

Spectral Theories, I, p. 192

Let X be a compact topological space and, for every x∈Xx\in X, let AxA_x be a commutative unital Banach algebra, whose unit element is denoted by exe_x. Suppose that ∥ex∥=1\|e_x\|= 1. Let B be the product Banach algebra of the AxA_x for x∈Xx\in X. Let C be a Banach subalgebra of B possessing the following properties:

(i) e=(ex)x∈X∈Ce= (e_x)_{x\in X}\in C;

(ii) If a=(ax)∈Ca= (a_x)\in C and f∈C(X)f\in \mathscr{C}(X), the function fa:x↦f(x)axf a:x\mapsto f(x)a_x is an element of C;

(iii) For every a=(ax)∈Ca= (a_x)\in C, the function x↦∥ax∥x\mapsto \|a_x\| is upper semi-continuous.

Let X^\widehat{X} be the sum set of the X(Ax)\mathsf{X}(A_x). For every x0∈Xx_0\in X and χ∈X(Ax0)\chi \in \mathsf{X}(A_{x_0}), let φ(χ)\varphi (\chi ) be the character of C defined by φ(χ)((ax)x∈X)=χ(ax0)\varphi (\chi )((a_x)_{x\in X}) =\chi (a_{x_0}). Prove that φ\varphi defines a bijection of X^\widehat{X} onto X(C)\mathsf{X}(C). (Let ξ∈X(C)\xi \in \mathsf{X}(C). Since C(X)\mathscr{C}(X) can be identified with a closed subalgebra of C,ξ,\xi defines a character of C(X)\mathscr{C}(X), hence an x0∈Xx_0\in X. Let a=(ax)∈Ca= (a_x)\in C and b=(bx)∈Cb= (b_x)\in C, with ax0=bx0a_{x_0}=b_{x_0}; let ε>0\varepsilon >0; one has ∥ax−bx∥<ε\|a_x-b_x\|< \varepsilon in a neighbourhood U of x0x_0; let f∈C(X)f\in \mathscr{C}(X) such that 0⩽f⩽10\leqslant f\leqslant 1, equal to 1 at x0x_0 and to 0 outside U; one has ∥fa−fb∥⩽ε\|f a-f b\|\leqslant \varepsilon, whence ∣ξ(fa−fb)∣⩽ε|\xi (f a-f b)|\leqslant \varepsilon, whence ∣ξ(a)−ξ(b)∣⩽ε|\xi (a)-\xi (b)|\leqslant \varepsilon, whence ξ(a)=ξ(b)\xi (a) =\xi (b). Deduce that there exists a χ∈X(Ax0)\chi \in \mathsf{X}(A_{x_0}) such that ξ=(φ(χ))\xi = (\varphi (\chi )).)

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.