Punktweise Konvergenz
Die punktweise Konvergenz ist in der Analysis ein Konvergenzbegriff für Funktionenfolgen. Eine Funktionenfolge <math>(f_n)_{n\in\N}</math> konvergiert punktweise gegen eine Funktion <math>f,</math> wenn für alle Stellen ("Punkte") <math>x</math> aus dem gemeinsamen Definitionsbereich die Folge <math>(f_n(x))_{n\in\N}</math> gegen <math>f(x)</math> konvergiert.
Definition
Gegeben sei eine Funktionenfolge <math>f_n \colon D \to \R</math>, <math>n \in \N</math>. Die Funktionenfolge heißt punktweise konvergent gegen eine Funktion <math>f \colon D \to \R</math>, wenn für alle <math>x \in D</math> gilt
- <math>\lim_{n\rightarrow\infty}f_n(x)=f(x)</math>.
Man schreibt dann
- <math>\lim_{n\to\infty}f_n = f \text{ punktweise}</math>
oder
- <math>f_n \xrightarrow{\text{pktw.}} f\ (n \to \infty)</math>.
Formal konvergiert <math>f_n</math> also genau dann punktweise gegen <math>f</math>, wenn
- <math>\forall x \in D \ \forall \varepsilon > 0 \ \exists N \in \N \ \forall n \ge N\colon \left|f_n(x)-f(x)\right| < \varepsilon</math>,
das heißt, es muss für jedes <math>x</math> und für jedes <math>\varepsilon > 0</math> eine natürliche Zahl <math>N</math> geben, so dass für alle <math>n\geq N</math> gilt: <math>\left|f_n(x)-f(x)\right| < \varepsilon</math>.
Beispiel
Zum Beispiel konvergiert die Folge <math>f_n</math> mit
- <math>f_n\colon x \mapsto x^n</math>
im Intervall <math>[0, 1]</math> punktweise gegen die Funktion <math>f \colon [0,1] \to \R</math> mit
- <math>f(x) = \begin{cases}
0, & 0 \leq x < 1, \\ 1, & x=1
\end{cases}</math>
denn offenbar gilt
- <math> \lim_{n\to\infty}x^n = 0 \ \mathrm{f\ddot ur\ alle}\ x \in [0, 1) \text{ und }
\lim_{n\to\infty}1^n = 1.
</math>
Abgrenzung
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 <math>f_n</math> nicht unbedingt reelle Zahlen sein, sie können Elemente irgendeines topologischen Raumes sein.
Siehe auch
Literatur
- Konrad Königsberger: Analysis 1. Springer, Berlin 2004, ISBN 3-540-41282-4
hu:Függvénysorozatok konvergenciája#Pontonkénti konvergencia