Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

It is well-known, that any Borel probability distribution on $[0,1]$ can be obtained starting from the probability space $([0,1],\mathscr B([0,1]),\lambda)$ where $\lambda$ is the Lebesgue measure. I wonder, whether a similar result exists for the case of discrete distributions on $\Bbb N_0$.

Namely, let the sample space be $\Omega = \Bbb N_0$.

  1. Does there exist a probability measure $\mu$ on $(\Omega,2^\Omega)$ such that for any other probability measure $\nu$ on the latter space there exists a measurable function $f_{\mu\nu}$ such that $\nu = (f_{\mu\nu})_*\mu$?

  2. If there are several measures $\mu$ with the latter property, are there any sufficient conditions which assure the existence of $f_{\mu\nu}$? In particular, it is clearly necessary that $\mu(\omega)>0$ for infinitely many $\omega$. Is it also a sufficient condition?

Inspired by this problem.

share|improve this question

1 Answer 1

up vote 1 down vote accepted

No. A measure defined on $2^\Omega$ is neccesarily purely atomic. Let $n$ be such that $\mu(\{n\})>0$. Let $\nu$ be a probability measure with the property that all atoms have measure smaller than $\mu(\{n\})$. But $f(n)$ will have distribution measure $\mu(\{n\})$.

share|improve this answer
    
Hm, that was easy - you mean that we wouldn't be able to 'split' $\mu(\{n\})$ into smaller peaces that require representing $\nu$? For example, if we let $k$ be any integer such that $\frac{1}{k}\leq \frac12\mu(\{n\})$ and further let $\nu$ be the uniform distribution on $[1;k]$? –  Ilya Jun 24 '13 at 9:51
    
@Ilya Exactly!${}$ –  Michael Greinecker Jun 24 '13 at 9:58

Your Answer

 
discard

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.