Treppenfunktion (reelle Funktion)

Eine Funktion

${\displaystyle f\colon [a;b]\to \mathbb {R} }$

heißt eine Treppenfunktion, wenn es Zahlen ${\displaystyle t_{0},t_{1},\dotsc ,t_{n}}$ mit

${\displaystyle a=t_{0}<t_{1}<t_{2}<\dotsb <t_{n}=b}$

gibt und Zahlen ${\displaystyle c_{1},c_{2},\dotsc ,c_{n}}$, sodass

${\displaystyle f(x)=c_{i}{\text{ für alle }}x\in (t_{i-1},t_{i})}$

und alle ${\displaystyle i=1,\dotsc ,n}$ gilt. Dabei sind die Funktionswerte ${\displaystyle f(t_{i})}$ an den „Stützstellen“ beliebig, aber reell.[1]

Treppenfunktionen benutzt man auch zur Approximation von Integralen. Das Integral einer Treppenfunktion wird durch

${\displaystyle \int _{a}^{b}f(x)\,\mathrm {d} x=\sum _{i=1}^{n}c_{i}\ell (I_{i})}$

definiert. Der Vorteil ist hier, dass man ohne Grenzwertprozess auskommt und nur endliche Summen hat. In der Summenformel bezeichnet ${\displaystyle c_{i}}$ den Wert von ${\displaystyle f}$ auf dem Intervall ${\displaystyle I_{i}=(t_{i-1},t_{i})}$ sowie ${\displaystyle \ell (I_{i})}$ die Länge dieses Intervalls, also ${\displaystyle t_{i}-t_{i-1}}$.

Bereits durch die einfache Definition des Integrals einer Treppenfunktion hat man ein starkes mathematisches Hilfsmittel gewonnen: Jede beschränkte, stetige Funktion ${\displaystyle f\colon D\rightarrow Y}$ mit ${\displaystyle D,Y\subseteq \mathbb {R} }$ kann beliebig genau durch eine Treppenfunktion approximiert werden. Also kann auch das Integral dieser Funktion beliebig genau approximiert werden. Diese Tatsache ist ein wichtiges Fundament für die Definition des Riemann-Integrals. Auf diese Weise hat Jean Gaston Darboux die Einführung des Riemann-Integrals vereinfacht.

• Die Heaviside-Funktion ist 0 für jede negative Zahl, sonst 1.
• Rechteckfunktion
• Abrundungsfunktion und Aufrundungsfunktion

Die Treppenfunktionen sind sowohl den einfachen Funktionen als auch den Sprungfunktionen sehr ähnlich, sollten aber nicht mit diesen verwechselt werden.

So nehmen beispielsweise einfache Funktionen auch nur endlich viele Werte an, können aber trotzdem viel komplexer sein, da sie nicht über Intervalle auf dem Grundraum definiert werden, sondern über messbare Mengen. So ist beispielsweise die Dirichlet-Funktion eine einfache Funktion, aber keine Treppenfunktion im hier genannten Sinne, da sie überabzählbar viele Sprungstellen hat und in keinem noch so kleinen Intervall konstant ist. Außerdem werden einfache Funktionen auf beliebigen Messräumen definiert, wohingegen Treppenfunktionen bloß auf ${\displaystyle \mathbb {R} }$ definiert werden. Allerdings ist jede Treppenfunktion auch immer eine einfache Funktion.

Die Sprungfunktionen sind wie die Treppenfunktionen auch auf den reellen Zahlen definiert. Allerdings sind sie immer monoton wachsend, können aber auch abzählbar viele Sprungstellen haben.

Eine stochastische Verallgemeinerung einer Treppenfunktion ist ein elementarer vorhersagbarer stochastischer Prozess. Er spielt für die Konstruktion des Ito-Integrals eine ähnliche Rolle wie die einfachen Funktionen für die Konstruktion des Lebesgue-Integrals.

• Eric W. Weisstein: Step Function. In: MathWorld (englisch).

1. Otto Forster: Analysis 1. Differential- und Integralrechnung einer Veränderlichen. 11., erweiterte Auflage. Springer Spektrum, Wiesbaden 2013, ISBN 978-3-658-00316-6, S. 105, doi:10.1007/978-3-658-00317-3.