02 – Verallgemeinerter Beweis zur Riemann-Integrierbarkeit

Dies ist eine Verallgemeinerte Version der Aufgabe 1. Da in Aufgabe 1 schon die Sachverhalte erklärt worden sind, sollte diese zuerst verstanden sein, bevor Aufgabe 2 angefangen wird.

Aufgabe: Seien a, b ∈ R mit a < b, und sei f:[a, b] → R eine monoton wachsende Funktion. Zeigen Sie, dass f Riemann-integrierbar ist.
Hinweis: Definieren Sie zu n ∈ N Treppenfunktionen φn und ψn. Überlegen Sie sich, dass sich bei der zu bildenden Differenz aus zwei Summen die meisten Summanden wegheben.

Lösung

Für jedes n ∈ N sei eine Zerlegung des Intervalls [a, b] gegeben durch

<br /> a: = t_0 < t_1 < \ldots < t_n = :b<br />

mit

<br /> t_i = a+i \cdot \frac{{b-a}}<br /> {n}<br />

Das Intervall wird also in n gleich große Stücke unterteilt. Wir definieren nun zwei Treppenfunktionen

<br /> \varphi _n :\left[ {a,b} \right] \to \mathbb{R},\quad \psi _n :\left[ {a,b} \right] \to \mathbb{R}<br />

<br /> \varphi _n \left( x \right): = f\left( {t_{i-1} } \right),\quad \quad x \in \left[ {x_{i-1} ,x_i } \right[\quad mit\quad \left( {1 \leq i \leq n} \right)<br />

<br /> \psi _n \left( x \right): = f\left( {t_i } \right),\quad \quad x \in \left[ {x_{i-1} ,x_i } \right[\quad mit\quad \left( {1 \leq i \leq n} \right)<br />

<br /> \varphi _n \left( b \right) = \psi _n \left( b \right)<br />

Dann gilt wegen der Monotonie von f auf [a, b]:

<br /> \varphi _n \left( x \right): = f\left( {t_{i-1} } \right) \leq f\left( x \right) \leq f\left( {t_i } \right) = \psi _n \left( x \right)<br />

für alle <br /> x \in \left[ {x_{i-1} ,x_i } \right[\quad mit\quad \left( {1 \leq i \leq n} \right)<br />

Anders ausgedrückt gilt für alle n ∈ N:

<br /> \varphi _n \leq f \leq \psi _n<br />

Die Integrale der Treppenfunktionen lassen sich leicht als Summen auswerten:

<br /> \int_a^b {\varphi _n \left( x \right)dx} = \sum\limits_{i = 1}^n {f\left( {t_{i-1} } \right) \cdot \left( {t_i -t_{i-1} } \right)}<br />

<br /> = \sum\limits_{i = 0}^{n-1} {f\left( {a+i \cdot \frac{{b-a}}<br /> {n}} \right) \cdot \left( {\left( {a+\left( {i+1} \right) \cdot \frac{{b-a}}<br /> {n}} \right)-\left( {a+i \cdot \frac{{b-a}}<br /> {n}} \right)} \right)}<br />

<br /> \int_a^b {\varphi _n \left( x \right)dx} = \sum\limits_{i = 0}^{n-1} {f\left( {a+i \cdot \frac{{b-a}}<br /> {n}} \right) \cdot \left( {\frac{{b-a}}<br /> {n}} \right)}<br />

und

<br /> \int_a^b {\psi _n \left( x \right)dx} = \sum\limits_{i = 1}^n {f\left( {t_i } \right) \cdot \left( {t_i -t_{i-1} } \right)} = \sum\limits_{i = 1}^n {f\left( {a+i \cdot \frac{{b-a}}<br /> {n}} \right) \cdot \left( {\frac{{b-a}}<br /> {n}} \right)}<br />

Für die Differenz ergibt sich:

<br /> \int_a^b {\psi _n \left( x \right)dx} -\int_a^b {\varphi _n \left( x \right)dx} = f\left( {a+n \cdot \frac{{b-a}}<br /> {n}} \right) \cdot \frac{{b-a}}<br /> {n}-f\left( {a+0 \cdot \frac{{b-a}}<br /> {n}} \right) \cdot \frac{{b-a}}<br /> {n}<br />

<br /> = f\left( b \right) \cdot \frac{{b-a}}<br /> {n}-f\left( a \right) \cdot \frac{{b-a}}<br /> {n} = \left( {f\left( b \right)-f\left( a \right)} \right) \cdot \frac{{b-a}}<br /> {n} > 0<br />

Zu einem gegebenen ε > 0 gibt es dann ein n mit

<br /> \left( {f\left( b \right)-f\left( a \right)} \right) \cdot \frac{{b-a}}<br /> {n} \leq \in \quad \Rightarrow \quad \left( {f\left( b \right)-f\left( a \right)} \right) \cdot \frac{{b-a}}<br /> { \in } \leq n<br />

so dass gilt:

<br /> \int_a^b {\psi _n \left( x \right)dx} -\int_a^b {\varphi _n \left( x \right)dx} < \varepsilon<br />

Eine monoton wachsende Funktion ist somit Riemann-Integrierbar.

Ähnliche Artikel

Kommentar verfassen