Continuity of Probability

Proposition (3.3.1)

Let (An)nN(A_{n})_{n\in\mathbb{N}} be an Increasing Events (AnAA_{n}\nearrow A) or Decreasing Events (AnAA_{n}\searrow A). Then limnP(An)=P(A)\lim_{n\to\infty}\mathbb{P}(A_n)=\mathbb{P}(A)

\begin{proof} Since AnAn+1A_{n}\subseteq A_{n+1} and A=nAnA=\bigcup_{n}A_{n} then we define BnB_{n} such that:

  • B1=A1B_{1}=A_{1}

  • B2=A2A1B_{2}=A_{2}\setminus A_{1}

  • B3=A3A2B_{3}=A_{3}\setminus A_{2}

  • … Then A=jBjA=\bigcup_{j} B_{j}and hence P(A)=P(jBj)=jP(Bj)=limnj=1nP(Bj)=limnP(An)\mathbb{P}(A)=\mathbb{P}\left( \bigcup_{j}B_{j} \right)=\sum_{j}\mathbb{P}(B_{j})=\lim_{ n \to \infty } \sum_{j=1}^{n}\mathbb{P}(B_{j})=\lim_{ n \to \infty } \mathbb{P}(A_{n})same logic holds for decreasing events but with complements involved. \end{proof}

    Remark

    Simply a by-product of Properties of Measure.

Linked from