Epsilontik

Eine Epsilon-/ε-Umgebung um die Zahl a, eingezeichnet auf der Zahlengeraden

Epsilontik ist eine saloppe, teilweise auch abwertende Bezeichnung für eine mathematische Notation, die in der Analysis weite Anwendung findet. Sie wird verwendet, um den Grenzwertbegriff mathematisch exakt formulieren zu können. Der Betrag der Abweichung von dem Grenzwert wird in der Regel mit dem griechischen Buchstaben Epsilon (ε) bezeichnet. Um z. B. die Konvergenz einer Folge $\!\ f_n$ gegen den Grenzwert $\!\ f$ zu beweisen, zeigt man, dass für jede noch so kleine Zahl ε > 0 eine Zahl $\!\ n_0$ existiert so, dass für jedes $\!\ n>n_0$ gilt: | f_n − f | < ε.

Oder in den beiden gebräuchlichen Quantoren-Schreibweisen:

1	$\bigwedge_{\varepsilon >0}$	$\bigvee_{n_0}$	$\bigwedge_{n>n_0}$	$\left| f_n-f \right| < \varepsilon$
2	$\forall \varepsilon >0$	$\exists n_0$	$\forall n>n_0:$	$\left| f_n-f \right| < \varepsilon$
zu lesen als:	Zu jedem Epsilon größer null	existiert ein n-null so,	dass für alle n größer n-null gilt:	Betrag von fn minus f ist kleiner als Epsilon.

Da Beweise für die Konvergenz einer Folge in der Epsilontik oft den Satz „Sei ε > 0“ enthalten, gibt es Witze wie die (einem Mathematiker absurd erscheinende) Variante „Sei ε < 0“.

Die Epsilontik geht auf Karl Weierstraß zurück, der erstmals die Epsilon-Umgebungen zur Definition des Grenzwerts eingeführt hat.^[1] Mit dieser Definition wird lediglich verlangt, dass Variablen in einem bestimmten Bereich liegen, und nicht mehr davon geredet, dass Variablen sich auf einen Grenzwert hinbewegen. Hatte man vorher intuitiv mit Bewegungsvorstellungen argumentiert, so stellte nun die Notation der Epsilontik den Grenzwertbegriff auf ein stabiles mathematisches Fundament, das eine exakte Problemdefinition und Beweisbarkeit ermöglichte.

Quellen

1. ↑ Harro Heuser: Lehrbuch der Analysis. Teil 2. B. G. Teubner, Stuttgart 1990, ISBN 3-519-42222-0. S. 696 f.