This question is an extension of a question asked earlier.
Let $(X,\mathcal{M},\mu)$ be a measure space and let $f_{n}: X \to Y$, where $\{f_{n}\}$ is a sequence of functions. The proof wiki definition of Almost Everywhere (a.e.) Convergence is that $f_{n}$ converges almost everywhere on $X$ iff:
\begin{equation}
\mu(\{ x \in X: f_{n}(x) \text{ does not converge to } f(x) \})=0
\end{equation}
It seems to me (and correct me if I am wrong) that we could easily rewrite this as $f_{n}$ converges almost everywhere on $X$ iff:
\begin{equation}
\forall \varepsilon>0: \lim_{n\to \infty}\mu(\{ x \in X: |f_{n}(x) – f(x)|\geq \varepsilon \})=0
\end{equation}
Now proof wiki also gives the definition of Convergence in Measure, where it says $f_{n}$ converges in measure to $f$ iff:
\begin{equation}
\forall \varepsilon>0: \lim_{n\to \infty}\mu(\{ x \in D: |f_{n}(x) – f(x)|\geq \varepsilon \})=0 \text{ for all } D\in \mathcal{M} \text{ with } \mu(D)<\infty
\end{equation}
I have two questions:
-
Is my re-characterization of the definition of a.e. convergence valid?
-
Is the only difference between a.e. convergence and convergence in measure the fact that the limit in a.e. convergence is only required to hold on the entire space $X$ (infinite or not) whereas the limit is required to hold in convergence in measure for every finite set in the $\sigma$-algebra on $X$?
I suspect the answer to both these questions are "yes" but am looking for confirmation. Unlike previous questions on the topic I am not looking for examples, as I have not found them very helpful. If the answer to any of my questions is "no" I am looking for an answer that appeals directly to the definition of a.e. convergence or convergence in measure.
Best Answer
This is not exactly an answer to the question as formulated, but it may clarify the precise formulation of the distinction. Convergence a.e. can be written using countable intersections and unions. First define
$$A_{n,m} = \{ x : |f_n(x) - f(x)| > 1/m \}.$$
Now, for the convergence to fail at $x$, there must be some $m$ such that $x \in A_{n,m}$ for infinitely many $n$. In general, the set $B_m$ defined by "$x \in B_m$ if and only if there are infinitely many $n$ such that $x \in A_{n,m}$" is given by
$$B_m = \bigcap_{k=1}^\infty \bigcup_{n=k}^\infty A_{n,m}.$$
Now if there must be some such $m$, then the bad set where convergence fails is
$$C=\bigcup_{m=1}^\infty \bigcap_{k=1}^\infty \bigcup_{n=k}^\infty A_{n,m}.$$
Convergence a.e. says that this set has measure zero. It is equivalent to say that
$$\mu \left ( \bigcap_{k=1}^\infty \bigcup_{n=k}^\infty A_{n,m} \right )$$
is zero for every $m$.