Bourbaki

Exercise 13, § 1

Topological Vector Spaces, V, p. 62

a) Let (xn)n∈N(x_n)_{n \in \mathbf{N}} be an infinite sequence in a Banach space E. Now prove that, for the family (xn)(x_n) to be summable, it is necessary and sufficient that, for every sequence (εn)(\varepsilon_n) of numbers equal to 1 or to −1-1, the series of general term (εnxn)(\varepsilon_n x_n) be convergent (use TG, III, p. 79, § 5, exerc. 4). b) Let (xj)1≤j≤n(x_j)_{1 \leq j \leq n} be a finite sequence of points of a Hilbert space E. Now prove that one has

2−n∑(εj)(∑j=1nεjxj)2=∑j=1n∥xj∥2, (εj) running through the set of 2n sequences of numbers equal to 1 or to −1 (use the median identity, cf. V, p. 9, formula (14)). 2^{-n} \sum_{(\varepsilon_j)} \left( \sum_{j=1}^n \varepsilon_j x_j \right)^2 = \sum_{j=1}^n \|x_j\|^2, \ (\varepsilon_j) \text{ running through the set of } 2^n \text{ sequences of numbers equal to } 1 \text{ or to } -1 \text{ (use the median identity, cf. V, p. 9, formula (14))}.
c) Deduce from b) that if (xi)i∈I(x_i)_{i \in I} is a summable family in a Hilbert space E, the family (∥xi∥2)i∈I(\|x_i\|^2)_{i \in I} is summable in R\mathbf{R}.

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.