In probability theory, a pairwise independent collection of random variables is a set of random variables any two of which are independent. Any collection of mutually independent random variables is pairwise independent, but some pairwise independent collections are not mutually independent. Pairwise independent random variables with finite variance are uncorrelated. A pair of random variables X and Y are independent if and only if the random vector (X, Y) with joint cumulative distribution function (CDF) F X , Y ( x , y ) {\displaystyle F_{X,Y}(x,y)} satisfies
F X , Y ( x , y ) = F X ( x ) F Y ( y ) , {\displaystyle F_{X,Y}(x,y)=F_{X}(x)F_{Y}(y),}
or equivalently, their joint density f X , Y ( x , y ) {\displaystyle f_{X,Y}(x,y)} satisfies
f X , Y ( x , y ) = f X ( x ) f Y ( y ) . {\displaystyle f_{X,Y}(x,y)=f_{X}(x)f_{Y}(y).}
That is, the joint distribution is equal to the product of the marginal distributions. Unless it is not clear in context, in practice the modifier "mutual" is usually dropped so that independence means mutual independence. A statement such as " X, Y, Z are independent random variables" means that X, Y, Z are mutually independent.
Example Pairwise independence does not imply mutual independence, as shown by the following example attributed to S. Bernstein. Suppose X and Y are two independent tosses of a fair coin, where we designate 1 for heads and 0 for tails. Let the third random variable Z be equal to 1 if exactly one of those coin tosses resulted in "heads", and 0 otherwise (i.e., Z = X ⊕ Y {\displaystyle Z=X\oplus Y} ). Then jointly the triple (X, Y, Z) has the following probability distribution:
( X , Y , Z ) = { ( 0 , 0 , 0 ) with probability 1 / 4 , ( 0 , 1 , 1 ) with probability 1 / 4 , ( 1 , 0 , 1 ) with probability 1 / 4 , ( 1 , 1 , 0 ) with probability 1 / 4. {\displaystyle (X,Y,Z)={\begin{cases}(0,0,0)&{\text{with probability}}\ 1/4,\\(0,1,1)&{\text{with probability}}\ 1/4,\\(1,0,1)&{\text{with probability}}\ 1/4,\\(1,1,0)&{\text{with probability}}\ 1/4.\end{cases}}}
Here the marginal probability distributions are identical: f X ( 0 ) = f Y ( 0 ) = f Z ( 0 ) = 1 / 2 , {\displaystyle f_{X}(0)=f_{Y}(0)=f_{Z}(0)=1/2,} and
… excerpt ends here. Continue reading the full article.
