The monotone convergence theorem states that if
pointwise, then
allowing the value .
Monotonicity of the integral shows that the increasing limit of the left side is at most . Conversely, let be a nonnegative simple function with , and fix . The sets
increase to the support of . Hence
Let and take the supremum over all simple . This gives
, proving equality.

Articles by others on the same topic (0)

There are currently no matching articles.