Treppenfunktionen/Ober und Unterintegral/Textabschnitt

Eine Treppenfunktion. Im statistischen Kontext spricht man von Histogrammen oder von Säulendiagrammen.

Definition

Sei ${{}} I$ ein reelles Intervall mit den Grenzen ${{}} a,b \in \R$. Dann heißt eine Funktion

${{}} t \colon I \longrightarrow \R \,$

eine Treppenfunktion, wenn es eine Unterteilung

$a=a_0<a_1<a_2 < \cdots < a_{n-1} < a_n=b$

von ${{}} I$ gibt derart, dass ${{}} t$ auf jedem offenen Teilintervall ${{}} ]a_{i-1},a_{i}[$ konstant ist.

Diese Definition stellt also keine Bedingung an den Wert der Funktion an den Unterteilungspunkten. Das Intervall ${{}} ]a_{i-1},a_i[$ nennt man ${{}} i$-tes Teilintervall, und ${{}} a_i-a_{i-1}$ heißt Länge dieses Teilintervalls. Wenn die Länge der Teilintervalle konstant ist, so spricht man von einer äquidistanten Unterteilung.

Definition

Sei ${{}} I$ ein reelles Intervall mit den Grenzen ${{}} a,b \in \R$ und sei

${{}} t \colon I \longrightarrow \R \,$

eine Treppenfunktion zur Unterteilung ${{}} a=a_0<a_1<a_2 < \cdots < a_{n-1} < a_n=b$ und den Werten ${{}} t_i$, ${{}} i=1 , \ldots , n$. Dann heißt

$T := \sum_{i=1}^n t_i (a_i - a_{i-1})$

das Treppenintegral von ${{}} t$ auf ${{}} I$.

Das Treppenintegral wird auch mit ${{}} \int_{ a } ^{ b } t ( x) \, d x$ bezeichnet. Bei einer äquidistanten Unterteilung mit der Teilintervalllänge ${{}} \frac{b-a}{n}$ ist das Treppenintegral gleich ${{}} \frac{b-a}{n}( \sum_{i=1}^n t_i)$. Das Treppenintegral ist nicht von der gewählten Unterteilung abhängig, bzgl. der eine Treppenfunktion vorliegt.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Dann heißt eine Treppenfunktion

${{}} t \colon I \longrightarrow \R \,$

eine obere Treppenfunktion zu ${{}} f$, wenn ${{}} t(x) \geq f(x)$ ist für alle ${{}} x \in I$. Eine Treppenfunktion

${{}} s \colon I \longrightarrow \R \,$

heißt eine untere Treppenfunktion zu ${{}} f$, wenn ${{}} s(x) \leq f(x)$ ist für alle ${{}} x \in I$.

Eine obere (untere) Treppenfunktion zu ${{}} f$ gibt es genau dann, wenn ${{}} f$ nach oben (nach unten) beschränkt ist.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Zu jeder oberen Treppenfunktion

${{}} t \colon I \longrightarrow \R \,$

von ${{}} f$ zur Unterteilung ${{}} a_i$, ${{}} i=0 , \ldots , n$, und den Werten ${{}} t_i$, ${{}} i=1 , \ldots , n$, heißt das Treppenintegral

$T= \sum_{i=1}^n t_i (a_i - a_{i-1})$

eine Obersumme (oder ein oberes Treppenintegral) von ${{}} f$ auf ${{}} I$.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine Funktion. Zu jeder unteren Treppenfunktion

${{}} s \colon I \longrightarrow \R \,$

von ${{}} f$ zur Unterteilung ${{}} a_i$, ${{}} i=0 , \ldots , n$, und den Werten ${{}} s_i$, ${{}} i=1 , \ldots , n$, heißt

$S := \sum_{i=1}^n s_i (a_i - a_{i-1})$

eine Untersumme (oder ein unteres Treppenintegral) von ${{}} f$ auf ${{}} I$.

Verschiedene obere (untere) Treppenfunktionen liefern natürlich verschiedene Obersummen (Untersummen).

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine nach oben beschränkte Funktion. Dann heißt das Infimum von sämtlichen Obersummen von oberen Treppenfunktionen von ${{}} f$ das Oberintegral von ${{}} f$.

Definition

Sei ${{}} I$ ein beschränktes Intervall und sei

${{}} f \colon I \longrightarrow \R \,$

eine nach unten beschränkte Funktion. Dann heißt das Supremum von sämtlichen Untersummen von unteren Treppenfunktionen von ${{}} f$ das Unterintegral von ${{}} f$.

Die Beschränkung nach unten stellt sicher, dass es überhaupt eine untere Treppenfunktion gibt und damit die Menge der Untersummen nicht leer ist. Unter dieser Bedingung allein muss nicht unbedingt die Menge der Untersummen ein Supremum besitzen. Für (beidseitig) beschränkte Funktionen existiert hingegen stets das Ober- und das Unterintegral. Bei einer gegebenen Unterteilung gibt es eine kleinste obere (größte untere) Treppenfunktion, die durch die Maxima (Minima) der Funktion auf den Teilintervallen festgelegt ist. Für das Integral muss man aber Treppenfunktionen zu sämtlichen Unterteilungen berücksichtigen.