Theorem (Limit of Measurable Functions is Measurable)
Let (X,F,μ) be a measure space. Let (fn)n∈N be a sequence of measurable functions, fn:X→R. Let f:X→R be such that fn→f pointwise, then f:X→R is measurable
Theorem (1.26)
Let (fn)n∈N be a sequence of measurable functions, fn:X→R+ in measure space (X,F,μ). Assume fn↑f pointwise i.e. 0≤f0≤f1≤⋯≤fn≤…fthen, n→∞limX∫fndμ=X∫fdμ
\begin{proof} First we note using the fact that that f is measurable.
Then, since 0≤fn≤fn+1 ∀n, then 0≤∫fndμ≤∫fn+1dμsince ν is a measure. Hence, (∫fndμ)n∈N has a limit in Rˉ.
Now let α=limn→∞(∫fndμ)∈Rˉ, we WTS ∫fdμ=α
Since ∀n≥1, 0≤fn≤f then 0≤0≤0≤∫fndμn→∞lim∫fndμα≤≤≤∫fdμ∫fdμ∫fdμNow TS α≥∫fdμ we instead show ∀0<c<1:c∫fdμ≤α\end{proof}