Epsilontik

Grundidee und Bedeutung

Die Epsilontik ist eine Methode der Analysis, mit der Begriffe wie Grenzwert und Stetigkeit mathematisch exakt formuliert werden. Ihr zentraler Begriff ist die ε-Umgebung einer reellen Zahl a. Für eine positive reelle Zahl ε ist dies das offene Intervall ]a−ε, a+ε[. Es enthält also alle reellen Zahlen, deren Abstand von a kleiner als ε ist.

Die Größe ε kann beliebig klein gewählt werden. Dadurch lässt sich präzise ausdrücken, dass Werte beliebig nahe an einer bestimmten Zahl liegen. Die Epsilontik ersetzt dabei anschauliche, aber ungenaue Aussagen wie „strebt gegen“ oder „wird beliebig klein“ durch überprüfbare Bedingungen.

Wichtige Anwendungen

Die Epsilontik wird insbesondere für folgende Begriffe verwendet:

• Konvergenz einer Zahlenfolge gegen einen Grenzwert • Cauchy-Folge • Grenzwert von Funktionen • Stetigkeit und gleichmäßige Stetigkeit einer Funktion

In allen diesen Fällen wird die gewünschte Annäherung mithilfe beliebig kleiner positiver Größen exakt beschrieben.

Konvergenz einer Zahlenfolge

Eine Folge reeller Zahlen (fₙ)ₙ∈ℕ konvergiert gegen den Grenzwert g, wenn es zu jeder Zahl ε∈ℝ mit ε>0 eine Zahl n₀∈ℕ gibt, sodass für jeden Index n>n₀ gilt:

|fₙ−g|<ε.

In Quantorenschreibweise lautet die Definition:

∀ε>0 ∃n₀∈ℕ ∀n>n₀: |fₙ−g|<ε.

Das bedeutet: Für jede noch so kleine positive Zahl ε kann ein Index n₀ gefunden werden, ab dem alle weiteren Folgenglieder in der ε-Umgebung von g liegen. Der Index n₀ darf dabei von ε abhängen. Je kleiner die vorgegebene Umgebung ist, desto größer kann der notwendige Startindex sein.

Beispiel und Beweis

Betrachtet wird die Folge (fₙ)ₙ∈ℕ:=(1/n)ₙ∈ℕ. Sie konvergiert gegen den Grenzwert g:=0.

Zum Beweis wird ein beliebiges ε>0 vorgegeben. Es muss ein n₀ gefunden werden, sodass für alle n>n₀ die Ungleichung |fₙ−g|<ε gilt. Hier ist

|fₙ−g|=1/n.

Man wählt n₀ so, dass n₀>1/ε ist. Für alle n>n₀ folgt dann:

|fₙ−g|=1/n<1/n₀<ε.

Damit liegen ab diesem Index sämtliche Folgenglieder in der vorgegebenen ε-Umgebung von 0. Da das Vorgehen für jedes ε>0 funktioniert, ist die Konvergenz gegen 0 bewiesen.

Entwicklung und Verallgemeinerungen

Die Epsilontik geht auf Karl Weierstraß zurück. Er führte ε-Umgebungen zur Definition des Grenzwerts ein und stellte den für die Analysis zentralen Grenzwertbegriff damit auf ein stabiles mathematisches Fundament. Dies ermöglichte exakte Definitionen und Beweise anstelle rein anschaulicher Bewegungsvorstellungen.

Die ε-Umgebung auf der Zahlengeraden lässt sich verallgemeinern: In der Ebene entspricht sie einer kreisförmigen offenen Umgebung, im Raum einer kugelförmigen offenen Umgebung. Allgemein gibt es ε-Umgebungen in metrischen Räumen, also Räumen, in denen ein Abstand zwischen Punkten definiert ist. Eine noch weitergehende Verallgemeinerung ist die offene Menge in einem topologischen Raum.