Gleichmäßige Konvergenz

In der Analysis beschreibt gleichmäßige Konvergenz die Eigenschaft einer Funktionenfolge (f_n)_{n\in\N}, mit einer vom Funktionsargument unabhängigen „Geschwindigkeit“ gegen eine Grenzfunktion f zu konvergieren. Im Gegensatz zu punktweiser Konvergenz erlaubt der Begriff der gleichmäßigen Konvergenz, wichtige Eigenschaften der Funktionen f_n wie Stetigkeit, Differenzierbarkeit und Riemann-Integrierbarkeit, auf die Grenzfunktion f zu übertragen.

Definition

Gegeben seien eine Funktionenfolge

\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 f seien auf derselben Definitionsmenge D_f definiert. Die Folge (f_n)_{n\in\N} konvergiert genau dann gleichmäßig gegen f, wenn

\lim_{n\rightarrow\infty}\,\sup_{x\in D_f} \left|f_n(x)-f(x)\right|=0.

Man betrachtet hier die absolute Differenz von f_n\left(x\right) und f\left(x\right) für alle x aus dem Definitionsbereich. Die Menge dieser Differenzen ist entweder unbeschränkt oder hat eine kleinste obere Schranke, ein Supremum. Gleichmäßige Konvergenz von f_n gegen f bedeutet, dass dieses Supremum für fast alle n existiert und gegen Null geht, wenn 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 \varepsilon > 0 ein N \in \N existiert, so dass für alle n \ge N und für alle x \in D_f gilt:

\left|f_n(x)-f(x)\right| < \varepsilon.

Beispiel

Die Funktionenfolge

\left(f_n\colon \left[0,q\right]\to\R\right)_{n\in \N}\ \text{mit}\  f_n(x)=x^n

konvergiert für 0<q<1 auf ihrem Definitionsbereich für n\to \infty gleichmäßig gegen

f\colon \left[0,q\right]\to\R\ \text{mit}\  f(x)=0

Vergleich zwischen gleichmäßiger und punktweiser Konvergenz

Die Wahl von N bei gleichmäßiger Konvergenz hängt nur von \varepsilon ab. Im Gegensatz dazu hängt bei punktweiser Konvergenz N sowohl von \varepsilon als auch von x ab. Formuliert man beide Konvergenzbegriffe mithilfe von Quantoren, so sieht man, dass sie sich in der Reihenfolge der „Einführung“ von x und 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 \N} \ \forall n \ge N : \quad \left|f_n(x)-f(x)\right| < \varepsilon, und
gleichmäßige Konvergenz: \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 n\geq N gilt: \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 \N} definiert durch

f_n(x) = \begin{cases} 0, & x \leq n \\ 1, & x>n \end{cases}

punktweise gegen die Nullfunktion f\equiv 0 für jedes x\in\R, ist aber keine gleichmäßig konvergente Folge.

Bezeichnung

Für die gleichmäßige Konvergenz einer Funktionenfolge (f_n)_{n\in \N}, die gegen f strebt, wird meistens eine der folgenden Bezeichnungen verwendet

f_n\underset{n\ }{\Rightarrow}f,

oder

f_n\underset{n\ }{\rightrightarrows}f,

oder

\lim_{n \to \infty} f_n=f.

Gleichmäßige Konvergenz in einem Punkt

Eine Funktionenfolge (f_n)_{n\in\N} heißt in dem Punkt \xi gegen f gleichmäßig konvergent, wenn

\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 n die Gültigkeit der Ungleichung |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.

Sei

Damit gilt: \mathfrak{G}\varsubsetneq \mathfrak{J} \varsubsetneq \mathfrak{P}.

Die oben erwähnte Funktionenfolge F liegt in \mathfrak{J}\setminus \mathfrak{G}, ist also in jedem Punkt gleichmäßig konvergent, aber nicht global.

Ein Beispiel für eine Funktionenfolge aus \mathfrak{P}\setminus \mathfrak{J} ist (h_n)_{n\in\N} definiert durch

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 (h_n)_{n\in\N} konvergiert punktweise gegen die Nullfunktion. Denn jede rationale Zahl 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 y. Andererseits liegen im Schnitt einer A_n und einem beliebigen Intervall immer nur endlich viele rationale Zahlen. Daher gibt es zu jedem n und jeder Zahl z \in A_n stets (unendlich viele rationale) Zahlen, deren Abstand zu z beliebig klein ist und die nicht in A_n liegen. Also konvergiert die Folge \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, I sei ein reelles Intervall. Es ergeben sich folgende Sätze:

Stetigkeit

Differenzierbarkeit

Für die Differenzierbarkeit der Grenzfunktion ergibt sich kein derart starkes Resultat wie für die Stetigkeit. Es seien die f_n differenzierbar auf 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 \N} aber nicht.
Allgemein kann man sagen: Es seien alle f_n differenzierbar. Wenn (f_n)_{n\in\N} in einem Punkt konvergiert und die Folge der Ableitungen (f_n')_{n\in\N} gleichmäßig gegen g konvergiert, dann konvergiert f_n punktweise (sogar lokal gleichmäßig) gegen ein f und f ist differenzierbar mit der Ableitung g.

Integrierbarkeit

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

Es seien alle f_n (Riemann-)integrierbar. Wenn (f_n)_{n\in\N} gleichmäßig gegen f konvergiert, dann ist f Riemann-integrierbar, und das Integral von f ist der Grenzwert der Integrale der 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 n \in  \N ist die Funktion f_n\colon[0,2]\to\R definiert durch

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

\int_0^2f_n(x)\,\mathrm dx=1.

Die Funktionenfolge (f_n)_{n\in\N}\; konvergiert punktweise gegen die Nullfunktion f(x)=0 für alle x \in [0,2]. Somit ist

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 I ein kompaktes Intervall und (f_n)_{n\in\N} eine monotone Folge stetiger Funktionen ist (d.h. f_{n+1}(x)f_n(x) oder f_{n+1}(x)f_n(x) für jedes n und beliebiges x), die punktweise gegen eine ebenfalls stetige Funktion f konvergiert, dann konvergiert (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

F=(f_n \colon D_f\subseteq\mathbb{C}\to\mathbb{C})_{n\in \N}

heißt gegen

f \colon D_f\subseteq\mathbb{C}\to\mathbb{C}

gleichmäßig konvergent, wenn

\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

F heißt chordal gleichmäßig konvergent, wenn

\forall \varepsilon \in \R_+ \ \exists N \in \N \ \forall z \in D_f \ \forall n \ge 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

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 in metrischen Räumen

Sei S eine Menge, (M,d) ein metrischer Raum und (f_n \colon S \to M)_{n \in \N} eine Funktionenfolge. Diese Funktionenfolge heißt gleichmäßig konvergent gegen f, wenn für alle \varepsilon > 0 ein N \in \N existiert, so dass \forall n\ge 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 X\to Y für eine Menge X konvergiert genau dann gegen eine Funktion f\colon X\to Y, wenn für jede Nachbarschaft E\in\Phi ein 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

Trenner
Basierend auf einem Artikel in: externer Link Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung: Jena, den: 28.06. 2019