Continuity of Probability

Proposition (3.3.1)

Let (An)n∈N(A_{n})_{n\in\mathbb{N}} be an Increasing Events (An↗AA_{n}\nearrow A) or Decreasing Events (An↘AA_{n}\searrow A). Then lim⁡n→∞P(An)=P(A)\lim_{n\to\infty}\mathbb{P}(A_n)=\mathbb{P}(A)

\begin{proof} Since An⊆An+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=A2∖A1B_{2}=A_{2}\setminus A_{1}

  • B3=A3∖A2B_{3}=A_{3}\setminus A_{2}

  • … Then A=⋃jBjA=\bigcup_{j} B_{j}and hence P(A)=P(⋃jBj)=∑jP(Bj)=lim⁡n→∞∑j=1nP(Bj)=lim⁡n→∞P(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