Re: Probability in an infinite sample space



Peter Webb said:

"Dave Seaman" <dseaman@xxxxxxxxxxxx> wrote in message
news:dvmg28$8la$1@xxxxxxxxxxxxxxxxxxxxxxxxxxxxx
On Tue, 21 Mar 2006 00:14:00 +1100, Peter Webb wrote:

"Dave Seaman" <dseaman@xxxxxxxxxxxx> wrote in message
news:dvl745$l1c$1@xxxxxxxxxxxxxxxxxxxxxxxxxxxxx
On 19 Mar 2006 19:04:41 -0800, mikeh106@xxxxxxxxxxx wrote:
If you choose a natural number at random, that it will be a multiple of
3 is there a 1/3, 1/2, or undefined chance?

That's a meaningless question, because you have not identified a
probability distribution.

It is often assumed that if no distribution is specified, then a uniform
distribution is intended. That can't be the case here, because there is
no such thing as a uniform probability distribution on a countably
infinite sample space.

Does it mean something to select "at random" from an infinite number of
objects?

Certainly, provided a probability distribution is specified. For
example, there is a uniform distribution on the unit interval [0,1],
which is an uncountably infinite space. You can also have a probability
distribution on a countably infinite space, but it can't be uniform.
For
example, the probability might be P(n) = 2^(-n) for n = 1, 2, 3, ....


--
Dave Seaman
U.S. Court of Appeals to review three issues
concerning case of Mumia Abu-Jamal.
<http://www.mumia2000.org/>

You and another poster strengthened "uniform distribution over N" to
"uniform distribution over countably infinite", so I realise that my
following remarks are almost certainly wrong.

Consider the set of reals [0,1] that has a terminating decimal
representation. Consider the same probability distribution over this as
for
all Reals [0,1] uniformly. Isn't this a uniform distribution over a
countably infinite set?

It isn't a probability distribution. The total weight is 0, not 1.

Probability distributions are required to be countably additive, but they
are
not *uncountably* additive.



--
Dave Seaman
U.S. Court of Appeals to review three issues
concerning case of Mumia Abu-Jamal.
<http://www.mumia2000.org/>

Sorry about the questions, but this is still bugging me.

Lets call the set of Reals of [0,1] as R, and the set of non-terminating
decimals within [0,1] as D.

I looked for the definitions of a probability distribution and found this:

http://en.wikipedia.org/wiki/Kolmogorov_axioms

My probability distribution fails condition 3, because the sum of the
probabilities of an infinite number number of discrete elements is always
zero.

However, this strikes me as a definition which is explicitly designed to
make distributions like mine invalid, but allowing similar distributions
over uncountable sets.

For example, if we removed the word "countable" from the definition, there
would be no uniform distributions over R. Alternatively, if we constrained
the intervals to have non-zero probabilities, then my distribution over D
would comply.

So I accept that my distribution does not meet the definition, but this
definition seems quite arbitrary to me, as its only effect that I can see is
to eliminate distributions of the type I propose.

Putting aside this definition, my distribution seems just as well behaved as
the standard uniform distribution over R. The probability that an element of
D is in [0.1, 0.2] is 0.1, just as it is for the Real case, indeed all
probabilities work out to be exactly the same, in both cases the probability
of a discrete event is zero, and the probability of a number X being in the
range [a,b] is b-a.

Sure, I can't form the sum of the probability of a randomly selected element
of D being less than 0.5 by forming the sum of every discrete event where
X<0.5 and adding them up, but nor can we for R - its just that the
definition (Axiom 3) gives uncountable sets a get-out-of-jail free card,
whilst explicitly denying this for countable sets.

My distribution seems to walk like a duck, quack like a duck and swim like a
duck.

Why does Axiom 3 single out countable sums but not uncountable sums? Put
slightly differently, what would "break" if the definition dropped the
requirement that the sum be countable, but instead imposed a requirement
that the probabilities being summed over were non-zero? This slightly
changed definition appears to work in exactly the same manner, except that
it also allows distributions over countable sets (and is hence more
powerful).



I think that is an excellent idea, Peter, and one you should run with. However,
if you are going to entertain actually infinite sets, then your non-zero
probabilities would have to be infinitesimal. We have been discussing
infinitesimal probabilities in Calculus XOR Probability. It would seem this
question is very nicely handled when sets of N are allowed to have nonzero
probabilities of 1/N and a uniform probability distribution. Good thoughts.
Forget "countability". It's not infinite, anyway.
--
Smiles,

Tony
.



Relevant Pages

  • Re: Sean PItman and nested hierarchy
    ... > processes cannot make a nested hierarchical pattern without the use of ... the distribution for common descent is ... concept of a "flat probability distribution" across all possible ... there are infinite outcomes, there is zero chance of each. ...
    (talk.origins)
  • Re: Pigeons, People, and Priors
    ... the variance of the probability generator go to zero you have a continuum ... a random-interval 60 s schedule is not. ... The Exponential Distribution ... I probably should have used the phrase "statistical learning theory" rather ...
    (comp.ai.philosophy)
  • Re: Calculus XOR Probability
    ... case where you have a uniform probability distribution over an infinite set of ... Um, I'm not a probability expert, but isn't it the case that given a ... distribution, you can say what the _expected value_ of a random ... uniform distribution will be recognisably ordinary pofnats, ...
    (sci.math)
  • Re: Calculus XOR Probability
    ... If one of the elements is to be chosen from the set, then the probability of one being chosen is 1. ... then that 1 representing the fact that one of those will be chosen is defined to be the sum of the probabilities of each. ... If you can establish a uniform probability distribution, then you can say each possibility has the same probability. ... the question is why the standard system can't accomodate the infinite case, with an infinite number of equally likely outcomes, one of which will definitely happen. ...
    (sci.math)
  • Re: So called "stimulus/response" models
    ... Instead of answering to each misunderstood, ironic and out of context ... Sorry, you exhibit a simplistic view of probability theory, and an even more ... of acquiring the consequences of responses. ... distribution over consequences of a given act. ...
    (comp.ai.philosophy)