Monotone Funktionenfolge

Eine monotone Funktionenfolge ist in der Mathematik eine spezielle Funktionenfolge reellwertiger Funktionen. Dabei heißt eine Funktionenfolge monoton wachsend, wenn die Funktionswerte für jedes Argument eine monoton wachsende Folge bilden und monoton fallend, wenn sie eine monoton fallende Folge bilden. Monotone Funktionenfolgen sind einer der vielen Monotoniebegriffe in der Mathematik und können als Spezialfall einer monotonen Abbildung angesehen werden.

Definition

Sind $f_k:D\mapsto ℝ$ für $k\in \mathbb{N}$ reellwertige Funktionen, dann heißt die Funktionenfolge $(f_k{)}_{k\in \mathbb{N}}$

• monoton wachsend auf $D$, wenn $f_k(x)\le f_{k+1}(x)$ für alle $x\in D$ ist,
• monoton fallend auf $D$, wenn $f_k(x)\ge f_{k+1}(x)$ für alle $x\in D$ ist, und
• monoton, wenn sie entweder monoton fallend oder monoton wachsend ist.

Beispiel

Man betrachte als Beispiel die Funktionenfolge $f_k(x)=x^k$. Sie ist

• monoton fallend auf $D=[0,1]$, da $f_{k+1}(x)\le f_k(x)$ äquivalent ist zu $f_{k+1}(x)-f_k(x)\le 0$ und

$x^{k+1}-x^k=x^k(x-1)\le 0$

da $x^k$ stets in $[0,1]$ ist für $x\in [0,1]$ und $(x-1)$ stets kleiner als null ist für $x\in [0,1]$. Damit ist die Funktionenfolge auch monoton auf $[0,1]$.

• monoton wachsend auf $[1,\mathrm{\infty })$, da dann $x^k$ stets größer als 1 ist, und der Term $(x-1)$ immer positiv ist, also ist

$x^{k+1}-x^k=x^k(x-1)\ge 0$.

Damit ist die Funktionenfolge auch monoton auf $[1,\mathrm{\infty })$. Sie ist jedoch nicht monoton auf $[0,\mathrm{\infty })$, da sie auf diesem größeren Intervall kein eindeutiges Monotonieverhalten hat, sondern nur auf den kleineren Teilintervallen $[0,1]$ und $[1,\mathrm{\infty })$.

• nicht monoton auf $[-1,0]$. Zwar ist $(1-x)$ immer positiv, aber es ist

$x^k=\{\begin{array}{cc}\ge 0& \text{ falls }k\text{ gerade }\\ \le 0& \text{ falls }k\text{ ungerade }\end{array}$.

Somit wechselt $x^k-x^{k+1}$ für $x\ne 0$ ständig die Vorzeichen, es kann demnach keine Monotonie gelten.

Verwendung

Monotone Funktionenfolgen finden Verwendung als Voraussetzung in einigen Sätzen der Analysis wie zum Beispiel bei dem Satz von Dini und insbesondere in der Integrationstheorie etwa bei dem Satz von der monotonen Konvergenz und bei dem Beweis des Lemmas von Fatou.

Literatur

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6. Auflage. Springer, Berlin/Heidelberg/New York 2009, ISBN 978-3-540-89727-9.