Bourbaki

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 (un)(u_n) of finite real numbers is called alternating if un=(−1)nvnu_n = (-1)^n v_n, where vn≥0v_n \geq 0 for all nn. Let us show that a sufficient condition for the convergence of such a series is that the sequence (vn)(v_n) decreases and has 0 as its limit. For if sns_n denotes

∑p=0nup, \sum_{p=0}^{n} u_p,
the hypothesis that (vn)(v_n) is decreasing implies that
s2n+1≤s2n+3≤s2n+2≤s2n s_{2n+1} \leq s_{2n+3} \leq s_{2n+2} \leq s_{2n}
for all n≥0n \geq 0. The sequence (s2n)(s_{2n}) [resp. (s2n+1)(s_{2n+1})] is decreasing and bounded below (resp. increasing and bounded above) and therefore has a finite limit aa (resp. bb), and b≤ab \leq a; since
a−b=lim⁡n→∞(s2n−s2n+1)=lim⁡n→∞v2n+1=0, a - b = \lim_{n \to \infty} (s_{2n} - s_{2n+1}) = \lim_{n \to \infty} v_{2n+1} = 0,
the assertion is proved.

If we take for example vn=1/nv_n = 1/n, the conditions above are satisfied, and therefore the series whose general term is (−1)n/n(-1)^n / n (the "alternating harmonic series") is convergent. We have seen in no. 1 that the series whose general term is 1/n1/n (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 (un)(u_n) and (vn)(v_n) are two convergent series of finite real numbers, then the series (un+vn)(u_n + v_n) is convergent, and

∑n=0∞(un+vn)=∑n=0∞un+∑n=0∞vn; \sum_{n=0}^{\infty} (u_n + v_n) = \sum_{n=0}^{\infty} u_n + \sum_{n=0}^{\infty} v_n;
also, if the series (un)(u_n) is convergent then the series (aun)(au_n) is convergent for all finite real numbers aa, and ∑n=0∞aun=a⋅∑n=0∞un\sum_{n=0}^{\infty} au_n = a \cdot \sum_{n=0}^{\infty} u_n.

Finally, if the series (un)(u_n) and (vn)(v_n) are convergent, and if un≤vnu_n \leq v_n for all nn, we have ∑n=0∞un≤∑n=0∞vn\sum_{n=0}^{\infty} u_n \leq \sum_{n=0}^{\infty} v_n by the principle of extension of inequalities (§ 5, no. 2, Theorem 1).

It should be noted that, if we suppose the series (vn)(v_n) to be convergent but not absolutely convergent, and if ∣un∣≤∣vn∣|u_n| \leq |v_n| for each nn, we can by no means infer that the series (un)(u_n) is convergent, as is seen by taking un=∣vn∣u_n = |v_n|.

An infinite product of finite non-zero real numbers is said simply to be convergent if it is convergent in R∗\mathbf{R}^*; 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.

Cites

Transcribed from the printed volume. Not translated.