Satz von Arzelà-Ascoli

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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)[Bearbeiten]

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 (im Falle, dass X ein metrischer Raum ist)[Bearbeiten]

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\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\N}:=\{f_n{}_{|A_k}\}_{n\in\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\N} die nullte, gegebene Folge. Dann kann rekursiv, beginnend mit N=1,2,\ldots, in der Funktionenfolge \{f_{n_l,N-1}\}_{l\in\N} eine Teilfolge \{f_{n_l,N}\}_{l\in\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\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:X\to \mathbb{K} und es folgt ebenfalls, 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[Bearbeiten]

Funktionalanalysis: Kompaktheit von Operatoren[Bearbeiten]

Den Satz von Arzelà-Ascoli kann man dazu verwenden, nachzuweisen, dass ein Operator kompakt ist. Sei 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.

Verallgemeinerungen[Bearbeiten]

Allgemeinere Wertebereiche[Bearbeiten]

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[Bearbeiten]

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[Bearbeiten]

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 \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=\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.

Literatur[Bearbeiten]

  • Cesare Arzelà: Un’ osservazione intorno alle serie di funzioni. Rend. dell' Accad. R. delle Sci. dell'Istituto di Bologna, S. 142–159 (1882–1883).
  • Cesare Arzelà: Sulle funzioni di linee. Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. Vol. 5 No 5, S. 55–74 (1895).
  • Giulio Ascoli: Le curve limiti di una varietà data di curve. Atti della R. Accad. dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat.Vol 18 No 3, S. 521–586 (1883–1884).
  • Johann Cigler, Hans-Christian Reichel: Topologie. Eine Grundvorlesung, ISBN 3-411-05121-3.
  • Harry Poppe: Compactness in General Function Spaces. Berlin 1974.