Bourbaki

Proposition 2

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

Théories spectrales, chapter I, § 5. Algèbres de Banach commutatives régulières

Let A be a unital commutative regular Banach algebra. Let n⩾1n\geqslant 1 be an integer and (U1,...,Un)(U_1, . . . ,U_n) an open covering of X(A)\mathsf{X}(A). There exist elements x1,...,xnx_1, . . . , x_n of A of sum 1 such that Supp(G(xi)\mathscr{G}(x_i))⊂Ui\subset U_i for i=1,...,ni= 1, . . . ,n.

Let us prove the proposition by induction on nn. The assertion is valid if n=1n= 1. Suppose that n⩾2n\geqslant 2 and that the assertion is established for n−1n-1.

There exists an open covering (V1,...,Vn)(V_1, . . . ,V_n) of X(A)\mathsf{X}(A) such that V‾i⊂\overline{V}_i\subset UiU_i for all ii. By the induction hypothesis, there exist elements x,x3,...,xn∈Ax, x_3, . . . , x_n\in A such that x+x3+⋯+xn=1x+x_3+\cdots +x_n= 1 and Supp(G(x)\mathscr{G}(x))⊂V1∪V2\subset V_1\cup V_2, Supp(G(xi)\mathscr{G}(x_i))⊂Vi\subset V_i for i⩾3i\geqslant 3. Let K = Supp(G(x)\mathscr{G}(x))⊂V1∪V2\subset V_1\cup V_2. Let K1K_1 (resp. K2K_2) be the set of elements of K which do not belong to V1V_1 (resp. V2V_2). Then K1K_1 and K2K_2 are disjoint compact subsets of K. Since the Banach algebra A is regular, there therefore exists y∈Ay\in A such that G(y)=1\mathscr{G}(y) = 1 on K1K_1 and G(y)=0\mathscr{G}(y) = 0 on K2K_2. Then G(xy)\mathscr{G}(xy) is zero on X(A)−K\mathsf{X}(A)-K and on K2K_2, hence Supp G(xy)⊂V‾2⊂U2\mathscr{G}(xy)\subset \overline{V}_2\subset U_2. Analogously, G(x(1−y))\mathscr{G}(x(1-y)) is zero on X(A)\mathsf{X}(A) - K and on K1K_1, hence Supp G(x(1−y))⊂V‾1⊂U1\mathscr{G}(x(1-y))\subset \overline{V}_1\subset U_1. The elements x1=x(1−y),x2=xyx_1=x(1-y),x_2=xy, and x3,...,xnx_3, . . . ,x_n then satisfy the properties of 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-6-mini, gpt-5-mini, gpt-5.4, 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.