Convergence of Random Variable Sequences: Probability, Mean Square, Almost Sure, Assignments of Electrical and Electronics Engineering

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

Pre 2010

Uploaded on 09/02/2009

koofers-user-epf
koofers-user-epf 🇺🇸

10 documents

1 / 2

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
EECS 501 CONVERGENCE OF SEQUENCES OF RVs Fall 2001
Recall: lim
n→∞ xn=xFor any ² > 0,Nsuch that |xnx|< ² n > N.
Given: Asequence of random variables {x1, x2. . .}. Need not be iidrv.
DEF: xnxin probability lim
n→∞ P r[|xnx|> ²] = 0 stochastic
convergence .
EX1: If {xn}iidrv, then sample mean ˆ
Mn=1
nPn
i=1 xiE[x] in prob.
Proof: See Estimators handout. Requires both E[x] and σ2
xto be finite.
Note: This is weak law of large numbers, since convergence in prob. is weak.
EX2: If {xn}iidrv, fxi=1
A,0< X < A, then max[x1. . . xn]Ain prob.
Note: Each of these shows consistency of an estimator (#1 of prob. set #7).
DEF: xnxin mean square lim
n→∞ E[(xnx)2] = 0 L.I.M.
n→∞ xn=x.
EX: If {xn}iidrv, then ˆ
MnE[x] in mean square=in quadratic mean.
Note: This is Mean Ergodic Thm.:L.I.M.
n→∞
ˆ
Mn=E[x]. Use ˆ
Mnunbiased:
Proof: E[( ˆ
MnE[x])2] = E[( ˆ
MnE[ˆ
Mn])2] = σ2
ˆ
Mn=σ2
n0 if σ2<.
DEF: xnxwith prob. one P r[{ω : lim
n→∞ xn(ω) = 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 {xn}iidrv, then ˆ
MnE[x] a.s. (strong law of large numbers).
Thm. 1: Convergence in mean squareconvergence in probability.
Proof: Suppose L.I.M.
n→∞ xn=x. Use Markov inequality: As n ,
P r[|xnx|> ²] = P r[(xnx)2> ²2]E[(xnx)2]
²20. QED.
Thm. 2: Convergence with probability oneconvergence in probability.
Proof: Let An={ω : |xn(ω)x(ω)|> ²}and Fn=
i=nAi(so limsup).
Huh? An=set of ωs.t. xn(ω) not yet converged within ²at time n.
Fn=set of ωs.t. xn(ω) not yet converged within ²at any time n.
Note: Convergence in probability lim
n→∞ P r[An] = 0 (see above).
Then: xnxa.e. 0 = P r[{ω:lim
n→∞ |xn(ω)x(ω)|> ²}] = P r[lim
n→∞ Fn]
=lim
n→∞ P r[Fn] using cont. of prob. since {Fn}is decreasing sequence.
But: (lim
n→∞ P r[Fn] = 0) (lim
n→∞ P r[An] = 0) convergence in prob. QED.
pf2

Partial preview of the text

Download Convergence of Random Variable Sequences: Probability, Mean Square, Almost Sure and more Assignments Electrical and Electronics Engineering in PDF only on Docsity!

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

M

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

M

n → E[x] in mean square=in quadratic mean.

Note: This is Mean Ergodic Thm.:

L.I.M.

n→∞

M

n = E[x]. Use

M

n unbiased:

Proof: E[(

M

n − E[x])

2 ] = E[(

M

n

− E[

M

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

M

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

→ 0. QED.

Thm. 2: Convergence with probability one→convergence in probability.

Proof: Let A n = {ω ∈ Ω : |x n (ω) − x(ω)| > ≤} and F n

i=n

A

i (so limsup).

Huh? A n =set of ω s.t. x n (ω) not yet converged within ≤ at time n.

F

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→∞

F

n

]

lim

n→∞

P r[F n

] using cont. of prob. since {F n

} is decreasing sequence.

But: (

lim

n→∞

P r[F n

] = 0) → (

lim

n→∞

P r[A n ] = 0) →convergence in prob. QED.

Q: Why (

lim

n→∞

P r[F n

] = 0) → (

lim

n→∞

P r[A n ] = 0) but not vice-versa?

A: A

n

⊂ F

n → P r[A n ] ≤ P r[F n ] → (lim P r[F n ] = 0 → lim P r[A n

] = 0).

But:

lim

n→∞

P r[∪

i=n

A

i

] 6 =

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

A

i ] = 0 if

i=

P r[A i

] < ∞.

EX: A

i = A. Then P r[

lim

n→∞

i=n

A

i ] = P r[A] 6 = 0 since

i=

P r[A] → ∞.

Proof: P r[lim ∪

i=n

A

i ] = lim P r[∪

i=n

A

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

] = 0). QED.

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

|L.I.M.|

  1. In prob is weaker than both mean-square and with prob. 1.
  2. With prob. 1 does not imply mean-square; nor the converse.
  3. To show with prob. 1, use Thm. 3 (except for your homework!)