User:Elizabethevangenline/sandbox

Statement of the Theorem.
Let (Xn)n∈N be independent random variables. The random series ∑∞undefinedXn converges almost surely in ℝ if and only if the following conditions hold for some A > 0:

i.  ∑∞undefined(|X|n &ge; A) converges

ii. Let Yn:= Xn1{{sub|{|X| n}} &le; A}, then ∑∞undefined&#120124;(Yn),  the series of expected values of Yn , converges

iii. ∑∞undefined&#120141;ar(Yn) converges

Sufficiency of Conditions ("if")
Condition (i) and Borel-Cantelli give that almost surely Xn = Yn for n large, hence ∑∞undefinedXn converges if and only if ∑∞undefinedYn converges. Conditions (ii)-(iii) and Kolmogorov's Two-Series Theorem given the almost sure convergence of ∑∞undefined&#120124;(Yn).

Necessity of Conditions ("only if")
Suppose that ∑∞undefinedXn converges almost surely.

Without condition (i), by Borel-Cantelli there would exist some A > 0 such that almost surely {|Xn| &le; A} for infinitely many values n, but then the series would diverge. Therefore we must have condition (i).

We see that condition (iii) implies condition (ii): Kolmogorov's Two-Series Theorem along with condition (i) applied to the case A =1 gives the convergence of ∑n(Yn - &#120124;(Yn)). So given the convergence of ∑∞undefinedYn, we have ∑∞undefined&#120124;(Yn) converges, so condition (ii) is implied.

Thus, it only remains to demonstrate the necessity of condition (iii), and we will have obtained the full result. It is equivalent to check condition (iii) for the series ∑∞undefinedZn = ∑∞undefined(Yn - Y'n) where for each n, Yn and Y'n are IID-- that is, to employ the assumption that &#120124;(Yn) = 0, since Zn is a sequence of random variables bounded by 2, converging almost surely, and with &#120141;ar(Zn) = 2&#120141;ar(Yn). So we wish to check that if ∑∞undefinedZn converges, ∑∞undefined&#120141;ar(Zn) converges as well. This is a special case of the known, more general result with summands equal to the increments of a martingale sequence and the same conditions (&#120124;(Zn) = 0, series of the variances converging, summands bounded).