Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I/Vorlesung 18

In den folgenden Vorlesungen beschäftigen wir uns mit der Integrationstheorie, d.h. wir wollen den Flächeninhalt derjenigen Fläche, die durch einen Funktionsgraphen einer Funktion (dem Integranden)

$f:[a,b]⟶ℝ$

und der $x$-Achse begrenzt wird, systematisch studieren und berechnen. Zugleich ergibt sich ein direkter Zusammenhang zum Auffinden von Stammfunktionen von $f$, das sind Funktionen, deren Ableitung $f$ ist. Der Flächeninhalt ist kein unproblematischer Begriff, der erst im Rahmen der Maßtheorie grundlegend behandelt wird. Dennoch handelt es sich um einen intuitiv leicht zugänglichen Begriff, von dem wir hier nur einige wenige naheliegende Grundtatsachen verwenden. Sie dienen hier auch nirgendwo der Argumentation, sondern lediglich der Motivation. Ausgangspunkt ist, dass der Flächeninhalt eines Rechtecks mit gegebenen Seitenlängen einfach das Produkt der beiden Seitenlängen ist, und dass der Flächeninhalt einer Fläche, die man mit Rechtecken „ausschöpfen“ kann, als der Limes der Summe der beteiligten Rechtecksinhalte erhalten werden kann. Beim Riemannschen Integral, das zumindest für stetige Funktionen eine befriedigende Theorie liefert, beschränkt man sich auf solche Rechtecke, die parallel zum Koordinatensystem liegen, deren Breite (Grundseite auf der $x$-Achse) beliebig variieren darf und deren Höhe in Beziehung zu den Funktionswerten über der Grundseite steht. Dadurch werden die Funktionen durch sogenannte Treppenfunktionen approximiert.

Treppenfunktionen

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

Definition

Es sei $I$ ein reelles Intervall mit den Grenzen  $a,b\in ℝ$.  Dann heißt eine Funktion

$t:I⟶ℝ$

eine Treppenfunktion, wenn es eine Unterteilung

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

von $I$ derart gibt, 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

Es sei $I$ ein reelles Intervall mit den Grenzen  $a,b\in ℝ$  und sei

$t:I⟶ℝ$

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,\dots ,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)dx$ bezeichnet. Bei einer äquidistanten Unterteilung mit der Teilintervalllänge $\frac{b-a}{n}$ ist das Treppenintegral gleich $\frac{b-a}{n}\left(\sum _{i=1}^n{t}_i\right)$. Das Treppenintegral ist nicht von der gewählten Unterteilung abhängig, bezüglich der eine Treppenfunktion vorliegt (man kann also die Unterteilung verfeinern).

Definition

Es sei $I$ ein beschränktes Intervall und sei

$f:I⟶ℝ$

eine Funktion. Dann heißt eine Treppenfunktion

$t:I⟶ℝ$

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

$s:I⟶ℝ$

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

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

Definition

Es sei $I$ ein beschränktes Intervall und sei

$f:I⟶ℝ$

eine Funktion. Zu jeder oberen Treppenfunktion

$t:I⟶ℝ$

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

$T:=\sum _{i=1}^n{t}_i(a_i-a_{i-1})$

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

Definition

Es sei $I$ ein beschränktes Intervall und sei

$f:I⟶ℝ$

eine Funktion. Zu jeder unteren Treppenfunktion

$s:I⟶ℝ$

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

$S:=\sum _{i=1}^n{s}_i(a_i-a_{i-1})$

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

Verschiedene obere (untere) Treppenfunktionen liefern natürlich verschiedene obere (und untere) Treppenintegrale.Für die weiteren Integrationskonzepte brauchen wir zwei Begriffe, die sich auf beliebige reelle Teilmengen beziehen.

Definition

Zu einer nichtleeren Teilmenge  $M\subseteq ℝ$  heißt eine obere Schranke $T$ von $M$ das Supremum von $M$, wenn  $T\le S$  für alle oberen Schranken $S$ von $M$ gilt.

Definition

Zu einer nichtleeren Teilmenge  $M\subseteq ℝ$  heißt eine untere Schranke $t$ von $M$ das Infimum von $M$, wenn  $t\ge s$  für alle unteren Schranken $s$ von $M$ gilt.

Die Existenz von Infimum und Supremum ergibt sich aus der Vollständigkeit der reellen Zahlen.

Satz

Jede nichtleere nach oben beschränkte Teilmenge der reellen Zahlen

besitzt ein Supremum in $ℝ$.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Es sei $M\subseteq ℝ$ eine nichtleere, nach oben beschränkte Teilmenge. Es sei $x_0\in M$ und $y_0$ eine obere Schranke für $M$, d.h. es ist $x\le y_0$ für alle $x\in M$. Wir konstruieren zwei Folgen ${\left(x_n\right)}_{n\in \mathbb{N}}$ und ${\left(y_n\right)}_{n\in \mathbb{N}}$, wobei $x_n\in M$ wachsend, ${\left(y_n\right)}_{n\in \mathbb{N}}$ fallend ist und jedes $y_n$ eine obere Schranke von $M$ ist (sodass insbesondere $x_n\le y_n$ für alle $n$ ist), und so, dass ${\left(x_n\right)}_{n\in \mathbb{N}}$ eine Cauchy-Folge ist. Dabei gehen wir induktiv vor, d.h. die beiden Folgen seien bis $n$ bereits definiert und erfüllen die gewünschten Eigenschaften. Wir setzen

$x_{n+1}:=\{\begin{array}{c}{x}_n,\text{ falls }[\frac{x_n+y_n}{2},y_n]\cap M=\mathrm{\varnothing },\\ \text{ein beliebiger Punkt aus }[\frac{x_n+y_n}{2},y_n]\cap M\text{ sonst}.\end{array}$

und

$y_{n+1}:=\{\begin{array}{c}\frac{x_n+y_n}{2},\text{ falls }[\frac{x_n+y_n}{2},y_n]\cap M=\mathrm{\varnothing },\\ y_n\text{ sonst}.\end{array}$

Dies erfüllt die gewünschten Eigenschaften, und es ist

$y_n-x_n\le {\left(\frac{1}{2}\right)}^n(y_0-x_0),$

da in beiden Fällen der Abstand zumindest halbiert wird. Da die Folge ${\left(x_n\right)}_{n\in \mathbb{N}}$ wachsend und nach oben beschränkt ist, handelt es sich nach Lemma 8.7 um eine Cauchy-Folge. Wegen der Vollständigkeit besitzt die konstruierte Folge ${\left(x_n\right)}_{n\in \mathbb{N}}$ einen Grenzwert $x$. Ebenso ist die fallende Folge ${\left(y_n\right)}_{n\in \mathbb{N}}$, die nach unten beschränkt ist, eine Cauchy-Folge mit demselben Grenzwert $x$.  Wir behaupten, dass dieses $x$ das Supremum von $M$ ist. Wir zeigen zuerst, dass $x$ eine obere Schranke von $M$ ist.  Es sei dazu $z>x$ angenommen für ein $z\in M$. Da die Folge ${\left(y_n\right)}_{n\in \mathbb{N}}$ gegen $x$ konvergiert, gibt es insbesondere ein $n$ mit

$x\le y_n<z$

im Widerspruch dazu, dass jedes $y_n$ eine obere Schranke von $M$ ist.
 Für die Supremumseigenschaft müssen wir zeigen, dass $x$ kleiner oder gleich jeder oberen Schranke von $M$ ist. Es sei dazu $u$ eine obere Schranke von $M$ und  nehmen wir an, dass $x>u$ ist. Da ${\left(x_n\right)}_{n\in \mathbb{N}}$ gegen $x$ konvergiert, gibt es wieder ein $n$ mit

$u<x_n\le x$

im Widerspruch dazu, dass $u$ eine obere Schranke ist. Also liegt wirklich das Supremum vor.

$◻$

 

Definition

Es sei $I$ ein beschränktes Intervall und sei

$f:I⟶ℝ$

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

Definition

Es sei $I$ ein beschränktes Intervall und sei

$f:I⟶ℝ$

eine nach unten beschränkte Funktion. Dann heißt das Supremum von sämtlichen Treppenintegralen zu 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 unteren Treppenintegrale nicht leer ist. Unter dieser Bedingung allein muss nicht unbedingt die Menge der unteren Treppenintegrale 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 Suprema (Infima) der Funktion auf den Teilintervallen festgelegt ist. Bei stetigen Funktionen auf abgeschlossenen Intervallen sind das Maxima bzw. Minima. Für das Integral muss man aber Treppenfunktionen zu sämtlichen Unterteilungen berücksichtigen.

Riemann-integrierbare Funktionen

Im Folgenden sprechen wir manchmal von einem kompakten Intervall, das ist ein beschränktes und abgeschlossenes Intervall, also von der Form  $I=[a,b]$  mit  $a,b\in ℝ$. 

Eine untere und eine obere Treppenfunktion. Der grüne Flächeninhalt ist eine Untersumme und der gelbe Flächeninhalt (teilweise verdeckt) ist eine Obersumme.

Definition

Es sei $I$ ein kompaktes Intervall und sei

$f:I⟶ℝ$

eine Funktion. Dann heißt $f$ Riemann-integrierbar, wenn Ober- und Unterintegral von $f$ existieren und übereinstimmen.

Historisch korrekter ist es, von Darboux-integrierbar zu sprechen.

Definition

Es sei $I=[a,b]$ ein kompaktes Intervall. Zu einer Riemann-integrierbaren Funktion

$f:I=[a,b]⟶ℝ,t⟼f(t),$

heißt das Oberintegral (das nach Definition mit dem Unterintegral übereinstimmt) das bestimmte Integral von $f$ über $I$. Es wird mit

${\int }_a^{b}f(t)dt\text{ oder mit }{\int }_I^{}f(t)dt$

bezeichnet.

Das Berechnen von solchen Integralen nennt man integrieren. Man sollte sich keine allzu großen Gedanken über das Symbol $dt$ machen. Darin wird ausgedrückt, bezüglich welcher Variablen die Funktion zu integrieren ist. Es kommt dabei aber nicht auf den Namen der Variablen an, d.h. es ist

${\int }_a^{b}f(t)dt={\int }_a^{b}f(x)dx.$

Lemma

Es sei $I$ ein kompaktes Intervall und sei

$f:I⟶ℝ$

eine Funktion. Es gebe eine Folge von unteren Treppenfunktionen ${\left(s_n\right)}_{n\in \mathbb{N}}$ mit $s_n\le f$ und eine Folge von oberen Treppenfunktionen ${\left(t_n\right)}_{n\in \mathbb{N}}$ mit $t_n\ge f$. Es sei vorausgesetzt, dass die beiden zugehörigen Folgen der Treppenintegrale konvergieren und dass ihr Grenzwert übereinstimmt.

Dann ist $f$ Riemann-integrierbar, und das bestimmte Integral ist gleich diesem Grenzwert, also

$\underset{n\to \mathrm{\infty }}{lim}{\int }_a^b{s}_n(x)dx={\int }_a^{b}f(x)dx=\underset{n\to \mathrm{\infty }}{lim}{\int }_a^b{t}_n(x)dx$

Beweis

Siehe Aufgabe 18.10.

$◻$

Beispiel

Wir betrachten die Funktion

$f:[0,1]⟶ℝ,t⟼t^2,$

die bekanntlich in diesem Intervall streng wachsend ist. Für ein Teilintervall  $[a,b]\subseteq [0,1]$  ist daher $f(a)$ das Minimum und $f(b)$ das Maximum der Funktion über diesem Teilintervall. Es sei $n$ eine positive natürliche Zahl. Wir unterteilen das Intervall $[0,1]$ in die $n$ gleichlangen Teilintervalle

$[i\frac{1}{n},(i+1)\frac{1}{n}],i=0,\dots ,n-1,$

der Länge $\frac{1}{n}$. Das Treppenintegral zu der zugehörigen unteren Treppenfunktionen ist

$\sum _{i=0}^{n-1}\frac{1}{n}{\left(i\frac{1}{n}\right)}^2=\frac{1}{n^3}\sum _{i=0}^{n-1}{i}^2=\frac{1}{n^3}(\frac{1}{3}{n}^3-\frac{1}{2}{n}^2+\frac{1}{6}n)=\frac{1}{3}-\frac{1}{2n}+\frac{1}{6n^2}$

(siehe Aufgabe 2.10 für die Formel für die Summe der Quadrate). Da die beiden Folgen ${(1/2n)}_{n\in \mathbb{N}}$ und ${(1/6n^2)}_{n\in \mathbb{N}}$ gegen $0$ konvergieren, ist der Limes für $n\to \mathrm{\infty }$ von diesen Treppenintegralen gleich $\frac{1}{3}$. Das Treppenintegral zu der zugehörigen oberen Treppenfunktion ist

$\sum _{i=0}^{n-1}\frac{1}{n}{((i+1)\frac{1}{n})}^2=\frac{1}{n^3}\sum _{i=0}^{n-1}(i+1{)}^2=\frac{1}{n^3}\sum _{j=1}^n{j}^2=\frac{1}{n^3}(\frac{1}{3}{n}^3+\frac{1}{2}{n}^2+\frac{1}{6}n)=\frac{1}{3}+\frac{1}{2n}+\frac{1}{6n^2}.$

Der Limes davon ist wieder $\frac{1}{3}$. Da beide Limiten übereinstimmen, müssen nach Lemma 18.13 überhaupt das Ober- und das Unterintegral übereinstimmen, sodass die Funktion Riemann-integrierbar ist und das bestimmte Integral

${\int }_0^1{t}^{2}dt=\frac{1}{3}$

ist.

Lemma

Es sei $I=[a,b]$ ein kompaktes Intervall und sei

$f:I⟶ℝ$

eine Funktion. Dann sind folgende Aussagen äquivalent.

1. Die Funktion $f$ ist Riemann-integrierbar.
2. Es gibt eine Unterteilung  $a=a_0<a_1<\cdots <a_n=b$  derart, dass die einzelnen Einschränkungen  $f_i:=f{|}_{[a_{i-1},a_i]}$  Riemann-integrierbar sind.
3. Für jede Unterteilung  $a=a_0<a_1<\cdots <a_n=b$  sind die Einschränkungen  $f_i:=f{|}_{[a_{i-1},a_i]}$  Riemann-integrierbar.

In dieser Situation gilt

${\int }_a^{b}f(t)dt=\sum _{i=1}^n{\int }_{a_{i-1}}^{a_i}{f}_i(t)dt.$

Beweis

Siehe Aufgabe 18.12.

$◻$

Definition

Es sei $I$ ein reelles Intervall und sei

$f:I⟶ℝ$

eine Funktion. Dann heißt $f$ Riemann-integrierbar, wenn die Einschränkung von $f$ auf jedes kompakte Intervall  $[a,b]\subseteq I$  Riemann-integrierbar ist.

Aufgrund des obigen Lemmas stimmen für ein kompaktes Intervall $[a,b]$ die beiden Definitionen überein. Die Integrierbarkeit einer Funktion $f:ℝ\to ℝ$ bedeutet nicht, dass ${\int }_{ℝ}f(x)dx$ eine Bedeutung hat bzw. existieren muss.

Riemann-Integrierbarkeit stetiger Funktionen

Satz

Es sei $I$ ein reelles Intervall und sei

$f:I⟶ℝ$

eine stetige Funktion.

Dann ist $f$ Riemann-integrierbar.

Beweis

Wir werden den Beweis, der auf dem Begriff der gleichmäßigen Stetigkeit beruht, nicht durchführen.

$◻$

Lemma

Es sei $I=[a,b]$ ein kompaktes Intervall und es seien $f,g:I\to ℝ$ zwei Riemann-integrierbare Funktionen. Dann gelten folgende Aussagen.

1. Ist  $m\le f(x)\le M$  für alle  $x\in I$,  so ist  $m(b-a)\le {\int }_a^{b}f(t)dt\le M(b-a)$. 
2. Ist  $f(x)\le g(x)$  für alle  $x\in I$,  so ist  ${\int }_a^{b}f(t)dt\le {\int }_a^{b}g(t)dt$. 
3. Die Summe $f+g$ ist Riemann-integrierbar und es ist  ${\int }_a^b(f+g)(t)dt={\int }_a^{b}f(t)dt+{\int }_a^{b}g(t)dt$. 
4. Für  $c\in ℝ$  ist  ${\int }_a^b(cf)(t)dt=c{\int }_a^{b}f(t)dt$. 
5. Die Funktionen $max(f,g)$ und $min(f,g)$ sind Riemann-integrierbar.
6. Die Funktion $|f|$ ist Riemann-integrierbar.
7. Das Produkt $fg$ ist Riemann-integrierbar.

Beweis

Für (1) bis (4) siehe Aufgabe 18.13. Für (5) siehe Aufgabe 18.15.
(6) folgt direkt aus (5) wegen  $|f|=max(f,-f,)$.  Für (7) siehe Aufgabe 18.16.

$◻$

Fußnoten

<< | Kurs:Mathematik für Anwender (Osnabrück 2019-2020)/Teil I | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)