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 gegen eine reelle Zahl konvergiert, dann gibt es nach Definition für jedes reelle eine natürliche Zahl so, dass , falls . Ein Konvergenzmodul ist im Wesentlichen eine Funktion, die bei gegebenem einen entsprechenden Wert von berechnet.
Definition Bearbeiten
Sei einen konvergente Folge reeller Zahlen mit Grenzwert . Es gibt zwei Arten, einen Konvergenzmodul als eine Funktion von den natürlichen Zahlen in die natürlichen Zahlen zu definieren:
- Als eine Funktion so, dass für alle gilt: wenn , dann .
- Als eine Funktion so, dass für alle gilt: wenn , dann . (Diese existiert, da jede konvergente Folge eine Cauchy-Folge ist.)
Die letztere Definition wird oft in konstruktiven Szenarien eingesetzt, wobei der Grenzwert unter Umständen mit der konvergenten Folge identifiziert wird. Manche Autoren verwenden eine alternative Definition, die durch ersetzt.
Einzelnachweise Bearbeiten
- Klaus Weihrauch (2000), Computable Analysis.