Exercise 26, § 3

Let $G$ be a locally compact group, $\beta$ a left Haar measure on $G$. For a subset $H$ of $L^p(G, \beta)$ ($1 \leq p \leq +\infty$) to be relatively compact (for the topology of convergence in mean of order $p$), it is necessary and sufficient that the following conditions be satisfied: 1° $H$ is bounded in $L^p(G, \beta)$; 2° for every $\varepsilon > 0$, there exists a compact subset $K$ of $G$ such that $\|f\varphi_{G-K}\|_p \leq \varepsilon$ for every function $f \in H$; 3° for every $\varepsilon > 0$, there exists a neighbourhood $V$ of $e$ in $G$ such that $\|\gamma(s)f - f\|_p \leq \varepsilon$ for every $f \in H$ and every $s \in V$. (To prove that the conditions are sufficient, observe that if $g \in \mathscr{K}(G)$, and if $L$ is a compact subset of $G$, the image by the mapping $f \to g * f$ of the set of restrictions to $L$ of the functions of $H$ is an equicontinuous subset of $\mathscr{K}(G)$).