Skip to content

Independent Random Variables

Definition

Real-valued random variables XX and YY are independent if

P(X∈A,Y∈B)=P(X∈A)P(Y∈B)\mathbb{P}(X\in A,Y\in B) =\mathbb{P}(X\in A)\mathbb{P}(Y\in B)

for every pair of intervals A,BA,B; equivalently, for every pair of Borel sets A,BA,B. For a finite family, mutual independence requires the analogous product formula for every selection of intervals (one for each variable) and every subfamily, rather than merely for pairs.

For discrete variables with a joint PMF, this is equivalent to pX,Y(x,y)=pX(x)pY(y)p_{X,Y}(x,y)=p_X(x)p_Y(y) for every x,yx,y. For a pair with a joint density, it is equivalent to fX,Y(x,y)=fX(x)fY(y)f_{X,Y}(x,y)=f_X(x)f_Y(y) for all (x,y)(x,y) except possibly on a set of zero area, for example along finitely many lines. In either case, conditional laws agree with the corresponding marginal laws wherever the conditioning denominator is positive (with density identities allowed to fail on a set of zero length or area).


Interpretation

Independent variables supply separate sources of randomness: learning one variable does not change the distribution of the other. PMF and PDF factorization are two ways to check the same property.

A joint probability table for X and Y with its row and column margins; every cell is the product of its row and column margin.

Every cell is the product of its row and column marginal, e.g. P(X=1,Y=1)=0.5⋅0.6=0.30\mathbb{P}(X=1,Y=1)=0.5\cdot0.6=0.30: XX and YY are independent, P(X∈A, Y∈B)=P(X∈A)P(Y∈B)\mathbb{P}(X\in A,\,Y\in B)=\mathbb{P}(X\in A)\mathbb{P}(Y\in B) for all A,BA,B; knowing YY does not change the distribution of XX.

The threshold events generated by the variables must be independent events for every selection of thresholds. This condition factors the joint law, rather than comparing only the marginal distributions or one pair of events.


Key Results

  • For arbitrary real-valued X,YX,Y, independence is equivalent to FX,Y(x,y)=FX(x)FY(y)F_{X,Y}(x,y)=F_X(x)F_Y(y) for every x,yx,y.
  • If X,YX,Y are independent and integrable, then XYXY is integrable and E[XY]=EX EY\mathbb{E}[XY]=\mathbb{E}X\,\mathbb{E}Y.

Examples

  • Two independent fair dice have pX,Y(i,j)=1/36=(1/6)(1/6)p_{X,Y}(i,j)=1/36=(1/6)(1/6) for all i,j∈{1,…,6}i,j\in\{1,\ldots,6\}.
  • The joint density 22 on 0<x<y<10<x<y<1 has marginals fX(x)=2(1−x)f_X(x)=2(1-x) and fY(y)=2yf_Y(y)=2y on (0,1)(0,1). At (x,y)=(1/4,3/4)(x,y)=(1/4,3/4) their product is 9/49/4, rather than 22, and this discrepancy persists on a whole neighbourhood, which has positive area; hence the density does not factor.

Prerequisites

Sources

Aliases: independent r.v.s, independence of random variables, statistically independent random variables Keywords: independent variables, Independence of Discrete Random Variables, Independence of Continuous Random Variables Symbols: element of

Last updated: 22 October 2026 19:04