A family FL1(X,μ)\mathcal F\subset L^1(X,\mu) on a (X,A,μ)(X,\mathcal A,\mu) is uniformly integrable if

supfFf1<andlimM supfF{f>M}fdμ=0.\sup_{f\in\mathcal F}\|f\|_1<\infty \qquad\text{and}\qquad \lim_{M\to\infty}\ \sup_{f\in\mathcal{F}} \int_{\{|f|>M\}} |f|\,d\mu = 0.

When μ(X)<\mu(X)<\infty, the tail condition alone implies the uniform L1L^1 bound.

A (fn)(f_n) is uniformly integrable if the family {fn:n1}\{f_n:n\ge 1\} is uniformly integrable.

Interpretation

The condition rules out increasingly tall tails that retain substantial L1L^1-mass. Together with suitable convergence hypotheses, it permits passage to limits in the .

Examples
  • If fg|f|\le g almost everywhere for every fFf\in\mathcal F, where gL1(X,μ)g\in L^1(X,\mu), then F\mathcal F is uniformly integrable.
  • On ([0,1],B,λ)([0,1],\mathcal B,\lambda), the functions fn=n1[0,1/n]f_n=n\mathbf 1_{[0,1/n]} are not uniformly integrable: for any M>0M>0, choose n>Mn>M. Then
    {fn>M}fndλ=01/nndx=1,\int_{\{|f_n|>M\}} |f_n|\,d\lambda = \int_0^{1/n} n\,dx = 1,
    so the supremum of the tail integrals does not tend to 00.