Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This question about pairwise vs. mutual relations is related some extant questions: here and here.

Kobayashi, Mark & Turin's Probability, Random Processes and Statistical Analysis, 2012, states without proof:

three events, A, B, C are mutually independent when:

P[A,B]=P[A]P[B], P[B,C]=P[B]P[C], P[A,C]=P[A]P[C], P[A,B,C]=P[A]P[B]P[C]

No three of these relations necessarily imply the fourth. [my italics]

However, Wikipedia and others generally agree that mutual independence implies pairwise independence, but also without a demonstration.

What is the simplest proof that mutual independence implies pairwise independence?

Note: GC Rota wrote that probability can be understood by focusing on random variables or focusing on distributions. However, the two views should be equivalent, correct?

share|cite|improve this question
The assertion is that no three of the relations imply the fourth. That is true. Of course the four relations imply the first three, but that is not what is being said. – André Nicolas Jan 26 '13 at 4:47
Mutual independence is the fourth equality only, not all four. – alancalvitti Jan 26 '13 at 4:52
@AndréNicolas, ok, I mistakenly assumed that mutual statistical independence behaved like "mutual relation". – alancalvitti Jan 26 '13 at 4:56
The fourth relation does not imply the others. Let $A$ and $B$ be highly dependent events, and let $\Pr(C)=0$. (There are less trivial examples!) – André Nicolas Jan 26 '13 at 4:57
Understood. I used the wrong definition of mutual statistical independence. – alancalvitti Jan 26 '13 at 5:02
up vote 3 down vote accepted

Mutual independence means the four identities you copied, pairwise independence means the first three of these identities. Ergo.

share|cite|improve this answer
Mutual independence means the last of the identities, not all four. Please clarify? – alancalvitti Jan 26 '13 at 4:51
Mutual independence means all four of the identities, not only the last one. Please grab any textbook. – Did Jan 26 '13 at 4:52
I see, ok, +1. Then there is an ambiguity in mutual statistical dependence versus mutual relation as opposed to pairwise relation. – alancalvitti Jan 26 '13 at 4:55
Ok, my mistake is definitional. – alancalvitti Jan 26 '13 at 4:59
what I meant to ask - but did not phrase properly - is whether properly mutual independence (ie, the last equality as opposed to all four) implies pairwise independence. – alancalvitti Jan 27 '13 at 21:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.