Probability with Measure
\(\newcommand{\footnotename}{footnote}\)
\(\def \LWRfootnote {1}\)
\(\newcommand {\footnote }[2][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\newcommand {\footnotemark }[1][\LWRfootnote ]{{}^{\mathrm {#1}}}\)
\(\let \LWRorighspace \hspace \)
\(\renewcommand {\hspace }{\ifstar \LWRorighspace \LWRorighspace }\)
\(\newcommand {\mathnormal }[1]{{#1}}\)
\(\newcommand \ensuremath [1]{#1}\)
\(\newcommand {\LWRframebox }[2][]{\fbox {#2}} \newcommand {\framebox }[1][]{\LWRframebox } \)
\(\newcommand {\setlength }[2]{}\)
\(\newcommand {\addtolength }[2]{}\)
\(\newcommand {\setcounter }[2]{}\)
\(\newcommand {\addtocounter }[2]{}\)
\(\newcommand {\arabic }[1]{}\)
\(\newcommand {\number }[1]{}\)
\(\newcommand {\noalign }[1]{\text {#1}\notag \\}\)
\(\newcommand {\cline }[1]{}\)
\(\newcommand {\directlua }[1]{\text {(directlua)}}\)
\(\newcommand {\luatexdirectlua }[1]{\text {(directlua)}}\)
\(\newcommand {\protect }{}\)
\(\def \LWRabsorbnumber #1 {}\)
\(\def \LWRabsorbquotenumber "#1 {}\)
\(\newcommand {\LWRabsorboption }[1][]{}\)
\(\newcommand {\LWRabsorbtwooptions }[1][]{\LWRabsorboption }\)
\(\def \mathchar {\ifnextchar "\LWRabsorbquotenumber \LWRabsorbnumber }\)
\(\def \mathcode #1={\mathchar }\)
\(\let \delcode \mathcode \)
\(\let \delimiter \mathchar \)
\(\def \oe {\unicode {x0153}}\)
\(\def \OE {\unicode {x0152}}\)
\(\def \ae {\unicode {x00E6}}\)
\(\def \AE {\unicode {x00C6}}\)
\(\def \aa {\unicode {x00E5}}\)
\(\def \AA {\unicode {x00C5}}\)
\(\def \o {\unicode {x00F8}}\)
\(\def \O {\unicode {x00D8}}\)
\(\def \l {\unicode {x0142}}\)
\(\def \L {\unicode {x0141}}\)
\(\def \ss {\unicode {x00DF}}\)
\(\def \SS {\unicode {x1E9E}}\)
\(\def \dag {\unicode {x2020}}\)
\(\def \ddag {\unicode {x2021}}\)
\(\def \P {\unicode {x00B6}}\)
\(\def \copyright {\unicode {x00A9}}\)
\(\def \pounds {\unicode {x00A3}}\)
\(\let \LWRref \ref \)
\(\renewcommand {\ref }{\ifstar \LWRref \LWRref }\)
\( \newcommand {\multicolumn }[3]{#3}\)
\(\require {textcomp}\)
\(\newcommand {\intertext }[1]{\text {#1}\notag \\}\)
\(\let \Hat \hat \)
\(\let \Check \check \)
\(\let \Tilde \tilde \)
\(\let \Acute \acute \)
\(\let \Grave \grave \)
\(\let \Dot \dot \)
\(\let \Ddot \ddot \)
\(\let \Breve \breve \)
\(\let \Bar \bar \)
\(\let \Vec \vec \)
\(\DeclareMathOperator {\var }{var}\)
\(\DeclareMathOperator {\cov }{cov}\)
\(\newcommand {\nN }{n \in \mathbb {N}}\)
\(\newcommand {\Br }{{\cal B}(\R )}\)
\(\newcommand {\F }{{\cal F}}\)
\(\newcommand {\ds }{\displaystyle }\)
\(\newcommand {\st }{\stackrel {d}{=}}\)
\(\newcommand {\uc }{\stackrel {uc}{\rightarrow }}\)
\(\newcommand {\la }{\langle }\)
\(\newcommand {\ra }{\rangle }\)
\(\newcommand {\li }{\liminf _{n \rightarrow \infty }}\)
\(\newcommand {\ls }{\limsup _{n \rightarrow \infty }}\)
\(\newcommand {\limn }{\lim _{n \rightarrow \infty }}\)
\(\def \to {\rightarrow }\)
\(\def \iff {\Leftrightarrow }\)
\(\def \ra {\Rightarrow }\)
\(\def \sw {\subseteq }\)
\(\def \mc {\mathcal }\)
\(\def \mb {\mathbb }\)
\(\def \sc {\setminus }\)
\(\def \v {\textbf }\)
\(\def \E {\mb {E}}\)
\(\def \P {\mb {P}}\)
\(\def \R {\mb {R}}\)
\(\def \C {\mb {C}}\)
\(\def \N {\mb {N}}\)
\(\def \Q {\mb {Q}}\)
\(\def \Z {\mb {Z}}\)
\(\def \B {\mb {B}}\)
\(\def \~{\sim }\)
\(\def \-{\,;\,}\)
\(\def \qed {$\blacksquare $}\)
\(\def \1{\unicode {x1D7D9}}\)
\(\def \cadlag {c\`{a}dl\`{a}g}\)
\(\def \p {\partial }\)
\(\def \l {\left }\)
\(\def \r {\right }\)
\(\def \Om {\Omega }\)
\(\def \om {\omega }\)
\(\def \eps {\epsilon }\)
\(\def \de {\delta }\)
\(\def \ov {\overline }\)
\(\def \sr {\stackrel }\)
\(\def \Lp {\mc {L}^p}\)
\(\def \Lq {\mc {L}^q}\)
\(\def \Lone {\mc {L}^1}\)
\(\def \Ltwo {\mc {L}^2}\)
\(\def \toae {\sr {\rm a.e.}{\to }}\)
\(\def \toas {\sr {\rm a.s.}{\to }}\)
\(\def \top {\sr {\mb {\P }}{\to }}\)
\(\def \tod {\sr {\rm d}{\to }}\)
\(\def \toLp {\sr {\Lp }{\to }}\)
\(\def \toLq {\sr {\Lq }{\to }}\)
\(\def \eqae {\sr {\rm a.e.}{=}}\)
\(\def \eqas {\sr {\rm a.s.}{=}}\)
\(\def \eqd {\sr {\rm d}{=}}\)
\(\def \Sa {(S1)}\)
\(\def \Sb {(S2)}\)
\(\def \Sc {(S3)}\)
\(\def \Scp {(S3')}\)
\(\def \Ma {(M1)}\)
\(\def \Mb {(M2)}\)
\(\def \La {(L1)}\)
\(\def \Lb {(L2)}\)
\(\def \Lc {(L3)}\)
\(\def \Ld {(L4)}\)
\(\def \Le {(L5)}\)
2.3 Convergence of functions
We’ve thought about convergence of (extended) real numbers in Sections 2.1 and 2.2. In this section we will
think about convergence of functions, defined on a general measure space \((S,\Sigma ,m)\). We will write this section for functions taking values in \(\R \), but it applies equally to functions taking values in
\(\ov {\R }\).
First we need to introduce pointwise definitions of functions. This is best done by example. If \(f\) and \(g\) are functions defined from \(S\to \R \) then we define the function \(f+g:S\to \R \) by
setting \((f+g)(x)=f(x)+g(x)\). We can apply the same idea to \(fg\) to define the function \((fg)(x)=f(x)g(x)\), and so on.
Pointwise convergence is the simplest type of convergence of functions. You’ve already seen one other type: if \(\sup _{x\in A}|f_n(x)-f(x)|\to 0\) as \(n\to \infty \), then we say that \(f_n\to f\)
uniformly on the set \(A\). We will use pointwise and uniform convergence within this course, but for us the most interesting type of convergence is something slightly different. Recall the term ‘almost all’ from
Section 1.8. A property holds for almost all \(x\in S\) if the set of \(x\) on which it fails is a null set.
We will sometimes abbreviate \(f_n\to f\) almost everywhere as \(f_n\toae f\). Unpacking the terminology in Definition 2.3.2, we have that
\(f_n\toae f\) if and only \(m(\{x\in S\- f_n(x)\nrightarrow f(x)\})=0\).
Convergence almost everywhere is very similar to pointwise convergence. The difference is that we allow \(f_n(x)\to f(x)\) to fail on some null set of \(x\in S\). This is much more natural from the perspective
of measure theory, because we want to forget about things that have measure zero.
-
Let \(f_n:\R \to \R \) by \(f_n(x)=e^{-nx^2}\) and let \(f(x)=0\). We take our measure
space to be \((\R ,\mc {B}(\R ),\lambda )\), and note that as \(n\to \infty \) we have \(f_n(x)\to 0\) for all \(x\in \R \) except \(x=0\) (at which \(f_n(0)=1\)). The set \(\{0\}\) is Lebesgue null, so
\(f_n \toae f\).
Proof: For the first claim, if \(\sup _{x\in A}|f_n(x)-f(x)|\to 0\) then, for any \(x\in A\), we
have \(f_n(x)\to f(x)\). For the second claim, pointwise convergence implies that the set \(\{x\in S\- f_n(x)\nrightarrow f(x)\}\) is empty, hence it has measure zero. ∎
Example 2.3.3 shows that we can have convergence almost everywhere without having pointwise convergence. Exercise 2.7 gives an example of functions that converge pointwise but not uniformly.