Satz von Arzela-Ascoli

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

  • 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

  • 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

  • Satz von Picard-Lindelöf — Der Satz von Picard Lindelöf ist in der Mathematik, neben dem Satz von Peano, ein grundlegender Satz der Existenztheorie von Lösungen gewöhnlicher Differentialgleichungen. Er wurde erstmals 1890 von Ernst Leonard Lindelöf in einem Artikel zur… …   Deutsch Wikipedia

  • 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 Lp Räumen darstellt. Dieser Satz… …   Deutsch Wikipedia

  • Satz von Peano — Der Satz von Peano ist ein Satz aus der Theorie der gewöhnlichen Differentialgleichungen. Er gibt eine einfache Voraussetzung an, unter der das Anfangswertproblem (mindestens) eine lokale Lösung besitzt. Dieser Satz wurde 1886 vom Mathematiker… …   Deutsch Wikipedia

  • 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

  • Satz vom Minimum und Maximum — Die Stetigkeit ist ein Konzept der Mathematik, das vor allem in den Teilgebieten der Analysis und der Topologie von zentraler Bedeutung ist. Eine Funktion heißt stetig, wenn verschwindend kleine Änderungen des Argumentes (der Argumente) nur zu… …   Deutsch 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

  • 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

  • Existenzsatz von Peano — Der Satz von Peano ist ein Satz aus der Theorie der gewöhnlichen Differentialgleichungen. Er gibt eine einfache Voraussetzung an, unter der das Anfangswertproblem (mindestens) eine lokale Lösung besitzt. Dieser Satz wurde 1886 vom Mathematiker… …   Deutsch Wikipedia

Share the article and excerpts

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