Bourbaki

Exercise 13, § 3

Tag 029D, permanent. Cite it as [Bourbaki, Tag 029D].

Spectral Theories, I, p. 168

Bourbaki marks this one as harder than the rest.

Let A be the Banach algebra ℓ2(N)\ell^2(\mathbf{N}) (Exercise 3). Let A0A_0 be the subalgebra formed by the sequences of finite support. Let B be the direct sum of A0A_0 and C\mathbf{C}, equipped with the multiplication (f,α)(g,β)=(fg,0)(f, \alpha )(g, \beta ) = (f g,0) for f,g∈A0,α,β∈Cf, g\in A_0,\alpha , \beta \in \mathbf{C}, and with the norm

∥(f,α)∥=\|(f, \alpha )\|= sup(∥f∥,∣α−∑nf(n)∣)(\|f\|,|\alpha -\sum_nf(n)|).

a) The completed algebra B^\widehat{B} is a commutative Banach algebra whose radical R is C⋅(0,1)\mathbf{C}\cdot (0,1), and B^/R\widehat{B}/R is isometrically isomorphic to A.

b) Let π:B^→B^/R\pi :\widehat{B}\rightarrow \widehat{B}/R be the canonical morphism. There exists no subalgebra B1B_1 of B^\widehat{B} supplementary to R such that π∣B1:B1→B^/R=A\pi |B_1: B_1\rightarrow \widehat{B}/R = A is a homeomorphism. (Let B1B_1 be such a subalgebra. Let un∈Au_n\in A such that un(n)=1,un(m)=0u_n(n) = 1,u_n(m) = 0 for m≠nm\not=n. Let en∈B1e_n\in B_1 such that π(en)=un\pi (e_n) =u_n. Now prove

∞∞\infty \infty

1 1

that en∈A0e_n\in A_0, that ∑un\sum u_n converges in A but that ∑en\sum e_n does not converge

nn nn
n=1n=1n=1n=1

in B^.)\widehat{B}.)

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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