Eigenschaften des Riemannintegrals – „Mathe für Nicht-Freaks“

Dieser Abschnitt ist noch im Entstehen und noch nicht offizieller Bestandteil des Buchs. Gib den Autoren Zeit, den Inhalt anzupassen!

Übersicht: Eigenschaften des Riemannintegrals

• Stetige Funktionen sind riemannintegrierbar.
• Monotonie: Aus $f(x)\le g(x)$ für alle $x\in [a,b]$ folgt ${\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^{b}g(x)\mathrm{d}x$.
• Summenregel: Wenn $f$ und $g$ riemannintegrierbar sind, dann sind auch $f+g$ riemannintegrierbar und es gilt ${\int }_a^b(f(x)+g(x))\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x+{\int }_a^{b}g(x)\mathrm{d}x$.
• Faktorregel: Wenn $f$ riemannintegrierbar ist, dann ist es auch die Funktion $\lambda \cdot f$ mit $\lambda \in ℝ$ und es gilt ${\int }_a^b\lambda f(x)\mathrm{d}x=\lambda {\int }_a^{b}f(x)\mathrm{d}x$.
• Additivität der Grenzen: Seien $a,b,c\in ℝ$ mit $a\le c\le b$ und sei $f:[a,b]\to ℝ$ eine Funktion. Dann ist $f$ genau dann riemannintegrierbar auf dem Intervall $[a,b]$, wenn $f$ auf den Intervallen $[a,c]$ und $[c,b]$ jeweils riemannintegrierbar ist. In diesem Fall gilt ${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{c}f(x)\mathrm{d}x+{\int }_c^{b}f(x)\mathrm{d}x$.
• Dreiecksungleichung: Sei $f:[a,b]\to ℝ$ eine riemannintegrierbare Funktion, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Dann ist die Funktion $|f|:[a,b]\to ℝ,x\mapsto |f(x)|$ riemannintegrierbar und es gilt $|{\int }_a^{b}f(x)\mathrm{d}x|\le {\int }_a^b|f(x)|\mathrm{d}x$.
• Produktregel: Seien $f:[a,b]\to ℝ$ und $g:[a,b]\to ℝ$ zwei riemannintegrierbare Funktionen, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Dann ist die Funktion $(f\cdot g):[a,b]\to ℝ,x\mapsto f(x)\cdot g(x)$ riemannintegrierbar.
• Monotone Funktionen sind riemannintegrierbar.
• Wenn sich eine Funktion von einer riemannintegrierbaren Funktion nur an endlich vielen Stellen unterscheidet, dann ist auch sie riemannintegrierbar und ihr Integral ist gleich dem Integral der anderen Funktion.

Herleitung und Beweis der Eigenschaften

Stetige Funktionen sind riemannintegrierbar

Anschaulich ist das Integral einer Funktion $f:[a,b]\to ℝ$ der Flächeninhalt zwischen dem Graphen der Funktion und der $x$-Achse. Es macht Sinn, dass man diesen Flächeninhalt bei einer stetigen Funktion ausrechnen kann, d.h., dass das Integral ${\int }_a^{b}f(x)\mathrm{d}x$ existiert. Das wollen wir nun beweisen.

Satz (Stetige Funktionen sind riemannintegrierbar)

Seien $a,b\in ℝ$ und $a\le b$. Sei $f:[a,b]\to ℝ$ stetig. Dann ist $f$ riemannintegrierbar.

Beweis (Stetige Funktionen sind riemannintegrierbar)

$f$ ist stetig auf dem kompakten Intervall $[a,b]$. Also ist $f$ beschränkt und gleichmäßig stetig. Das heißt, für alle $ϵ>0$ gibt es ein $\delta >0$, so dass für alle $x,y\in [a,b]$ mit $|x-y|<\delta$ gilt $|f(x)-f(y)|<\frac{ϵ}{b-a}$. Sei $\mathrm{\Delta }=(x_0,\dots ,x_n)$ eine Zerlegung von $[a,b]$. Wenn $|\mathrm{\Delta }|<\delta$, dann gilt für alle $k\in \{0,\dots ,n-1\}$, dass

$\begin{array}{cc}& \underset{x\in [x_k,x_{k+1}]}{sup}f(x)-\underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ & \downarrow f\text{ ist stetig}\\ =& \underset{x\in [x_k,x_{k+1}]}{max}f(x)-\underset{x\in [x_k,x_{k+1}]}{min}f(x)\\ & \downarrow \text{Für alle }x,y\in [x_k,x_{k+1}]\text{ gilt }|x-y|<\delta \\ <& \frac{ϵ}{b-a}\end{array}$

Folglich gilt

$\begin{array}{cc}& O(\mathrm{\Delta },f)-U(\mathrm{\Delta },f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)-\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{sup}f(x)-\underset{x\in [x_k,x_{k+1}]}{inf}f(x))\\ <& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\frac{ϵ}{b-a}\\ =& (b-a)\frac{ϵ}{b-a}\\ =& ϵ\end{array}$

Damit ist $f$ riemannintegrierbar.

Monotonie des Riemannintegrals

Nun betrachten wir zwei riemannintegrierbare Funktionen $f:[a,b]\to ℝ$ und $g:[a,b]\to ℝ$ mit $f\le g$, d.h. $f(x)\le g(x)$ für alle $x\in [a,b]$, wobei $a,b\in ℝ$ mit $a\le b$.

To-Do:

Bild von $f$ und $g$, Funktionen müssen nicht stetig sein

Anschaulich macht es Sinn, dass ${\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^{b}g(x)\mathrm{d}x$ gilt. Denn die Fläche unter dem Graphen von $f$ ist kleiner oder gleich der Fläche unter dem Graphen von $g$.

Dass ${\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^{b}g(x)\mathrm{d}x$, können wir auch folgendermaßen begründen:

Wir betrachten die Ober- und die Untersumme für eine beliebige Zerlegung $\tilde{\mathrm{\Delta }}$ des Intervalls $[a,b]$.

To-Do:

Bild von davor mit Ober- und Untersummen

Wir sehen, dass

$\begin{array}{cc}& O(\tilde{\mathrm{\Delta }},f)\le O(\tilde{\mathrm{\Delta }},g)\\ & U(\tilde{\mathrm{\Delta }},f)\le U(\tilde{\mathrm{\Delta }},g)\\ \end{array}$

Da dies für alle Zerlegungen $\tilde{\mathrm{\Delta }}$ gilt, folgt $I_{+}(f,[a,b])\le I_{+}(g,[a,b])$ und $I_{-}(f,[a,b])\le I_{-}(g,[a,b])$. Also gilt ${\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^{b}g(x)\mathrm{d}x$.

Wir haben uns gerade anschaulich überlegt, warum der folgende Satz gilt. Nun werden wir diesen auch beweisen.

Satz (Monotonie des Riemannintegrals)

Seien $f,g:[a,b]\to ℝ$ zwei riemannintegrierbare Funktionen und $a,b\in ℝ$ mit $a\le b$. Weiter gelte $f\le g$, d.h. für alle $x\in [a,b]$ ist $f(x)\le g(x)$. Dann gilt

${\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^{b}g(x)\mathrm{d}x$

Beweis (Monotonie des Riemannintegrals)

Es sei $\tilde{\mathrm{\Delta }}=(x_0,\dots ,x_n)$ eine beliebige Zerlegung des Intervalls $[a,b]$. Wir vergleichen $O(\tilde{\mathrm{\Delta }},f)$ und $O(\tilde{\mathrm{\Delta }},g)$.

$\begin{array}{cc}& O(\tilde{\mathrm{\Delta }},f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)\\ & \downarrow f(x)\le g(x)\text{ für alle }x\in [a,b]\\ \le & \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}g(x)\\ =& O(\tilde{\mathrm{\Delta }},g)\\ \end{array}$

Folglich gilt

$\begin{array}{cc}& I_{+}(f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },f)\\ & \downarrow O(\mathrm{\Delta },f)\le O(\mathrm{\Delta },g)\text{ für alle Zerlegungen }\mathrm{\Delta }\\ \le & \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },g)\\ =& I_{+}(g,[a,b])\end{array}$

Somit ist

$\begin{array}{cc}& {\int }_a^{b}f(x)\mathrm{d}x\\ & \downarrow f\text{ riemannintegrierbar}\\ =& I_{+}(f,[a,b])\\ \le & I_{+}(g,[a,b])\\ & \downarrow g\text{ riemannintegrierbar}\\ =& {\int }_a^{b}g(x)\mathrm{d}x\\ \end{array}$

Die Summe zweier riemannintegrierbarer Funktionen ist riemannintegrierbar

Satz

Seien $f:[a,b]\to ℝ$ und $g:[a,b]\to ℝ$ zwei riemannintegrierbare Funktionen, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Dann ist die Funktion $(f+g):[a,b]\to ℝ,x\mapsto f(x)+g(x)$ riemannintegrierbar und es gilt

${\int }_a^b(f(x)+g(x))\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x+{\int }_a^{b}g(x)\mathrm{d}x$

Beweis

Seien ${\mathrm{\Delta }}_1$ und ${\mathrm{\Delta }}_2$ Zerlegungen des Intervalls $[a,b]$. Bezeichnet $\tilde{\mathrm{\Delta }}=(x_0,x_1,\dots ,x_n)$ eine gemeinsame Verfeinerung von ${\mathrm{\Delta }}_1$ und ${\mathrm{\Delta }}_2$, so gilt

$\begin{array}{cc}& O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,g)\\ \ge & O(\tilde{\mathrm{\Delta }},f)+O(\tilde{\mathrm{\Delta }},g)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)+\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}g(x)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{sup}f(x)+\underset{x\in [x_k,x_{k+1}]}{sup}g(x))\\ \ge & \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}(f(x)+g(x))\\ =& O(\tilde{\mathrm{\Delta }},f+g)\\ \ge & I_{+}(f+g,[a,b])\end{array}$

sowie

$\begin{array}{cc}& U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,g)\\ \le & U(\tilde{\mathrm{\Delta }},f)+U(\tilde{\mathrm{\Delta }},g)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)+\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}g(x)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{inf}f(x)+\underset{x\in [x_k,x_{k+1}]}{inf}g(x))\\ \le & \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}(f(x)+g(x))\\ =& U(\tilde{\mathrm{\Delta }},f+g)\\ \le & I_{-}(f+g,[a,b])\end{array}$

Folglich gilt

$\begin{array}{cc}& I_{+}(f,[a,b])+I_{+}(g,[a,b])\\ =& \underset{{\mathrm{\Delta }}_1\text{ Zerlegung}}{inf}O({\mathrm{\Delta }}_1,f)+\underset{{\mathrm{\Delta }}_2\text{ Zerlegung}}{inf}O({\mathrm{\Delta }}_2,g)\\ =& \underset{{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\text{ Zerlegungen}}{inf}(O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,g))\\ & \downarrow O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,g)\ge I_{+}(f+g,[a,b])\text{ für alle Zerlegungen }{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\\ \ge & I_{+}(f+g,[a,b])\end{array}$

Genauso zeigen wir $I_{-}(f+g,[a,b])\ge I_{-}(f,[a,b])+I_{-}(g,[a,b])$:

$\begin{array}{cc}& I_{-}(f,[a,b])+I_{-}(g,[a,b])\\ =& \underset{{\mathrm{\Delta }}_1\text{ Zerlegung}}{sup}U({\mathrm{\Delta }}_1,f)+\underset{{\mathrm{\Delta }}_2\text{ Zerlegung}}{sup}U({\mathrm{\Delta }}_2,g)\\ =& \underset{{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\text{ Zerlegungen}}{sup}(U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,g))\\ & \downarrow U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,g)\le I_{-}(f+g,[a,b])\text{ für alle Zerlegungen }{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\\ \le & I_{-}(f+g,[a,b])\end{array}$

Bisher haben wir damit folgendes bewiesen:

$\begin{array}{cc}{I}_{+}(f+g,[a,b])& \le I_{+}(f,[a,b])+I_{+}(g,[a,b])\\ I_{-}(f+g,[a,b])& \ge I_{-}(f,[a,b])+I_{-}(g,[a,b])\\ \end{array}$

Nach Voraussetzung sind die Funktionen $f$ und $g$ riemannintegrierbar. Also gilt:

$\begin{array}{cc}& I_{+}(f+g,[a,b])\\ \le & I_{+}(f,[a,b])+I_{+}(g,[a,b])\\ & \downarrow I_{+}(f,[a,b])=I_{-}(f,[a,b])\text{ und }{I}_{+}(g,[a,b])=I_{-}(g,[a,b])\\ =& I_{-}(f,[a,b])+I_{-}(g,[a,b])\\ \le & I_{-}(f+g,[a,b])\\ \end{array}$

Außerdem wissen wir, dass $I_{+}(f+g,[a,b])\ge I_{-}(f+g,[a,b])$ und somit gilt $I_{+}(f+g,[a,b])=I_{-}(f+g,[a,b])$. Also ist $f+g$ riemannintegrierbar. Weiter gilt

${\int }_a^b(f(x)+g(x))\mathrm{d}x=I_{+}(f+g,[a,b])=I_{+}(f,[a,b])+I_{+}(g,[a,b])={\int }_a^{b}f(x)\mathrm{d}x+{\int }_a^{b}g(x)\mathrm{d}x$

Faktorregel

Satz (Faktorregel)

Sei $f:[a,b]\to ℝ$ eine riemannintegrierbare Funktion, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Sei weiter $\lambda \in ℝ$. Dann ist die Funktion $(\lambda f):[a,b]\to ℝ,x\mapsto \lambda \cdot f(x)$ riemannintegrierbar und es gilt

${\int }_a^b\lambda f(x)\mathrm{d}x=\lambda {\int }_a^{b}f(x)\mathrm{d}x$

Beweis (Faktorregel)

Sei $\tilde{\mathrm{\Delta }}=(x_0,\dots ,x_n)$ eine beliebige Zerlegung des Intervalls $[a,b]$. Wir betrachten zwei Fälle:

1. $\lambda \ge 0$
2. $\lambda <0$

Fall 1: $\lambda \ge 0$

Es gilt:

$\begin{array}{cc}& O(\tilde{\mathrm{\Delta }},\lambda f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}\lambda \cdot f(x)\\ & \downarrow \lambda \ge 0\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\cdot \lambda \cdot \underset{x\in [x_k,x_{k+1}]}{sup}f(x)\\ =& \lambda \cdot \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)\\ =& \lambda \cdot O(\tilde{\mathrm{\Delta }},f)\\ \end{array}$

und

$\begin{array}{cc}& U(\tilde{\mathrm{\Delta }},\lambda f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}\lambda \cdot f(x)\\ & \downarrow \lambda \ge 0\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\cdot \lambda \cdot \underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ =& \lambda \cdot \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ =& \lambda \cdot U(\tilde{\mathrm{\Delta }},f)\\ \end{array}$

Somit gilt

$\begin{array}{cc}& I_{+}(\lambda f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },\lambda f)\\ & \downarrow O(\tilde{\mathrm{\Delta }},\lambda f)=\lambda O(\tilde{\mathrm{\Delta }},f)\text{ für alle Zerlegungen }\tilde{\mathrm{\Delta }}\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}\lambda O(\mathrm{\Delta },f)\\ =& \lambda \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },f)\\ =& \lambda \cdot I_{+}(f,[a,b])\end{array}$

und

$\begin{array}{cc}& I_{-}(\lambda f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}U(\mathrm{\Delta },\lambda f)\\ & \downarrow U(\tilde{\mathrm{\Delta }},\lambda f)=\lambda U(\tilde{\mathrm{\Delta }},f)\text{ für alle Zerlegungen }\tilde{\mathrm{\Delta }}\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}\lambda U(\mathrm{\Delta },f)\\ =& \lambda \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}U(\mathrm{\Delta },f)\\ =& \lambda \cdot I_{-}(f,[a,b])\end{array}$

Also:

$\begin{array}{cc}& I_{+}(\lambda f,[a,b])\\ =& \lambda \cdot I_{+}(f,[a,b])\\ & \downarrow f\text{ ist riemannintegrierbar, d.h. }{I}_{+}(f,[a,b])=I_{-}(f,[a,b])\\ =& \lambda \cdot I_{-}(f,[a,b])\\ =& I_{-}(\lambda f,[a,b])\\ \end{array}$

Damit ist die Funktion $\lambda f$ riemannintegrierbar und es gilt

$\begin{array}{cc}& {\int }_a^b\lambda f(x)\mathrm{d}x\\ =& I_{+}(\lambda f,[a,b])\\ =& \lambda \cdot I_{+}(f,[a,b])\\ =& \lambda {\int }_a^{b}f(x)\mathrm{d}x\end{array}$

Fall 2: $\lambda <0$

Es gilt:

$\begin{array}{cc}& O(\tilde{\mathrm{\Delta }},\lambda f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}\lambda \cdot f(x)\\ & \downarrow \lambda <0\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\cdot \lambda \cdot \underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ =& \lambda \cdot \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ =& \lambda \cdot U(\tilde{\mathrm{\Delta }},f)\\ \end{array}$

und

$\begin{array}{cc}& U(\tilde{\mathrm{\Delta }},\lambda f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}\lambda \cdot f(x)\\ & \downarrow \lambda <0\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\cdot \lambda \cdot \underset{x\in [x_k,x_{k+1}]}{sup}f(x)\\ =& \lambda \cdot \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)\\ =& \lambda \cdot O(\tilde{\mathrm{\Delta }},f)\\ \end{array}$

Somit gilt

$\begin{array}{cc}& I_{+}(\lambda f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },\lambda f)\\ & \downarrow O(\tilde{\mathrm{\Delta }},\lambda f)=\lambda U(\tilde{\mathrm{\Delta }},f)\text{ für alle Zerlegungen }\tilde{\mathrm{\Delta }}\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}\lambda U(\mathrm{\Delta },f)\\ & \downarrow \lambda <0\\ =& \lambda \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}U(\mathrm{\Delta },f)\\ =& \lambda \cdot I_{-}(f,[a,b])\end{array}$

und

$\begin{array}{cc}& I_{-}(\lambda f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}U(\mathrm{\Delta },\lambda f)\\ & \downarrow U(\tilde{\mathrm{\Delta }},\lambda f)=\lambda O(\tilde{\mathrm{\Delta }},f)\text{ für alle Zerlegungen }\tilde{\mathrm{\Delta }}\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}\lambda O(\mathrm{\Delta },f)\\ & \downarrow \lambda <0\\ =& \lambda \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },f)\\ =& \lambda \cdot I_{+}(f,[a,b])\end{array}$

Also:

$\begin{array}{cc}& I_{+}(\lambda f,[a,b])\\ =& \lambda \cdot I_{-}(f,[a,b])\\ & \downarrow f\text{ ist riemannintegrierbar, d.h. }{I}_{+}(f,[a,b])=I_{-}(f,[a,b])\\ =& \lambda \cdot I_{+}(f,[a,b])\\ =& I_{-}(\lambda f,[a,b])\\ \end{array}$

Damit ist die Funktion $\lambda f$ riemannintegrierbar und es gilt

$\begin{array}{cc}& {\int }_a^b\lambda f(x)\mathrm{d}x\\ =& I_{+}(\lambda f,[a,b])\\ =& \lambda \cdot I_{-}(f,[a,b])\\ =& \lambda {\int }_a^{b}f(x)\mathrm{d}x\end{array}$

Additivität der Grenzen beim Riemannintegral

Satz

Seien $a,b,c\in ℝ$ mit $a\le c\le b$. Sei weiter $f:[a,b]\to ℝ$ eine Funktion. Dann ist $f$ genau dann riemannintegrierbar auf dem Intervall $[a,b]$, wenn $f$ auf den Intervallen $[a,c]$ und $[c,b]$ jeweils riemannintegrierbar ist. In diesem Fall gilt

${\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{c}f(x)\mathrm{d}x+{\int }_c^{b}f(x)\mathrm{d}x$

Beweis

Wir beweisen zunächst $I_{+}(f,[a,c])+I_{+}(f,[c,b])\ge I_{+}(f,[a,b])$ und $I_{-}(f,[a,c])+I_{-}(f,[c,b])\le I_{-}(f,[a,b])$. Sei ${\mathrm{\Delta }}_1=(x_0,x_1,\dots ,x_n)$ eine Zerlegung des Intervalls $[a,c]$ und ${\mathrm{\Delta }}_2=(w_0,\dots ,w_l)$ eine Zerlegung des Intervalls $[c,b]$. Es gelten also $a=x_0$, $x_n=c=w_0$ und $w_l=b$. Damit ist $\mathrm{\Delta }:=(x_0,x_1,\dots ,x_n,w_1,\dots ,w_l)$ eine Zerlegung des Intervalls $[a,b]$. Es gilt

$\begin{array}{cc}& O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)+\sum _{k=0}^{l-1}(w_{k+1}-w_k)\underset{x\in [w_k,w_{k+1}]}{sup}f(x)\\ =& O(\mathrm{\Delta },f)\\ \ge & I_{+}(f,[a,b])\end{array}$

sowie

$\begin{array}{cc}& U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,f)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)+\sum _{k=0}^{l-1}(w_{k+1}-w_k)\underset{x\in [w_k,w_{k+1}]}{inf}f(x)\\ =& U(\mathrm{\Delta },f)\\ \le & I_{-}(f,[a,b])\end{array}$

Folglich gilt

$\begin{array}{cc}& I_{+}(f,[a,c])+I_{+}(f,[c,b])\\ =& (\underset{{\mathrm{\Delta }}_1\text{ Zerlegung}}{inf}O({\mathrm{\Delta }}_1,f))+(\underset{{\mathrm{\Delta }}_2\text{ Zerlegung}}{inf}O({\mathrm{\Delta }}_2,f))\\ =& \underset{{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\text{ Zerlegungen}}{inf}(O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,f))\\ & \downarrow O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,f)\ge I_{+}(f,[a,b])\text{ für alle Zerlegungen }{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\text{ von }[a,c]\text{ bzw. }[c,b]\\ \ge & I_{+}(f,[a,b])\end{array}$

und

$\begin{array}{cc}& I_{-}(f,[a,c])+I_{-}(f,[c,b])\\ =& (\underset{{\mathrm{\Delta }}_1\text{ Zerlegung}}{sup}U({\mathrm{\Delta }}_1,f))+(\underset{{\mathrm{\Delta }}_2\text{ Zerlegung}}{sup}U({\mathrm{\Delta }}_2,f))\\ =& \underset{{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\text{ Zerlegungen}}{sup}(U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,f))\\ & \downarrow U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,f)\le I_{-}(f,[a,b])\text{ für alle Zerlegungen }{\mathrm{\Delta }}_1,{\mathrm{\Delta }}_2\text{ von }[a,c]\text{ bzw. }[c,b]\\ \le & I_{-}(f,[a,b])\end{array}$

Als Nächstes zeigen wir $I_{+}(f,[a,b])\ge I_{+}(f,[a,c])+I_{+}(f,[c,b])$ und $I_{-}(f,[a,b])\le I_{-}(f,[a,c])+I_{-}(f,[c,b])$. Sei $\mathrm{\Delta }=(x_0,x_1,\dots ,x_n)$ eine beliebige Zerlegung des Intervalls $[a,b]$. Wir wollen eine Verfeinerung $\tilde{\mathrm{\Delta }}=(y_0,y_1,\dots ,y_m)$ von $\mathrm{\Delta }$ finden, in der $c$ vorkommt, also $c=y_i$ für ein $0\le i\le m$ gilt. Falls $c$ bereits in der Zerlegung $\mathrm{\Delta }$ vorkommt, so können wir einfach $\tilde{\mathrm{\Delta }}=\mathrm{\Delta }$ wählen. Andernfalls gibt es ein $0\le i<n$ mit $x_i<c<x_{i+1}$ und dann ist $\tilde{\mathrm{\Delta }}=(x_0,x_1,\dots ,x_i,c,x_{i+1},\dots ,x_n)$ eine Verfeinerung mit der gewünschten Eigenschaft (in diesem Fall gilt $m=n+1$). Sei nun also $\tilde{\mathrm{\Delta }}=(y_0,y_1,\dots ,y_m)$ eine Verfeinerung von $\mathrm{\Delta }$ mit $c=y_i$. Dann sind ${\mathrm{\Delta }}_1:=(y_0,y_1,\dots ,y_i)$ und ${\mathrm{\Delta }}_2:=(y_i,y_{i+1},\dots ,y_m)$ Zerlegungen der Intervalle $[a,c]$ bzw. $[c,b]$. Da $\tilde{\mathrm{\Delta }}$ eine Verfeinerung von $\mathrm{\Delta }$ ist, gilt

$\begin{array}{cc}& O(\mathrm{\Delta },f)\\ \ge & O(\tilde{\mathrm{\Delta }},f)\\ =& \sum _{k=0}^{m-1}(y_{k+1}-y_k)\underset{x\in [y_k,y_{k+1}]}{sup}f(x)\\ =& \sum _{k=0}^{i-1}(y_{k+1}-y_k)\underset{x\in [y_k,y_{k+1}]}{sup}f(x)+\sum _{k=i}^{m-1}(y_{k+1}-y_k)\underset{x\in [y_k,y_{k+1}]}{sup}f(x)\\ =& O({\mathrm{\Delta }}_1,f)+O({\mathrm{\Delta }}_2,f)\\ \ge & I_{+}(f,[a,c])+I_{+}(f,[c,b])\end{array}$

Genauso ist

$\begin{array}{cc}& U(\mathrm{\Delta },f)\\ \le & U(\tilde{\mathrm{\Delta }},f)\\ =& \sum _{k=0}^{m-1}(y_{k+1}-y_k)\underset{x\in [y_k,y_{k+1}]}{inf}f(x)\\ =& \sum _{k=0}^{i-1}(y_{k+1}-y_k)\underset{x\in [y_k,y_{k+1}]}{inf}f(x)+\sum _{k=i}^{m-1}(y_{k+1}-y_k)\underset{x\in [y_k,y_{k+1}]}{inf}f(x)\\ =& U({\mathrm{\Delta }}_1,f)+U({\mathrm{\Delta }}_2,f)\\ \le & I_{-}(f,[a,c])+I_{-}(f,[c,b])\end{array}$

Folglich gilt

$\begin{array}{cc}& I_{+}(f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },f)\\ & \downarrow O(\mathrm{\Delta },f)\ge I_{+}(f,[a,c])+I_{+}(f,[c,b])\text{ für alle Zerlegungen }\mathrm{\Delta }\text{ von }[a,b]\\ \ge & I_{+}(f,[a,c])+I_{+}(f,[c,b])\end{array}$

und

$\begin{array}{cc}& I_{-}(f,[a,b])\\ =& \underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}U(\mathrm{\Delta },f)\\ & \downarrow U(\mathrm{\Delta },f)\le I_{-}(f,[a,c])+I_{-}(f,[c,b])\text{ für alle Zerlegungen }\mathrm{\Delta }\text{ von }[a,b]\\ \le & I_{-}(f,[a,c])+I_{-}(f,[c,b])\end{array}$

Insgesamt haben wir $I_{+}(f,[a,b])=I_{+}(f,[a,c])+I_{+}(f,[c,b])$ und $I_{-}(f,[a,b])=I_{-}(f,[a,c])+I_{-}(f,[c,b])$ gezeigt.

Ist nun $f$ riemannintegrierbar auf den Intervallen $[a,c]$ und $[c,b]$, so wissen wir $I_{+}(f,[a,c])=I_{-}(f,[a,c])$ und $I_{+}(f,[c,b])=I_{-}(f,[c,b])$. Daraus folgt $I_{+}(f,[a,b])=I_{-}(f,[a,b])$, d.h. $f$ ist riemannintegrierbar auf $[a,b]$. Ist hingegen $f$ auf $[a,c]$ oder $[c,b]$ nicht riemannintegrierbar, so gilt $I_{+}(f,[a,c])>I_{-}(f,[a,c])$ oder $I_{+}(f,[c,b])>I_{-}(f,[c,b])$, da die Ungleichungen $I_{+}(f,[a,c])\ge I_{-}(f,[a,c])$ und $I_{+}(f,[c,b])\ge I_{-}(f,[c,b])$ stets erfüllt sind. Daraus folgt $I_{+}(f,[a,b])>I_{-}(f,[a,b])$, d.h. $f$ ist nicht riemannintegrierbar auf $[a,b]$. Hiermit wurde die zu zeigende Äquivalenz bewiesen.

Im Falle der Integrierbarkeit gilt zudem

${\int }_a^{b}f(x)\mathrm{d}x=I_{+}(f,[a,b])=I_{+}(f,[a,c])+I_{+}(f,[c,b])={\int }_a^{c}f(x)\mathrm{d}x+{\int }_c^{b}f(x)\mathrm{d}x$

Dreiecksungleichung für das Riemannintegral

Satz

Sei $f:[a,b]\to ℝ$ eine riemannintegrierbare Funktion, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Dann ist die Funktion $|f|:[a,b]\to ℝ,x\mapsto |f(x)|$ riemannintegrierbar und es gilt

$|{\int }_a^{b}f(x)\mathrm{d}x|\le {\int }_a^b|f(x)|\mathrm{d}x$

Beweis

Um zu zeigen, dass $|f|$ riemannintegrierbar ist, verwenden wir das dazu äquivalente $ϵ$-Kriterium, welches wir bereits bewiesen haben. Sei also $ϵ>0$. Wir müssen eine Zerlegung $\tilde{\mathrm{\Delta }}$ mit $O(\tilde{\mathrm{\Delta }},|f|)-U(\tilde{\mathrm{\Delta }},|f|)<ϵ$ finden. Weil $f$ riemannintegrierbar ist, gibt es eine Zerlegung $\tilde{\mathrm{\Delta }}=(x_0,x_1,\dots ,x_n)$ mit $O(\tilde{\mathrm{\Delta }},f)-U(\tilde{\mathrm{\Delta }},f)<ϵ$. Wir wollen zeigen, dass für diese Zerlegung $\tilde{\mathrm{\Delta }}$ auch $O(\tilde{\mathrm{\Delta }},|f|)-U(\tilde{\mathrm{\Delta }},|f|)<ϵ$ gilt. Dazu beweisen wir zunächst $\underset{x\in [c,d]}{sup}|f(x)|-\underset{x\in [c,d]}{inf}|f(x)|\le \underset{x\in [c,d]}{sup}f(x)-\underset{x\in [c,d]}{inf}f(x)$ für jedes Intervall $[c,d]\subseteq [a,b]$ mit $c\le d$. Wir führen die Abkürzungen $A:=\underset{x\in [c,d]}{inf}f(x)$, $B:=\underset{x\in [c,d]}{sup}f(x)$, $C:=\underset{x\in [c,d]}{inf}|f(x)|$ und $D:=\underset{x\in [c,d]}{sup}|f(x)|$ ein und unterscheiden zwischen drei Fällen:

1. $0\le A\le B$
2. $A<0\le B$
3. $A\le B<0$

Zu zeigen ist jeweils $D-C\le B-A$.

Fall 1: $0\le A\le B$

Für alle $x\in [c,d]$ gilt $f(x)\ge \underset{x\in [c,d]}{inf}f(x)=A\ge 0$ und daher $|f(x)|=f(x)$. Somit ist $C=A$ und $D=B$, also $D-C=B-A$.

Fall 2: $A<0\le B$

Für alle $x\in [c,d]$ gilt $0\le |f(x)|=max\{f(x),-f(x)\}\le max\{B,-A\}$. Daher ist $C\ge 0$ und $D\le max\{B,-A\}$. Wegen $B,-A\ge 0$ gilt $max\{B,-A\}\le B-A$. Folglich erhalten wir $D-C\le max\{B,-A\}-0\le B-A$.

Fall 3: $A\le B<0$

Für alle $x\in [c,d]$ gilt $f(x)\le \underset{x\in [c,d]}{sup}f(x)=B<0$ und daher $|f(x)|=-f(x)$. Somit ist $C=-B$ und $D=-A$, also $D-C=B-A$.

Damit ist $\underset{x\in [c,d]}{sup}|f(x)|-\underset{x\in [c,d]}{inf}|f(x)|\le \underset{x\in [c,d]}{sup}f(x)-\underset{x\in [c,d]}{inf}f(x)$ für alle Intervalle $[c,d]\subseteq [a,b]$ mit $c\le d$ gezeigt. Dies wenden wir jetzt auf die Intervalle $[x_k,x_{k+1}]$ unserer Zerlegung $\tilde{\mathrm{\Delta }}$ an:

$\begin{array}{cc}& O(\tilde{\mathrm{\Delta }},|f|)-U(\tilde{\mathrm{\Delta }},|f|)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}|f(x)|-\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}|f(x)|\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{sup}|f(x)|-\underset{x\in [x_k,x_{k+1}]}{inf}|f(x)|)\\ \le & \sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{sup}f(x)-\underset{x\in [x_k,x_{k+1}]}{inf}f(x))\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)-\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ =& O(\tilde{\mathrm{\Delta }},f)-U(\tilde{\mathrm{\Delta }},f)\\ <& ϵ\end{array}$

Nun haben wir gezeigt, dass die Funktion $|f|$ riemannintegrierbar ist. Da $f(x)\le |f(x)|$ für alle $x\in [a,b]$ gilt, können wir die Monotonie des Riemannintegrals auf die riemannintegrierbaren Funktionen $f$ und $|f|$ anwenden und erhalten

${\int }_a^{b}f(x)\mathrm{d}x\le {\int }_a^b|f(x)|\mathrm{d}x$

Gemäß der Faktorregel ist die Funktion $-f:[a,b]\to ℝ,x\mapsto -f(x)$ ebenfalls riemannintegrierbar und es gilt

${\int }_a^b-f(x)\mathrm{d}x=-{\int }_a^{b}f(x)\mathrm{d}x$

Für alle $x\in [a,b]$ gilt $-f(x)\le |f(x)|$, sodass wir die Monotonie des Riemannintegrals auch auf die riemannintegrierbaren Funktionen $-f$ und $|f|$ anwenden können:

${\int }_a^b-f(x)\mathrm{d}x\le {\int }_a^b|f(x)|\mathrm{d}x$

Schließlich ist

$|{\int }_a^{b}f(x)\mathrm{d}x|=max\{{\int }_a^{b}f(x)\mathrm{d}x,-{\int }_a^{b}f(x)\mathrm{d}x\}=max\{{\int }_a^{b}f(x)\mathrm{d}x,{\int }_a^b-f(x)\mathrm{d}x\}\le {\int }_a^b|f(x)|\mathrm{d}x$

Hinweis

Aus der Riemannintegrierbarkeit von $|f|$ kann im Allgemeinen nicht die Riemannintegrierbarkeit von $f$ geschlossen werden.

Beispiel

Sei $f:[0,1]\to ℝ$ definiert durch

$f(x)=\{\begin{array}{cc}+1& x\in \mathbb{Q}\\ -1& x\notin \mathbb{Q}\end{array}$

Dann gilt $|f(x)|=1$ für alle $x\in [0,1]$. Deshalb ist die Funktion $|f|$ riemannintegrierbar (denn konstante Funktionen sind stetig). Jedoch ist die Funktion $f$ nicht riemannintegrierbar, da in jedem Intervall $[c,d]\subseteq [0,1]$ mit $c<d$ sowohl rationale als auch irrationale Zahlen liegen und daher $O(\mathrm{\Delta },f)=1$, aber $U(\mathrm{\Delta },f)=-1$ für alle Zerlegungen $\mathrm{\Delta }$ des Intervalls $[0,1]$ gilt.

Das Produkt zweier riemannintegrierbarer Funktionen ist riemannintegrierbar

Satz

Seien $f:[a,b]\to ℝ$ und $g:[a,b]\to ℝ$ zwei riemannintegrierbare Funktionen, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Dann ist die Funktion $(f\cdot g):[a,b]\to ℝ,x\mapsto f(x)\cdot g(x)$ riemannintegrierbar.

Im Allgemeinen gibt es keine einfache Möglichkeit, das Integral ${\int }_a^{b}f(x)g(x)\mathrm{d}x$ aus den Integralen ${\int }_a^{b}f(x)\mathrm{d}x$ und ${\int }_a^{b}g(x)\mathrm{d}x$ auszurechnen. Dennoch ist dieser Satz hilfreich, um die Integrierbarkeit einer Funktion nachzuweisen.

Beweis

Um zu zeigen, dass $fg$ riemannintegrierbar ist, verwenden wir das dazu äquivalente $ϵ$-Kriterium, welches wir bereits bewiesen haben. Sei also $ϵ>0$. Wir müssen eine Zerlegung $\tilde{\mathrm{\Delta }}$ mit $O(\tilde{\mathrm{\Delta }},fg)-U(\tilde{\mathrm{\Delta }},fg)<ϵ$ finden. Da die Funktionen $f$ und $g$ beschränkt sind, existieren reelle Zahlen $S,T>0$ mit $|f(x)|\le S$ und $|g(x)|\le T$ für alle $x\in [a,b]$. Weil $f$ und $g$ riemannintegrierbar sind, gibt es Zerlegungen ${\mathrm{\Delta }}_1$ und ${\mathrm{\Delta }}_2$ mit $O({\mathrm{\Delta }}_1,f)-U({\mathrm{\Delta }}_1,f)<\frac{ϵ}{2T}$ und $O({\mathrm{\Delta }}_2,g)-U({\mathrm{\Delta }}_2,g)<\frac{ϵ}{2S}$. Sei $\tilde{\mathrm{\Delta }}=(x_0,x_1,\dots ,x_n)$ eine gemeinsame Verfeinerung von ${\mathrm{\Delta }}_1$ und ${\mathrm{\Delta }}_2$. Wir wollen zeigen, dass $O(\tilde{\mathrm{\Delta }},fg)-U(\tilde{\mathrm{\Delta }},fg)<ϵ$ gilt. Dazu beweisen wir zunächst $\underset{x\in [c,d]}{sup}f(x)g(x)-\underset{x\in [c,d]}{inf}f(x)g(x)\le S(\underset{x\in [c,d]}{sup}g(x)-\underset{x\in [c,d]}{inf}g(x))+T(\underset{x\in [c,d]}{sup}f(x)-\underset{x\in [c,d]}{inf}f(x))$ für jedes Intervall $[c,d]\subseteq [a,b]$ mit $c\le d$. Es gilt

$\begin{array}{cc}& \underset{x\in [c,d]}{sup}f(x)g(x)-\underset{x\in [c,d]}{inf}f(x)g(x)\\ =& \underset{x,y\in [c,d]}{sup}(f(x)g(x)-f(y)g(y))\\ =& \underset{x,y\in [c,d]}{sup}(f(x)(g(x)-g(y))+g(y)(f(x)-f(y)))\\ \le & \underset{x,y\in [c,d]}{sup}(f(x)(g(x)-g(y)))+\underset{x,y\in [c,d]}{sup}(g(y)(f(x)-f(y)))\\ \le & S\underset{x,y\in [c,d]}{sup}(g(x)-g(y))+T\underset{x,y\in [c,d]}{sup}(f(x)-f(y))\\ =& S(\underset{x\in [c,d]}{sup}g(x)-\underset{x\in [c,d]}{inf}g(x))+T(\underset{x\in [c,d]}{sup}f(x)-\underset{x\in [c,d]}{inf}f(x))\end{array}$

Dies wenden wir jetzt auf die Intervalle $[x_k,x_{k+1}]$ unserer Zerlegung $\tilde{\mathrm{\Delta }}$ an:

$\begin{array}{cc}& O(\tilde{\mathrm{\Delta }},fg)-U(\tilde{\mathrm{\Delta }},fg)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)g(x)-\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)g(x)\\ =& \sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{sup}f(x)g(x)-\underset{x\in [x_k,x_{k+1}]}{inf}f(x)g(x))\\ \le & \sum _{k=0}^{n-1}(x_{k+1}-x_k)(S(\underset{x\in [c,d]}{sup}g(x)-\underset{x\in [c,d]}{inf}g(x))+T(\underset{x\in [c,d]}{sup}f(x)-\underset{x\in [c,d]}{inf}f(x)))\\ =& S\sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [x_k,x_{k+1}]}{sup}g(x)-\underset{x\in [x_k,x_{k+1}]}{inf}g(x))+T\sum _{k=0}^{n-1}(x_{k+1}-x_k)(\underset{x\in [c,d]}{sup}f(x)-\underset{x\in [c,d]}{inf}f(x))\\ =& S(\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}g(x)-\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}g(x))\\ & +T(\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)-\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x))\\ =& S(O(\tilde{\mathrm{\Delta }},g)-U(\tilde{\mathrm{\Delta }},g))+T(O(\tilde{\mathrm{\Delta }},f)-U(\tilde{\mathrm{\Delta }},f))\\ & \downarrow \tilde{\mathrm{\Delta }}\text{ ist Verfeinerung von }{\mathrm{\Delta }}_1\text{ und }{\mathrm{\Delta }}_2\\ \le & S(O({\mathrm{\Delta }}_2,g)-U({\mathrm{\Delta }}_2,g))+T(O({\mathrm{\Delta }}_1,f)-U({\mathrm{\Delta }}_1,f))\\ <& S\cdot \frac{ϵ}{2S}+T\cdot \frac{ϵ}{2T}\\ =& ϵ\end{array}$

Somit ist $fg$ riemannintegrierbar.

Monotone Funktionen sind riemannintegrierbar

Ober- und Untersumme einer monoton steigenden Funktion bei Aufteilung in gleich große Teilintervalle

Ist unsere Funktion $f$ monoton, so werden die Suprema und Infima auf den Teilintervallen einer Zerlegung stets am Rand der Teilintervalle angenommen. In der Abbildung sieht man, dass die Fläche zwischen Ober- und Untersumme deshalb aus Rechtecken zusammengesetzt ist, die sich nur über Eck berühren. Haben alle Rechtecke die gleiche Breite $h$, können wir sie zu einem einzigen Rechteck mit Breite $h$ und Höhe $f(b)-f(a)$ zusammenschieben. Das bedeutet, die Differenz zwischen Ober- und Untersumme kann beliebig klein gemacht werden, wenn wir die Breite $h$ genügend klein wählen. Damit haben wir uns anschaulich überlegt, dass die monotone Funktion $f$ riemannintegrierbar sein muss. Dies wollen wir nun beweisen.

Satz

Sei $f:[a,b]\to ℝ$ eine monoton steigende oder monoton fallende Funktion, wobei $a$ und $b$ reelle Zahlen mit $a\le b$ sind. Dann ist $f$ riemannintegrierbar.

Beweis

Wir nehmen an, dass $f$ monoton steigend ist. Wäre $f$ monoton fallend, so können wir stattdessen die monoton steigende Funktion $-f$ betrachten und anschließend die Faktorregel mit dem Faktor $-1$ anwenden. Weil $f$ monoton steigend ist, gilt $\underset{x\in [c,d]}{inf}f(x)=f(c)$ sowie $\underset{x\in [c,d]}{sup}f(x)=f(d)$ für alle Intervalle $[c,d]\subseteq [a,b]$ mit $c\le d$. Ist $a=b$, so ist $f$ konstant und daher riemannintegrierbar. Andernfalls ist ${\mathrm{\Delta }}_n:=(x_0,x_1,\dots ,x_n)$ mit $x_k:=a+k\frac{b-a}{n}$ für jedes $n\in \mathbb{N}$ eine Zerlegung des Intervalls $[a,b]$. Anschaulich handelt es sich dabei um die Zerlegung von $[a,b]$ in $n$ gleich große Teilintervalle. Wir berechnen die zugehörige Ober- und Untersumme:

$\begin{array}{cc}O({\mathrm{\Delta }}_n,f)& =\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{sup}f(x)\\ & =\sum _{k=0}^{n-1}\frac{b-a}{n}f(x_{k+1})\\ & =\frac{b-a}{n}(f(x_1)+\dots +f(x_{n-1})+f(b))\\ U({\mathrm{\Delta }}_n,f)& =\sum _{k=0}^{n-1}(x_{k+1}-x_k)\underset{x\in [x_k,x_{k+1}]}{inf}f(x)\\ & =\sum _{k=0}^{n-1}\frac{b-a}{n}f(x_k)\\ & =\frac{b-a}{n}(f(a)+f(x_1)+\dots +f(x_{n-1}))\end{array}$

Wir stellen fest:

$O({\mathrm{\Delta }}_n,f)-U({\mathrm{\Delta }}_n,f)=\frac{b-a}{n}(f(b)-f(a))$

Daraus folgt die Riemannintegrierbarkeit von $f$ mithilfe des $ϵ$-Kriteriums, denn für alle $ϵ>0$ können wir ein $n\in \mathbb{N}$ mit $\frac{b-a}{n}(f(b)-f(a))<ϵ$ finden. Für die zugehörige Zerlegung ${\mathrm{\Delta }}_n$ gilt also $O({\mathrm{\Delta }}_n,f)-U({\mathrm{\Delta }}_n,f)<ϵ$.

Fast überall gleiche Funktionen haben das gleiche Riemannintegral

Satz

Seien $f,g:[a,b]\to ℝ$ zwei Funktionen, die fast überall übereinstimmen, d.h. es gibt nur endlich viele $x\in [a,b]$ mit $f(x)\ne g(x)$. Dann gilt: Ist $f$ riemannintegrierbar, so ist auch $g$ riemannintegrierbar. Ferner ist dann

${\int }_a^{b}g(x)\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x$

Beweis

Wir dürfen annehmen, dass $f\equiv 0$ gilt. Andernfalls können wir nämlich $f$ durch die Nullfunktion und $g$ durch $g-f$ ersetzen. Wenn wir gezeigt haben, dass $g-f$ riemannintegrierbar ist mit ${\int }_a^b(g(x)-f(x))\mathrm{d}x=0$, folgt aus der Summenregel, dass $g=(g-f)+f$ riemannintegrierbar ist mit

${\int }_a^{b}g(x)\mathrm{d}x={\int }_a^b(g(x)-f(x))\mathrm{d}x+{\int }_a^{b}f(x)\mathrm{d}x={\int }_a^{b}f(x)\mathrm{d}x$

Sei nun also $f\equiv 0$. Die Stellen, an denen sich $g$ von $f$ unterscheidet, nennen wir $x_1,x_2,\dots ,x_n$. Es gilt also

$g(x)=\{\begin{array}{cc}0& x\ne x_k\text{ für alle }k\in \{1,2,\dots ,n\}\\ y_k& x=x_k\text{ für ein }k\in \{1,2,\dots ,n\}\end{array}$

wobei $y_k:=g(x_k)\ne 0$ irgendwelche Funktionswerte sind. Wir sehen, dass sich $g$ als Summe der $n$ Funktionen $g_1,\dots ,g_n$ schreiben lässt, die durch

$g_k(x)=\{\begin{array}{cc}0& x\ne x_k\\ y_k& x=x_k\end{array}$

definiert sind. Indem wir erneut auf die Summenregel zurückgreifen, können wir uns also auf den Fall $k=1$ beschränken. Haben wir nämlich bereits gezeigt, dass jede der Funktionen $g_k$, die sich nur an der einen Stelle $x_k$ von der Nullfunktion unterscheidet, riemannintegrierbar ist und ihr Integral gleich $0$ ist, so gilt genau das gleiche auch für ihre Summe $g$. Sei daher $g=g_1$. Wir dürfen ferner voraussetzen, dass $x_1\in \{a,b\}$ ist. Falls nämlich $a<x_1<b$ wäre, so können wir die Aussage zunächst separat auf den beiden Intervallen $[a,x_1]$ und $[x_1,b]$ beweisen, wo $x_1$ jeweils eine der Intervallgrenzen ist, und anschließend die Additivität der Grenzen beim Riemannintegral benützen. Sei nun also $x_1\in \{a,b\}$. Wir können uns auf den Fall $y_1>0$ beschränken. Denn andernfalls betrachten wir stattdessen die Funktion $-g$ und wenden danach die Faktorregel für den Faktor $-1$ an. Sei daher $y_1>0$. Auch dürfen wir annehmen, dass $a<b$ ist, da für $a=b$ die einzige Zerlegung durch $\mathrm{\Delta }=(a)$ gegeben ist und deshalb die einzige Ober- und Untersumme zu einer beliebigen Funktion stets leer ist und daher den Wert $0$ hat. Wir unterscheiden jetzt zwei Fälle:

Fall 1: $x_1=a$

Wir betrachten die Zerlegungen ${\mathrm{\Delta }}_n=(a,a+\frac{b-a}{2^n},b)$ für $n\in \mathbb{N}$. Es gilt

$\begin{array}{cc}& O({\mathrm{\Delta }}_n,g)\\ =& \frac{b-a}{2^n}\cdot \underset{x\in [a,a+\frac{b-a}{2^n}]}{sup}g(x)+(b-a-\frac{b-a}{2^n})\cdot \underset{x\in [a+\frac{b-a}{2^n},b]}{sup}g(x)\\ & \downarrow g(a)=y_1>0=g(x)\text{ für }x>a\\ =& \frac{b-a}{2^n}\cdot y_1+(b-a-\frac{b-a}{2^n})\cdot 0\\ =& \frac{(b-a)y_1}{2^n}\end{array}$

sowie

$\begin{array}{cc}& U({\mathrm{\Delta }}_n,g)\\ =& \frac{b-a}{2^n}\cdot \underset{x\in [a,a+\frac{b-a}{2^n}]}{inf}g(x)+(b-a-\frac{b-a}{2^n})\cdot \underset{x\in [a+\frac{b-a}{2^n},b]}{inf}g(x)\\ & \downarrow g(a)=y_1>0=g(x)\text{ für }x>a\\ =& \frac{b-a}{2^n}\cdot 0+(b-a-\frac{b-a}{2^n})\cdot 0\\ =& 0\end{array}$

Fall 2: $x_1=b$

Wir betrachten die Zerlegungen ${\mathrm{\Delta }}_n=(a,b-\frac{b-a}{2^n},b)$ für $n\in \mathbb{N}$. Es gilt

$\begin{array}{cc}& O({\mathrm{\Delta }}_n,g)\\ =& (b-\frac{b-a}{2^n}-a)\cdot \underset{x\in [a,b-\frac{b-a}{2^n}]}{sup}g(x)+\frac{b-a}{2^n}\cdot \underset{x\in [b-\frac{b-a}{2^n},b]}{sup}g(x)\\ & \downarrow g(b)=y_1>0=g(x)\text{ für }x<b\\ =& (b-\frac{b-a}{2^n}-a)\cdot 0+\frac{b-a}{2^n}\cdot y_1\\ =& \frac{(b-a)y_1}{2^n}\end{array}$

sowie

$\begin{array}{cc}& U({\mathrm{\Delta }}_n,g)\\ =& (b-\frac{b-a}{2^n}-a)\cdot \underset{x\in [a,b-\frac{b-a}{2^n}]}{inf}g(x)+\frac{b-a}{2^n}\cdot \underset{x\in [b-\frac{b-a}{2^n},b]}{inf}g(x)\\ & \downarrow g(b)=y_1>0=g(x)\text{ für }x<b\\ =& (b-\frac{b-a}{2^n}-a)\cdot 0+\frac{b-a}{2^n}\cdot 0\\ =& 0\end{array}$

In beiden Fällen erkennen wir, dass

$I_{+}(g,[a,b])=\underset{\mathrm{\Delta }\text{ Zerlegung}}{inf}O(\mathrm{\Delta },g)\le \underset{n\in \mathbb{N}}{inf}O({\mathrm{\Delta }}_n,g)=0$

und

$I_{-}(g,[a,b])=\underset{\mathrm{\Delta }\text{ Zerlegung}}{sup}U(\mathrm{\Delta },g)\ge \underset{n\in \mathbb{N}}{sup}U({\mathrm{\Delta }}_n,g)=0$

gelten. Folglich ist $g$ riemannintegrierbar mit ${\int }_a^{b}g(x)\mathrm{d}x=0$.