## You are here

HomeVitali convergence theorem

## Primary tabs

# Vitali convergence theorem

Let $f_{1},f_{2},\ldots$ be $\mathbf{L}^{p}$-integrable functions on some measure space, for $1\leq p<\infty$.

The sequence $\{f_{n}\}$ converges in $\mathbf{L}^{p}$ to a measurable function $f$ if and and only if

i. the sequence $\{f_{n}\}$ converges to $f$ in measure;

ii. the functions $\{\lvert f_{n}\rvert^{p}\}$ are uniformly integrable; and

iii.

# Remarks

This theorem can be used as a replacement for the more well-known dominated convergence theorem, when a dominating factor cannot be found for the functions $f_{n}$ to be integrated. (If this theorem is known, the dominated convergence theorem can be derived as a special case.)

In a finite measure space, condition (iii) is trivial. In fact, condition (iii) is the tool used to reduce considerations in the general case to the case of a finite measure space.

In probability theory, the definition of “uniform integrability” is slightly different from its definition in general measure theory; either definition may be used in the statement of this theorem.

# References

- 1 Gerald B. Folland. Real Analysis: Modern Techniques and Their Applications, second ed. Wiley-Interscience, 1999.
- 2 Jeffrey S. Rosenthal. A First Look at Rigorous Probability Theory. World Scientific, 2003.

## Mathematics Subject Classification

28A20*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia