Definition 8
Tag 0C4Q, permanent. Cite it as [Bourbaki, Tag 0C4Q].
General Topology, chapter IX, § 3. Metrizable groups, valued fields, normed spaces and algebras
In a normed space , a family of points of is said to be absolutely summable if the family of norms of the is summable in .
This concept appears to depend on the norm chosen on ; but by Proposition 7 of no. 3 and the comparison principle for summable families of real numbers, a family which is absolutely summable with respect to a norm on is absolutely summable with respect to any norm on which is equivalent to .
If is a family of points of which is summable and absolutely summable, we have
Indeed, for each finite subset of we have , and the inequality (4) follows by passing to the limit with respect to the directed set of finite subsets of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.