Proposition (3.3.1)
Let (An)n∈N be an Increasing Events (An↗A) or Decreasing Events (An↘A). Then n→∞limP(An)=P(A)
\begin{proof} Since An⊆An+1 and A=⋃nAn then we define Bn such that:
B1=A1
B2=A2∖A1
B3=A3∖A2
… Then A=j⋃Bjand hence P(A)=P(j⋃Bj)=j∑P(Bj)=n→∞limj=1∑nP(Bj)=n→∞limP(An)same logic holds for decreasing events but with complements involved. \end{proof}
Simply a by-product of Properties of Measure.