The Joint CDF of Two Discrete Random Variables
Defines the joint cumulative distribution function (CDF) of two discrete random variables, computes it from a joint PMF, recovers marginal CDFs by limiting in one variable, and uses the rectangle (inclusion-exclusion) formula to compute probabilities of rectangular events and individual PMF entries from the joint CDF.
Tutorial
Introduction
The joint cumulative distribution function (joint CDF) of two discrete random variables and is defined as
In terms of the joint PMF , this is the sum of the PMF over all pairs in the bottom-left rectangle with corner at :
For example, suppose and have the joint PMF
To find , we sum the joint PMF over all pairs with and :
Notice that for every . The joint CDF equals once and exceed the largest values and can take, and equals when either is below the smallest possible value.