2
$\begingroup$

I am trying to prove that the following probability measure given in my book (Rohtagi) is countably additive. My analysis is a bit rusty so if someone can explain to me the properties of integrals involved in proving that the probability measure is indeed countably additive I would be very grateful.

Let $(\Omega=(0,\infty),\mathbb{B})$ be a sample space. Here $\mathbb{B}$ is the Borel $\sigma$-field on $\Omega$. (The little bit of measure theory I remember tells me that a $\sigma$-field is a non-empty collection of subsets of $\Omega$ which is closed under countable union, complements and contains $\emptyset$. A Borel $\sigma$-field on $\Omega$ is the smallest $\sigma$-field on $\Omega$ containing all intervals). Let $P$ be defined for each interval $I$ as $PI = \int_I e^{-x}dx$. Now I want to prove that $P$ is countably additive. I am not sure how to do that for an arbitrary disjoint sequence of Borel sets.

1 Answers 1

3

Enumerate your countably many disjoint Borel sets as $B_n$ and observe that by finite additivity (which follows from considering the characteristic functions) we have $\int_{\cup_{n=1}^N B_n} e^{-x}dx = \sum_{n=1}^N \int_{B_n} e^{-x}dx$. Take limits on the left using the monotone convergence theorem (justified by the fact that $e^{-x}$ is positive) and on the right by the definition of an infinite sum to get the result.

By the way, I am assuming you know that a measure defined on the intervals extends uniquely to the Borel algebra. If you don't, then you should look into Caratheodory's theorem. The proof is a tad long unfortunately.

  • 0
    I am not sure how you are applying the Lebesgue monotone convergence theorem here? What is the sequence of non-decreasing functions and what is their limit?2012-02-05
  • 0
    The sequence is $f_N(x) = e^{-x} \chi_{\cup_{n=1}^N B_n}(x)$. This sequence is pointwise nondecreasing because the exponential is always positive and its pointwise limit is $e^{-x} \chi_{\cup_{n=1}^\infty B_n}(x)$2012-02-05
  • 0
    I think we should read $\int_{\bigcup_{n=1}^N B_n} e^{-x} dx = ...$2012-02-05
  • 0
    That is correct Paul. I have edited the post to make that clearer.2012-02-05