Fréchet–Kolmogorov theorem


In functional analysis, the Fréchet–Kolmogorov theorem gives a necessary and sufficient condition for a set of functions to be relatively compact in an Lp space. It can be thought of as an Lp version of the Arzelà–Ascoli theorem, from which it can be deduced. The theorem is named after Maurice René Fréchet and Andrey Kolmogorov.

Statement

Let be a bounded set in, with.
The subset B is relatively compact if and only if the following properties hold:
  1. uniformly on B,
  2. uniformly on B,
where denotes the translation of by, that is,
The second property can be stated as such that with