uniformly integrable

Let $\mu$ be a positive measure on a measurable space.A collection of functions $\{f_{\alpha }\}\subset {𝐋}^1(\mu )$is uniformly integrable, if for every $ϵ>0$, thereexists $\delta >0$ such that

(The absolute value sign outside of the integral above may appear under the integral sign instead without affecting the definition.)

The usefulness of this definition comes from the Vitali convergence theorem,which uses it to characterize the convergence of functionsin ${𝐋}^1(\mu )$.

Definition in probability theory

In probability , a different, and slightly stronger, definition of “uniform integrability”, is more commonly used:

A collection of functions $\{f_{\alpha }\}\subset {𝐋}^1(\mu )$is uniformly integrable, if for every $ϵ>0$, thereexists $t\ge 0$ such that

Assuming $\mu$ is a probability measure, this definition is equivalentto the previous one together with the condition that $\int |f_{\alpha }|𝑑\mu$ is uniformly bounded for all $\alpha$.

Properties

1. If a finite number of collections are uniformly integrable,then so is their finite union.

2. A single $f\in {𝐋}^1(\mu )$ is always uniformly integrable.

   To see this, observe that $f$ must be almost everywhere non-infinite.Thus $f\cdot 1_{[|f|>k]}$ goes to zero a.e. as $k\to \mathrm{\infty }$, and it is boundedby $|f|$.Then ${\int }_{[|f|>k]}|f|𝑑\mu \to 0$ by the dominated convergence theorem.Choosing $k$ big enough so that , and letting $\delta =ϵ/k$, we have, when ,

   ${\displaystyle {\int }_E}|f|𝑑\mu ={\displaystyle {\int }_{E\cap [|f|\le k]}}|f|𝑑\mu +{\displaystyle {\int }_{E\cap [|f|>k]}}|f|𝑑\mu \le k\mu (E)+ϵ=2ϵ.$

Examples

1. If $g$ is an integrable function, thenthe collection consisting ofall measurable functions $f$ dominated by $g$ — that is, $|f|\le g$ —is uniformly integrable.

2. If $X$ is a ${𝐋}^1$ random variable on a probability space $\mathrm{\Omega }$,then the set of all of its conditional expectations,

   $$\{𝔼[X\mid 𝒢]:𝒢\text{ is a }\sigma \text{-algebra of }\mathrm{\Omega }\},$$

   is always uniformly integrable.

3. If there is an unbounded increasing function $\varphi :[0,\mathrm{\infty })\to [0,\mathrm{\infty })$ such that

   $$\int |f_{\alpha }|\varphi (|f_{\alpha }|)𝑑\mu$$

   is uniformly bounded for all $\alpha$,then the collection $\{f_{\alpha }\}$ is uniformly integrable.