Konvergenzmodul

In der reellen Analysis ist ein Konvergenzmodul eine Funktion, welche angibt, wie schnell eine konvergente Folge konvergiert. Konvergenzmoduln werden oft in der berechenbaren Analysis und konstruktiven Mathematik verwendet.

Wenn eine Folge reeller Zahlen $(x_i)$ gegen eine reelle Zahl $x$ konvergiert, dann gibt es nach Definition für jedes reelle $ϵ>0$ eine natürliche Zahl $N$ so, dass $|x-x_i|<ϵ$, falls $i>N$. Ein Konvergenzmodul ist im Wesentlichen eine Funktion, die bei gegebenem $ϵ$ einen entsprechenden Wert von $N$ berechnet.

Definition

Sei $(x_i)$ einen konvergente Folge reeller Zahlen mit Grenzwert $x$. Es gibt zwei Arten, einen Konvergenzmodul als eine Funktion von den natürlichen Zahlen in die natürlichen Zahlen zu definieren:

• Als eine Funktion $f(n)$ so, dass für alle $n\in \mathbb{N}$ gilt: wenn $i>f(n)$, dann $|x-x_i|<1/n$.
• Als eine Funktion $g(n)$ so, dass für alle $n$ gilt: wenn $i\ge j>g(n)$, dann $|x_i-x_j|<1/n$. (Diese existiert, da jede konvergente Folge eine Cauchy-Folge ist.)

Die letztere Definition wird oft in konstruktiven Szenarien eingesetzt, wobei der Grenzwert $x$ unter Umständen mit der konvergenten Folge identifiziert wird. Manche Autoren verwenden eine alternative Definition, die $1/n$ durch $2^{-n}$ ersetzt.

Einzelnachweise

• Klaus Weihrauch (2000), Computable Analysis.