On amenability and groups of measurable maps (Q2410357)

It is shown 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, the authors prove that a topological group $G$ is amenable if $L^0(G)$ is.