Skip to main content
3 of 4
replaced http://mathoverflow.net/ with https://mathoverflow.net/

Natural probability on integers

This is a follow-up to this [classical question asked recently here][1]: we know (e.g. using the second Borel-Cantelli Lemma) that no probability measure on $\mathbb{Z}$ has the property that $n\mathbb{Z}$ has mass $\frac1n$. The argument I know of makes use of an independence property induced by the formulation of the problem: $p_1\dots p_k \mathbb{Z} = p_1\mathbb{Z} \cap\dots\cap p_k\mathbb{Z}$ has measure $1/(p_1\dots p_k)= (1/p_1)\dots(1/p_k)$.

This question was looking to a weakened notion of "uniform" measure on $\mathbb{Z}$: one would even like better that every class $\mod n$ has mass $\frac1n$, but this is trivially impossible.

Here comes my question:

Does there exist a probability measure on $\mathbb{Z}$, such that for all $n\in\mathbb{N}$ there is at least one class $\mod n$ which has mass $\frac1n$?

this weakening should destroy the independence above, and thus prevents applying Borel-Cantelli. [1]: Existence of a "quasi-uniform" probability distribution on $\mathbb{Z}$

Benoît Kloeckner
  • 14.4k
  • 1
  • 60
  • 106