5. Monotonie und Beschränktheit
Voraussetzung: 04 Grenzwert und Konvergenz von Folgen (Grenzwertbegriff), 03 Vollständige Induktion (Beweistechnik)
5.1 Monotonie
Definition: Monotonie einer Funktion
Eine Funktion heißt
Folgen sind spezielle Funktionen mit (siehe 02 Folgen - Grundlagen).
Monotonie bei Folgen: Vereinfachtes Kriterium
Behauptung: ist
Man muss also nicht alle Paare prüfen, sondern es reicht, direkt aufeinanderfolgende Glieder zu vergleichen.
Beweis (für streng monoton wachsend):
Die Rückrichtung "" ist der Spezialfall der allgemeinen Definition — trivial.
Für "" (den interessanten Teil): Seien mit .
Durch wiederholtes Anwenden der Voraussetzung ( für jedes ) entsteht eine Kette:
Also , d.h. . ∎
Praktischer Nutzen
Um Monotonie einer Folge zu zeigen, reicht es, nur und zu vergleichen (z.B. per Differenz oder Quotient ) — man muss nicht beliebige Indexpaare betrachten.
5.2 Beschränktheit
Definition: Schranke
heißt obere Schranke von , falls . heißt untere Schranke von , falls .
Definition: Beschränktheit
heißt:
- nach oben beschränkt, wenn es eine obere Schranke gibt
- nach unten beschränkt, wenn es eine untere Schranke gibt
- beschränkt, wenn es sowohl eine obere als auch eine untere Schranke gibt
Beispiel:
- ist obere Schranke von
- ist untere Schranke von
- ist beschränkt
Beobachtung: Monotonie impliziert einseitige Beschränktheit
Satz
Jede monoton wachsende Folge ist nach unten beschränkt (durch ). Jede monoton fallende Folge ist nach oben beschränkt (durch ).
Beweis (für monoton wachsend, mittels vollständiger Induktion — siehe 03 Vollständige Induktion):
Behauptung:
Induktionsanfang: — wahr.
Induktionsschritt:
Voraussetzung:
Behauptung:
Beweis: ∎
Merke
Monotonie allein garantiert nur einseitige Beschränktheit “automatisch” (durch das Startglied). Für die Beschränktheit auf der anderen Seite braucht man ein zusätzliches Argument (siehe Konvergenzsatz unten).
5.3 Konvergenzverhalten monotoner Folgen
Dies ist einer der wichtigsten Sätze über Folgen — er erlaubt es, Konvergenz nachzuweisen, ohne den Grenzwert vorher zu kennen.
Satz (Monotonie + Beschränktheit Konvergenz)
- Ist monoton wachsend und nach oben beschränkt, dann ist konvergent (d.h. es existiert ein endlicher Grenzwert).
- Ist monoton wachsend und nicht nach oben beschränkt, dann ist .
- Ist monoton fallend und nach unten beschränkt, dann ist konvergent.
- Ist monoton fallend und nicht nach unten beschränkt, dann ist .
- Jede konvergente Folge ist beschränkt.

Beweis zu 1.
ist nach oben beschränkt es existiert eine obere Schranke. Sei die kleinste obere Schranke (diese existiert nach der Vollständigkeit von — dem sogenannten Supremumsprinzip).
Behauptung:
Beweis: Sei beliebig.
ist keine obere Schranke (sonst wäre ja nicht die kleinste obere Schranke — Widerspruch zur Minimalität von ). also
Wegen der Monotonie gilt dann für alle :
Also: , d.h. (strikt, wie es die Grenzwertdefinition verlangt).
Beweis zu 2.
nicht nach oben beschränkt für jede Zahl ist keine obere Schranke:
Wegen der Monotonie gilt für alle : .
Beweis zu 3. und 4.
Analog zu 1. bzw. 2., jeweils mit “Schranke” durch “größte untere Schranke” (Infimum) ersetzt und die Ungleichungen umgedreht.
Beweis zu 5. (Jede konvergente Folge ist beschränkt)
konvergent (gilt insbesondere auch für ):
Damit sind alle Glieder ab beschränkt — für die endlich vielen Glieder davor () nimmt man einfach das Maximum bzw. Minimum dazu:
Umkehrung gilt NICHT
Aus Beschränktheit allein folgt nicht Konvergenz! Gegenbeispiel: ist beschränkt (), aber nicht konvergent (die Teilfolgen der geraden und ungeraden Indizes haben unterschiedliche Grenzwerte, vgl. G2 in 04 Grenzwert und Konvergenz von Folgen). Konvergenz folgt aus Beschränktheit nur zusammen mit Monotonie.
Warum ist dieser Satz so wichtig?
Er ist die Grundlage, um Konvergenz zu beweisen, ohne den Grenzwert zu kennen — man muss nur Monotonie und Beschränktheit zeigen (beides oft einfacher als eine --Abschätzung direkt für den unbekannten Grenzwert). Genau diese Technik wird im nächsten Kapitel verwendet, um die Eulersche Zahl einzuführen (siehe 06 Die Eulersche Zahl e).