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∈X, let Ax be a commutative unital Banach algebra, whose unit element is denoted by ex. Suppose that ∥ex∥=1. Let B be the product Banach algebra of the Ax for x∈X. Let C be a Banach subalgebra of B possessing the following properties:
(i) e=(ex)x∈X∈C;
(ii) If a=(ax)∈C and f∈C(X), the function fa:x↦f(x)ax is an element of C;
(iii) For every a=(ax)∈C, the function x↦∥ax∥ is upper semi-continuous.
Let X be the sum set of the X(Ax). For every x0∈X and χ∈X(Ax0), let φ(χ) be the character of C defined by φ(χ)((ax)x∈X)=χ(ax0). Prove that φ defines a bijection of X onto X(C). (Let ξ∈X(C). Since C(X) can be identified with a closed subalgebra of C,ξ defines a character of C(X), hence an x0∈X. Let a=(ax)∈C and b=(bx)∈C, with ax0=bx0; let ε>0; one has ∥ax−bx∥<ε in a neighbourhood U of x0; let f∈C(X) such that 0⩽f⩽1, equal to 1 at x0 and to 0 outside U; one has ∥fa−fb∥⩽ε, whence ∣ξ(fa−fb)∣⩽ε, whence ∣ξ(a)−ξ(b)∣⩽ε, whence ξ(a)=ξ(b). Deduce that there exists a χ∈X(Ax0) such that ξ=(φ(χ)).)