On amenability and groups of measurable maps

Abstract

We show that if $G$ is an amenable topological group, then the topological group $L^{0}(G)$ of strongly measurable maps from $([0,1],\lambda)$ into $G$ endowed with the topology of convergence in measure is whirly amenable, hence extremely amenable. Conversely, we prove that a topological group $G$ is amenable if $L^{0}(G)$ is.