---
title: Kolmogorov–Riesz Compactness Theorem
url: https://www.emergentmind.com/topics/kolmogorov-riesz-compactness-theorem
type: topic
---

# Kolmogorov–Riesz Compactness Theorem

Searching arXiv for recent and foundational papers on the Kolmogorov–Riesz compactness theorem and extensions.
{"query":"Kolmogorov Riesz compactness theorem extensions L^p vector-valued weighted metric measure asymptotic L_p", "max_results": 10}
The Kolmogorov–Riesz compactness theorem is the classical criterion for relative compactness, equivalently total boundedness, of subsets of \(L^p\)-spaces in terms of uniform control of tails and small translations. In the modern literature, the same compactness principle is extended far beyond the Euclidean scalar setting: literal translations may be replaced by local averages, conditional expectations, truncations, oscillation restrictions, or microlocal Sobolev decay, but the theorem continues to identify precompactness by ruling out escape to infinity and uncontrolled oscillation in the geometry appropriate to the space under consideration [1705.01349][2010.15001][2102.01354][2408.10741].

## 1. Classical formulation in \(L^p(\mathbb R^n)\)

In its standard form, for \(1\le p<\infty\), a bounded set \(F\subset L^p(\mathbb R^n)\) is relatively compact if and only if it satisfies two further conditions: tightness in space and uniform translation continuity. One formulation requires that for every \(\varepsilon>0\) there exists \(R>0\) such that
\[
\int_{|x|>R}|f(x)|^p\,dx<\varepsilon^p
\qquad\text{for all }f\in F,
\]
and that for every \(\varepsilon>0\) there exists \(r>0\) such that
\[
\int_{\mathbb R^n} |\tau_y f(x)-f(x)|^p\,dx<\varepsilon^p
\qquad\text{for all }|y|<r,\ f\in F,
\]
where \(\tau_y f(x)=f(x+y)\) [2507.15102]. Equivalent formulations use \(T_af(x)=f(x-a)\) and describe the same criterion as boundedness, tightness, and uniform translation-continuity [2205.06864].

Because \(L^p(\mathbb R^n)\) is complete, total boundedness and relative compactness coincide. Several modern accounts therefore state the theorem as a characterization of totally bounded subsets of \(L^p(\mathbb R^n)\) rather than of relatively compact ones [1705.01349].

A recurring refinement concerns boundedness. In the classical three-condition statement, boundedness is listed explicitly, but several papers note that in the Euclidean \(L^p\) setting it is redundant. For \(1<p<\infty\), Sudakov’s improvement shows that tightness and translation equicontinuity alone already imply total boundedness [1705.01349]. The same redundancy is emphasized in other modern treatments of the classical theorem and its \(L^2\)-based generalizations [2204.14237][2507.15102].

## 2. Compactness mechanism and equivalent viewpoints

The theorem encodes two obstructions to compactness. Tightness excludes loss of \(L^p\)-mass to spatial infinity, while translation continuity excludes fine-scale oscillation. In the language used in one abstract reformulation, compactness requires that a family cannot “spread out” either spatially or by oscillation [2204.14237].

In \(L^2(\mathbb R^n)\), the theorem admits a frequency-side analogue. A bounded set \(F\subset L^2(\mathbb R^n)\) is precompact if and only if
\[
\lim_{R\to\infty}\sup_{f\in F}\int_{|x|>R}|f(x)|^2\,dx=0
\]
and
\[
\lim_{R\to\infty}\sup_{f\in F}\int_{|\xi|>R}|\widehat f(\xi)|^2\,d\xi=0.
\]
This formulation replaces translation continuity by uniform control of the Fourier tails, and it is obtained by choosing compact operators that truncate both the spatial and frequency domains [2204.14237].

A second equivalent viewpoint is operator-theoretic. Mazur’s criterion states that if \(T_n:X\to X\) are compact operators on a Banach space with \(T_n f\to f\) for every \(f\in X\), then a bounded set \(F\subset X\) is precompact if and only if
\[
\lim_{n\to\infty}\sup_{f\in F}\|T_n f-f\|_X=0.
\]
In Hilbert spaces this can be weakened to a quadratic form condition. This recasts the Kolmogorov–Riesz theorem as a statement about approximation by compact regularizing operators rather than solely about translations [2204.14237].

Concrete proofs of the classical theorem and its refinements typically use smoothing or averaging. One short proof of the Sudakov improvement uses repeated small translations to derive uniform \(L^p\)-boundedness from tightness and translation continuity, and then approximates the family by compact convolution operators built from Steklov averages [1705.01349]. In weighted mixed Lebesgue spaces, a corresponding Fréchet–Kolmogorov proof uses a step-function operator \(\Phi\) built from averages on a finite grid of cubes, with the finite-dimensional image providing total boundedness [2503.12486].

## 3. Replacements for translation in non-Euclidean settings

When the ambient space has no Euclidean translation structure, the theorem persists only after the translation condition is replaced by the correct local regularity surrogate.

| Setting | Compactness mechanism | Source |
|---|---|---|
| Doubling metric measure \(L^p(X)\) | Uniform approximation by averages \(A_r f\) and tightness on bounded sets | [2205.06864] |
| \(L^p\) on locally compact Hausdorff groups | \(L^p\)-equicontinuity under small left and right translations, plus \(L^p\)-equivanishing | [1801.01898] |
| Stieltjes space \(L_g^p\) | Kolmogorov–Riesz on \(f\circ\gamma\) and \(\ell^p\)-tail control on jumps \(f(d_n)\Delta g(d_n)^{1/p}\) | [2211.07279] |
| Laguerre and Bessel half-line settings | Equicontinuity under Laguerre or Bessel translations and weighted tail control | [2103.08370] |

On a doubling metric measure space \(X=(X,d,\mathcal M,\mu)\), the absence of translations is addressed by the average function
\[
A_r f(x)=\frac{1}{\mu(B(x,r))}\int_{B(x,r)} f(y)\,d\mu(y).
\]
Under the standing assumptions that \(X\) is a Borel-regular Borel metric measure space, every open ball of positive radius has positive and finite measure, \(X\) is doubling, and \(\mu(B(x,r)\triangle B(y,r))\to 0\) as \(y\to x\), a bounded family \(F\subset L^p(X)\) is relatively compact if and only if it is uniformly approximable by averages \(A_r f\) as \(r\to0\) and uniformly tight outside a bounded set [2205.06864].

For locally compact Hausdorff groups \(G\) with left Haar measure, the natural replacement is two-sided translation control. A family \(\mathcal F\subset L^p(G)\) is relatively compact if and only if it is \(L^p\)-bounded, \(L^p\)-equicontinuous under small left and right translations, and \(L^p\)-equivanishing. In \(\mathbb R\), boundedness is again redundant [1801.01898].

The Stieltjes setting is structurally different because the measure may have atoms. If \(g\) is nondecreasing and left-continuous, with jump set \(D_g=\{d_1,d_2,\dots\}\), then
\[
\int_{\mathbb R} |f|^p\,d\mu_g
=
\int_{g^C(\mathbb R)} |f\circ\gamma|^p\,dx
+
\sum_{s\in D_g}|f(s)|^p\,\Delta g(s),
\]
where \(g^C\) is the continuous part of \(g\) and \(\gamma\) is its pseudoinverse. The Kolmogorov–Riesz theorem in \(L_g^p\) therefore splits into an ordinary \(L^p\)-criterion for \(f\circ\gamma\) and an \(\ell^p\)-criterion for the jump sequence \((f(d_n)\Delta g(d_n)^{1/p})_n\) [2211.07279].

In Laguerre and Bessel harmonic analysis on \(\mathbb R_+\), ordinary translations are replaced by generalized translation operators \(T_t^a\) and \(T_{t,a}\). The corresponding compactness theorems state that a bounded family is precompact if and only if it is tight in the weighted half-line \(L^p\) norm and equicontinuous under the relevant generalized translations on bounded \(t\)-ranges [2103.08370].

## 4. Vector-valued, weighted, and variable-exponent extensions

A decisive vector-valued extension is the compactness criterion in the Bochner space \(L^p(\mu,X)\), where \((\Omega,\mathcal A,\mu)\) is a finite measure space and \(X\) is a Banach space. A subset \(H\subset L^p(\mu,X)\) is relatively norm compact if and only if three conditions hold: the Fréchet oscillation condition, integral tightness, and \(p\)-uniform integrability. Integral tightness requires that for every measurable set \(E\),
\[
\left\{\int_E f\,d\mu: f\in H\right\}
\]
is relatively norm compact in \(X\). The Fréchet oscillation condition requires a finite partition and small essential oscillation on each cell after removal of a set of small measure, and \(p\)-uniform integrability is defined by uniform integrability of \(\{|f|^p:f\in H\}\) [2010.15001]. This replaces Euclidean translations by conditional expectations on finite measurable partitions and local oscillation control.

Weighted and matrix-weighted settings retain the same tripartite structure but alter the regularity condition. For \(1<p<\infty\) and a matrix weight \(W\in A_p\), a subset \(F\subset L^p(W)\) is totally bounded if and only if it is bounded, vanishes uniformly at infinity, and satisfies
\[
\lim_{r\to 0}\sup_{f\in F}\|S_r f-f\|_{L^p(W)}=0,
\qquad
S_r f(x)=\frac1{|B(x,r)|}\int_{B(x,r)}f(y)\,dy.
\]
Here the averaging operator \(S_r\) replaces literal translation, and the \(A_p\) hypothesis is used through the boundedness of the Christ–Goldberg maximal operator and a matrix-weighted Lebesgue differentiation theorem [2102.01354].

Weighted mixed Lebesgue spaces on \(\mathbb R^{n+m}\) satisfy an exact Fréchet–Kolmogorov theorem of the familiar form: relative compactness in \(L_u^pL_v^q\) is equivalent to boundedness, vanishing at infinity, and joint translation equicontinuity in the mixed norm [2503.12486]. In weighted variable Lebesgue spaces \(L^{p(\cdot)}(w)\), the translation condition is replaced by a local averaged difference in \(L^{\widetilde q}\):
\[
\lim_{r\to0}\sup_{f\in\mathcal F}
\left\|
\left(\fint_{B(\cdot,r)} |f(\cdot)-f(y)|^{\widetilde q}\,dy\right)^{1/\widetilde q}
\right\|_{L^{p(\cdot)}(w)}
=0,
\]
together with uniform boundedness and uniform vanishing at infinity [2605.27165].

Weighted variable exponent amalgam and Sobolev spaces use yet another equivalent regularization device: uniform mollifier approximation. In \(L_w^{p(\cdot)}(\mathbb R^n)\) and in \((L^{p(\cdot)},\ell^q)_w\), relative compactness is characterized by boundedness, weighted tightness, and
\[
\lim_{\varepsilon\to0^+}\|f*\varphi_\varepsilon-f\|=0
\quad\text{uniformly in the family},
\]
with derivative-wise versions for Sobolev spaces [1902.04786].

## 5. Beyond Banach \(L^p\): asymptotic and microlocal compactness

In asymptotic \(L_p\) spaces \(\Lambda^p(\mathbb R^n)\), the classical theorem changes because the \(F\)-norm
\[
\|f\|_{\ }=\|\min(|f|,1)\|_p
\]
is not homogeneous. A family \(\mathcal F\subset \Lambda^p(\mathbb R^n)\) is totally bounded if and only if it satisfies three conditions: tightness at infinity in the \(F\)-norm, translation continuity in the \(F\)-norm, and almost equiboundedness,
\[
\forall \varepsilon>0\ \exists M>0\ \text{such that}\ 
\big|\{x\in\mathbb R^n:\ |f(x)|>M\}\big|<\varepsilon
\quad\text{for all }f\in\mathcal F.
\]
The additional almost equiboundedness condition is essential because truncation at level \(1\) suppresses large amplitudes [2507.15102].

On an arbitrary measure space \((X,\Sigma,\mu)\), the asymptotic theory becomes purely truncation-based. In \(\Lambda^p(X)\), total boundedness is equivalent to uniform approximability by truncations and total boundedness in ordinary \(L^p(X)\) of every truncated family:
\[
\mathcal F\subseteq\Lambda^p(X)\text{ totally bounded}
\iff
\begin{cases}
\displaystyle \lim_{M\to\infty}\sup_{f\in\mathcal F}\|\min(|f-T_Mf|,1)\|_p=0,\\[1.2ex]
\text{for every }M>0,\ T_M(\mathcal F)\text{ is totally bounded in }L^p(X).
\end{cases}
\]
This is presented as a measure-theoretic counterpart to the Kolmogorov–Riesz theorem [2604.19617].

A microlocal extension appears in spaces of distributions with constrained Sobolev wave front set. For a smooth manifold \(M\), a vector bundle \(E\to M\), and a closed conic set \(L\subset T^*M\setminus0\), the space
\[
\mathcal D'^{\,r}_L(M;E)
=
\{u\in\mathcal D'(M;E)\mid \mathrm{WF}^r(u)\subset L\}
\]
admits a compactness criterion in terms of the Sobolev compactness wave front set. If \(B\subset\mathcal D'(M;E)\) is bounded, then
\[
\mathrm{WF}^r(B)\subset L
\quad\Longleftrightarrow\quad
B \text{ is relatively compact in }\mathcal D'^{\,r}_L(M;E).
\]
Here compactness is controlled by uniform Sobolev decay away from the forbidden microlocal set \(L\), and the proof uses Gérard’s idea together with a topological embedding into a product of \(L^2\)-spaces where the classical Kolmogorov–Riesz theorem can be applied factorwise [2408.10741].

## 6. Applications and conceptual significance

The theorem functions both as a compactness criterion and as a proof engine. In \(GBD\) and \(GSBD\), a Fréchet–Kolmogorov argument applied to the bounded transform
\[
\psi(u_k)=(\arctan x_1,\dots,\arctan x_n)
\]
yields a new proof of compactness that avoids Korn or Poincaré–Korn inequalities. The crucial step is a uniform translation estimate for \(\psi(u_k)\), after which the classical \(L^1\) criterion gives strong compactness of the transformed sequence [2104.13141].

Operator theory supplies further applications. In the Bessel setting \((\mathbb R_+,x^{2\lambda}dx)\), a new Fréchet–Kolmogorov theorem underlies the characterization
\[
b\in \mathrm{CMO}(\mathbb R_+,dm_\lambda)
\quad\Longleftrightarrow\quad
[b,R_{\Delta_\lambda}]
\text{ is compact on }L^p(\mathbb R_+,dm_\lambda),
\]
for \(1<p<\infty\) [1604.02503]. In matrix-weighted analysis, the compactness of commutators of rough singular integrals is proved by verifying the three matrix-weighted Kolmogorov–Riesz conditions—boundedness, vanishing at infinity, and translation equicontinuity—for the image of a bounded set under a truncated commutator [2503.05390].

The compactness principle also supports extrapolation frameworks. In weighted mixed Lebesgue spaces, a Fréchet–Kolmogorov theorem is combined with Rubio de Francia-type extrapolation to obtain uniform compactness results for commutators of Calderón–Zygmund operators and for pseudodifferential operators [2503.12486]. In weighted variable Lebesgue spaces, a weighted Riesz–Kolmogorov theorem is used to prove interpolation and extrapolation of compactness for multilinear operators, with applications to commutators of multilinear \(\omega\)-Calderón–Zygmund operators, multilinear fractional integrals, and multilinear Fourier multipliers [2605.27165].

A common misconception is that the Kolmogorov–Riesz theorem is intrinsically a theorem about Euclidean translations. The contemporary literature shows a broader picture. In some settings translations remain literal; in others they become averages over balls, conditional expectations on partitions, truncation operators, generalized Bessel or Laguerre translations, or uniform microlocal decay conditions. Another common misconception is that boundedness is always an independent hypothesis; several papers show that in the classical Euclidean theorem, and in closely related settings, it can be derived from the other compactness conditions [1705.01349][1801.01898][2204.14237].

Across these extensions, the invariant content remains stable: compactness is equivalent to the impossibility of losing mass or oscillation in the directions relevant to the ambient topology. In Euclidean \(L^p\), those directions are spatial infinity and small translations; in vector-valued, weighted, asymptotic, and microlocal settings, the same compactness philosophy is expressed through the corresponding replacement structures [2010.15001][2408.10741][2604.19617].

Source: https://www.emergentmind.com/topics/kolmogorov-riesz-compactness-theorem