# Mutually (Jointly) Independent Events

Two events A and B are independent iff P(A∩B) = P(A)P(B). This definition extends to the notion of independence of a finite number of events. Let K be a finite set of indices. Events Ak, k∈K are said to be mutually (or jointly) independent iff

 P(∩m∈MAm) = Πm∈MP(Am),

for any subset M⊂K. For example, for four events A, B, C, D to be mutually independent, we must have

 P(A∩B∩C∩D) = P(A)P(B)P(C)P(D), P(A∩B∩C) = P(A)P(B)P(C),P(A∩B∩D) = P(A)P(B)P(D),P(A∩C∩D) = P(A)P(C)P(D),P(B∩C∩D) = P(B)P(C)P(D), P(A∩B) = P(A)P(B), P(A∩C) = P(A)P(C), P(A∩D) = P(A)P(D), P(B∩C) = P(B)P(C), P(B∩D) = P(B)P(D), P(C∩D) = P(C)P(D).

Thus, by the definitions, mutual independence implies the pairwise independence. For two events, the definitions actually coincide. For more than two events, they are not. There are pairwise independent events that are not mutually independent. Two examples have been produced by S. N. Bernstein years ago and discussed more recently (2007) by C. Stepniak.

Consider an urn containing four balls, numbered 110, 101, 011 and 000, from which one ball is drawn at random. For k = 1, 2, 3 let Ak be the event of drawing a ball with 1 in the kth position. Thus, the three events are pairwise independent. However, since A1∩A2∩A3 = Ø, they are not mutually independent.

For a second example, let Bk be the event of drawing a ball with 0 in position k. Now, for k = 1, 2, 3, P(Bk) = 1/2, because in any of the three positions 0 appears exactly twice out of four possibilities. For any two distinct indices k and m, P(Bk∩Bm) = 1/4, for just one ball out of four has zeros both in positions k and m. Therefore, the events Bk are (pairwise) independent. However, P(B1∩B2∩B3) = 1/4 which is different from P(B1)P(B2)P(B3) = 1/8, meaning that the events are not mutually independent.

The two examples are essentially different because in the first the intersection of A's is empty whereas in the second the intersection of B's is not.

Noting this, Stepniak proceeds to prove that Bernstein's are the only possible examples in a space with four outcomes. Thus assume that three (pairwise) independent events A, B, C are defined in the space with four outcomes, none being the whole of the space. None may consist of a single outcome. For assume A = {x}. Then x may or may not belong to, say, B. If x∈B, then A∩B = A and P(A∩B) = P(A) ≠ P(A)P(B). On the other hand, if x∉B, A and B are disjoint and, therefore, are not independent. It follows, that each of the event contains at least two elements. Since the complements of two events are independent only of the events themselves are, we see that the complements of the events A, B, C also consist of at least 2 outcomes each. We conclude that each consists of exactly two outcomes.

There are just two possibilities. There is an outcome common to all three events, which gives the configuration of the second example. Or there is no outcome common to all events, which gives the configuration of the first example.

### References

1. S. N. Bernstein, Theory of Probability, 4th ed. (in Russian), Gostechizdat, Moscow-Leningrad, 1946. (in Russian)
2. C. Stepniak, Bernstein's Examples on Independent Events, The College Mathematics Journal, VOL. 38, NO. 2, MARCH 2007, 140-142
[an error occurred while processing this directive]