I am writing a paper for game theorists where I use (countable) amenable groups to do some things. So I am writing up a preliminary section about countable amenable groups whose main purpose is to convince the reader that invariant means are the generalization of the uniform measure.
Well, the first obvious thing to say is that Every finite group is amenable and the uniform measure is its unique invariant meanevery finite group is amenable and the uniform measure is its unique invariant mean. But this sounds like only a merely technical reason. Well, I have at least one deeper reason. Let $G$ be a group, fix $W\subseteq G$ and consider the two-person game where the two players choose $x,y\in G$, respectively, and player 1 wins if $xy\in W$. For generic $W$ we can consider this game as a game without relevant information and therefore, a game theoretical reformulation of the Maximum Entropy Principle, would predict that the players will play casually (whatever it means). Indeed, if $G$ is finite, a Nash equilibrium is given by the uniform measure. The point is that if $G$ is countable amenable, then this game admits Nash equilibria and they are exactly suitable invariant means.
I think this is already a pretty convincing motivation, but I would like to include some more reason. For instance,
I am not expert in ergodic theorycertainly open to any other proposal. In particular, but I know that amenable groups and invariant means are used quite a lot in ergodic theory. Moreover, thisThis field sounds like something able to produce an example of the kind I am looking for. SoI am not expert in ergodic theory and so I am wondering whether there is some result that can be used as a support of the interpretation of invariant means as the generalization of the uniform measure. I hope there are many and, in case, I would like to know one which is easy to state and to understand by somebody that may have no background in ergodic theory, but may have, potentially, a background in classical probability theory. Summarizing,
Question. Are there ergodic theoretical results that really support the interpretation of invariant means as the generalization of invariant measure for groups?
Thanks in advance,
Valerio