Topological Vector Spaces, V, p. 62
a) Let (xn)n∈N be an infinite sequence in a Banach space E. Now prove that, for the family (xn) to be summable, it is necessary and sufficient that, for every sequence (εn) of numbers equal to 1 or to −1, the series of general term (εnxn) be convergent (use TG, III, p. 79, § 5, exerc. 4). b) Let (xj)1≤j≤n be a finite sequence of points of a Hilbert space E. Now prove that one has
2−n(εj)∑(j=1∑nεjxj)2=j=1∑n∥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)). c) Deduce from b) that if
(xi)i∈I is a summable family in a Hilbert space E, the family
(∥xi∥2)i∈I is summable in
R.