Books Probability and Statistical Inference
Bivariate Distributions of the Discrete Type
Let and be discrete random variables. Let denote the corresponding two-dimensional space of . The probability that and is denoted by . The function defined on is called the joint probability mass functionjoint probability mass function or joint PMF of and . And it has the following properties:
- for all .
- .
- where .
The joint support is typically defined as a subset of the Cartesian product of the support of and , on which the mass does not vanish. That is,
Roll a pair of fair dice. Let be the integer of the smaller number and be the integer of the larger number. The outcome is where and . When , there are possibilities: either the result of the first die is and the result of the other one is , or the other way around. Thus, we have
When , there is only possibility: the result of the two dice is (or ). We have
Therefore, the joint probability mass function is given by
One can check that summing over and gives .
Figure 4.1 shows the joint PMF for this example in a form typical of discrete bivariate mass functions: support points, joint mass beside each marker, and marginal masses at the axis ticks.
Note the numbers in the margins of Figure 4.1. Each bottom margin entry sums the joint masses in that -column over ; each left margin entry sums those in that -row over . Intuitively, these are the PMF values of and alone, respectively.
Let and have the joint probability mass function with space . The probability mass function of alone, which is called the marginal probability mass functionmarginal probability mass function of , is given by
The marginal probability mass function of is defined similarly as
The random variables and are said to be independentindependent random variables if
Or, equivalently,
Otherwise, they are said to be dependentdependent random variables.
A quick way to test for possible dependence is to compare the joint support to the set of all pairs of marginal values. We call rectangular (with respect to and ) when every such pair is jointly possible, i.e., when . If , then and are dependent. In symbols, independence implies
We can quickly prove this. Indeed, if and are independent, fix and . We have and since we assume the mass does not vanish on the support. Then , which implies . Since and are arbitrary, we have . Therefore, .
Consider the joint probability mass function of and in Example 4.1. For fixed , the values of with are ; for fixed , the values of are . Hence
Clearly, and are dependent for there are many points where . For example,
In fact, this is intuitive since by observing a value of , we know something about , namely, must be greater than or equal to .
Another way to see this is to observe the joint support depicted in Figure 4.1. As we have noted in the remark, since is clearly not rectangular, and are dependent.
Let and be random variables of the discrete type with the joint PMF on space . Let be a function of and . Then
if it exists, is called the mathematical expectationmathematical expectation, discrete bivariate distribution of .
Specially:
- If , then
- If , then
We now extend the concept of binomial distribution to the trinomial distributiontrinomial distribution. Different from the Bernoulli experiment that only has two possible outcomes, the trinomial experiment has three, say , , and . Think of this as drawing a ball from an urn with different colors, say red, blue, and green. Let , , and be the probabilities of getting , , and , respectively. Of course, we have . Now, the experiment is repeated times and we are interested in the number of times we get each color. Let , , and . We want to find the probability mass function of and , i.e., .
Fix nonnegative integers and with , and suppose that among the trials there are outcomes , outcomes , and outcomes . To evaluate we must count how many length- sequences contain exactly those counts; call this number .
Think of the trials as distinguishable for the moment (label the trials ). Then there are ways to order the labels. Among the orders of labels, fix one outcome pattern with counts (which positions show , , or ). Exactly label orders induce that same pattern: we may permute labels among the trials labeled in ways, among the trials labeled in ways, and among the trials labeled in ways, independently. So each such pattern accounts for of the orders, and there are distinct patterns. Hence
so
This quotient is the multinomial coefficientmultinomial coefficient with parameters ; it is often written in stacked form as
Therefore the PMF of and can be written as
Question: What is the marginal distribution of ? There is no need to sum the joint PMF over : the trials are independent, and each trial yields with probability . Thus is the number of s in independent Bernoulli trials with success probability , so and similarly . But it is worth an exercise to calculate the marginal distribution of explicitly.
Proof
We have
Therefore, .
Exercises
Select an even integer randomly from the set . Then, select an integer randomly from another set . Let denote the integer selected from the first set and let equal the sum of the two selected integers.
- Find the joint PMF of and .
- Compute the marginal PMFs.
- Determine whether and are independent.