Gleichmäßige Konvergenz

In der Analysis beschreibt gleichmäßige Konvergenz die Eigenschaft einer Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}} , mit einer vom Funktionsargument unabhängigen „Geschwindigkeit“ gegen eine Grenzfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} zu konvergieren. Im Gegensatz zu punktweiser Konvergenz erlaubt der Begriff der gleichmäßigen Konvergenz, wichtige Eigenschaften der Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} wie Stetigkeit und Riemann-Integrierbarkeit, auf die Grenzfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} zu übertragen.^[1]^[2]

Geschichte

Der Begriff wird üblicherweise Karl Weierstraß in den 1840er Jahren zugeschrieben (zuerst in einer Schrift 1841, die aber erst 1894 publiziert wurde), der ihn wiederum schon bei seinem Lehrer Christoph Gudermann (1838) angedeutet fand, und fehlte noch im ursprünglichen Aufbau der Analysis nach Augustin-Louis Cauchy. Das führte zu einigen Fehlern in Cauchys Cours d’Analyse von 1821, insbesondere beim sogenannten Cauchyschen Summensatz. Cauchy behauptete bewiesen zu haben, dass eine konvergente Reihe stetiger Funktionen stetig ist, wozu aber schon bald darauf 1826 Niels Henrik Abel ein Gegenbeispiel gab. Dass der Satz gilt, wenn punktweise Konvergenz durch gleichmäßige Konvergenz ersetzt wird (nach heutigem Verständnis), bewiesen unabhängig Philipp Ludwig Seidel (unendlich langsame Konvergenz)^[3] und George Gabriel Stokes 1847^[4] (infinitely slow convergence, Punkte mit non uniform convergence). Seidel knüpfte dabei direkt an Cauchy und an Peter Gustav Lejeune Dirichlet an, der Beispiele von Fourierreihen gegeben hatte, die gegen unstetige Funktionen konvergieren. Stokes dagegen bezog sich nicht auf Cauchy, sondern auf einen Aufsatz über Potenzreihen von John Radford Young von 1846. Nach Ivor Grattan-Guinness kam möglicherweise der Schwede Emanuel G. Björling (1846/47) zu den beiden als Urheber des Konzepts hinzu. Es gab auch eine Diskussion darüber (Pierre Dugac 2003), ob Cauchy den Begriff (und den verwandten der gleichmäßigen Stetigkeit) schon wenig später 1823 in einem weiteren Lehrbuch kannte und implizit benutzte.^[5] Eine Gruppe von Mathematikhistorikern und Mathematikern wie Detlef Laugwitz und Abraham Robinson versuchte Cauchys Beweis später zu retten, indem die Idee verfolgt wurde, Cauchy, der selbst unendlich kleine Größen explizit in seinem Lehrbuch einführte, hätte eine Form von Nichtstandardanalysis benutzt, was sich aber bei den meisten Cauchy-Forschern nicht durchsetzte und als Beispiel einer aus moderner Sichtweise aufgezwungenen Interpretation der Mathematikgeschichte gewertet wurde. Klaus Viertel kam in seinem Buch^[6] zu einem differenzierteren Bild einer erst allmählichen Ausprägung der Begriffe von Stetigkeit und Konvergenz im heutigen Sinn selbst im Rahmen der Weierstraß-Schule, wo der Begriff ebenfalls im Lauf der Zeit einem Wandel unterworfen war. Anfang des 20. Jahrhunderts gab es bereits verschiedene Weiterentwicklungen des Begriffs (Quasi-Konvergenz bei Godfrey Harold Hardy 1918, William Henry Young 1903, 1907).

Definition

Gegeben seien eine Funktionenfolge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(f_n\colon D_f\subseteq\R\to\R\right)_{n\in\N}} ,

die jeder natürlichen Zahl $n$ eine reellwertige Funktion zuordnet, und eine Funktion $f$ . Alle $f_{n}$ sowie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} seien auf derselben Definitionsmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D_f} definiert. Die Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}} konvergiert genau dann gleichmäßig gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n\rightarrow\infty}\,\sup_{x\in D_f} \left|f_n(x)-f(x)\right|=0.}

Man betrachtet hier die absolute Differenz von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x)} und $f(x)$ für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} aus dem Definitionsbereich. Die Menge dieser Differenzen ist entweder unbeschränkt oder hat eine kleinste obere Schranke, ein Supremum. Gleichmäßige Konvergenz von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} bedeutet, dass dieses Supremum für fast alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} existiert und gegen Null geht, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} gegen unendlich strebt.

Man kann diesen Sachverhalt auch anders definieren: Alle Bezeichnungen seien wie oben. Dann konvergiert $f_{n}$ gleichmäßig gegen $f$ genau dann, wenn für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon > 0} ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N \in \N} existiert, so dass für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \ge N} und für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in D_f} gilt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left|f_n(x)-f(x)\right| < \varepsilon.}

Beispiel

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0<q<1} eine reelle Zahl. Die Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(f_n\colon \left[0,q\right]\to\R;\, x \mapsto x^n \right)_{n\in \N}} konvergiert für $n\to \infty$ gleichmäßig gegen die Nullfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon \left[0,q\right]\to\R;\, x \mapsto 0} . Dafür ist zu zeigen, dass

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty}\, \sup_{x \in [0,q]} |f_n(x)| = 0} .

Jedes der $f_{n}$ ist auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [0,q]} nicht-negativ und monoton steigend, also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle\sup_{x \in [0,q]} |f_n(x)| = q^n} und wegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle q < 1} geht dies gegen $0$ .

Die Angabe des Konvergenzbereiches ist hierbei unerlässlich: Die Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x) = x^n} konvergiert auf dem rechtsoffenen Einheitsintervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [0,1)} zwar immer noch punktweise gegen die Nullfunktion, jedoch nicht mehr gleichmäßig. Es gilt nun Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle\sup_{x \in [0,1)} |f_n(x)| = 1} , insbesondere ist also

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{n \to \infty} \sup_{x \in [0,1)} |f_n(x)| = 1 \neq 0} .

Vergleich zwischen gleichmäßiger und punktweiser Konvergenz

Die Wahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} bei gleichmäßiger Konvergenz hängt nur von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon} ab. Im Gegensatz dazu hängt bei punktweiser Konvergenz Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} sowohl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varepsilon} als auch von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} ab. Formuliert man beide Konvergenzbegriffe mithilfe von Quantoren, so sieht man, dass sie sich in der Reihenfolge der „Einführung“ von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} und damit der Abhängigkeit der zwei Variablen voneinander unterscheiden (siehe das Unterstrichene):

punktweise Konvergenz:

\forall \varepsilon >0\ {\underline {\forall x\in D_{f}\ \exists N\in \mathbb {N} }}\ \forall n\geq N:\quad \left|f_{n}(x)-f(x)\right|<\varepsilon ,

und

gleichmäßige Konvergenz:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall \varepsilon > 0 \ \underline{\exists N \in \N \ \forall x \in D_f} \ \forall n \ge N : \quad \left|f_n(x)-f(x)\right| < \varepsilon, }

d. h., für punktweise Konvergenz muss es für jedes $x$ und für jedes $\varepsilon >0$ eine natürliche Zahl $N$ geben, so dass für alle Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle n\geq N} gilt: Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \left|f_{n}(x)-f(x)\right|<\varepsilon } .

Aus der gleichmäßigen Konvergenz folgt die punktweise Konvergenz, aber nicht umgekehrt. Beispielsweise konvergiert die Funktionenfolge $F=(f_{n})_{n\in \mathbb {N} }$ definiert durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x) = \begin{cases} 0, & x \leq n \\ 1, & x>n \end{cases} }

punktweise gegen die Nullfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\equiv 0} für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x\in\R} , ist aber keine gleichmäßig konvergente Folge.

Bezeichnung

Für die gleichmäßige Konvergenz einer Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in \N}} , die gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} strebt, wird meistens eine der folgenden Bezeichnungen verwendet^[7]^[8]

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n\underset{n\ }{\Rightarrow}f,}

oder

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n\underset{n\ }{\rightrightarrows}f,}

oder

\lim _{n\to \infty }f_{n}=f.

Gleichmäßige Konvergenz in einem Punkt

Eine Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}} heißt in dem Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi} gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} gleichmäßig konvergent, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall \varepsilon > 0 \ \exists N \in \N\ \exists \delta>0\ \forall x \in (D_f\cap\{y\mid |y-\xi|<\delta\}) \ \forall n \ge N : \left|f_n(x)-f(x)\right| < \varepsilon.}

Wenn statt für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} die Gültigkeit der Ungleichung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |f_n(x)-f(x)| < \varepsilon} für mindestens ein $n$ verlangt wird, dann heißt die Konvergenz uniform. Gleichmäßig konvergente Folgen sind auch uniform konvergent. Die uniforme Konvergenz impliziert keine punktweise Konvergenz.^[9]

Sei

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{G}\,} die Klasse der gleichmäßig konvergenten Funktionenfolgen,
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{J}\,} die Klasse der in jedem Punkt gleichmäßig konvergenten Funktionenfolgen und
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{P}\,} die Klasse der in jedem Punkt punktweise konvergenten Funktionenfolgen.

Damit gilt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{G}\varsubsetneq \mathfrak{J} \varsubsetneq \mathfrak{P}} .

Die oben erwähnte Funktionenfolge $F$ liegt in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{J}\setminus \mathfrak{G}} , ist also in jedem Punkt gleichmäßig konvergent, aber nicht global.

Ein Beispiel für eine Funktionenfolge aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{P}\setminus \mathfrak{J}} ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (h_n)_{n\in\N}} definiert durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle h_n(x) = \begin{cases} 0, & x \in \textstyle A_n:= (\R \setminus \Q) \cup \{y \in \Q \mid y = \tfrac{p}{q}, p \in \Z, q \in \N, 0 < q \leq n \} \\ 1, & x\notin A_n \end{cases} }

Die Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (h_n)_{n\in\N}} konvergiert punktweise gegen die Nullfunktion. Denn jede rationale Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} liegt in allen $A_{n}$ , deren $n$ gleich oder größer ist als der Nenner in der vollständig gekürzten Darstellung des Bruches Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle y} . Andererseits liegen im Schnitt einer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_n} und einem beliebigen Intervall immer nur endlich viele rationale Zahlen. Daher gibt es zu jedem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} und jeder Zahl $z\in A_{n}$ stets (unendlich viele rationale) Zahlen, deren Abstand zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle z} beliebig klein ist und die nicht in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_n} liegen. Also konvergiert die Folge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \textstyle(h_n)_{n\in \N}} in keinem Punkt gleichmäßig.

Folgerungen

Wie schon erwähnt, ermöglicht der Begriff der gleichmäßigen Konvergenz ausgehend von Eigenschaften der Folge Aussagen über die Grenzfunktion, was bei punktweiser Konvergenz nicht möglich ist. Im Folgenden seien die Bezeichnungen wie bei der Definition oben, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} sei ein reelles Intervall. Es ergeben sich folgende Sätze:

Stetigkeit

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F=(f_n)_{n\in\N}} eine Folge stetiger Funktionen. Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} gleichmäßig gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} konvergiert, dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} stetig. Anstatt gleichmäßige Konvergenz zu fordern, ist es auch ausreichend, von einfach-gleichmäßiger Konvergenz auszugehen.
Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F=(f_n)_{n\in\N}} eine gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} punktweise konvergente Funktionenfolge. Alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} seien noch dazu in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi} stetig. $f$ ist in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi} stetig genau dann, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} in dem Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \xi} uniform konvergent ist.^[9]
Die Menge der Punkte gleichmäßiger Konvergenz sowie die Menge der Punkte uniformer Konvergenz einer überall punktweise konvergenten Funktionenfolge sind jeweils G_δ-Mengen.^[9]
Die gleichmäßig konvergenten Funktionenfolgen mit kompaktem Definitionsbereich sind alle gleichgradig stetig.^[7]
Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} ein kompaktes Intervall und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F=(f_n)_{n\in\N}} eine auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} gleichgradig stetige Folge. Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} punktweise gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} konvergiert, dann konvergiert sie auch gleichmäßig.
Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F=(f_n)_{n\in\N}} eine Funktionenfolge mit kompaktem Definitionsbereich $D$ . Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} besitzt genau dann eine gleichmäßig konvergente Teilfolge, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} gleichgradig stetig ist und in jedem Punkt von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} beschränkt ist (Satz von Arzelà-Ascoli).^[7]

Differenzierbarkeit

Für die Differenzierbarkeit der Grenzfunktion ergibt sich kein derart starkes Resultat wie für die Stetigkeit. Es seien die Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} differenzierbar auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} und gleichmäßig konvergent gegen

f

. Im Allgemeinen braucht die Grenzfunktion nicht einmal differenzierbar zu sein, und wenn sie es ist, muss ihre Ableitung keineswegs gleich dem Grenzwert der Ableitungen der Folge sein. So konvergiert z. B. die durch

\textstyle f_{n}(x)={\frac {\sin(nx)}{n}}

definierte Funktionenfolge gleichmäßig gegen 0, die Folge der Ableitungen

(f'_{n})_{n\in \mathbb {N} }

aber nicht.

Allgemein kann man sagen: Es seien alle

f_{n}

differenzierbar. Wenn

(f_{n})_{n\in \mathbb {N} }

in einem Punkt konvergiert und die Folge der Ableitungen

(f_{n}')_{n\in \mathbb {N} }

gleichmäßig gegen

g

konvergiert, dann konvergiert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} punktweise (sogar lokal gleichmäßig) gegen ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} ist differenzierbar mit der Ableitung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} .

Integrierbarkeit

Für das Riemann-Integral auf Intervallen kann bei gleichmäßiger Konvergenz Integration und Grenzwertbildung vertauscht werden:

Es seien alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} (Riemann-)integrierbar. Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}} gleichmäßig gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} konvergiert, dann ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} Riemann-integrierbar, und das Integral von

f

ist der Grenzwert der Integrale der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n} .

Ein Beispiel für eine punktweise, jedoch nicht gleichmäßig konvergente Funktionenfolge, bei der das Integral nicht mit dem Grenzwert vertauscht werden kann, liefert diese Funktionenfolge: Für jedes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n \in \N} ist die Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n\colon[0,2]\to\R} definiert durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x)=\begin{cases}n^2x&0\leq x\leq 1/n\\2n-n^2x&1/n\leq x\leq2/n\\0&x\geq2/n\end{cases}}

stetig und daher Riemann-integrierbar. Für das Integral gilt

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \int_0^2f_n(x)\,\mathrm dx=1} .

Die Funktionenfolge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}\;} konvergiert punktweise gegen die Nullfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(x)=0} für alle $x\in [0,2]$ . Somit ist

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1=\lim_{n\to\infty}\int_0^2f_n(x)\,\mathrm dx\ne\int_0^2\lim_{n\to\infty}f_n(x)\,\mathrm dx=0.}

Punktweise Konvergenz reicht also nicht aus, damit Grenzwert und Integralzeichen vertauscht werden dürfen.

Satz von Dini

Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} ein kompaktes Intervall und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}} eine monotone Folge stetiger Funktionen ist (d. h. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_{n+1}(x)} ≥ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x)} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_{n+1}(x)} ≤ Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f_n(x)} für jedes $n$ und beliebiges Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} ), die punktweise gegen eine ebenfalls stetige Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} konvergiert, dann konvergiert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n)_{n\in\N}} auch gleichmäßig.

Verallgemeinerungen

Gleichmäßige Konvergenz komplexer Funktionenfolgen

Definition

Die gleichmäßige Konvergenz für komplexe Funktionenfolgen wird genau so wie im Falle von reellen Funktionenfolgen definiert. Eine Funktionenfolge

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F=(f_n \colon D_f\subseteq\mathbb{C}\to\mathbb{C})_{n\in \N}}

heißt gegen

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon D_f\subseteq\mathbb{C}\to\mathbb{C}}

gleichmäßig konvergent, wenn

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \forall \varepsilon \in \R_+ \ \exists N \in \N \ \forall z \in D_f \ \forall n \ge N : \left|f_n(z)-f(z)\right| < \varepsilon.}

Chordal gleichmäßige Konvergenz

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F} heißt chordal gleichmäßig konvergent, wenn

\forall \varepsilon \in \mathbb {R} _{+}\ \exists N\in \mathbb {N} \ \forall z\in D_{f}\ \forall n\geq N:\chi (f_{n}(z),f(z))<\varepsilon ,

wobei

\chi (w,z)={\frac {|w-z|}{\sqrt {(1+|w|^{2})(1+|z|^{2})}}}

die Bezeichnung für chordalen Abstand ist.

Sei

${\mathfrak {K}}(D)\,$ die Klasse der auf $D$ gleichmäßig konvergenten Funktionenfolgen,
${\mathfrak {H}}(D)\,$ die Klasse der auf $D$ chordal gleichmäßig konvergenten Funktionenfolgen und
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{B}(D)\,} die Klasse der auf $D$ gegen eine in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} beschränkte Funktion punktweise konvergenten Funktionenfolgen.

Es gilt

{\mathfrak {H}}(D)\cap {\mathfrak {B}}(D)\subset {\mathfrak {K}}(D)\varsubsetneq {\mathfrak {H}}(D)\,

Eigenschaften

Ähnlich wie bei der gleichmäßigen Konvergenz reeller Funktionenfolgen können auch im Komplexen der gleichmäßige Grenzwert mit dem Differential oder dem Kurvenintegral vertauscht werden.

Gleichmäßige Konvergenz μ-fast überall

Die gleichmäßige Konvergenz μ-fast überall ist eine maßtheoretische Abwandlung der gleichmäßigen Konvergenz. Sie fordert die gleichmäßige Konvergenz nur auf fast allen Punkten. Auf einer Nullmenge muss also keine gleichmäßige Konvergenz oder sogar überhaupt keine Konvergenz vorliegen. Die gleichmäßige Konvergenz entspricht der Konvergenz im p-ten Mittel für den Grenzfall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle p \to \infty } und kann damit über die entsprechenden Integralnormen mittels des wesentlichen Supremums in die Theorie der Lp-Räume eingebettet werden. Man spricht dann auch von der Konvergenz in ${\mathcal {L}}^{\infty }$ .

Fast gleichmäßige Konvergenz

Wie auch die gleichmäßige Konvergenz μ-fast überall ist die fast gleichmäßige Konvergenz eine Maßtheoretische Variante der gleichmäßigen Konvergenz. Sie fordert, dass auf dem Komplement einer Menge beliebig kleinen Maßes gleichmäßige Konvergenz vorliegt. Dies ist eine echte Verschärfung der gleichmäßigen Konvergenz μ-fast überall.

Gleichmäßige Konvergenz in metrischen Räumen

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S} eine Menge, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (M,d)} ein metrischer Raum und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (f_n \colon S \to M)_{n \in \N}} eine Funktionenfolge. Diese Funktionenfolge heißt gleichmäßig konvergent gegen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} , wenn für alle $\varepsilon >0$ ein $N\in \mathbb {N}$ existiert, so dass $\forall n\geq N$

\sup _{x\in S}\ d(f_{n}(x),f(x))<\varepsilon

gilt.

Gleichmäßige Konvergenz in uniformen Räumen

Völlig analog lässt sich gleichmäßige Konvergenz für Funktionen in einen uniformen Raum $Y$ mit einem System von Nachbarschaften $\Phi$ definieren: Ein Filter (oder allgemeiner eine Filterbasis) ${\mathcal {F}}$ auf der Menge der Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\to Y} für eine Menge $X$ konvergiert genau dann gegen eine Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon X\to Y} , wenn für jede Nachbarschaft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle E\in\Phi} ein Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle F\in\mathcal{F}} existiert, sodass

\left\{\left(f(x),g(x)\right)\mid x\in X,\ g\in F\right\}\subseteq E

.

Siehe auch

Der Begriff der gleichmäßigen Konvergenz ist für den Spezialfall beschränkter Funktionen derselbe wie der der Konvergenz bezüglich der Supremumsnorm.
Kompakte Konvergenz
Lokal gleichmäßige Konvergenz
Abelsches Kriterium für gleichmäßige Konvergenz

Literatur

Klaus Viertel: Geschichte der gleichmäßigen Konvergenz. Springer 2014

Weblinks

Eric W. Weisstein: uniform convergence. In: MathWorld (englisch).
gleichmäßige Konvergenz (Vorlesung Uni Saarbrücken)

Einzelnachweise

↑ St. Goebbels, St. Ritter: Mathematik verstehen und anwenden – von den Grundlagen bis zu Fourier-Reihen und Laplace-Transformation. Spektrum, Heidelberg 2011. ISBN 978-3-8274-2761-8, S. 360–369.
↑ Anton Deitmar: Analysis. 2. Auflage. Springer Spektrum, Tübingen, S. 147.
↑ Seidel: Note über eine Eigenschaft der Reihen, welche discontinuirliche Functionen darstellen. In: Abhandlungen der Mathem.-Physikalische Classe der Königlich Bayerischen Akademie der Wissenschaften, Band 5, 1847, S. 381–394. Von Heinrich Liebmann 1900 in der Reihe Ostwalds Klassiker mit einem Aufsatz von Dirichlet (1837) neu herausgegeben.
↑ Stokes: On the critical values of sums of periodic series. 1847. In: Stokes, Mathematical and Physical Papers, Band 1, Cambridge UP, 1880, S. 237, archive.org
↑ In dem Buch von Klaus Viertel wird das bezweifelt, ebenso wie die Schlussfolgerung von Alfred Pringsheim in der Enzyklopädie der mathematischen Wissenschaften (1899) Cauchy hätte 1853 den Begriff gleichmäßige Konvergenz scharf definiert und unabhängig von Seidel und Stokes gefunden.
↑ Klaus Viertel: Geschichte der gleichmäßigen Konvergenz. Springer, 2014
↑ ^a ^b ^c H. Heuser: Lehrbuch der Analysis. B. G. Teubner, Stuttgart 1984, ISBN 3-519-22221-3, Teil 1, XIII., 103., 106.
↑ V. Zorich: Analysis II. Springer, 2007, ISBN 978-3-540-46231-6.
↑ ^a ^b ^c F. Hausdorff: Grundzüge der Mengenlehre. 1914, Chelsea Publishing Co., New York 1949, Kap. IX, § 4.

[Goebbels-1] St. Goebbels, St. Ritter: Mathematik verstehen und anwenden – von den Grundlagen bis zu Fourier-Reihen und Laplace-Transformation. Spektrum, Heidelberg 2011. ISBN 978-3-8274-2761-8, S. 360–369.

[2] Anton Deitmar: Analysis. 2. Auflage. Springer Spektrum, Tübingen, S. 147.

[3] Seidel: Note über eine Eigenschaft der Reihen, welche discontinuirliche Functionen darstellen. In: Abhandlungen der Mathem.-Physikalische Classe der Königlich Bayerischen Akademie der Wissenschaften, Band 5, 1847, S. 381–394. Von Heinrich Liebmann 1900 in der Reihe Ostwalds Klassiker mit einem Aufsatz von Dirichlet (1837) neu herausgegeben.

[4] Stokes: On the critical values of sums of periodic series. 1847. In: Stokes, Mathematical and Physical Papers, Band 1, Cambridge UP, 1880, S. 237, archive.org

[5] In dem Buch von Klaus Viertel wird das bezweifelt, ebenso wie die Schlussfolgerung von Alfred Pringsheim in der Enzyklopädie der mathematischen Wissenschaften (1899) Cauchy hätte 1853 den Begriff gleichmäßige Konvergenz scharf definiert und unabhängig von Seidel und Stokes gefunden.

[6] Klaus Viertel: Geschichte der gleichmäßigen Konvergenz. Springer, 2014

[Heuser-7] H. Heuser: Lehrbuch der Analysis. B. G. Teubner, Stuttgart 1984, ISBN 3-519-22221-3, Teil 1, XIII., 103., 106.

[Zo-8] V. Zorich: Analysis II. Springer, 2007, ISBN 978-3-540-46231-6.

[Haus-9] F. Hausdorff: Grundzüge der Mengenlehre. 1914, Chelsea Publishing Co., New York 1949, Kap. IX, § 4.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

Anonym

Suche

Gleichmäßige Konvergenz

Namensräume

Mehr

Seitenaktionen

Inhaltsverzeichnis

Geschichte

Definition

Beispiel

Vergleich zwischen gleichmäßiger und punktweiser Konvergenz

Bezeichnung

Gleichmäßige Konvergenz in einem Punkt