Past exam of the integration course of the University of Oxford / 2015 / 1 / b / Solution

For the increasing family, define the measurable setsThey are pairwise disjoint, with $A_N={\bigcup }_{n=1}^N{D}_n$ and ${\bigcup }_n{A}_n={\bigcup }_n{D}_n$. By countable additivity,The nonnegative series is defined by its increasing partial-sum limit, so this proof also covers an infinite value. This is continuity from below of a measure.

For the decreasing family, put $C_n=B_1\setminus B_n$. These measurable sets increase, andSince $\mu (B_1)<\infty$, finite additivity gives legitimate finite subtractions:Apply the first result to $C_n$ and subtract from $\mu (B_1)$ to obtainThis is continuity from above of a measure. Its finiteness hypothesis matters: for Lebesgue measure and $B_n=[n,\infty )$, every $B_n$ has infinite measure but their intersection is empty. The proof must not subtract $\infty -\infty$.