Bourbaki

Exercise 14, § 1

Topological Vector Spaces, V, p. 62

Let EE be an infinite dimensional Banach space. (a) Now prove that for every integer NN, there exists a sequence (bj)1≤j≤N(b_j)_{1 \leq j \leq N} of NN vectors of EE, of norm 1, such that, for every sequence (ξj)1≤j≤N(\xi_j)_{1 \leq j \leq N} of NN scalars, one has

∥∑j=1Nξjbj∥2≤4∑j=1N∣ξj∣2 \left\| \sum_{j=1}^N \xi_j b_j \right\|^2 \leq 4 \sum_{j=1}^N |\xi_j|^2
(use Exercise 12, b)). (b) For every sequence (λn)n≥1(\lambda_n)_{n \geq 1} of numbers ≥0\geq 0 such that ∑λn2<+∞\sum \lambda_n^2 < +\infty, now prove that there exists a sequence (xn)n≥1(x_n)_{n \geq 1} of points of EE such that ∥xn∥=λn\|x_n\| = \lambda_n for every nn, and that the series (xn)(x_n) is summable. (Use a) and Exercise 13, a).) (c) Deduce from b) that in every infinite dimensional Banach space, there exists a commutatively convergent but not absolutely convergent series (Dvoretzky-Rogers theorem).

Solution

No solution has been written yet.

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.