Notation 10.1.1. Es sei (a_n)_n∈ℕ eine Folge reeller Zahlen. Zudem sei M ⊆ ℝ eine Teilmenge von ℝ. Ist jedes Glied a_n der Folge ein Element der Menge M, das heißt ist a_n ∈ M für alle n ∈ ℕ, so schreiben wir (a_n) ⊆ M. In diesem Fall bezeichnen wir (a_n) auch als eine Folge in M.

Definition 10.1.2. Es sei D ⊆ ℝ eine Teilmenge von ℝ und f : D → ℝ eine Funktion. Ist a ∈ D, so nennen wir f stetig an der Stelle a oder stetig in a, wenn für alle Folgen (x_n) ⊆ D gilt:

Das heißt, wenn für alle Folgen (x_n) ⊆ D die gegen a konvergieren, auch die Folge (f(x_n)) konvergiert und zwar gegen f(a).

Ist f stetig in jedem a ∈ D, das heißt stetig an jeder Stelle des Definitionsbereiches, so bezeichnen wir f als stetig in D oder einfach als stetig.

Bemerkung 10.1.3. (fehlt) Idee mit Motivation verknüpfen

Beispiel 10.1.4.

1.

Für alle a,b,c ∈ ℝ und jede beliebige Definitionsmenge D ⊆ ℝ sind die folgenden Funktionen stetig:

• f : D → ℝ,x↦a (Konstante Funktionen)
• f : D → ℝ,x↦ax+b (Lineare Funktionen)
• f : D → ℝ,x↦ax² +bx+c (Quadratische Funktionen)

Da wir Stetigkeit über die Konvergenz von Folgen definiert haben, folgt die Stetigkeit der angegebenen Funktionen direkt aus den Grenzwertsätzen 9.5.12.

Wir zeigen dies exemplarisch für Funktionen der Form f : D → ℝ,x↦ax² +bx+c. Sei dazu (x_n)_n∈ℕ ⊆ D eine Folge in D, die gegen einen Wert w ∈ D konvergiert. Dann konvergiert laut den Grenzwertsätzen auch die Folge (a⋅x_n⋅x_n+b⋅x_n+c)_n∈ℕ. Genauer gesagt gilt:

Das heißt, die Folge (f(x_n))_n∈ℕ konvergiert gegen f(w). Also ist f stetig in w.

2.

Die Betragsfunktion f : ℝ → ℝ,x↦|x| ist stetig. Dies folgt ebenfalls aus dem passenden Satz über die Konvergenz von Folgen. Genauer gesagt gilt laut Betragssatz 9.5.17: konvergiert die Folge (x_n)_n∈ℕ gegen einen Wert a, so konvergiert auch die Folge (|x_n|)_n∈ℕ und zwar gegen |a|.

3.

Die Wurzelfunktion f : ℝ_≥0 → ℝ,x↦  ist stetig. Dies folgt aus dem Wurzelsatz 9.5.16.

4.

Die Funktion f : ℝ∖{0}→ ℝ,x↦  ist stetig auf ihrem Definitionsbereich: für jede Folge (x_n)_n∈ℕ in ℝ∖{0}, die gegen einen Wert a ∈ ℝ∖{0} konvergiert, dürfen wir den Grenzwertsatz für Quotienten benutzen. Das heißt, wir erhalten: Schaut man sich den Graphen an, so verwundert dieses Resultat zunächst: man würde vermuten, dass die Funktion an der Stelle 0 nicht stetig ist.

In der Tat ist es aber so, dass über das Verhalten an der Stelle 0 überhaupt keine Aussage getroffen werden kann, da 0 nicht Teil der Definitionsmenge ist. Der Graph hat dort also lediglich eine Definitionslücke und keine Sprungstelle.

5.

Jede Funktion f : ℤ → ℝ mit den ganzen Zahlen als Definitionsbereich ist stetig. Anschaulich liegt das daran, dass eine Folge in ℤ sich einer ganzen Zahl nicht “langsam” beziehungsweise “nach und nach” nähern kann: da die Glieder einer solchen Folge ganze Zahlen sind, sind auch ihre Abstände voneinander ganzzahlig. Den geringsten Abstand, den zwei ganze Zahlen zueinander haben können, ohne bereits gleich zu sein, beträgt 1. Daraus folgt, dass eine Folge (x_n)_n∈ℕ in ℤ, die gegen eine Zahl a ∈ ℤ konvergiert, ab einem gewissen Index n₀ konstant gleich a sein muss. Dann ist aber auch die Folge (f(x_n))_n∈ℕ der Funktionswerte ab dem Index n₀ konstant. Genauer gesagt gilt dann f(x_n) = f(a) für alle n ≥ n₀. Die Folge (f(x_n))_n∈ℕ konvergiert also gegen f(a).

6.

Die abschnittsweise definierte Funktion ist überall stetig, außer in 0. Um die Stetigkeit in 0 formal zu widerlegen, geben wir explizit eine Nullfolge (x_n)_n∈ℕ in ℝ an, für die die Folge (f(x_n))_n∈ℕ der Funktionswerte nicht gegen f(0) konvergiert.

Betrachten wir etwa die harmonische Folge _n∈ℕ, so gilt f = 1 für alle n ∈ ℕ. Das heißt, es gilt

Also ist f nicht stetig in 0. Dies ist auch anschaulich klar, wenn man den Graphen in der Nähe von 0 skizziert: er hat eine echte Sprungstelle. Nähert man sich von rechts der 0, so sind die Funktionswerte konstant 1. Nähert man sich von links der 0, so sind die Funktionswerte konstant −1. An der Stelle 0 selbst, ist der Funktionswert aber 0.

Die Funktion f bezeichnet man übrigens als Vorzeichenfunktion und schreibt meist sgn statt f (vom lateinischen Wort signum für Zeichen).

7.

Nimmt man aus der Definitionsmenge der Vorzeichenfunktion nun die 0 heraus, so ist die resultierende Funktion auf ganz ℝ∖{0} stetig. Wie schon in Teilbeispiel 4 würde auch hier der Graph wieder vermuten lassen, dass die Funktion an der Stelle 0 nicht stetig ist. Wie auch dort, haben wir es hier aber nicht mit einer Sprungstelle, sondern mit einer Definitionslücke zu tun.