Past exam of the options I course of the University of Oxford / 2013 / D / 1 / Solution

For a nonnegative measurable function, the Lebesgue integral is defined through nonnegative simple functions:The value may be infinite. A real measurable $g$ is Lebesgue integrable when $\int |g|dx<\infty$; then $\int g=\int g^{+}-\int g^{-}$, where $g^{+}=\max (g,0)$ and $g^{-}=\max (-g,0)$.

If $|g|\le h$, every simple function below $|g|$ is also below $h$. Taking the defining suprema proves monotonicity of the Lebesgue integral:Hence $g$ is integrable, and both its positive and negative parts have finite integrals.

The oscillatory function $k$ is measurable because it is continuous off the singleton $\{0\}$ and has a specified value there. The elementary bounds $|\sin u|\le \min (1,|u|)$ give the integrable majorantIndeed, $\int H=2+2{\int }_1^{\infty }{x}^{-3}dx=3$. The comparison just proved gives $\int |k|\le 3$, so $k$ is Lebesgue integrable over the whole real line, despite its oscillations near zero. Its odd symmetry also gives $\int k=0$, now legitimately because absolute integrability has been established.