Is there a way to "see" that $$\sum\limits_{r=0}^\infty \sum\limits_{x=r+1}^\infty \mathbb P(X=x)=\sum\limits_{x=1}^\infty\sum\limits_{r=0}^{x-1}\mathbb P(X=x)\; ?$$ Thanks.
Double summation limits
-
1Since probabilities are always non-negative, the order of summation doesn't matter -- so you just need to convince yourself that there is a one-to-one correspondence between the terms on one side and the terms on the other. – 2011-10-09
-
0@DidierPiau: Yes, sorry. Edited. – 2011-10-09
4 Answers
It doesn't matter what you sum (as long as the sums are convergent). The points in the $(r,x)$ plane that are being summed over can be illustrated by a diagram like this:
x
5 *****
4 ****
3 ***
2 **
1 *
012345 r
The two sides in the identity correspond to summing by columns first or rows first.
Alternatively, you can use Iversonian brackets to prove the claim. Recall that an Iversonian bracket works like so:
$$[p]=\begin{cases}1&\text{if }p\text{ is true}\\0&\text{if }p\text{ is false}\end{cases}$$
and has the property $[p\text{ and }q]=[p][q]$. With these in mind, consider the following:
$$\sum_{r=0}^\infty \sum_{x=r+1}^\infty \mathbb P(X=x)=\sum_r[r \geq 0]\sum_x [x \geq r+1]\mathbb P(X=x)$$
This is equivalent to your original sum, in that the Iversonian brackets zero out all the other terms that do not belong to your original series. Using the multiplication property of the Iversonian brackets, we can turn this into
$$\sum_r[r \geq 0]\sum_x [x-1 \geq r]\mathbb P(X=x)=\sum_r\sum_x [x-1 \geq r \geq 0]\mathbb P(X=x)$$
which can be turned into
$$\sum_x[x \geq 1] \sum_r [x-1 \geq r \geq 0]\mathbb P(X=x)=\sum_{x=1}^\infty\sum_{r=0}^{x-1}\mathbb P(X=x)$$
The summation range is given by the double inequality $$0 \leq r < x.$$ So long as all sums converge absolutely and uniformly, it does not matter in which order the inequality is interpreted. So the following are both equivalent to the inequality above: $$ 0\leq r, \qquad r < x$$ and $$ 0 < x, \qquad 0\leq r < x.$$ This is precisely what happens when that order of summation is interchanged.
-
0This is equivalent to my answer. :) – 2011-10-10
-
0Yes, it is, but I didn't use Iverson's brackets. Aren't all correct answers equivalent? :) – 2011-10-10
-
0I mean you made the exact same inequality manipulations. ;) – 2011-10-10
-
0@J.M.: and both of you have zero ;) – 2011-10-10
-
0@Gortaur: I don't particularly mind. :) In any event: you might want to see page 3 of [this](http://arxiv.org/pdf/math/9205211)... – 2011-10-10
-
0@J.M.: aha, so Knuth was the first and you just copied him )) – 2011-10-10
-
0@Gortaur: I actually suddenly remembered Knuth about a few hours after writing that, so... :D – 2011-10-10
Both say you're summing over $\{(x,r) : 0 \le r < x\}$.