

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
The concepts of convergence of sequences of random variables in probability, mean square, and almost sure (with probability one) contexts. It includes definitions, examples, and proofs of theorems related to these concepts, such as the weak law of large numbers, mean ergodic theorem, and borel-cantelli lemma. The document also discusses the differences between these types of convergence and provides examples to illustrate the concepts.
Typology: Assignments
1 / 2
This page cannot be seen from the preview
Don't miss anything!


EECS 501 CONVERGENCE OF SEQUENCES OF RVs Fall 2001
Recall:
lim
n→∞
x n = x ⇔ For any ≤ > 0 , ∃N such that |x n − x| < ≤ ∀ n > N.
Given: A sequence of random variables {x 1 , x 2
.. .}. Need not be iidrv.
DEF: x n → x in probability ⇔
lim
n→∞
P r[|x n − x| > ≤] = 0 ⇔
stochastic
convergence
EX1: If {x n } iidrv, then sample mean
n
1
n
n
i=
x i → E[x] in prob.
Proof: See Estimators handout. Requires both E[x] and σ
2
x
to be finite.
Note: This is weak law of large numbers, since convergence in prob. is weak.
EX2: If {x n } iidrv, f xi
1
A
, 0 < X < A, then max[x 1
... x n ] → A in prob.
Note: Each of these shows consistency of an estimator (#1 of prob. set #7).
DEF: x n → x in mean square ⇔
lim
n→∞
E[(x n − x)
2 ] = 0 ⇔
L.I.M.
n→∞
x n = x.
EX: If {x n } iidrv, then
n → E[x] in mean square=in quadratic mean.
Note: This is Mean Ergodic Thm.:
L.I.M.
n→∞
n = E[x]. Use
n unbiased:
Proof: E[(
n − E[x])
2 ] = E[(
n
n
2 ] = σ
2
ˆ M n
σ
2
n
→ 0 if σ
2 < ∞.
DEF: x n → x with prob. one ⇔ P r[{ω ∈ Ω :
lim
n→∞
x n (ω) = x(ω)}] = 1.
Huh? Pr[set of sample functions that converge to sample point of x]=1.
Aliases: Convergence a.s. (almost surely), converg. a.e. (almost everywhere).
How? To show convergence with prob. one, usually use Thm. 3 below.
EX: If {x n } iidrv, then
n → E[x] a.s. (strong law of large numbers).
Thm. 1: Convergence in mean square→convergence in probability.
Proof: Suppose
L.I.M.
n→∞
x n = x. Use Markov inequality: As n → ∞,
P r[|x n − x| > ≤] = P r[(x n − x)
2
≤
2 ] ≤
E[(x n −x)
2 ]
≤
2
Thm. 2: Convergence with probability one→convergence in probability.
Proof: Let A n = {ω ∈ Ω : |x n (ω) − x(ω)| > ≤} and F n
∞
i=n
i (so limsup).
Huh? A n =set of ω s.t. x n (ω) not yet converged within ≤ at time n.
n =set of ω s.t. x n (ω) not yet converged within ≤ at any time ≥ n.
Note: Convergence in probability ⇔
lim
n→∞
P r[A n ] = 0 (see above).
Then: x n → x a.e. ⇔ 0 = P r[{ω :
lim
n→∞
|x n (ω) − x(ω)| > ≤}] = P r[
lim
n→∞
n
lim
n→∞
P r[F n
] using cont. of prob. since {F n
} is decreasing sequence.
But: (
lim
n→∞
P r[F n
lim
n→∞
P r[A n ] = 0) →convergence in prob. QED.
Q: Why (
lim
n→∞
P r[F n
lim
n→∞
P r[A n ] = 0) but not vice-versa?
n
n → P r[A n ] ≤ P r[F n ] → (lim P r[F n ] = 0 → lim P r[A n
But:
lim
n→∞
P r[∪
∞
i=n
i
lim
n→∞
P r[A n
]! Why not?
Lemma:
lim
n→∞
∞
i=n
P r[A i ] = 0 if
∞
i=
P r[A i ] < ∞ (doesn’t blow up; is finite).
Huh? Remainder term in infinite series goes to zero if the series converges.
Proof:
∞
i=n
P r[A i
∞
i=
P r[A i
n− 1
i=
P r[A i
] if
∞
i=
P r[A i
] bounded.
Now take the limit of this as n → ∞. QED.
Thm: Borel-Cantelli Lemma: P r[
lim
n→∞
∞
i=n
i ] = 0 if
∞
i=
P r[A i
i = A. Then P r[
lim
n→∞
∞
i=n
i ] = P r[A] 6 = 0 since
∞
i=
P r[A] → ∞.
Proof: P r[lim ∪
∞
i=n
i ] = lim P r[∪
∞
i=n
i ] ≤ lim
∞
i=n
P r[A i ] = 0 by Lemma.
Note: Using cont. of prob. and union bound. Use Borel-Cantelli to prove:
Thm. 3: (
∞
n=
P r[|x n − x| > ≤] < ∞) → (x n → x with probability one).
Proof: Apply Borel-Cantelli lemma with A n = {ω : |x n (ω) − x(ω)| > ≤}.
P r[|x n − x| > ≤] < ∞ → P r[lim ∪
∞
i=n
{ω : |x n − x| > ≤}] = 0.
Now reverse the proof of Thm. 2. QED.
Note: This condition is sufficient, but not necessary, for convergence a.e.
Thm. 4: (
∞
n=
P r[|x n − x| > ≤] < ∞) → (x n → x in probability).
Proof: (
∞
n=
P r[A n
lim
n→∞
P r[A n
Huh? Infinite series converges→ its general term converges to zero.
P r[|x n − x| > ≤] < ∞|
−→
Thm. 3
Convg.
prob. 1
−→
Thm. 2
Convg.
inprob.
←−
Thm. 1