Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $p$ and $q$ be arbitrary probability mass functions of two discrete random variables. I need examples of functions $F(p,q)$ such that $r = F(p,q)$ and $r$ is a probability mass function for some random variable. Thank you.

share|cite|improve this question
also at – Henry Feb 21 '12 at 17:38

Let random variable $X$ take on value $a_i$ at the point $x_i$ with probability $p(x_i)$, and let random variable $Y$ take on value $b_j$ at the point $y_j$ with probability $q(y_j)$. Here for simplicity we are letting $i$ and $j$ range over the non-negative integers, but only minor modification needs to be made if one or both of the ranges is finite.

Let $F(u,v)=uv$. Then $$\sum_{i,j=0}^\infty F(p(x_i)q(y_j))=\sum_{i,j=0}^\infty p(x_i)q(y_j)=\sum_{i=0^\infty}p(x_i)\left(\sum_{j=0}^\infty q(y_j)\right).$$ The inner sum is $1$, since $q$ is a probability mass function. But then the full sum is $1$, since $p$ is a probability mass function.

So $F(p,q)$ has the critical property of being always non-negative and summing to $1$. If $X$ and $Y$ are independent, we can produce a random variable $Z$ closely connected to $X$ and $Y$ that has this distribution. Informally, then $F(p(x_i),q(y_j))$ gives us the probability that $X(x_i)=a_i$ and $Y(y_j)=b_j$. If $X$ and $Y$ are not independent, the connection with $X$ and $Y$ of the $Z$ we will produce is less close.

The sample space of $Z$ is all ordered pairs $(x_i,y_j)$. In order to make sure that the values of $Z$ are real numbers, rather than the more natural ordered pairs of reals, let $\varphi: \mathbb{R}^2 \to \mathbb{R}$ be a fixed bijection. For any ordered pair in the sample space, $Z(x_i,y_j)$ has value $\varphi(a_i, b_j)$ with probability $p(x_i)q(x_j)$.

There are more uninteresting examples that work. For example, we can let $F(u,v)=u$. I do not know of any general description of all the $F(u,v)$ that work.

share|cite|improve this answer
Nicolas in your summation is error. you should sum not over pair $i,j$ but over one $i$, because $F(u,v)(i) = F(u(i),v(i))$ – ashim Feb 21 '12 at 14:45
@capoluca: In general, a random variable is a function from a sample space to the reals. So if $p$ and $q$ are the probability mass functions of two different random variables, the index sets will be different, and therefore $F(p,q)$ will be a function of two variables, since $p$ and $q$ will be evaluated at different places. Where did the question come from? Is there a way to make what you want more specific? Note that the trivial example at the end, $F(u,v)=u$, does satisfy the condition, since effectively the sample space of the second random variable is irrelevant. – André Nicolas Feb 21 '12 at 16:06

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.