Past exam of the integration course of the University of Oxford / 2014 / 2 / a

The dominated convergence theorem states: on a measure space $(X,\mathcal{F},\mu )$, let $u_n$ be measurable functions converging almost everywhere to a measurable $u$. Suppose there is a nonnegative measurable function $G$ with ${\int }_{X}Gd\mu <\infty$ and $|u_n|\le G$ almost everywhere for every $n$. Then $u$ is integrable andHere integrability means integrability with respect to the given measure; for Lebesgue measure it is Lebesgue integrability. Neither a finite measure space nor monotonicity of the sequence is required. The same single integrable dominator must control the whole sequence.