18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf ·...
Transcript of 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf ·...
![Page 1: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/1.jpg)
18.175: Lecture 6
Borel-Cantelli and strong law
Scott Sheffield
MIT
18.175 Lecture 6
![Page 2: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/2.jpg)
Outline
Weak law of large numbers: characteristic function approach
Laws of large numbers: Borel-Cantelli applications
Strong law of large numbers
18.175 Lecture 6
![Page 3: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/3.jpg)
Outline
Weak law of large numbers: characteristic function approach
Laws of large numbers: Borel-Cantelli applications
Strong law of large numbers
18.175 Lecture 6
![Page 4: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/4.jpg)
Statement of weak law of large numbers
I Suppose Xi are i.i.d. random variables with mean µ.
I Then the value An := X1+X2+...+Xnn is called the empirical
average of the first n trials.
I We’d guess that when n is large, An is typically close to µ.
I Indeed, weak law of large numbers states that for all ε > 0we have limn→∞ P{|An − µ| > ε} = 0.
I Example: as n tends to infinity, the probability of seeing morethan .50001n heads in n fair coin tosses tends to zero.
18.175 Lecture 6
![Page 5: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/5.jpg)
Statement of weak law of large numbers
I Suppose Xi are i.i.d. random variables with mean µ.
I Then the value An := X1+X2+...+Xnn is called the empirical
average of the first n trials.
I We’d guess that when n is large, An is typically close to µ.
I Indeed, weak law of large numbers states that for all ε > 0we have limn→∞ P{|An − µ| > ε} = 0.
I Example: as n tends to infinity, the probability of seeing morethan .50001n heads in n fair coin tosses tends to zero.
18.175 Lecture 6
![Page 6: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/6.jpg)
Statement of weak law of large numbers
I Suppose Xi are i.i.d. random variables with mean µ.
I Then the value An := X1+X2+...+Xnn is called the empirical
average of the first n trials.
I We’d guess that when n is large, An is typically close to µ.
I Indeed, weak law of large numbers states that for all ε > 0we have limn→∞ P{|An − µ| > ε} = 0.
I Example: as n tends to infinity, the probability of seeing morethan .50001n heads in n fair coin tosses tends to zero.
18.175 Lecture 6
![Page 7: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/7.jpg)
Statement of weak law of large numbers
I Suppose Xi are i.i.d. random variables with mean µ.
I Then the value An := X1+X2+...+Xnn is called the empirical
average of the first n trials.
I We’d guess that when n is large, An is typically close to µ.
I Indeed, weak law of large numbers states that for all ε > 0we have limn→∞ P{|An − µ| > ε} = 0.
I Example: as n tends to infinity, the probability of seeing morethan .50001n heads in n fair coin tosses tends to zero.
18.175 Lecture 6
![Page 8: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/8.jpg)
Statement of weak law of large numbers
I Suppose Xi are i.i.d. random variables with mean µ.
I Then the value An := X1+X2+...+Xnn is called the empirical
average of the first n trials.
I We’d guess that when n is large, An is typically close to µ.
I Indeed, weak law of large numbers states that for all ε > 0we have limn→∞ P{|An − µ| > ε} = 0.
I Example: as n tends to infinity, the probability of seeing morethan .50001n heads in n fair coin tosses tends to zero.
18.175 Lecture 6
![Page 9: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/9.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 10: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/10.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 11: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/11.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 12: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/12.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 13: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/13.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 14: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/14.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 15: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/15.jpg)
Extent of weak law
I Question: does the weak law of large numbers apply nomatter what the probability distribution for X is?
I Is it always the case that if we define An := X1+X2+...+Xnn then
An is typically close to some fixed value when n is large?
I What if X is Cauchy?
I In this strange and delightful case An actually has the sameprobability distribution as X .
I In particular, the An are not tightly concentrated around anyparticular value even when n is very large.
I But weak law holds as long as E [|X |] is finite, so that µ iswell defined.
I One standard proof uses characteristic functions.
18.175 Lecture 6
![Page 16: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/16.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 17: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/17.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 18: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/18.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 19: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/19.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 20: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/20.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 21: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/21.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 22: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/22.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 23: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/23.jpg)
Characteristic functions
I Let X be a random variable.
I The characteristic function of X is defined byφ(t) = φX (t) := E [e itX ]. Like M(t) except with i thrown in.
I Recall that by definition e it = cos(t) + i sin(t).
I Characteristic functions are similar to moment generatingfunctions in some ways.
I For example, φX+Y = φXφY , just as MX+Y = MXMY , if Xand Y are independent.
I And φaX (t) = φX (at) just as MaX (t) = MX (at).
I And if X has an mth moment then E [Xm] = imφ(m)X (0).
I But characteristic functions have an advantage: they are welldefined at all t for all random variables X .
18.175 Lecture 6
![Page 24: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/24.jpg)
Continuity theorems
I Let X be random variable, Xn a sequence of random variables.
I Say Xn converge in distribution or converge in law to X iflimn→∞ FXn(x) = FX (x) at all x ∈ R at which FX iscontinuous.
I The weak law of large numbers can be rephrased as thestatement that An converges in law to µ (i.e., to the randomvariable that is equal to µ with probability one).
I Levy’s continuity theorem (coming later): if
limn→∞
φXn(t) = φX (t)
for all t, then Xn converge in law to X .I By this theorem, we can prove weak law of large numbers by
showing limn→∞ φAn(t) = φµ(t) = e itµ for all t. When µ = 0,amounts to showing limn→∞ φAn(t) = 1 for all t.
I Moment generating analog: if moment generatingfunctions MXn(t) are defined for all t and n and, for all t,limn→∞MXn(t) = MX (t), then Xn converge in law to X .
18.175 Lecture 6
![Page 25: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/25.jpg)
Continuity theorems
I Let X be random variable, Xn a sequence of random variables.I Say Xn converge in distribution or converge in law to X if
limn→∞ FXn(x) = FX (x) at all x ∈ R at which FX iscontinuous.
I The weak law of large numbers can be rephrased as thestatement that An converges in law to µ (i.e., to the randomvariable that is equal to µ with probability one).
I Levy’s continuity theorem (coming later): if
limn→∞
φXn(t) = φX (t)
for all t, then Xn converge in law to X .I By this theorem, we can prove weak law of large numbers by
showing limn→∞ φAn(t) = φµ(t) = e itµ for all t. When µ = 0,amounts to showing limn→∞ φAn(t) = 1 for all t.
I Moment generating analog: if moment generatingfunctions MXn(t) are defined for all t and n and, for all t,limn→∞MXn(t) = MX (t), then Xn converge in law to X .
18.175 Lecture 6
![Page 26: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/26.jpg)
Continuity theorems
I Let X be random variable, Xn a sequence of random variables.I Say Xn converge in distribution or converge in law to X if
limn→∞ FXn(x) = FX (x) at all x ∈ R at which FX iscontinuous.
I The weak law of large numbers can be rephrased as thestatement that An converges in law to µ (i.e., to the randomvariable that is equal to µ with probability one).
I Levy’s continuity theorem (coming later): if
limn→∞
φXn(t) = φX (t)
for all t, then Xn converge in law to X .I By this theorem, we can prove weak law of large numbers by
showing limn→∞ φAn(t) = φµ(t) = e itµ for all t. When µ = 0,amounts to showing limn→∞ φAn(t) = 1 for all t.
I Moment generating analog: if moment generatingfunctions MXn(t) are defined for all t and n and, for all t,limn→∞MXn(t) = MX (t), then Xn converge in law to X .
18.175 Lecture 6
![Page 27: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/27.jpg)
Continuity theorems
I Let X be random variable, Xn a sequence of random variables.I Say Xn converge in distribution or converge in law to X if
limn→∞ FXn(x) = FX (x) at all x ∈ R at which FX iscontinuous.
I The weak law of large numbers can be rephrased as thestatement that An converges in law to µ (i.e., to the randomvariable that is equal to µ with probability one).
I Levy’s continuity theorem (coming later): if
limn→∞
φXn(t) = φX (t)
for all t, then Xn converge in law to X .
I By this theorem, we can prove weak law of large numbers byshowing limn→∞ φAn(t) = φµ(t) = e itµ for all t. When µ = 0,amounts to showing limn→∞ φAn(t) = 1 for all t.
I Moment generating analog: if moment generatingfunctions MXn(t) are defined for all t and n and, for all t,limn→∞MXn(t) = MX (t), then Xn converge in law to X .
18.175 Lecture 6
![Page 28: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/28.jpg)
Continuity theorems
I Let X be random variable, Xn a sequence of random variables.I Say Xn converge in distribution or converge in law to X if
limn→∞ FXn(x) = FX (x) at all x ∈ R at which FX iscontinuous.
I The weak law of large numbers can be rephrased as thestatement that An converges in law to µ (i.e., to the randomvariable that is equal to µ with probability one).
I Levy’s continuity theorem (coming later): if
limn→∞
φXn(t) = φX (t)
for all t, then Xn converge in law to X .I By this theorem, we can prove weak law of large numbers by
showing limn→∞ φAn(t) = φµ(t) = e itµ for all t. When µ = 0,amounts to showing limn→∞ φAn(t) = 1 for all t.
I Moment generating analog: if moment generatingfunctions MXn(t) are defined for all t and n and, for all t,limn→∞MXn(t) = MX (t), then Xn converge in law to X .
18.175 Lecture 6
![Page 29: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/29.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t e
itX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.I By Levy’s continuity theorem, the An converge in law to 0
(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 30: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/30.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].
I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t eitX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.I By Levy’s continuity theorem, the An converge in law to 0
(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 31: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/31.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t e
itX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.I By Levy’s continuity theorem, the An converge in law to 0
(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 32: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/32.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t e
itX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.I By Levy’s continuity theorem, the An converge in law to 0
(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 33: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/33.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t e
itX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.
I By Levy’s continuity theorem, the An converge in law to 0(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 34: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/34.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t e
itX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.
I By Levy’s continuity theorem, the An converge in law to 0(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 35: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/35.jpg)
Proof sketch for weak law of large numbers, finite meancase
I As above, let Xi be i.i.d. instances of random variable X withmean zero. Write An := X1+X2+...+Xn
n . Weak law of largenumbers holds for i.i.d. instances of X if and only if it holdsfor i.i.d. instances of X − µ. Thus it suffices to prove theweak law in the mean zero case.
I Consider the characteristic function φX (t) = E [e itX ].I Since E [X ] = 0, we have φ′X (0) = E [ ∂∂t e
itX ]t=0 = iE [X ] = 0.
I Write g(t) = log φX (t) so φX (t) = eg(t). Then g(0) = 0 and
(by chain rule) g ′(0) = limε→0g(ε)−g(0)
ε = limε→0g(ε)ε = 0.
I Now φAn(t) = φX (t/n)n = eng(t/n). Since g(0) = g ′(0) = 0
we have limn→∞ ng(t/n) = limn→∞ tg( t
n)
tn
= 0 if t is fixed.
Thus limn→∞ eng(t/n) = 1 for all t.I By Levy’s continuity theorem, the An converge in law to 0
(i.e., to the random variable that is 0 with probability one).
18.175 Lecture 6
![Page 36: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/36.jpg)
Outline
Weak law of large numbers: characteristic function approach
Laws of large numbers: Borel-Cantelli applications
Strong law of large numbers
18.175 Lecture 6
![Page 37: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/37.jpg)
Outline
Weak law of large numbers: characteristic function approach
Laws of large numbers: Borel-Cantelli applications
Strong law of large numbers
18.175 Lecture 6
![Page 38: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/38.jpg)
Borel-Cantelli lemmas
I First Borel-Cantelli lemma: If∑∞
n=1 P(An) <∞ thenP(An i.o.) = 0.
I Second Borel-Cantelli lemma: If An are independent, then∑∞n=1 P(An) =∞ implies P(An i.o.) = 1.
18.175 Lecture 6
![Page 39: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/39.jpg)
Borel-Cantelli lemmas
I First Borel-Cantelli lemma: If∑∞
n=1 P(An) <∞ thenP(An i.o.) = 0.
I Second Borel-Cantelli lemma: If An are independent, then∑∞n=1 P(An) =∞ implies P(An i.o.) = 1.
18.175 Lecture 6
![Page 40: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/40.jpg)
Convergence in probability subsequential a.s. convergence
I Theorem: Xn → X in probability if and only if for everysubsequence of the Xn there is a further subsequenceconverging a.s. to X .
I Main idea of proof: Consider event En that Xn and X differby ε. Do the En occur i.o.? Use Borel-Cantelli.
18.175 Lecture 6
![Page 41: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/41.jpg)
Convergence in probability subsequential a.s. convergence
I Theorem: Xn → X in probability if and only if for everysubsequence of the Xn there is a further subsequenceconverging a.s. to X .
I Main idea of proof: Consider event En that Xn and X differby ε. Do the En occur i.o.? Use Borel-Cantelli.
18.175 Lecture 6
![Page 42: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/42.jpg)
Pairwise independence example
I Theorem: Suppose A1,A2, . . . are pairwise independent and∑P(An) =∞, and write Sn =
∑ni=1 1Ai
. Then the ratioSn/ESn tends a.s. to 1.
I Main idea of proof: First, pairwise independence impliesthat variances add. Conclude (by checking term by term) thatVarSn ≤ ESn. Then Chebyshev implies
P(|Sn − ESn| > δESn) ≤ Var(Sn)/(δESn)2 → 0,
which gives us convergence in probability.
I Second, take a smart subsequence. Letnk = inf{n : ESn ≥ k2}. Use Borel Cantelli to get a.s.convergence along this subsequence. Check that convergencealong this subsequence deterministically implies thenon-subsequential convergence.
18.175 Lecture 6
![Page 43: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/43.jpg)
Pairwise independence example
I Theorem: Suppose A1,A2, . . . are pairwise independent and∑P(An) =∞, and write Sn =
∑ni=1 1Ai
. Then the ratioSn/ESn tends a.s. to 1.
I Main idea of proof: First, pairwise independence impliesthat variances add. Conclude (by checking term by term) thatVarSn ≤ ESn. Then Chebyshev implies
P(|Sn − ESn| > δESn) ≤ Var(Sn)/(δESn)2 → 0,
which gives us convergence in probability.
I Second, take a smart subsequence. Letnk = inf{n : ESn ≥ k2}. Use Borel Cantelli to get a.s.convergence along this subsequence. Check that convergencealong this subsequence deterministically implies thenon-subsequential convergence.
18.175 Lecture 6
![Page 44: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/44.jpg)
Pairwise independence example
I Theorem: Suppose A1,A2, . . . are pairwise independent and∑P(An) =∞, and write Sn =
∑ni=1 1Ai
. Then the ratioSn/ESn tends a.s. to 1.
I Main idea of proof: First, pairwise independence impliesthat variances add. Conclude (by checking term by term) thatVarSn ≤ ESn. Then Chebyshev implies
P(|Sn − ESn| > δESn) ≤ Var(Sn)/(δESn)2 → 0,
which gives us convergence in probability.
I Second, take a smart subsequence. Letnk = inf{n : ESn ≥ k2}. Use Borel Cantelli to get a.s.convergence along this subsequence. Check that convergencealong this subsequence deterministically implies thenon-subsequential convergence.
18.175 Lecture 6
![Page 45: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/45.jpg)
Outline
Weak law of large numbers: characteristic function approach
Laws of large numbers: Borel-Cantelli applications
Strong law of large numbers
18.175 Lecture 6
![Page 46: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/46.jpg)
Outline
Weak law of large numbers: characteristic function approach
Laws of large numbers: Borel-Cantelli applications
Strong law of large numbers
18.175 Lecture 6
![Page 47: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/47.jpg)
General strong law of large numbers
I Theorem (strong law): If X1,X2, . . . are i.i.d. real-valuedrandom variables with expectation m and An := n−1
∑ni=1 Xi
are the empirical means then limn→∞ An = m almost surely.
18.175 Lecture 6
![Page 48: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/48.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 49: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/49.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 50: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/50.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 51: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/51.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 52: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/52.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 53: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/53.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 54: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/54.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 55: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/55.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 56: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/56.jpg)
Proof of strong law assuming E [X 4] <∞
I Assume K := E [X 4] <∞. Not necessary, but simplifies proof.
I Note: Var[X 2] = E [X 4]− E [X 2]2 ≥ 0, so E [X 2]2 ≤ K .
I The strong law holds for i.i.d. copies of X if and only if itholds for i.i.d. copies of X − µ where µ is a constant.
I So we may as well assume E [X ] = 0.
I Key to proof is to bound fourth moments of An.
I E [A4n] = n−4E [S4
n ] = n−4E [(X1 + X2 + . . .+ Xn)4].
I Expand (X1 + . . .+ Xn)4. Five kinds of terms: XiXjXkXl andXiXjX
2k and XiX
3j and X 2
i X2j and X 4
i .
I The first three terms all have expectation zero. There are(n2
)of the fourth type and n of the last type, each equal to at
most K . So E [A4n] ≤ n−4
(6(n2
)+ n)K .
I Thus E [∑∞
n=1 A4n] =
∑∞n=1 E [A4
n] <∞. So∑∞
n=1 A4n <∞
(and hence An → 0) with probability 1.
18.175 Lecture 6
![Page 57: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/57.jpg)
General proof of strong law
I Suppose Xk are i.i.d. with finite mean. Let Yk = Xk1|Xk |≤k .Write Tn = Y1 + . . .+ Yn. Claim: Xk = Yk all but finitelyoften a.s. so suffices to show Tn/n→ µ. (Borel Cantelli,expectation of positive r.v. is area between cdf and line y = 1)
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to prove it?I Observe: Var(Yk) ≤ E (Y 2
k ) =∫∞0 2yP(|Yk | > y)dy ≤∫ k
0 2yP(|X1| > y)dy . Use Fubini (interchange sum/integral,since everything positive)
∞∑k=1
E (Y 2k )/k2 ≤
∞∑k=1
k−2∫ ∞0
1(y<k)2yP(|X1| > y)dy =
∫ ∞0
( ∞∑k=1
k−21(y<k)
)2yP(|X1| > y)dy .
Since E |X1| =∫∞0 P(|X1| > y)dy , complete proof of claim by
showing that if y ≥ 0 then 2y∑
k>y k−2 ≤ 4.
18.175 Lecture 6
![Page 58: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/58.jpg)
General proof of strong law
I Suppose Xk are i.i.d. with finite mean. Let Yk = Xk1|Xk |≤k .Write Tn = Y1 + . . .+ Yn. Claim: Xk = Yk all but finitelyoften a.s. so suffices to show Tn/n→ µ. (Borel Cantelli,expectation of positive r.v. is area between cdf and line y = 1)
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to prove it?
I Observe: Var(Yk) ≤ E (Y 2k ) =
∫∞0 2yP(|Yk | > y)dy ≤∫ k
0 2yP(|X1| > y)dy . Use Fubini (interchange sum/integral,since everything positive)
∞∑k=1
E (Y 2k )/k2 ≤
∞∑k=1
k−2∫ ∞0
1(y<k)2yP(|X1| > y)dy =
∫ ∞0
( ∞∑k=1
k−21(y<k)
)2yP(|X1| > y)dy .
Since E |X1| =∫∞0 P(|X1| > y)dy , complete proof of claim by
showing that if y ≥ 0 then 2y∑
k>y k−2 ≤ 4.
18.175 Lecture 6
![Page 59: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/59.jpg)
General proof of strong law
I Suppose Xk are i.i.d. with finite mean. Let Yk = Xk1|Xk |≤k .Write Tn = Y1 + . . .+ Yn. Claim: Xk = Yk all but finitelyoften a.s. so suffices to show Tn/n→ µ. (Borel Cantelli,expectation of positive r.v. is area between cdf and line y = 1)
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to prove it?I Observe: Var(Yk) ≤ E (Y 2
k ) =∫∞0 2yP(|Yk | > y)dy ≤∫ k
0 2yP(|X1| > y)dy . Use Fubini (interchange sum/integral,since everything positive)
∞∑k=1
E (Y 2k )/k2 ≤
∞∑k=1
k−2∫ ∞0
1(y<k)2yP(|X1| > y)dy =
∫ ∞0
( ∞∑k=1
k−21(y<k)
)2yP(|X1| > y)dy .
Since E |X1| =∫∞0 P(|X1| > y)dy , complete proof of claim by
showing that if y ≥ 0 then 2y∑
k>y k−2 ≤ 4.
18.175 Lecture 6
![Page 60: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/60.jpg)
General proof of strong law
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to use it?
I Consider subsequence k(n) = [αn] for arbitrary α > 1. UsingChebyshev, if ε > 0 then
∞∑n=1
P(|Tk(n) − ETk(n)| > εk(n)) ≤ ε−1
∞∑n=1
Var(Tk(n))/k(n)2
= ε−2∞∑n=1
k(n)−2k(n)∑m=1
Var(Ym) = ε−2∞∑
m=1
Var(Ym)∑
n:k(n)≥m
k(n)−2.
I Sum series:∑n:αn≥m[αn]−2 ≤ 4
∑n:αn≥m α
−2n ≤ 4(1− α−2)−1m−2.I Combine computations (observe RHS below is finite):∞∑n=1
P(|Tk(n)−ETk(n)| > εk(n)) ≤ 4(1−α−2)−1ε−2∞∑
m=1
E (Y 2m)m−2.
I Since ε is arbitrary, get (Tk(n) − ETk(n))/k(n)→ 0 a.s.
18.175 Lecture 6
![Page 61: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/61.jpg)
General proof of strong law
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to use it?I Consider subsequence k(n) = [αn] for arbitrary α > 1. Using
Chebyshev, if ε > 0 then
∞∑n=1
P(|Tk(n) − ETk(n)| > εk(n)) ≤ ε−1
∞∑n=1
Var(Tk(n))/k(n)2
= ε−2∞∑n=1
k(n)−2k(n)∑m=1
Var(Ym) = ε−2∞∑
m=1
Var(Ym)∑
n:k(n)≥m
k(n)−2.
I Sum series:∑n:αn≥m[αn]−2 ≤ 4
∑n:αn≥m α
−2n ≤ 4(1− α−2)−1m−2.I Combine computations (observe RHS below is finite):∞∑n=1
P(|Tk(n)−ETk(n)| > εk(n)) ≤ 4(1−α−2)−1ε−2∞∑
m=1
E (Y 2m)m−2.
I Since ε is arbitrary, get (Tk(n) − ETk(n))/k(n)→ 0 a.s.
18.175 Lecture 6
![Page 62: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/62.jpg)
General proof of strong law
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to use it?I Consider subsequence k(n) = [αn] for arbitrary α > 1. Using
Chebyshev, if ε > 0 then
∞∑n=1
P(|Tk(n) − ETk(n)| > εk(n)) ≤ ε−1
∞∑n=1
Var(Tk(n))/k(n)2
= ε−2∞∑n=1
k(n)−2k(n)∑m=1
Var(Ym) = ε−2∞∑
m=1
Var(Ym)∑
n:k(n)≥m
k(n)−2.
I Sum series:∑n:αn≥m[αn]−2 ≤ 4
∑n:αn≥m α
−2n ≤ 4(1− α−2)−1m−2.
I Combine computations (observe RHS below is finite):∞∑n=1
P(|Tk(n)−ETk(n)| > εk(n)) ≤ 4(1−α−2)−1ε−2∞∑
m=1
E (Y 2m)m−2.
I Since ε is arbitrary, get (Tk(n) − ETk(n))/k(n)→ 0 a.s.
18.175 Lecture 6
![Page 63: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/63.jpg)
General proof of strong law
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to use it?I Consider subsequence k(n) = [αn] for arbitrary α > 1. Using
Chebyshev, if ε > 0 then
∞∑n=1
P(|Tk(n) − ETk(n)| > εk(n)) ≤ ε−1
∞∑n=1
Var(Tk(n))/k(n)2
= ε−2∞∑n=1
k(n)−2k(n)∑m=1
Var(Ym) = ε−2∞∑
m=1
Var(Ym)∑
n:k(n)≥m
k(n)−2.
I Sum series:∑n:αn≥m[αn]−2 ≤ 4
∑n:αn≥m α
−2n ≤ 4(1− α−2)−1m−2.I Combine computations (observe RHS below is finite):∞∑n=1
P(|Tk(n)−ETk(n)| > εk(n)) ≤ 4(1−α−2)−1ε−2∞∑
m=1
E (Y 2m)m−2.
I Since ε is arbitrary, get (Tk(n) − ETk(n))/k(n)→ 0 a.s.
18.175 Lecture 6
![Page 64: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/64.jpg)
General proof of strong law
I Claim:∑∞
k=1Var(Yk)/k2 ≤ 4E |X1| <∞. How to use it?I Consider subsequence k(n) = [αn] for arbitrary α > 1. Using
Chebyshev, if ε > 0 then
∞∑n=1
P(|Tk(n) − ETk(n)| > εk(n)) ≤ ε−1
∞∑n=1
Var(Tk(n))/k(n)2
= ε−2∞∑n=1
k(n)−2k(n)∑m=1
Var(Ym) = ε−2∞∑
m=1
Var(Ym)∑
n:k(n)≥m
k(n)−2.
I Sum series:∑n:αn≥m[αn]−2 ≤ 4
∑n:αn≥m α
−2n ≤ 4(1− α−2)−1m−2.I Combine computations (observe RHS below is finite):∞∑n=1
P(|Tk(n)−ETk(n)| > εk(n)) ≤ 4(1−α−2)−1ε−2∞∑
m=1
E (Y 2m)m−2.
I Since ε is arbitrary, get (Tk(n) − ETk(n))/k(n)→ 0 a.s.18.175 Lecture 6
![Page 65: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/65.jpg)
General proof of strong law
I Conclude by taking α→ 1. This finishes the case that the X1
are a.s. positive.
I Can extend to the case that X1 is a.s. positive within infinitemean.
I Generally, can consider X+1 and X−1 , and it is enough if one of
them has a finite mean.
18.175 Lecture 6
![Page 66: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/66.jpg)
General proof of strong law
I Conclude by taking α→ 1. This finishes the case that the X1
are a.s. positive.
I Can extend to the case that X1 is a.s. positive within infinitemean.
I Generally, can consider X+1 and X−1 , and it is enough if one of
them has a finite mean.
18.175 Lecture 6
![Page 67: 18.175: Lecture 6 .1in Borel-Cantelli and strong lawmath.mit.edu/~sheffield/2016175/Lecture6.pdf · 18.175 Lecture 6. Characteristic functions I Let X be a random variable. I The](https://reader034.fdocuments.us/reader034/viewer/2022042310/5ed8295c0fa3e705ec0df33f/html5/thumbnails/67.jpg)
General proof of strong law
I Conclude by taking α→ 1. This finishes the case that the X1
are a.s. positive.
I Can extend to the case that X1 is a.s. positive within infinitemean.
I Generally, can consider X+1 and X−1 , and it is enough if one of
them has a finite mean.
18.175 Lecture 6