# Satz von Arzelà-Ascoli

Der Satz von Arzelà-Ascoli, benannt nach Cesare Arzelà (1847–1912) in Erweiterung eines Satzes von Giulio Ascoli (1843–1896), ist ein wichtiger Satz in der Funktionalanalysis. Er beantwortet die Frage, welche Teilmengen in bestimmten Funktionenräumen (relativ) kompakt sind.

## Aussage (skalarwertiger Fall)

Sei $X$ ein kompakter topologischer Raum und $F\subseteq C(X)$ eine Teilmenge stetiger reell- oder komplexwertiger Funktionen $f\colon X\to \mathbb {K}$. Dann gilt: Die Teilmenge $F$ ist genau dann relativ kompakt im Banachraum $C(X)$, versehen mit der Supremumsnorm, wenn $F$ gleichgradig stetig ist und punktweise beschränkt ist, d. h. für jedes $x\in X$ die Menge $\{f(x):f\in F\}$ der Funktionswerte in $x$ beschränkt in $\mathbb {R}$ bzw. $\mathbb {C}$ ist.
Die Bedeutung des Satzes von Arzelà-Ascoli zeigt sich im Vergleich zum Kompaktheitssatz von Riesz, der besagt, dass Kugeln in unendlichdimensionalen Banachräumen nicht relativ kompakt sind. Trotzdem gibt es auch in unendlichdimensionalen Banachräumen viele kompakte Teilmengen und der Satz von Arzelà-Ascoli charakterisiert diese, zumindest im Spezialfall, dass der Banachraum von der Form $C(X)$ ist.

## Beweisskizze (für obige "dann ... wenn ..."-Aussage im Falle, dass X ein metrischer Raum ist)

Der Beweis benutzt das cantorsche Diagonalverfahren, in welchem auf rekursive Art partiell konvergente Teilfolgen konstruiert werden, um dann quer durch alle Teilfolgen eine überall konvergente Teilfolge zu erhalten.
Sei $\{f_{n}\}_{n\in \mathbb {N} }\subset F$ eine beliebige Funktionenfolge in der Funktionenfamilie $F$. Zu zeigen ist, dass diese eine in $C(X)$ konvergente Teilfolge enthält.
Dazu wählt man sich eine aufsteigende Folge von endlichen Teilmengen $A_{N}\subset A_{N+1}\subset X$, welche gegen eine Teilmenge $\textstyle A_{\infty }:=\bigcup _{N=1}^{\infty }A_{N}$ „konvergiert“, welche in der kompakten Punktmenge $X$ dicht ist.
Die Funktionenfolge, eingeschränkt auf eine solche Punktmenge, $\{f_{n,k}\}_{n\in \mathbb {N} }:=\{f_{n}_{|A_{k}}\}_{n\in \mathbb {N} }$, enthält nach Voraussetzung eine auf $A_{k}$ konvergente Teilfolge, denn ein endliches kartesisches Produkt relativ kompakter Mengen ist wieder relativ kompakt.
Sei $(f_{n,0}=f_{n})_{n\in \mathbb {N} }$ die nullte, gegebene Folge. Dann kann rekursiv, beginnend mit $N=1,2,\ldots$, in der Funktionenfolge $\{f_{n_{l},N-1}\}_{l\in \mathbb {N} }$ eine Teilfolge $\{f_{n_{l},N}\}_{l\in \mathbb {N} }$ ausgewählt werden, die auf der vergrößerten Punktmenge $A_{N}$ konvergiert. Schlussendlich konvergiert nach dem Cantorschen Diagonal„trick“ die Diagonalfolge $\{f_{n_{N},N}\}_{N\in \mathbb {N} }$ auf der dichten Teilmenge $A_{\infty }\subset X$ gegen eine Funktion $f:A_{\infty }\to \mathbb {K}$.
Aus der gleichgradigen Stetigkeit folgt, dass die so erhaltene Grenzfunktion auf ganz $X$ stetig fortgesetzt werden kann zu ${\bar {f}}\colon X\to \mathbb {K}$, und ebenfalls folgt, dass die Diagonalfolge auch in der Supremumsnorm gegen die so konstruierte Funktion konvergiert: $\lim _{N\to \infty }f_{N,N}={\bar {f}}$ in $C(X)$, das heißt
       $\lim _{N\to \infty }\left(\sup _{x\in X}\|f_{N,N}(x)-{\bar {f}}(x)\|_{Y}\right)=0$.

## Anwendungen
### Funktionalanalysis: Kompaktheit von Operatoren

Den Satz von Arzelà-Ascoli kann man dazu verwenden, nachzuweisen, dass ein Operator kompakt ist. Sei beispielsweise $L^{2}([0,1])$ der Raum quadratintegrierbaren Funktionen, dann ist $F\colon L^{2}([0,1])\to C([0,1])$ definiert durch
    $F(x)(t):=\int _{0}^{1}(t^{2}+s^{2})(x(s))^{2}\mathrm {d} s$
ein nichtlinearer kompakter Operator. Für alle $t\in [0,1]$ und alle $x\in L^{2}([0,1])$ ist $F(x)(t)$ von der Form $c_{1}t^{2}+c_{2}$ und somit stetig. Des Weiteren gilt $|c_{1}|,|c_{2}|<\left\|x\right\|_{L^{2}(0,1)}$. Also gilt für beschränktes $U\subset L^{2}([0,1])$ die Teilmengenrelation $F(U)\subset C([0,1])$ und $F(U)$ ist somit beschränkt und gleichgradig stetig. Daher kann man den Satz von Arzelà-Ascoli anwenden und erhält, dass die Menge $F(U)$ relativ kompakt ist in $C([0,1])$ bezüglich der Supremumsnorm. Deshalb bildet also $F$ beschränkte Mengen auf relativ kompakte Mengen ab und ist somit ein kompakter Operator.

### Gewöhnliche Differentialgleichungen

Der Satz von Peano verwendet den Satz von Arzelà-Ascoli, um zu zeigen, dass die im Beweis verwendeten Operatoren relativ kompakt sind.

## Verallgemeinerungen
### Allgemeinere Wertebereiche

Anstelle von skalarwertigen Funktionen kann man auch Funktionen mit Werten in $Y$ betrachten, wobei $Y$ wahlweise ein normierter Vektorraum, ein topologischer Vektorraum, ein metrischer Raum oder ganz allgemein ein uniformer Raum sein kann. Der Funktionenraum $C(X,Y)$ wird nach wie vor mit der Topologie der gleichmäßigen Konvergenz versehen. Es reicht dann allerdings nicht mehr aus, punktweise Beschränktheit zu fordern, sondern die Funktionenmenge muss punktweise relativ kompakt (in $Y$) sein. Genauer gilt:
    Eine Teilmenge $F\subseteq C(X,Y)$ ist relativ kompakt bezüglich der Topologie der gleichmäßigen Konvergenz, wenn sie gleichgradig stetig ist und für jedes $x\in X$ gilt, dass $\{f(x):f\in F\}$ im Raum $Y$ relativ kompakt ist.

### Allgemeinere Definitionsbereiche

Es existieren auch Verallgemeinerungen, bei denen der kompakte Raum $X$ durch einen allgemeineren topologischen Raum ersetzt wird. Hierbei ist dann aber der Funktionenraum mit der kompakt-offenen Topologie zu versehen, also der Topologie der gleichmäßigen Konvergenz auf kompakten Teilmengen.

#### Anwendung in der Differentialgeometrie: Kompaktheit des Raumes der Geodäten

Der Satz von Arzelà-Ascoli lässt sich verallgemeinern auf Familien gleichgradig stetiger Funktionen mit Werten in einer kompakten Mannigfaltigkeit $Y$.
Insbesondere kann man ihn anwenden auf Familien von Abbildungen $F\subset C(I,Y)$ eines Intervalls $I\subset \mathbb {R}$ in eine kompakte Riemannsche Mannigfaltigkeit $Y$ und erhält, dass für feste $(L,A)$ jede Familie von $(L,A)$-Quasigeodäten eine konvergierende Teilfolge besitzt. Die Konvergenz ist gleichmäßig, falls $I$ ein endliches Intervall, und lokal gleichmäßig, falls $I=\mathbb {R}$ ist. Man kann zeigen, dass für eine konvergente Folge von Geodäten der Grenzwert wieder eine Geodäte ist.
Für eine kompakte Mannigfaltigkeit $Y$ ist der Raum aller Geodäten also kompakt bzgl. der kompakt-offenen Topologie.