Example
Tag 0BTQ, permanent. Cite it as [Bourbaki, Tag 0BTQ].
General Topology, chapter IV, § 7. Infinite sums and products of real numbers
Alternating series. A series defined by a sequence of finite real numbers is called alternating if , where for all . Let us show that a sufficient condition for the convergence of such a series is that the sequence decreases and has 0 as its limit. For if denotes
If we take for example , the conditions above are satisfied, and therefore the series whose general term is (the "alternating harmonic series") is convergent. We have seen in no. 1 that the series whose general term is (the "harmonic series") is not convergent, and thus the alternating harmonic series is not absolutely convergent.
We recall (Chapter III, § 5, no. 6, Proposition 7) that, if and are two convergent series of finite real numbers, then the series is convergent, and
Finally, if the series and are convergent, and if for all , we have by the principle of extension of inequalities (§ 5, no. 2, Theorem 1).
It should be noted that, if we suppose the series to be convergent but not absolutely convergent, and if for each , we can by no means infer that the series is convergent, as is seen by taking .
An infinite product of finite non-zero real numbers is said simply to be convergent if it is convergent in ; its value is then a finite non-zero real number.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.