Satz von Kolmogorow-Riesz
# Satz von Kolmogorow-Riesz

Der Satz von Kolmogorow-Riesz (nach Andrei Nikolajewitsch Kolmogorow und Marcel Riesz) ist ein Lehrsatz aus dem mathematischen Teilgebiet der Funktionalanalysis, der ein Kompaktheitskriterium für Teilmengen von $L^p-Räumen$ darstellt. Dieser Satz wird, je nach Verallgemeinerungsgrad, auch Satz von M. Riesz, Satz von Kolmogorow-Fréchet-Riesz oder Satz von Kolmogorow-Riesz-Weil genannt, womit auch Beiträge der Mathematiker Maurice René Fréchet und André Weil gewürdigt werden, auch die Namen Jakob Davidowitsch Tamarkin und A. N. Tulajkov werden von einigen Autoren erwähnt, wobei Letzterer den Sonderfall $p=1$ behandelt hatte. Derartige Kompaktheitskriterien haben viele Anwendungen, insbesondere in der Theorie der partiellen Differentialgleichungen.

## Der Folgenraum $l^p$

Die Situation für die Folgenräume $\ell ^{p}$ stellt sich besonders einfach dar, der folgende Satz wurde 1908 für $p=2$ von Fréchet bewiesen:

Eine Teilmenge $M\subset \ell ^{p}$ ($1\leq p<\infty$) ist genau dann präkompakt, wenn die folgenden beiden Bedingungen erfüllt sind:

* $\sup _{x\in M}|x_{k}|<\infty \,\,\forall k\in \mathbb {N}$. Dabei ist $x_{k}$ die $k$-te Komponente von $x$.
* $\sup _{x\in M}\sum _{k=n}^{\infty }|x_{k}|^{p}\,{\xrightarrow[{n\to \infty }]}\,0$.

## Funktionenräume $L^p$

Aufwändiger sind Kompaktheitskriterien für $L^p-Räume$ über nicht-diskreten Grundmengen. Mittels Zurückführung auf den Satz von Arzelà-Ascoli kann man zeigen:

Satz von Kolmogorow-Riesz: Eine Teilmenge $M\subset L^{p}([0,1])$, $1\leq p<\infty$, ist genau dann präkompakt, wenn

* $M$ ist beschränkt bezüglich der Norm $\|\cdot \|_{p}$,
* $\sup _{f\in M}\int _{0}^{1}|f(t+h)-f(t)|^{p}{\mathrm {d} }t{\xrightarrow[{h\to 0}]}\,0$.

Dabei ist $f(t):=0$ für $t$ außerhalb des Einheitsintervalls, um in obiger Formel $f(t+h)$ bilden zu können. Ein analoger Satz gilt natürlich für $L^{p}([a,b])$ für beliebige $a,b\in R,a<b$.

Eine Ausdehnung dieses Satzes auf unbeschränkte Gebiete erfordert eine zusätzliche Bedingung:

Satz von M. Riesz: Eine Teilmenge $M\subset L^{p}(\mathbb {R} ^{n})$ ($1\leq p<\infty$) ist genau dann präkompakt, wenn

* $M$ ist beschränkt bezüglich der Norm $\|\cdot \|_{p}$,
* $\sup _{f\in M}\int _{\mathbb {R} ^{n}}|f(t+h)-f(t)|^{p}\mathrm {d} t\,{\xrightarrow[{h\to 0}]}\,0$,
* $\sup _{f\in M}\int _{\mathbb {R} ^{n}\setminus B_{r}(0)}|f(t)|^{p}\mathrm {d} t\,{\xrightarrow[{r\nearrow \infty }]}\,0$.

Dabei steht $B_{r}(0)$ für die Kugel um 0 mit Radius $r$.

## Lokalkompakte abelsche Gruppen

Der Satz von M. Riesz lässt sich nicht auf $L^p-Räume$ über beliebigen Maßräumen verallgemeinern, da in der zweiten Bedingung des Kompaktheitskriteriums von der Addition und damit von der Gruppenstruktur des $\mathbb {R} ^{n}$ Gebrauch gemacht wird. Sei nun $G$ eine lokalkompakte abelsche Gruppe und $\mu$ sei ein Haarsches Maß auf $G$. Ist $Y$ ein Banachraum, so kann man wie oben den Raum $L^{p}(G,Y)$ aller messbaren Funktionen $f\colon G\rightarrow Y$ mit $\int _{G}\|f(t)\|^{p}\,\mathrm {d} \mu (t)<\infty$ bilden. Die Norm $\|f\|_{p}:=\left(\int _{G}\|f(t)\|^{p}\,\mathrm {d} \mu (t)\right)^{\frac {1}{p}}$ macht $L^{p}(G,Y)$ zu einem Banachraum. Dies verallgemeinert offenbar die oben betrachteten $L^{p}(\mathbb {R} ^{n},Y)$-Räume. Statt der Kugeln um 0 betrachten wir hier ein bzgl. der Vereinigung gerichtetes Netz ${\mathcal {C}}$ kompakter Mengen in $G$, so dass jede kompakte Menge aus $G$ in einer Menge aus ${\mathcal {C}}$ enthalten ist.

Nicolae Dinculeanu hat folgende Verallgemeinerung obigen Kompaktheitskriteriums bewiesen:

Satz: Eine Teilmenge $M\subset L^{p}(G,Y)$ ($1\leq p<\infty$, $G$ lokalkompakte abelsche Gruppe, $Y$ Banachraum) ist genau dann präkompakt, wenn

* Für alle messbaren Teilmengen $A\subset G$ mit $\mu (A)<\infty$ ist $\{\int _{A}f(t)\mathrm {d} \mu (t);f\in M\}\subset Y$ präkompakt,
* $\sup _{f\in M}\int _{G}\|f(t+h)-f(t)\|^{p}\,\mathrm {d} \mu (t)\,{\xrightarrow[{h\to 0}]}\,0$,
* $\sup _{f\in M}\int _{G\setminus C}\|f(t)\|^{p}\,\mathrm {d} \mu (t)\,{\xrightarrow[{C\in {\mathcal {C}}}]}\,0$.

Diese Version wurde für den Fall $Y=\mathbb {R}$, also für skalarwertige Funktionen, von M. Riesz bewiesen. Eine auf Kolmogorow und J. D. Tamarkin zurückgehende Version, die eine Approximation der Eins verwendet, wurde ebenfalls von N. Dinculeanu auf den Banachraum-wertigen Fall verallgemeinert. Für die folgende Darstellung dieses Ergebnisses sei ${\mathcal {V}}$ eine Nullumgebungsbasis aus relativ kompakten, offenen Mengen in $G$. Zu jedem $V\in {\mathcal {V}}$ wähle eine Funktion $u_{V}\colon G\rightarrow \mathbb {R} _{0}^{+}$, die beschränkt, messbar uns symmetrisch (d. h. $u_{V}(t)=u_{V}(-t)\,\forall t\in G$) ist mit Träger in ${\overline {V}}$ und $\int _{G}^u_{V}(t)\mathrm {d} \mu (t)=1$. Man kann zum Beispiel $u_{V}={\frac {1}{2\mu (V)}}(\chi _{V}+\chi _{-V})$ wählen, wobei $\chi _{V}$ die charakteristische Funktion von $V$ sei. Für $f\in L^{p}(G,Y)$ und $t\in G$ sei die Faltung $u_{v}\star f(t):=\int _{G}u_{V}(s)f(t-s)\mathrm {d} \mu (s)$ definiert. Dann ist $u_{V}\in L^{p}(G,Y)$, $u_{V}\star f\in L^{p}(G,Y)$ und $\|u_{V}\star f-f\|_{p}\,{\xrightarrow[{V\in {\mathcal {V}}}]}\,0$; das heißt, das Netz $(u_{V})_{V\in {\mathcal {V}}}$ ist in diesem Sinne eine Approximation der Eins. Es gilt folgender

Satz: Eine Teilmenge $M\subset L^{p}(G,Y)$ ($1\leq p<\infty$, $G$ lokalkompakte abelsche Gruppe, $Y$ Banachraum) ist genau dann präkompakt, wenn

* Für alle messbaren Teilmengen $A\subset G$ mit $\mu (A)<\infty$ ist $K(A):=\{\int _{A}f(t)\mathrm {d} \mu (t);f\in M\}$ präkompakt,
* $\sup _{f\in M}\int _{G}\|(u_{V}\star f)(t)-f(t)\|^{p}\,\mathrm {d} \mu (t)\,{\xrightarrow[{V\in {\mathcal {V}}}]}\,0$,
* $\sup _{f\in M}\int _{G\setminus C}\|f(t)\|^{p}\,\mathrm {d} \mu (t)\,{\xrightarrow[{C\in {\mathcal {C}}}]}\,0$.

In den früheren Fassungen für $G=\mathbb {R}$ und $Y=\mathbb {R}$ wurden die Netze $u_{n}={\frac {1}{2n}}\chi _{[-n,n]}$ und $C_{n}=[-n,n]$ verwendet. Wendet man diesen Satz auf die lokalkompakte abelsche Gruppe $G=\mathbb {Z}$ an, so ist die erste Bedingung äquivalent zu $\sup _{x\in M}|x_{k}|<\infty \,\,\forall k\in \mathbb {N}$, denn jede Menge endlichen Maßes ist endlich; die zweite Bedingung ist leer, wenn man das Netz $u_{V}=u_{\{0\}}$ wählt, und die letzte Bedingung wird zu $\sup _{x\in M}\sum _{|k|>n}|x_{k}|^{p}\,{\xrightarrow[{n\to \infty }]}\,0$, wenn man $C_{n}=\{-n,\ldots ,n\}$ setzt. Mit einer geeigneten Isomorphie zwischen $\ell ^{p}$ und $L^{p}(\mathbb {Z} )$ erhält man genau den eingangs zitierten Satz über $\ell ^{p}$-Räume.

## Weitere Verallgemeinerungen

Weitere Verallgemeinerungen auf nicht-kommutative lokalkompakte Gruppen wurden von Josh Isralowitz gefunden. Eine Ausweitung von Kompaktheitskriterien dieses Typs auf andere über lokalkompakten Gruppen definierte Funktionenräume findet sich bei Hans G. Feichtinger.

