arxiv: v1 [math.pr] 10 May 2014

Transcription

1 On the construction and the cardinality of finite σ-fields arxiv: v1 [math.pr] 10 May 2014 P. Vellaisamy, S. Ghosh, and M. Sreehari Abstract. In this note, we first discuss some properties of generated σ-fields and a simple approach to the construction of finite σ-fields. It is shown that the σ-field generated by a finite class of σ-distinct sets which are also atoms, is the same as the one generated by the partition induced by them. The range of the cardinality of such a generated σ-field is explicitly obtained. Some typical examples and their complete forms are discussed. We discuss also a simple algorithm to find the exact cardinality of some particular finite σ-fields. Finally, an application of our results to statistics, with regard to independence of events, is pointed out. Keywords. Finite σ-fields, induced partition of sets, cardinality, independence of events MSC. Primary: 28A05; Secondary: 60A Introduction The role of σ-fields in probability and statistics is well known. A σ-field generated by a class of subsets of a give space Ω, also known as the generated σ-field, is defined to be the intersection of all σ-fields containing that class. However, a constructive approach to obtain the σ-field generated by finite number of subsets has not been well studied in the literature. Indeed, no easy constructive method is available. It is a challenging task to construct a σ-field generated by, say, four arbitrary subsets and to know its exact cardinality. Given a finite class of σ-distinct sets (see Definition 2.2) which are also atoms, we discuss a simple approach to obtain the generated σ-field based on the partition induced by the given class and then look at the σ-field generated by this partition. In this direction, we first obtain the cardinality of the induced partition by a finite class of such sets. Using this result, we obtain the cardinality of the generated σ- field. When all members of the induced partition are non-empty, the cardinality of the generated σ-field is 2 2n, a known result in the literature (see Ash and Doleans-Dade (2000), p 457). Let R denote the set of real numbers. Then the cardinality of R (also called cardinality of the continuum) is given by 2 ℵ 0, where ℵ 0 is the cardinality of N, The research of S. Ghosh was supported by UGC, Govt. of India grant F.2-2/98 (SA-I).

2 2 P. Vellaisamy, Sayan Ghosh, and M. Sreehari the set of natural numbers. One of the fascinating results in measure theory is that there is no σ-field whose cardinality is countably infinite. In other words, the cardinality of a σ-field can be either finite or equal to 2 ℵ 0 (uncountable) (Billingsley (1995), p. 34). Our focus is on the cardinality of a σ-field, generated by a finite class of n sets, and to show that it assumes only particular values within a fixed range. To the best of our knowledge, this problem has been addressed only for some special cases (Ash and Doleans-Dade (2000), p. 11). Several typical examples are discussed to bring out the nature of the finitely generated σ-fields. An algorithm to find the exact cardinality of some specific σ- fields of interest is also presented. Finally, we discuss an application to statistics with regard to the independence of some events and establish some new results in this direction. 2. Range for Cardinality of a finite σ-field Let us begin with a simple example. Let Ω be the given space, and consider two distinct subsets B and C of Ω such that B C Ω and B C φ. We henceforth suppress the intersection symbol, unless the context demands it. For instance, A B will be denoted by AB. It is well known that the σ-field generated by the class {B,C}, denoted by σ(b, C), is obtained by the usual operations of complementations, unions and intersections, as σ(b,c) = {φ,ω,b,c,b c,c c,b C,B C c,b c C,B c C c,bc, BC c,b c C,B c C c,(bc c ) (B c C),(BC) (B c C c )}. Let P B,C = {BC,B c C,BC c,b c C c } denote the partition (see Definition 2.3) of Ω induced by B and C. The elements of the σ-field generated by a partition consist of the empty set φ, the sets in the partition and all possible (finite) unions of them. The resulting class is evidently closed under complementation. Hence, the σ-field generated by P B,C is given by (2.1) σ(p B,C ) = σ(bc,b c C,BC c,b c C c ) = {φ,ω,bc,b c C,BC c,b c C c,(bc) (B c C), (BC) (BC c ),(BC) (B c C c ),(B c C) (BC c ), (B c C) (B c C c ),(BC c ) (B c C c ), (BC) (B c C) (BC c ),(BC) (B c C) (B c C c ), (BC) (BC c ) (B c C c ),(B c C) (BC c ) (B c C c )} = {φ,ω,bc,b c C,BC c,b c C c,c,b,(bc) (B c C c ), (B c C) (BC c ),B c,c c,b C,B c C,C c B,B c C c },

3 On the construction and the cardinality of finite σ-fields 3 as some unions in (2.1) admit simple forms which can be obtained using De Morgan s laws. It is interesting to note that σ(b,c) = σ(p B,C ). Note that σ(b,c) = 16. Consider next the case when BC = φ. In this case, P B,C = {BC c,b c C,B c C c } = {B,C,B c C c }; σ(p B,C ) = {φ,ω,b,c,b c C c,b C,B (B c C c ),C (B c C c )} = {φ,ω,b,c,b c C c,b C,C c,b c }. = σ(b,c) and σ(b,c) = 8 here. Thus, when BC = φ also, we have σ(b,c) = σ(p B,C ). Consider next the cardinality of P B,C, denoted by P B,C, where B and C are arbitrary subsets of Ω. Two cases arise: (i) B C = Ω and (ii) B C Ω. Case(i): IfBC = φ,thenp B,C = {B,C}. IfBC φ,thenp B,C = {BC,B c C,BC c } or {B,B c C} (if B C) or {C,BC c } (if C B). Hence, in this case, P B,C {2,3}. Case (ii): If BC = φ, then P B,C = {B,C,B c C c }. If BC φ, then P B,C = {BC,B c C,BC c,b c C c } or {B,B c C,B c C c } (if B C) or {C,BC c,b c C c } (if C B). Hence, in this case, P B,C {3,4}. Thus, from cases (i) and (ii), we have P B,C {2,3,4} for arbitrary subsets B and C. It is of interest to know the cardinality of the partition based on n arbitrary sets. To answer the question, we first introduce the following formal definitions. Definition 2.2. We call a class A = {A 1,A 2,...,A n } of sets σ-distinct if no set in A can be obtained from other sets by an operation of union or intersection or complementation. Let A 1 AandA 0 A c henceforth. Aformal definitionof thepartitioninduced by n sets is the following. Definition 2.3. Let A = {A 1,A 2,...,A n } be a σ-distinct class of subsets of Ω. Then the finest partition induced by A, denoted by P A1,A 2,...,A n, is the collection of sets of the form { n } n (2.4) P A1,A 2,...,A n = A ǫ i i where the empty sets are excluded. ǫ i {0,1},0 ǫ i n = P A,

4 4 P. Vellaisamy, Sayan Ghosh, and M. Sreehari Remark 2.5. Note that P A1,A 2,A 1 A 2 = P A1,A 2,A 1 A 2 = P A1,A 2,A c 1 = P A 1,A 2. That is, P A1,A 2,B = P A1,A 2 for B σ(a 1,A 2 ). Hence, we consider, without loss of generality, only the σ-distinct sets A 1 and A 2. The following definition is well known. Definition 2.6. Let A be a collection of sets. A set A A is called an atom of A if B A, and B A, imply B = A; that is, no proper subset of A belongs to A. We start with a simple fact. Lemma 2.7. If {A 1,A 2,...,A n } themselvesform a partitionof Ω, then P A1,A 2,...,A n = {A 1,A 2,...,A n } and P A1,A 2,...,A n = n. Proof. Since A = {A 1,A 2,...,A n } forms a partition of Ω, A c 1...A c n = φ and all intersections of A j s order 2 to n are empty. This implies that all the sets in n P A1,A 2,...,A n with 2 ǫ i n are empty. Consider next the sets of the form A ǫ A ǫn n with A 1 φ, since P A1,A 2,...,A n = n. n n ǫ i = 1. Then, for example, A 1 A c 2...A c n = A 1 ( A i ) c = n A i = Ω. Thus, P A1,A 2,...,A n = {A 1,A 2,...,A n } and hence The following example clearly shows the nature of the partition and its cardinality. Example 2.8. Consider the class {A,B,C,D} of 4 subsets of Ω. Then the partition P A,B,C,D induced by them is P A,B,C,D = {ABCD,A c BCD,AB c CD,ABC c D,ABCD c,a c B c CD,A c BC c D,A c BCD c, AB c C c D,AB c CD c,abc c D c,a c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c, A c B c C c D c }. If A,B,C and D themselves form a partition of Ω, then P A,B,C,D = {A,B,C,D} and P A,B,C,D = 4. If A B C D Ω, there may be two cases as follows. (a) If ABCD φ and all other elements of P A,B,C,D are also non-empty, then P A,B,C,D = 2 4 = 16. (b) If ABCD = φ, there can be the following sub cases : i=2

5 On the construction and the cardinality of finite σ-fields 5 (i) If only ABCD = φ, then P A,B,C,D = 15 and P A,B,C,D = {A c BCD,AB c CD,ABC c D,ABCD c,a c B c CD,A c BC c D,A c BCD c, AB c C c D,AB c CD c,abc c D c,a c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c, A c B c C c D c }. (ii) If onlybcd = φ,along withtheimplied case (i) (notmentioned later), then P A,B,C,D = 14 and P A,B,C,D = {AB c CD,ABC c D,ABCD c,a c B c CD,A c BC c D,A c BCD c,ab c C c D, AB c CD c,abc c D c,a c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. (iii) If only BCD = ACD = φ, then P A,B,C,D = 13 and P A,B,C,D = {ABC c D,ABCD c,a c B c CD,A c BC c D,A c BCD c,ab c C c D,AB c CD c, ABC c D c,a c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. (iv) If only BCD = ACD = ABD = φ, then P A,B,C,D = 12 and P A,B,C,D = {ABCD c,a c B c CD,A c BC c D,A c BCD c,ab c C c D,AB c CD c,abc c D c, A c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. (v) If only BCD = ACD = ABD = ABC = φ, then P A,B,C,D = 11 and P A,B,C,D = {A c B c CD,A c BC c D,A c BCD c,ab c C c D,AB c CD c,abc c D c, A c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. (vi) If only ABD = ABC = CD = φ, then P A,B,C,D = 10 and P A,B,C,D = {A c BC c D,A c BCD c,ab c C c D,AB c CD c,abc c D c,a c B c C c D, A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. (vii) If only ABC = CD = BD = φ, then P A,B,C,D = 9 and P A,B,C,D = {A c BCD c,ab c C c D,AB c CD c,abc c D c,a c B c C c D,A c B c CD c, A c BC c D c,ab c C c D c,a c B c C c D c }. (viii) If only CD = BD = BC = φ, then P A,B,C,D = 8 and P A,B,C,D = {AB c C c D,AB c CD c,abc c D c,a c B c C c D,A c B c CD c,a c BC c D c, AB c C c D c,a c B c C c D c }. (ix) If only CD = BD = BC = AD = φ, then P A,B,C,D = 7 and P A,B,C,D = {AB c CD c,abc c D c,a c B c C c D,A c B c CD c,a c BC c D c, AB c C c D c,a c B c C c D c }. (x) If only CD = BD = BC = AD = AC = φ, then P A,B,C,D = 6 and P A,B,C,D = {ABC c D c,a c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }.

6 6 P. Vellaisamy, Sayan Ghosh, and M. Sreehari (xi) If only CD = BD = BC = AD = AC = AB = φ, then P A,B,C,D = 5 and P A,B,C,D = {A c B c C c D,A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. Hence, we observe that P A,B,C,D {4,5,6,...,16}. Remark 2.9. Two or more different partitions P A1,A 2,...,A n may have the same cardinality. For example, if A = {A,B,C,D} such that A B C D Ω, then P A,B,C,D = 9 corresponds to the following distinct cases : (i) If only AB = CD = φ, along with the implied empty intersections, then P A,B,C,D = {A c BC c D,A c BCD c,ab c C c D,AB c CD c,a c B c C c D,A c B c CD c, A c BC c D c,ab c C c D c,a c B c C c D c }. (ii) If only AB = AC = AD = φ, along with the implied empty intersections, then P A,B,C,D = {A c BCD,A c B c CD,A c BC c D,A c BCD c,a c B c C c D, A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. (iii) If only AB = AC = BCD = φ, along with the implied empty intersections, then P A,B,C,D = {A c BC c D,A c BCD c,ab c C c D,A c B c CD,A c B c C c D, A c B c CD c,a c BC c D c,ab c C c D c,a c B c C c D c }. In the above cases, the partitions are different, though their cardinality is same. We next look at the cardinality of P A1,A 2,...,A n induced by {A 1,A 2,...,A n }. It looks difficult to argue for the arbitrary sets. However, we have the following result for a fairly large and reasonable class of sets. Theorem Let A = {A 1,A 2,...,A n },n 3, be a class of σ-distinct sets of Ω, where each A i is an atom of A, and P A1,A 2,...,A n be the partition induced by A 1,A 2,...,A n. Then P A1,A 2,...,A n {n,n+1,...,2 n }. Proof. Let (2.11) Q j = { n A ǫ i i ǫ i {0,1},1 i n, for 0 j n. Then P A1,A 2,...,A n can be represented as n (2.12) P A1,A 2,...,A n = Q j, j=0 } n ǫ i = j,

7 On the construction and the cardinality of finite σ-fields 7 where only non-empty elements of Q j s are considered. This is because some Q j s may contain empty sets. Note that Q j consists of at most ( n j) distinct nonempty sets corresponding to a selection of j of the n ǫ i s as 1 and the rest as 0. So Q j ( n j), and hence n n n ( ) n (2.13) P A1,A 2,...,A n = Q j Q j = 2 n. j j=0 Note that the elements of Q j, for 1 j n 1 are all disjoint. Indeed, if D 1 Q i and D 2 Q j, for some j i, then D 1 D 2 = φ. Therefore, an element E Q j being empty or non-empty does not affect the nature (emptiness or nonemptiness) of another element D coming from Q i or Q j for all i j, in general. Consider next the four exhaustive cases. n n Case (i): A i Ω, A i φ. In this case, our claim is (2.14) P A1,A 2,...,A n {n+2,n+3,...,2 n }. Here, both Q 0 and Q n contain non-empty sets, so that Q 0 = Q n = 1. Suppose now A i s are such that all elements of Q 1 to Q n 2 are empty. We show that none oftheelementsofq n 1 isempty. SupposeanelementofQ n 1,say, A c 1A 2...A n = φ. Note first that A ǫ A ǫn n = Ω, since the LHS is the union of sets in P A3...A n. Hence, 0 n j=3 ǫ j n 2 (2.15) (A 3...A n ) c = Now, j=0 0 n j=3 ǫ j n 3 j=0 A ǫ A ǫn n. A c 1 A 2 = A c 1 A 2A 3...A n +A c 1 A 2(A 3...A n ) c = A c 1A 2 A ǫ A ǫn (using (2.15)) = = φ, 0 n j=3 ǫ j n 3 0 n j=3 ǫ j n 3 A c 1 A 2A ǫ A ǫn n since each element A c 1 A 2A ǫ A ǫn n, with 1 n j=3 ǫ j n 3 belongs to one of Q 1 to Q n 2. So A 2 A 1, a contradiction, since each A i is an atom of A. Also, in this case, P A1,A 2,...,A n = 2+ ( n n 1) = n+2. n

8 8 P. Vellaisamy, Sayan Ghosh, and M. Sreehari Let now 2 k n 1. Consider the case where all elements of Q j for 1 j k 1 arenon-empty, only r elements of Q k areempty, and all elements of k 1 ( ) n Q l for k+1 l n 1 are empty. In this case, P A1,A 2,...,A n = 2+ +r, j j=1 where 1 r ( ) ( n k. If k = n 1 and r = n n 1) = n, then PA1,A 2,...,A n = n 2 ( ) n n = 2 n. That is, when all elements of Q 0 to Q n are non-empty, j j=1 we get P A1,A 2,...,A n = 2 n. Thus, P A1,A 2,...,A n {n+2,n+3,...,2 n }. n n Case (ii): A i = Ω, A i φ. In this case, we claim (2.16) P A1,A 2,...,A n {n+1,n+2,...,2 n 1}. Here Q 0 = {φ} and Q n {φ} and so Q n = 1. The argument for the minimum value of P A1,A 2,...,A n is the same as that in Case (i). Also, P A1,A 2,...,A n is exactly 1 less than that in Case (i), and so P A1,A 2,...,A n {n+1,n+2,...,2 n 1}. n n Case (iii): A i Ω, A i = φ. In this case also, we claim (2.17) P A1,A 2,...,A n {n+1,n+2,...,2 n 1}. 0 n i=2 ǫ i n 1 Here Q 0 {φ} and Q 0 = 1, while Q n = {φ}. Suppose A i s are such that all elements of Q 2 to Q n 1 are empty. Let now an element of Q 1, say, A 1 A c 2...Ac n = φ. Then A 1 = (A 1 A ǫ A ǫn n ) = φ, by assumptions, which is a contradiction. Thus, all elements of Q 1 are non-empty, so that P A1,A 2,...,A n = 1+ ( n 1) = n + 1 in this case. The rest of the arguments are similar to those in Case (i). Hence, P A1,A 2,...,A n {n+1,n+2,...,2 n 1}. Case(iv): n A i = Ω, n A i = φ. Our claim in this case is (2.18) P A1,A 2,...,A n {n,n+1,...,2 n 2}. Here, Q 0 = Q n = {φ}. Observe first that it is not necessary that A 1,A 2,...,A n themselves form a partition of Ω. The argument for the minimum value of P A1,A 2,...,A n is the same as that in Case (i). Also, P A1,A 2,...,A n is exactly 1 less than that in Case (iii), and so P A1,A 2,...,A n {n,n+1,...,2 n 2}. Thus, from all the above cases, P A1,A 2,...,A n {n,n+1,...,2 n }.

9 On the construction and the cardinality of finite σ-fields 9 Remark If R j = B i, where B i Q j, for 0 j n, then Ω = i Note that R = {R 0,...,R n } forms a partition of Ω. n R j. Our main interest is on the construction and the cardinality of finite σ-fields. Our approachisviathepartitioninducedbythegeneratingclassa = {A 1,A 2,...,A n }. Note first that σ(p A1,A 2,...,A n ) is obtained by including the empty set and taking all the sets in P A1,A 2,...,A n, and all possible unions taken two at a time, three at a time, and so on till the union of all the sets in P A1,A 2,...,A n. The following result justifies our approach. Theorem Let A = {A 1,A 2,...,A n } be a class of n subsets of Ω that satisfies the conditions of Theorem Then (2.21) (i) σ(a) = σ(p A ) (ii) σ(a) = 2 P A. Proof. Let ǫ i {0,1} for 1 i n. Since A i A, we have A ǫ i i σ(a), for 1 i n and hence A ǫ A ǫn n σ(a). Thus, P A σ(a) and hence σ(p A ) σ(a). Conversely, for 1 i n, A i = A i A ǫ A ǫ i 1 i 1 Aǫ i+1 i+1...aǫn n = ǫ j :j i σ(p A ), ǫ j :j i ( A ǫ A ǫ i 1 i 1 A ia ǫ ) i+1 i+1...aǫn n since each A ǫ A ǫ i 1 i 1 A ia ǫ i+1 i+1...aǫn n P A. Thus, {A 1,A 2,...,A n } = A σ(p A ) = σ(a) σ(p A ). Thus, σ(a) = σ(p A ). Let now P A1,A 2,...,A n = k. Since σ(p A1,A 2,...,A n ) is the σ-field obtained by taking all possible unions of the sets in P A1,A 2,...,A n, we have ( ) ( ) ( ) k k k σ(p A1,A 2,...,A n ) = k = 2 k, where the unity is added for the empty set. Hence, σ(p A ) = 2 P A. It is known that the cardinality of a finite σ-field is of the form 2 m for some m N (see, for example, Rosenthal (2006), p. 24). The following corollary, which follows from Theorems 2.10 and 2.20, gives the explicit range for m. j=0

10 10 P. Vellaisamy, Sayan Ghosh, and M. Sreehari Corollary Let F be a finitely generated σ-field of subsets of Ω. Then F = 2 m, for some n m 2 n and n 1. Suppose F = σ(b) for some class B of subsets of Ω. Let A be the largest σ-distinct subclass of atoms (of B). Then m = P A. Remark (i) Suppose A 1,A 2,...,A n themselves form a partition of Ω. Then, from Lemma 2.7 and Theorem 2.20, σ(a 1,A 2,...,A n ) = 2 n. n n (ii) Suppose A i Ωand A i φ.also, ifallelementsofq j for1 j n 1 are non-empty, then P A1,A 2,...,A n = 2 n (Case (i) of the proof of Theorem 2.20) and hence, σ(a 1,A 2,...,A n ) = 2 2n, a known result (Ash and Doleans-Dade (2000), p 457.) Example (i) Let A = {A}. Then P A = {A,A c } and P A = 2,σ(A) = σ(p A ) = {φ,ω,a,a c }, σ(a) = σ(p A ) = 4. (ii) Let A = {A,B,C} be a collection of three σ-distinct subsets such that A B C Ω. Then P A,B,C = {ABC,A c BC,AB c C,ABC c,a c B c C,A c BC c,ab c C c,a c B c C c }. The different possible values of P A,B,C are listed in the following cases: (i) If ABC φ, then P A,B,C = {ABC,A c BC,AB c C,ABC c,a c B c C,A c BC c, AB c C c,a c B c C c }. Also, P A,B,C = 8 and σ(a,b,c) = σ(p A,B,C ) = 2 8 = 256. (ii) IfonlyABC = φ,thenp A,B,C = {A c BC,AB c C,ABC c,a c B c C,A c BC c,ab c C c, A c B c C c }. Also, P A,B,C = 7 and σ(a,b,c) = σ(p A,B,C ) = 2 7 = 128. (iii) If AB = φ, then P A,B,C = {A c BC,AB c C,A c B c C,A c BC c, AB c C c,a c B c C c }. Also, P A,B,C = 6 and σ(a,b,c) = σ(p A,B,C ) = 2 6 = 64. (iv) If AB = AC = φ, then P A,B,C = {A c BC,A c B c C,A c BC c, AB c C c,a c B c C c }. Also, P A,B,C = 5 and σ(a,b,c) = σp A,B,C ) = 2 5 = 32. (v) If AB = AC = BC = φ, then P A,B,C = {A c B c C,A c BC c,ab c C c, A c B c C c }. Also, P A,B,C = 4 and σ(a,b,c) = σ(p A,B,C ) = 2 4 = 16. Also, in this case, σ(a,b,c) = σ(p A,B,C ) = {φ,ω,a,b,c,a c,b c,c c,a B,A C,B C, A B C,A c B c C c,a c B c,a c C c,b c C c }.

11 On the construction and the cardinality of finite σ-fields 11 Thus, we see that σ(a,b,c) {16,32,64,128,256}. This result easily follows also from (2.14) and (2.17) and Theorem Exact cardinality of some finite σ-fields Let n = {1,2,...,n}. Given a class A = {A 1,A 2,...,A n } of σ-distinct sets, we call henceforth A i A j,i j, 2-factor intersections, A i A j A k,i j k, 3-factor intersections, and so on. Clearly, there is only one n-factor intersection, namely A 1 A 2...A n. We denote A i1 A i2...a ik = A S, where S = {i 1,i 2,...,i k }. We now discuss a simple algorithm to find the exact cardinality of some special σ-fileds: Let n 1 A i Ω, so that Q 0 = 1. Note that an element A 1 A c 2...A c n Q 1 is empty if A 1 ( n j 1 A j). Also, let s 1 denote the number of A i s such that n A i A j. Then, n s 1 = Q 1, the cardinality of Q 1. j=1;j i Let now 3 l n. Suppose none of the j-factor intersections, for 2 j l 1, is empty and only k of the l-factor intersections, say, A L1,...,A Lk are empty for some L i n with L i = l,1 i k. Define S Li = {B L i B n}. We call S Li the set of indices of implied empty intersections of L i, as A B = φ, B S Li. Then (3.1) P A1,A 2,...,A n = 2 n k S Li s 1, if none of the higher order intersections A M is empty, where l < M n 1 and M k S L i. If there exist M 1,...,M r such that l < M i n 1 and M i k S L i, then k (3.2) P A1,A 2,...,A n = 2 n ( S Li ) r ( S Mj ) s 1. j=1 Indeed, it suffices to consider only those M j s such that for 2 j n 1. M j ( k S Li ) j 1 ( S Mr ), r=1

12 12 P. Vellaisamy, Sayan Ghosh, and M. Sreehari We next consider some particular cases of interest under the case s 1 = 0. (i) When none of the intersections of A j s of order two or more is empty, P A1,A 2,...,A n = 2 n. (ii) When only the (n 1)-factor intersections, say q n 1 in number, are empty, then P A1,A 2,...,A n = 2 n q n 1 1, since A 1...A n is the only implied empty intersection. (iii) When all the 2-factor intersections A i A j = φ, then all the collections Q 2 to Q n are empty and in this case all the elements of Q 1 are non-empty. Thus, since P A1,A 2,...,A n = n+1, n A i Ω which implies Q 0 is nonempty. Two typical examples follow. Example 3.3. LetΩ = {5,6,...,20}andconsiderthesetsA 1 = {8,10,14,16,17}, A 2 = {6,7,18}, A 3 = {7,8,9,14,16,19} and A 4 = {9,10,11,14,20}. Then 4 A i Ω, and only A 1 A 2 = A 2 A 4 = φ. Hence, L 1 = {1,2},L 2 = {2,4} and (i) S L1 = {{1,2},{1,2,3},{1,2,4},{1,2,3,4}}, (ii) S L2 = {{2,4},{1,2,4},{2,3,4},{1,2,3,4}}. Thus, S L1 S L2 = 6. Also, here s 1 = 0. Using (3.1), we get P A1,A 2,A 3,A 4 = = 10 and by Theorem 2.20, σ(a 1,A 2,A 3,A 4 ) = 2 10 = Example 3.4. Consider the case where Ω = {5,6,...,15},A 1 = {8,9,10},A 2 = {7,11,12,15}, 4 A 3 = {7,11,12,13} and A 4 = {8,10,13,15}. Then A i Ω and A 1 A 2 = A 1 A 3 = φ are the only 2-factor intersections so that L 1 = {1,2},L 2 = {1,3} and (i) S L1 = {{1,2},{1,2,3},{1,2,4},{1,2,3,4}}, (ii) S L2 = {{1,3},{1,2,3},{1,3,4},{1,2,3,4}}, Also, A 2 A 3 A 4 = φsothatm = {2,3,4} S L1 S L2 ands M = {{2,3,4},{1,2,3,4}}. 4 4 Therefore, S L1 S L2 S M = 7. Note also that A 2 A j,a 3 A j and j 2 j 3

13 On the construction and the cardinality of finite σ-fields 13 A 4 4 A j, so that s 1 = 3. Using (3.2), P A1,A 2,A 3,A 4 = = 6 and, by j 4 Theorem 2.20, σ(a 1,A 2,A 3,A 4 ) = 2 6 = 64. Finally, we look at the question of cardinality σ(b,d), where D B and B = σ(a) is a σ-field. Here, we need to talk about P{B,D}, where the members are not σ-distinct. Definition 3.5. Let A = {A 1,...,A n } be an arbitrary class of n subsets of Ω. Then the partition P A induced by A is defined as the subclass of P A, defined in (2.1), where each element of P A is an atom. That is, the sets in P A which can be obtained as the union of other sets, are removed from P A to obtain P A. For simplicity and continuity, we denote P A by P A only. Theorem 3.6. Let A = {A 1,A 2,...,A n } be a class of σ-distinct sets, and B = σ(a) be the generated σ-field. Let D Ω and D B. Then (3.7) σ(b,d) = 2 P A,D. Proof. Let P A,D be the finest partition induced by the class {A,D}. Then { } P A,D = A ǫ A ǫn n Dǫ n+1 ǫ n+1 j {0,1},0 ǫ j n+1 j=1 { } n = A ǫ A ǫn n D ǫ j {0,1},0 ǫ j n j=1 { A ǫ A ǫn n D c ǫ j {0,1},0 When none of the elements of P A,D is empty, (3.8) P A,D = 2 P A. } n ǫ j n. Note also that P σ(a) = P A, since σ(a) is the collection of all possible unions of the sets in P A. Hence, (3.9) P σ(a),d = P A,D for D σ(a). Observe also that the sets in {A,D} are σ-distinct. Now Hence, from Theorem 2.20, which proves the result. j=1 σ(b,d) = σ(p B,D ) = σ(p σ(a),d ) = σ(p A,D ). σ(b,d) = 2 P A,D,

14 14 P. Vellaisamy, Sayan Ghosh, and M. Sreehari Remark (i) When none of the elements of P A,D is empty, we have from (3.7) and (3.8), (3.11) σ(b,d) = 2 P A,D = 2 2 P A = (2 P A ) 2 = B 2. (ii) It follows from (3.9) that (3.12) an expected result. σ(σ(a),d) = σ(p σ(a),d ) = σ(p A,D ) = σ(a,d), Example Consider the simplest case, where B = σ(a) = {φ,ω,a,a c }. Let D B be such AD φ and A D Ω. Then {B,D} = {φ,ω,a,a c,d} and P A,D = {AD,A c D,AD c,a c D c } = P A,D. Note here all the elements of P A,D are non-empty. Hence, P B,D = P A,D = 2 P A = 4 and σ(b,d) = B 2 = 16. Example Consider the case when A 1 and A 2 are two σ-distinct subsets of Ω such that A 1 A 2 Ω and A 1 A 2 = φ. Let A = {A 1,A 2 } and B = σ(a). Here P A = {A c 1A 2,A 1 A c 2,A c 1A c 2} and B = {φ,ω,a 1,A 2,A c 1,A c 2,A 1 A 2,A c 1 A c 2}. Let D Bbeanon-emptysubsetofΩ,sothat{B,D} = {φ,ω,a 1,A 2,A c 1,A c 2,A 1 A 2,A c 1 A c 2,D} and{a,d} = {A 1,A 2,D}.ThenP B,D = {A c 1 A 2D,A 1 A c 2 D,Ac 1 Ac 2 D,Ac 1 A 2D c,a 1 A c 2 Dc,A c 1 Ac 2 Dc } = P A,D. Assume all elements of P A,D to be non-empty. Then P B,D = P A,D = 2 P A = 6. Hence, σ(b,d) = 2 P B,D = 2 2 P A = σ(a) 2 = B 2 = An Application to Independence of Events Let us consider three events A,B and C such that A is independent of B (denoted by A B) and A is independent of C (denoted by A C). It is known that these assumptions neither imply A (B C) nor A (BC), unless B and C are disjoint (see Whittaker (1990) p. 27). However, we have the following lemma. Lemma 4.1. Let A B and A C. Then A (B C) iff A (BC). Proof. Consider so that P[A (B C)] = P[(AB) (AC)] = P(AB)+P(AC) P(ABC) = P(A)[P(B)+P(C)] P(ABC) (by assumption) = P(A)[P(B C)+P(BC)] P(ABC), (4.2) P[A (B C)] P(A)[P(B C)] = P(A)[P(BC)] P(ABC). Hence, A (B C) (that is, L.H.S. of (4.2) = 0) iff A (BC) (that is, R.H.S. of (4.2) = 0).

15 On the construction and the cardinality of finite σ-fields 15 Lemma 4.3. If A B, A C and A (B C), then A P B,C. Proof. We need to show that under the assumptions, A E, for every E {BC,B c C,BC c,b c C c } = P B,C. Using Lemma 4.1 and the assumptions, we have A (BC). Since, P[A (B c C)] = P(AC) P(ABC) = P(A)P(C) P(A)P(BC) = P(A)[P(C) P(BC)] = P(A)P(B c C) shows that A (B c C). Similarly, A (BC c ), by symmetry. Further, A is independent of B C implies A is independent of (B C) c = B c C c. Hence, A P B,C. The following stronger form of independence of three events is used especially in graphical models (see Whittaker (1990) p. 27). Definition 4.4. A [B,C] if A is independent of E, for every E P B,C. As another application Theorem 2.20, we have the following result which states that A [B,C] implies the independence of A E, where E σ(b,c) and 4 σ(b,c) 16. Theorem 4.5. The following statements are equivalent. (i) A [B,C]. (ii) A B, A C and A (B C). (iii) A σ(b,c). Proof. Assume (i) holds. Since the elements of P B,C = {BC,B c C,BC c,b c C c } are disjoint, A is independent of all possible unions of elements in P B,C. Note that B = BC BC c,c = BC B c C and B C = BC B c C BC c. So, A B, A C and A (B C). Hence, (i) = (ii). Assume now (ii) holds. Then by Lemma 4.3, A P B,C. Since σ(p B,C ) consists the collection of all possible unions of sets in P B,C, we have A σ(p B,C ) = σ(b,c), by Theorem So, (ii) = (iii). Consider now statements (i) and (iii). Since P B,C σ(b,c), A σ(b,c) implies A P B,C and thus A [B,C], by Definition 4.4. Hence, (iii) = (i). Thus, statements (i),(ii) and (iii) are equivalent.

16 16 P. Vellaisamy, Sayan Ghosh, and M. Sreehari References [1] Billingsley, P. (1995). Probability and Measure. 3rd edition. Wiley Interscience, New york. [2] Ash, R. B. and Doleans-Dade, C. A. (2000). Probability and Measure Theory. 2nd Edition. Academic Press, CA, USA. [3] Rosenthal, J. S. (2006). A First Look at Rigorous Probability Theory. 2nd Edition. World Scientific Publishing, Singapore. [4] Whittaker, J. (1990). Graphical Models in Applied Multivariate Statistics. John Wiley & Sons, New York. P. Vellaisamy Address: P. Vellaisamy, Department of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai , INDIA. pv@math.iitb.ac.in S. Ghosh Address: Sayan Ghosh, Department of Mathematics, Indian Institute of Technology Bombay, Powai, Mumbai , INDIA. sayang@math.iitb.ac.in M. Sreehari Address: M. Sreehari, 6-B, Vrundavan Park, New Sama Road, Vadodara , INDIA. msreehari03@yahoo.co.uk