Proposition 4
Tag 0BTP, permanent. Cite it as [Bourbaki, Tag 0BTP].
General Topology, chapter IV, § 7. Infinite sums and products of real numbers
A series of finite real numbers is commutatively convergent if and only if it is absolutely convergent.
This follows from Chapter III, § 5, no. 7, Proposition 9 and from Theorem 3 of no. 2.
In other words, if is a sequence of finite real numbers, it comes to the same thing to say that the series whose general term is is commutatively convergent, or that it is absolutely convergent, or that the sequence is summable in . All the properties of summable families proved in Chapter III, § 5 therefore apply to absolutely convergent series. In particular, if the series whose general term is is absolutely convergent, then the sum exists for all subsets of ; and, if is a partition of , we have
As we have already remarked in Chapter III, § 5, a series of real numbers can be convergent without being commutatively convergent, that is, without being absolutely convergent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.