bounded convergence theorem

The bounded convergence theorem is a special case of the dominated convergence theorem, though it can be proved using slightly different techniques.

Theorem

For a measure space with (very important!), suppose there is a sequence of measurable functions that converges pointwise to a function . If there exits such that

then

Basically, if your function is on a finite measure space, and converges pointwise to a bounded function then the limit and the integral can be exchanged. (The integral doesn’t leak).

Proof

This proof relies on Egorov’s Theorem, so we restrict the domain down to get uniform convergence while only cutting out an arbitrarily small set.

For By Egorov’s theorem, such that and converges uniformly on .

Using this set, we split the integral along this set

The inequality on the last line holds because uniformly so for k large, we can find the for all

Thus, the limit doesn’t leak and the limit can be interchange with the integral.