Arzela-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 lautet:

Sei X ein kompakter metrischer Raum, Y ein Banachraum und F\subseteq C_b(X,Y) eine Familie (Teilmenge) stetiger und beschränkter Funktionen f:X\to Y. Dann gilt: Die Funktionenfamilie F ist genau dann relativ kompakt in Cb(X,Y), wenn F gleichgradig stetig ist und für jedes x\in X die Menge \{f(x):f\in F\} der Funktionswerte in x relativ kompakt in Y ist.

Beweisskizze

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 Cb(X,Y) 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 in der kompakten Punktmenge X dichte Teilmenge A_\infty:=\bigcup_{N=1}^\infty A_N „konvergiert“.

Die Funktionenfolge, eingeschränkt auf eine solche Punktmenge, \{f_n{}_{|A_k}\}_{n\in\N}, enthält nach Voraussetzung eine auf Ak konvergente Teilfolge, denn ein endliches kartesisches Produkt relativ kompakter Mengen ist wieder relativ kompakt.

Sei (f_{0,k}=f_k)_{k\in\N} die nullte, triviale Teilfolge. Dann kann rekursiv, beginnend mit N=1,2,\ldots, in der Funktionenfolge \{f_{N-1,k}\}_{k\in\N} eine Teilfolge \{f_{N,k}\}_{k\in\N} ausgewählt werden, die auf der vergrößerten Punktmenge AN konvergiert. Schlussendlich konvergiert nach dem Cantorschen Diagonal„trick“, die Diagonalfolge \{f_{N,N}\}_{N\in\N} auf der dichten Teilmenge A_\infty\subset X gegen eine Funktion f:A_\infty\to Y.

Aus der gleichgradigen Stetigkeit folgt, dass die so erhaltene Grenzfunktion auf ganz X stetig und beschränkt fortgesetzt werden kann zu \bar f:X\to Y 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 Cb(X,Y), das heißt

\lim_{N\to\infty}\left(\sup_{x\in X} \|f_{N,N}(x)-\bar f(x)\|_Y\right)=0.

Literatur

  • 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).
  • Walter Rudin: Principles of mathematical analysis. McGraw-Hill 1976, ISBN 978-0070542358, S. 154ff.
  • Johann Cigler, Hans-Christian Reichel: Topologie. Eine Grundvorlesung, ISBN 3411051213.
  • Harry Poppe: Compactness in General Function Spaces. Berlin 1974.

Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Arzelà–Ascoli theorem — In mathematics, the Arzelà–Ascoli theorem of functional analysis gives necessary and sufficient conditions to decide whether every subsequence of a given sequence of real valued continuous functions defined on a closed and bounded interval has a… …   Wikipedia

  • 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. Inhaltsverzeichnis 1 Aussage 2 Beweisskizze 3 Beispiel …   Deutsch Wikipedia

  • Satz von Arzela-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 lautet: Sei X ein kompakter metrischer Raum, Y ein Banachraum und… …   Deutsch Wikipedia

  • Teorema de Arzelá-Ascoli — El teorema de Arzelà Ascoli es una de las herramientas más poderosas que hay para verificar si una familia de funciones de un espacio topólogico en otro es compacto. Lo que dice el teorema es lo siguiente: Sea X un espacio topológico compacto, Y… …   Wikipedia Español

  • Théorème d'Arzelà-Ascoli — Théorème d Ascoli En analyse fonctionnelle, le théorème d Ascoli est un puissant résultat caractérisant les parties relativement compactes de l espace des fonctions continues définies sur un espace compact à valeurs dans un espace métrique. Il se …   Wikipédia en Français

  • Arzelà — Cesare Arzelà (* 6. März 1847 in Santo Stefano di Magra, La Spezia; † 15. März 1912 in Santo Stefano di Magra) war ein italienischer Mathematiker. Arzelà entstammte einfachen Verhältnissen und konnte so erst ab 1871 in Pisa bei Enrico Betti und… …   Deutsch Wikipedia

  • Cesare Arzelà — A relief portraying Cesare Arzela at the Mathematics Department of Bologna University Born …   Wikipedia

  • Cesare Arzela — Cesare Arzelà (* 6. März 1847 in Santo Stefano di Magra, La Spezia; † 15. März 1912 in Santo Stefano di Magra) war ein italienischer Mathematiker. Arzelà entstammte einfachen Verhältnissen und konnte so erst ab 1871 in Pisa bei Enrico Betti und… …   Deutsch Wikipedia

  • Giulio Ascoli — (January 20, 1843 ndash; July 12, 1896), was an Italian Jewish mathematician who taught at the Politecnico di Milano university. He made contributions to the theory of functions of a real variable and to Fourier series. For example, Ascoli… …   Wikipedia

  • Cesare Arzelà — (* 6. März 1847 in Santo Stefano di Magra, La Spezia; † 15. März 1912 in Santo Stefano di Magra) war ein italienischer Mathematiker. Arzelà entstammte einfachen Verhältnissen und konnte so erst ab 1871 in Pisa bei Enrico Betti und bei …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”