In der Mathematik heißt eine Funktion oder Folge, die nur größer wird oder konstant ist (und niemals fällt), monoton steigend (oder monoton wachsend bzw. isoton). Entsprechend heißt eine Funktion oder Folge monoton fallend (antiton), wenn sie nur kleiner wird oder konstant bleibt. Ändern sich die Werte der Funktion oder die Glieder der Folge nirgends, heißt sie konstant.

Streng monoton steigend (bzw. streng monoton fallend) sind Funktionen oder Folgen, die nur größer (kleiner) werden, aber nirgends konstant sind.

Monotonie kann über beliebigen Ordnungsrelationen definiert werden, beispielsweise kann sich monoton wachsend auch auf die Teilmengen-Beziehung beziehen.

Beispiele

Die Funktion y=x³ ist überall streng monoton steigend.

Die Folge

1,3,5,7,9,11,...

ist streng monoton steigend.

Die Folge

1,3,3,5,6,8,8,9,1000,1200

ist monoton steigend, jedoch nicht streng monoton steigend (3 und 8 kommen doppelt vor).

Die Folge

2,2,2,2,2,2,2,...

ist konstant, sie ist nach Definition sowohl monoton steigend als auch monoton fallend.

Die Funktion

<math>y=x^3</math>

ist über dem gesamten Definitionsbereich streng monoton steigend. Bei <math>x=0</math> hat sie zwar eine Steigung von <math>0</math>, jedoch nur an diesem einen Punkt.

Die Funktion

<math>y=x^2</math>

ist im Bereich von minus unendlich bis Null (einschließlich) <math>(x \leq 0)</math> streng monoton fallend. Im Bereich von Null (einschließlich) bis plus unendlich <math>(x \geq 0)</math> ist sie streng monoton steigend.

Die Folge von Mengen

<math>\emptyset,\quad \{1\},\quad \{1,2\},\quad \{1,2,3\},\quad \{1,2,3,5\}</math>

ist streng monoton steigend bezüglich der <math>\subseteq</math>-Relation.

Definitionen

Sei <math>\begin{matrix}f\colon A \rightarrow B\end{matrix}</math> eine Funktion. Auf <math>\begin{matrix} A \end{matrix}</math> und <math>\begin{matrix} B \end{matrix}</math> sei jeweils eine Ordnungsrelation <math>\begin{matrix} \leq \end{matrix}</math> definiert. Dann heißt die Funktion <math>\begin{matrix} f \end{matrix}</math> monoton steigend, wenn für alle <math> a,b \in A: a \leq b \Rightarrow f(a) \leq f(b)</math>.

Gilt sogar <math> a < b \Rightarrow f(a) < f(b)</math>, so heißt die Funktion <math>\begin{matrix} f \end{matrix}</math> streng monoton steigend. Entsprechend heißt <math>\begin{matrix} f \end{matrix}</math> monoton fallend bzw. streng monoton fallend, wenn <math> a \leq b \Rightarrow f(a) \ge f(b)</math> bzw. <math> a < b \Rightarrow f(a) > f(b)</math>.

Eine Folge <math>(a_{n})_{n \in \mathbb{N}}</math> heißt monoton steigend, wenn für alle <math>n \in \mathbb{N}</math> gilt: <math>a_{n+1} \geq a_n</math>.

Eine Folge <math>(a_{n})_{n \in \mathbb{N}}</math> heißt streng monoton steigend, wenn für alle <math>n \in \mathbb{N}</math> gilt: <math>\begin{matrix}a_{n+1} > a_n\end{matrix}</math>.

Weitere Eigenschaften

Für eine reelle monotone Funktion f gilt:

• Sie hat in jedem Häufungspunkt ihres Definitionsbereichs einen linksseitigen und rechtsseitigen Grenzwert.
• Sie kann nur Sprungstellen als Unstetigkeitsstellen haben.
• Die Menge der Sprungstellen in ihrem Definitionsbereich ist abzählbar, muss aber nicht notwendigerweise endlich sein.
• Sie ist fast überall differenzierbar, d. h. die Menge der Stellen, an denen f nicht differenzierbar ist, bildet eine lebesguesche Nullmenge.
• Eine im Intervall [a, b] definierte monotone Funktion ist dort Riemann-integrierbar.

Monotonie differenzierbarer reeller Funktionen

• Eine auf dem Intervall [a,b] stetige und auf (a,b) differenzierbare Funktion ist genau dann monoton wachsend (bzw. monoton fallend) auf [a,b], wenn die Ableitung nirgendwo negativ (bzw. nirgendwo positiv) ist.
• Eine stetig differenzierbare Funktion auf einem Intervall I ist genau dann streng monoton wachsend (bzw. streng monoton fallend), wenn die Ableitung
  • nirgendwo negativ (bzw. nirgendwo positiv) und
  • eine diskrete Teilmenge M von I existiert, sodass die Ableitung von f genau dann 0 ist, wenn x ein Element von M ist. (Für alle anderen Elemente aus I ist die Ableitung echt positiv.)

Umkehrfunktion

Sei <math>I\subset\mathbb{R}</math> ein Intervall und <math>f\colon I\rightarrow\mathbb{R}</math> sei streng monoton wachsend/fallend und stetig. Dann ist

• die Bildmenge <math>I':= f\left(I\right)</math> ein Intervall
• <math>f\colon I\rightarrow I'</math> bijektiv
• die Umkehrfunktion <math>f^{-1}\colon I'\rightarrow I</math> streng monoton wachsend/fallend und stetig
• <math>f^{-1}\left(a\right)<b\iff a<f\left(b\right)</math> wenn wachsend und
• <math>f^{-1}\left(a\right)f\left(b\right)</math> wenn fallend

• Monotonie von Funktionen (Das Verhalten der Funktion im Vergleich zur Ableitungsfunktion)
• Die Umkehrfunktion einer stetigen, streng monotonen Funktion (PDF-Datei; 70 kB)