Natural proof of the characterization of relatively compact families in $L^p-$spaces on locally compact groups

Abstract

In the paper we look for an elegant proof of the characterization of relatively compact families in $L^p-$spaces. At first glance, the suggested approach may seem convoluted and lengthy, but we spare no effort to argue that our proof is in fact more natural than the ones existent in the literature. The key idea is that the three properties which characterize relative compactness in $L^p-$spaces ($L^p-$boundedness, $L^p-$equicontinuity and $L^p-$equivanishing) are "preserved" (or rather "inherited") when the family $\Ffamily\subset L^p$ is convolved with a continuous and compactly supported function. This new family turns out to be relatively compact in $C_0-$space and it remains to be demonstrated that relative compactness in $C_0-$space implies relative compactness of the original family $\Ffamily.$