For integer-valued random variables, the joint probability mass function is
The marginal probability mass functions sum out the other variable:
All masses are nonnegative, and their sums over the corresponding sample values equal one.
Independence means that for all subsets ,
For discrete random variables, this is equivalent to the pointwise factorization
One direction takes singleton sets; the other sums the pointwise identity over .
The five specified masses sum to one, so there are no other possible outcomes. Symmetry gives , while . The two terms with have opposite values and equal masses, so
Nevertheless , whereas . Therefore and are not independent. They are uncorrelated random variables, illustrating that zero covariance alone does not imply independence.
Linearity of expectation and the vanishing of cross covariances for independent variables give
The expectation formula does not require independence; independence is used for the variance sum.
Write and apply the stated second-moment Markov inequality to . The preceding calculation gives . Thus for every ,
This is convergence in probability to the common mean, proving the finite-variance weak law of large numbers. It also covers , when the bound is identically zero.

Articles by others on the same topic (0)

There are currently no matching articles.