Pointwise a.e. Convergence

Relevant Definitions

Denote our measure space as $(X,{\mathcal {M}},\mu )$. Note that a property p(x) holds for almost every $x\in X$ if the set $\{x\in X:p(x){\text{ doesn't hold }}\}$ has measure zero.

• A sequence of functions $f_{n}$ converges pointwise if $f_{n}(x)\to f(x)$ for all $x\in X$
• A sequence of functions $f_{n}$ converges uniformly if $\sup _{x\in X}|f_{n}(x)-f(x)|\to 0$ ,
• A sequence of measurable functions $\{f_{n}\}$ converges to $f$ pointwise almost everywhere if $f_{n}(x)\to f(x)$ for almost every $x$, or $\mu (\{x:f(x)\neq \lim _{n\to \infty }f(x)\})=0$.
• A sequence of measurable functions $f_{n}$ converges in $L^{1}$ if $\int |f_{n}-f|\to 0.$

Relevant Properties

• $f_{n}\to f$ through uniform Convergence $\to$$f_{n}\to f$ through pointwise convergence $\to$ $f_{n}\to f$ pointwise a.e. convergence
• $f_{n}\to f$ through $L^{1}$ convergence $\to$ $f_{n}\to f$ through pointwise a.e convergence up to a subsequence
• $f_{n}\to f$ Pointwise a.e. convergence equipped with dominating function implies $f_{n}\to f$ $L^{1}$ convergence