The "classical Beurling density" of a subset of the natural numbers is $d(A)=lim\_{n\rightarrow\infty}\frac{|A\cap[1,n]|}{n}$, when it exists. It defines a finitely additive probability measure on the natural numbers which is invariant with respect to the sum. Here is my question: does there exist a "nice formula" to describe a finitely additive probability measure on $\mathbb N$ which is invariant with respect to the multiplication? 


A couple of remarks: I don't know if it is trivial that such a measure exists, but anyway it follows from the application of a general result of Vern Paulsen (on arxiv "Syndetic sets and amenability").
Another problem would be that of finding the measure of particular sets. What about the measure of {$1!,2!,3!,4!...$}? Sets with measure differente from 0 and 1? For example the set of numbers whose first digit through 4 to 9 seems to have measure $=\log\_{10}4$... any other?


Thanks in advance, Valerio



A density on the natural numbers invariant with respect to the multiplication
The natural thing to do here is to replace the intervals $[1,n]$ (and $n = |[1,n]|$) in the definition of $d(A)$ with a sequence $F\_n$ of subsets of $\mathbb{N}$ which is multiplicatively asymptotically invariant (or, in other words, a Folner sequence for the semigroup $(\mathbb{N},\cdot)$). For an exploration of this idea, as well as applications, see for instance this article by Vitaly Bergelson:


[Multiplicatively large sets and ergodic Ramsey theory, Israel Journal of Mathematics 148 (2005), 23-40.](http://www.math.osu.edu/~vitaly/vb_multiplic_23jul04.pdf)


EDIT: One particular example (mentioned in the article) is to take $F\_n$ to be the set of all positive integers which can be written as a product of powers of the first $n$ primes, where the powers are allowed to be any non-negative integer which is less than or equal to $n$. The motivation for choosing $F\_n$ this way is that just as $1$ generates the additive semigroup $(\mathbb{N},+)$, the primes generate the multiplicative semigroup. Think of balls in the corresponding Cayley graphs with radius getting larger and larger. The article contains many other examples of such $F\_n$, and each of them gives a notion of "multiplicative density" by setting $d(A) = \lim\_{n \to \infty} \frac{|A \cap F\_n|}{|F\_n|}$ (if the limit exists. Otherwise one usually considers the limsup and liminf).


