Skip to main content
1 of 3
R W
  • 17k
  • 3
  • 37
  • 74

These properties do not have much to do with each other. The definition in terms of existence of an invariant mean on the action space (your definition 2) goes back to von Neumann, whereas your definition 1 goes back to Zimmer who introduced it (in the measure category and in a somewhat different form though) in 1977. Amenability of the group $G$ is equivalent to the amenability (1) of its trivial action on the one-point space and to the amenability (2) of its action on itself. There are numerous examples showing that these two conditions are in a general position.

For an explicit counterexample to your claim take the boundary action of a free group. It is topologically amenable in the sense of Definition 1, but not amenable in the sense of Definition 2.

R W
  • 17k
  • 3
  • 37
  • 74