This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Notes 2 for Honors Probability and Statistics Ernie Croot August 24, 2010 1 Examples of algebras and Probability Mea sures So far, the only examples of algebras we have seen are ones where the sample space is finite. Let us begin with a FALSE example of a algebra where S is infinite: False example of a algbra. We say that a subset A N has density if and only if lim n # { a A : a n } n = . Another, more compact way of writing the numerator in the limit is  A ( n )  , which is the cardinality of the set A ( n ), which in turn is the number of elements of A that are n . Not every subset of N has a density. For example, the set B with the property that b B if and only if b is an integer lying in an interval [2 3 j , 2 3 j +1 ] for some integer j 0, does not have a density. Another way of writing B is as the infinite union B = { 1 , 2 } { 8 , 9 ,..., 16 } { 64 , 65 ,..., 128 } To see that B does not have a density, consider the size of  B (2 3 k 1)  , for some integer k 1. This set will have (1 + 1) + (8 + 1) + (64 + 1) + + (2 3( k 1) + 1) = k + 2 3 k 1 7 elements . 1 So,  B (2 3 k 1)  / (2 3 k 1) will tend to the limit 1 / 7 as k . But now consider the size of B (2 3 k +1 ). This set is exactly the same as B (2 3( k +1) 1), and so has size ( k + 1) + (2 3( k +1) 1) / 7 elements; and so,  B (2 3 k +1 )  / (2 3 k +1 ) tends to the limit 4 / 7 as k . So, the limit  B ( n )  /n does not exist, meaning that B does not have a density. Now, it seems intuitively obvious that if we let S = N , and let be the set of all subsets A S that have a density , and then let P ( A ) = , then ( S, ,P ) is a probability space. It turns out that this is not true! The problem here is that is NOT a algebra, and, in particular, is not closed under intersections. An example of a pair of sets C,D whose intersection is not in is given as follows: Let C denote the set of even integers, and let D = D D 1 , where D is the set of even integers lying in an intervals of the form [2 3 j , 2 3 j +1 ] (where j 0 is an integer), and where D 1 is the set of odd integers that lie in intervals of the form (2 3 j +1 , 2 3( j +1) ) (again,...
View
Full
Document
 Spring '08
 Staff
 Statistics, Algebra, Probability

Click to edit the document details