Punktweise Konvergenz

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die punktweise Konvergenz ist in der Analysis ein Konvergenzbegriff für Funktionenfolgen. Eine Funktionenfolge (f_n)_{n\in\N} konvergiert punktweise gegen eine Funktion f, wenn für alle Stellen x aus dem gemeinsamen Definitionsbereich die Folge (f_n(x))_{n\in\N} gegen f(x) konvergiert.

Definition[Bearbeiten]

Gegeben sei eine Funktionenfolge f_n \colon D \to \R, n \in \N. Die Funktionenfolge heißt punktweise konvergent gegen eine Funktion f \colon D \to \R, wenn für alle x \in D gilt

\lim_{n\rightarrow\infty}f_n(x)=f(x).

Man schreibt dann

\lim_{n\rightarrow\infty}f_n = f\ \mbox{punktweise}

oder

f_n \xrightarrow{\text{pktw.}} f\ (n \rightarrow \infty).

Formal konvergiert f_n also genau dann punktweise gegen f, wenn

\forall x \in D \ \forall \varepsilon > 0 \ \exists N \in \mathbb{N} \ \forall n \ge N : \left|f_n(x)-f(x)\right| < \varepsilon,

das heißt, es muss 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.

Beispiel[Bearbeiten]

Zum Beispiel konvergiert die Folge f_n mit

f_n : x \mapsto x^n

im Intervall [0, 1] punktweise gegen die Funktion f \colon [0,1] \to \R mit

f(x) = \begin{cases} 
 0, & 0 \leq x < 1 \\ 
 1, & x=1,
\end{cases}

denn offenbar gilt

 \lim_{n\rightarrow\infty}x^n = 0 \ \mbox{für alle}\ x \in [0, 1) \ \mbox{und}\ 
       \lim_{n\rightarrow\infty}1^n = 1.

Abgrenzung[Bearbeiten]

Es ist allerdings zu beachten, dass punktweise Konvergenz nicht gleichbedeutend mit gleichmäßiger Konvergenz ist, da z. B. das oben genannte Beispiel zwar punktweise, keineswegs aber gleichmäßig konvergiert (so ist jedes Glied der Folge überall stetig differenzierbar, die Grenzfunktion allerdings nicht einmal stetig): Gleichmäßige Konvergenz ist eine wesentlich stärkere Aussage.

Eine Abschwächung der punktweisen Konvergenz ist die punktweise Konvergenz fast überall.

Für punktweise Konvergenz müssen die Werte der Funktionen f_n nicht unbedingt reelle Zahlen sein, sie können Elemente irgendeines topologischen Raumes sein.

Literatur[Bearbeiten]