Funktionenfolgen/K/Einführung/Textabschnitt

Definition

Es sei ${}T$ eine Menge und

f_{n}\colon T\longrightarrow {\mathbb {K} },

( ${}n\in \mathbb {N}$ ) eine Folge von Funktionen. Man sagt, dass die Funktionenfolge punktweise konvergiert, wenn für jedes ${}x\in T$ die Folge

{\left(f_{n}(x)\right)}_{n\in \mathbb {N} }

(in ${}{\mathbb {K} }$ ) konvergiert.

Wenn eine punktweise konvergente Funktionenfolge vorliegt, so wird durch

{}f(x):=\lim _{n\rightarrow \infty }f_{n}(x)\,

eine sogenannte Grenzfunktion ${}f\colon T\rightarrow {\mathbb {K} }$ definiert.

Selbst wenn (bei ${}T\subseteq {\mathbb {K} }$ ) sämtliche Funktionen ${}f_{n}$ stetig sind, muss diese Grenzfunktion nicht stetig sein.

Beispiel

Es sei ${}T=[0,1]$ und

f_{n}\colon [0,1]\longrightarrow \mathbb {R} ,\,x\longmapsto x^{n}.

Für jedes ${}x\in [0,1]$ , ${}x<1$ , konvergiert die Folge ${}{\left(x^{n}\right)}_{n\in \mathbb {N} }$ nach Aufgabe gegen ${}0$ und für ${}x=1$ liegt die konstante Folge zum Wert ${}1$ vor. Die Grenzfunktion ist also

{}f(x)={\begin{cases}0,\,{\text{ falls }}x<1\,,\\1{\text{ sonst}}\,.\end{cases}}\,

Diese Funktion ist nicht stetig, obwohl alle ${}f_{n}$ stetig sind.

Man braucht einen stärkeren Konvergenzbegriff, um die Stetigkeit der Grenzfunktion zu sichern.

Definition

Es sei ${}T$ eine Menge und

f_{n}\colon T\longrightarrow {\mathbb {K} },

( ${}n\in \mathbb {N}$ ) eine Folge von Funktionen. Man sagt, dass die Funktionenfolge gleichmäßig konvergiert, wenn es eine Funktion

f\colon T\longrightarrow {\mathbb {K} }

derart gibt, dass es zu jedem ${}\epsilon >0$ ein ${}n_{0}$ mit

d{\left(f_{n}(x),f(x)\right)}\leq \epsilon {\text{ für alle }}n\geq n_{0}{\text{ und alle }}x\in T

gibt.

Bei gleichmäßiger Konvergenz liegt insbesondere punktweise Konvergenz vor und die Funktion ${}f$ aus der vorstehenden Definition ist die Grenzfunktion.

Lemma

Es sei ${}T\subseteq {\mathbb {K} }$

eine Teilmenge und es sei

f_{n}\colon T\longrightarrow {\mathbb {K} }

eine Folge von stetigen Funktionen, die gleichmäßig gegen die Funktion ${}f$ konvergiert.

Dann ist ${}f$ stetig.

Beweis

Sei ${}x\in T$ und ${}\epsilon >0$ vorgegeben. Aufgrund der gleichmäßigen Konvergenz gibt es ein ${}n_{0}$ mit ${}d{\left(f_{n}(y),f(y)\right)}\leq \epsilon /3$ für alle ${}n\geq n_{0}$ und alle ${}y\in T$ . Wegen der Stetigkeit von ${}f_{n_{0}}$ in ${}x$ gibt es ein ${}\delta >0$ mit ${}d{\left(f_{n_{0}}(x),f_{n_{0}}(y)\right)}\leq \epsilon /3$ für alle ${}y\in T$ mit ${}d{\left(x,y\right)}\leq \delta$ . Für diese ${}y$ gilt somit