Bourbaki

Corollary

Tag 0C4S, permanent. Cite it as [Bourbaki, Tag 0C4S].

General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras

In a complete normed space E, every absolutely convergent series is commutatively convergent.

The converse of Proposition 11 is in general false.

Consider for example the space B(N;R)\mathscr{B}(\mathbf{N}; \mathbf{R}) of bounded sequences x=(xn)n∈Nx = (x_n)_{n \in \mathbf{N}} of real numbers, with the norm ∣∣x∣∣=sup⁡n∣xn∣||x|| = \sup_n |x_n|. Let xmx_m be the sequence (xmn)n∈N(x_{mn})_{n \in \mathbf{N}} such that xmn=0x_{mn} = 0 if m≠nm \neq n and xmm=1/mx_{mm} = 1/m for m≥1m \geq 1. It is immediately verified that the sequence (xm)m∈N(x_m)_{m \in \mathbf{N}} is summable in B(N;R)\mathscr{B}(\mathbf{N}; \mathbf{R}) and that its sum is the element y=(yn)y = (y_n) such that y0=0y_0 = 0 and yn=1/ny_n = 1/n if n≥1n \geq 1; but since ∣∣xm∣∣=1/m||x_m|| = 1/m, the sequence of norms of the xmx_m is not summable in R\mathbf{R}.

However, we have seen in Chapter VII, § 3, no. 1, that every summable family in Rn\mathbf{R}^n is absolutely summable.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.