I did say it would be one post a day and it already looks like i’ll only achieve it as an expectation of posts every day. So, let me catch up first by solving more problems. This time from chapter 2 of the book: Mathematical Foundations of Probability Theory.

This chapter introduces us to how we can extend the probability framework we had for finite sample spaces. The key problem we face is that in the finite case we were simply able to assign a probability to each and therefore get . But we can no longer follow this approach for an infinite sample space.

Anyway, the problem asks the following. Let be the set of rational numbers in . Let be the algebra of sets where each set takes on one of these forms: , , , and . Show that is a finitely additive set function but not countably additive.

Let be disjoint sets. Then, we see that is finitely additive.

To show that is not countably additve we need to show that we can come up with an infinite sequence of disjoint sets whose sum of probabilitites is not equal to the probability of its union. This should bring back memories of converging sequences. Consider the sets . It is clear that the union of these sets is . But