NeuroRYoung said:
So it seems the P-functions argument, the set {x' : x' < x, x' ∊ R(X) } should equal [ {1, 1/2, 1/2 + 1/4, 1/2 + 1/4 + 1/8 +, ...} - {1} ].
I don't know whether whether you mean the P-function to be the cumulative distribution or the density. It looks like you are trying to subtract a set from another set.
with Mood's limit CDF definition, 1 would would be x_k where k ⟶ ∞. Not sure how the limit definition handles it.
Mood's definition is:
f(x_j) = lim_{h \rightarrow 0^+} ( F(x_j) - F(x_j - h))
I think this would imply (after some detailed arguing) that
f(1) = F(1) - lim_{k \rightarrow \infty} \sum_{j=1}^k \frac{1}{2^j} = 1 - 1 = 0
and 0 is the correct answer.
---------
There are several interesting tehnicalities here. To apply Mood's definition (using the ordinary definition of limit) we must define the cumulative F(x) on entire intervals of real numbers, not merely at isolated points. Otherwise the limit he requires doesn't exist. I wonder if other books on probability do this for the cumulatives of discrete distributions?
The problem facing writers on introductory probability theory is that they are trying to dance around having to teach advanced theories of integration. I'm glad they do this since I find advanced theories of integration hard to keep in mind.
Consider this example. We have an idealized dart game with a circular board of radius 10. Suppose the dart lands on the board at distance x from the center, the points you get are given by the rules: You get \frac{1}{x-0.5} points if the dart lands with x \gt 1. You get 2 points if x \le 1.
Suppose x has a uniform distribution on the interval [0,10]. What is the probability density f(s) of the random variable s that gives the points that are scored on a throw?
There is a problem integrating f(s) to be 1 by any elementary theory of integration. If you use Riemann integration, you can't detect the fact that s = 2 is a special situation. In a manner of speaking, 2 is only "one point wide", so no matter what value you give f(2), it won't change the value of the Riemann integral. On the other hand, if you try to use discrete summation instead of integration, you can't deal with f(s) on the interval [\frac{1}{9.5}, 2.0).
The rough and ready way is to declare f(2) to be a "point mass" and do a hybrid integral combining Riemann integration plus a summation of f(2) when you integrate over any interval containing s = 2. I have not seen this method advocated in any introductory probability courses. I suppose it would be embarrassing to put it in a textbook since the "proper" way to do things is by measure theory and/or fancier methods of integration.