Fréchet–Kolmogorov theorem

In functional analysis, the Fréchet–Kolmogorov theorem (the names of Riesz or Weil are sometimes added as well) 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.