3
$\begingroup$

I'm not a logician, so I apologize if what follows translates to nonsense. I would like to try to define a different theory of random choice. I hesitate to call it probability theory because I do not expect it to follow the usual rules of probability. I will however refer to it as a warped theory of probability.

For the sake of simplicity take $\mathbb{Z}$ or $[-\infty,\infty]$. It is an easy fact that one CANNOT define a discrete uniform distribution on either of these spaces in the usual sense. One of two things necessarly goes wrong: normalization or countable additivity. However, according to the axiom of choice, I can pick an element of $\mathbb{Z}$ or $[-\infty,\infty]$. Even though these sets are well ordered, I would still like to use the axiom of choice as explained below.

In fact, if I have infinitely many copies of $\mathbb{Z}$ or $[-\infty,\infty]$ then I can pick elements from each copy turning it into a product space. Since there is no real recipe for how the axiom of choice picks elements, I would like to think that if I want to define a "uniform" distribution on $\mathbb{Z}$ or $[-\infty,\infty]$, then I would invoke the axiom of choice to generate an element. Can any of this be formalized into a useful theory? In short, I would like to pick an element of each set with the underlying notion that I have no preference to the choice I make. I'm invoking the axiom of choice as a means to do so. That is, I am defining the notion of a uniform distribution through the process of saying "by the axiom of choice I can pick an element." Literally, I am thinking of the axiom of choice as a black box into which I feed an arbitrary collection of sets from which it spits out picked elements.

Of course this would not be in line with usual probability. In particular there would be huge issues with sets such as $[-1,1]$ and $[-\infty,\infty]$ where in the usual theory of probability I CAN define a uniform distribution on $[-1,1]$ but cannot on the latter, even though the two sets have a bijection. I am not sure how to reconcile this.

My experience with the axiom of choice has been mostly in proofs that say, involve some collection of equivalence classes so I can pick representatives from each one. The point is in this case I don't care which representatives I pick. So if I were to suddenly care, is there some warped notion of probability that one can invoke to make "inferences?"

  • 0
    @EMS: Thank you for the interesting links!2012-04-29

1 Answers 1

4

It seems to me that the question is based on an unfortunate but quite common double-use of terminology. When people apply the axiom of choice, they often replace formally correct statements like "let $f$ be a choice function, $\dots$, apply $f$ to the set $\dots$" with more colloquial formulations involving words like "pick" or "choose arbitrarily". In probability theory, one also talks about "picking" or "choosing" elements of some space according to some probability distribution. The question asked here seems to be based on the idea that this coincidence of terminology might correspond to a coincidence or at least some close relationship in the underlying mathematics, so that something like the probabilistic "picking" can be obtained from the axiom of choice "picking". As far as I can see, the answer is no; these are two quite different uses of "choose" and "pick".

  • 1
    @julianfernandez Yes. What you're doing has little to do with AC. All AC tells you in this situation is that there exists a choice function. It doesn't guarantee that this function is uncorrelated with the hidden labels. A choice function is just a set of ordered pairs; it has nothing to do with what *we* know about the entities involved.2014-07-14