Kurs:Analysis II/Kapitel V: Das Riemannsche Integral im R^n/Klassen Riemann-integrierbarer Funktionen (§3)

Definition 1

Seien die Dimensionen $m,n\in \mathbb{N}$ fest gewählt. Auf dem Quader $Q\subset {ℝ}^n$ sei eine beschränkte Funktion $f=(f_1(x),...,f_m(x)):Q\to {ℝ}^m$ gegeben. Dann heißt $f$ über $Q$ Riemann-integrierbar oder kurz integrierbar, wenn alle Komponentenfunktionen

$f_j=f_j(x):Q\to ℝ$ für $j=1,...,m$

gemäß Definition 7 in §2 Riemann-integrierbar sind. Wir setzen dann als Riemannsches Integral

(1) $\underset{Q}{\int }f(x)dx:=(\underset{Q}{\int }{f}_1(x)dx,...,\underset{Q}{\int }{f}_m(x)dx)$.

Definition 2

Für die beschränkte Funktion $f:Q\to {ℝ}^m$ erklären wir die Oscillation auf einer Teilmenge $Q^{\prime }\subset Q$ des Quaders $Q$ durch

(2) $\mathrm{osc}(f,Q^{\prime }):=\sup \{|f(x)-f(y)|:x,y\in Q^{\prime }\}$.

Definition 3

Wir betrachten auf dem Quader $Q\subset {ℝ}^n$ eine beschränkte Funktion $f:Q\to {ℝ}^m$. Für eine Zerlegung $𝒵$ von $Q=\bigcup _{i\in 𝔑}{Q}_i$ gemäß Definition 2 aus §2 nennen wir

(3) $\sigma (f,𝒵):=\sum _{i\in 𝔑}\mathrm{osc}(f,Q_i)\cdot |Q_i|$

die Schwankung von $f$ auf $Q$ bez. der Zerlegung $𝒵$.

Bemerkung

Wegen der Eigenschaft

$\sigma (f,Q^{\prime })=\sup \{f(x):x\in Q^{\prime }\}-\inf \{f(x):x\in Q^{\prime }\}$

für beschränkte reellwertige Funktionen $f:Q\to ℝ$ und beliebige Teilmengen $Q^{\prime }\subset Q$ ermitteln wir – über die Definition 3 aus §2 – die folgende Identität:

(4) $\begin{array}{c}\sigma (f,𝒵)=\sum _{i\in 𝔑}\sigma (f,Q_i)\cdot |Q_i|\\ =\sum _{i\in 𝔑}(\sup \{f(x):x\in Q_i\}-\inf \{f(x):x\in Q_i\})\cdot |Q_i|\\ \sum _{i\in 𝔑}{M}_i\cdot |Q_i|-\sum _{i\in 𝔑}{m}_i\cdot |Q_i|=S(f,𝒵)-s(f,𝒵).\end{array}$

Satz 1 (Riemannsches Integrabilitätskriterium)

Für eine beschränkte Funktion $f=(f_1(x),...,f_m(x)):Q\to {ℝ}^m$ auf einem Quader $Q\subset {ℝ}^n$ gelten die folgenden Aussagen:

1. Wenn es eine ausgezeichnete Zerlegungsfolge $\{{𝒵}_j{\}}_{j\in \mathbb{N}}$ mit der Schwankung $\underset{j\to \mathrm{\infty }}{\lim }\sigma (f,{𝒵}_j)=0$ gibt, dann ist $f$ über $Q$ Riemann-integrierbar.
2. Wenn $f$ über $Q$ Riemann-integrierbar ist, dann erfüllt jede ausgezeichnete Zerlegungsfolge die Beziehung $\underset{j\to \mathrm{\infty }}{\lim }\sigma (f,{𝒵}_j)=0$ für die Schwankung.

Beweis

1. Alle Komponentenfunktionen erfüllen dann

$\underset{j\to \mathrm{\infty }}{\lim }\sigma (f_k,{𝒵}_j)=0$ für $k=1,...,m$.

Mit der Identität (3) folgt

$\underset{j\to \mathrm{\infty }}{\lim }\{S(f_k,{𝒵}_j)-s(f_k,{𝒵}_j)\}=0$

Satz 3 in §2 liefert die Integrierbarkeit der Funktionen

$f_k:Q\to ℝ$ für $k=1,...,m$.

2. Für jede Komponentenfunktion $f_k:Q\to ℝ$ mit $k=1,...,m$ ergibt der Satz 1 aus §2 – kombiniert mit obiger Identität (3) – die Beziehung

$\underset{j\to \mathrm{\infty }}{\lim }\sigma (f_k,{𝒵}_j)=0$ für $k=1,...,m$.

Beachten wir noch die Abschätzung

$\sigma (f,𝒵)\le \sigma (f_1,𝒵)+...+\sigma (f_m,𝒵)$,

so folgt $\underset{j\to \mathrm{\infty }}{\lim }\sigma (f,{𝒵}_j)=0$.

q.e.d.

Satz 2

Eine stetige Funktion $f:Q\to ℂ$ ist über $Q$ Riemann-integrierbar.

Beweis

Nach Satz 7 aus §1 in Kapitel II ist die Funktion $f$ gleichmäßig stetig auf das kompakten Menge $Q$. Also existiert zu jedem $\epsilon >0$ ein $\delta =\delta (\epsilon )>0$ derart, dass für alle $x,y\in Q$ mit $|x-y|<\delta$ stets $|f(x)-f(y)|<\epsilon$ folgt. Für eine beliebige Zerlegung $𝒵$ von $Q=\bigcup _{i\in 𝔑}{Q}_i$ mit dem Feinheitsmaß $\Vert 𝒵\Vert <\delta$ folgt die Abschätzung

$\sigma (f,𝒵)=\sum _{i\in 𝔑}\sigma (f,Q_i)\cdot |Q_i|\le \sum _{i\in 𝔑}\epsilon \cdot |Q_i|=\epsilon \cdot |Q|.$

Somit gibt es eine ausgezeichnete Zerlegungsfolge $\{{𝒵}_j{\}}_{j\in \mathbb{N}}$ mit der Schwankung $\underset{j\to \mathrm{\infty }}{\lim }\sigma ({𝒵}_j,f)=0$. Nach Satz 1 ist $f$ über $Q$ Riemann-integrierbar.

q.e.d.

Satz 3

Auf dem Intervall $I:=[a,b]$ mit $a,b\in ℝ$ und $a<b$ sei die (schwach) monotone Funktion $f:I\to ℝ$ gegeben. Dann ist $f$ über $I$ Riemann-integrierbar.

Beweis

Wir können ohne Einschränkung annehmen, dass $f$ auf $I$ monoton nicht fallend sei. Dann betrachten wir eine beliebige Zerlegung

$𝒵:a=x_0<x_1<...<x_{N-1}<x_N=b$

des Intervalls $I$ in die $N\in \mathbb{N}$ Teilintervalle $I_k:=[x_{k-1},x_k]$ mit $I=\bigcup _{k=1}^N{I}_k$ und dem Feinheitsmaß $\Vert 𝒵\Vert =\max \{(x_k-x_{k-1}):k=1,...,N\}$. Wir berechnen die Schwankung von $f$ auf $I$ bezüglich $𝒵$ wie folgt:

(5) $\begin{array}{c}\sigma (f,𝒵)=\sum _{k=1}^N\mathrm{osc}(f,I_k)\cdot |I_k|=\sum _{k=1}^N[f(x_k)-f(x_{k-1})]\cdot (x_k-x_{k-1})\\ \le \Vert 𝒵\Vert \cdot \sum _{k=1}^N[f(x_k)-f(x_{k-1})]=\Vert 𝒵\Vert \cdot [f(b)-f(a)].\end{array}$

Somit erhalten wir für eine ausgezeichnete Zerlegungsfolge $\{{𝒵}_j{\}}_{j\in \mathbb{N}}$ des Intervalls $I$ die Beziehung $\underset{j\to \mathrm{\infty }}{\lim }\sigma (f,{𝒵}_j)=0$. Das Riemannsche Integrabilitätskriterium liefert die Integrierbarkeit von $f$.

q.e.d.

Definition 4

Sei die Menge $E\subset \subset \stackrel{\circ }{Q}$ kompakt enthalten im Innern eines Quaders $Q\subset {ℝ}^n$, das heißt der topologische Abschluss $\bar{E}\subset {ℝ}^n$ ist kompakt und erfüllt die Inklusion $\bar{E}\subset \stackrel{\circ }{Q}$. Dann erklären wir die charakteristische Funktion der Menge $E$ in $Q$ durch

(6) ${\chi }_E(x)=1$ falls $x\in E$ und ${\chi }_E(x)=0$ falls $x\in Q\setminus E$.

Satz 4

Der topologische Rand $\partial E$ einer Teilmenge $E\subset \subset \stackrel{\circ }{Q}$ stelle eine Jordansche Nullmenge im ${ℝ}^n$ dar. Dann ist die charakteristische Funktion ${\chi }_E$ Riemann-integrierbar über $Q$.

Beweis

Für eine beliebige Zerlegung $𝒵$ von $Q=\bigcup _{i\in 𝔑}{Q}_i$ schätzen wir die Schwankung der charakteristischen Funktion wie folgt ab:

(7) $\sigma ({\chi }_E,𝒵)=\sum _{i\in 𝔑}\mathrm{osc}({\chi }_E,Q_i)\cdot |Q_i|\le \sum _{i\in 𝔑:Q_i\cap \partial E\ne \mathrm{\varnothing }}|Q_i|.$

Zu jedem vorgegebenen $\epsilon >0$ können wir nun endlich viele achsenparallele Teilquader von $Q$ finden, welche vereinigt $\partial E$ überdecken und deren Gesamtinhalt diese Größe nicht übersteigt. Hierzu konstruieren wir eine Zerlegung $𝒵$ von $Q$, so dass wir eine äquivalente Überdeckung mit Teilquadern aus dieser Zerlegung erreichen. Mittels (7) erhalten wir so eine ausgezeichnete Zerlegungsfolge ${𝒵}_k,k=1,2,...$ von $Q$ mit der Schwankung $\sigma ({\chi }_E,{𝒵}_k)\to 0(k\to \mathrm{\infty })$. Nach dem Riemannschen Integrabilitätskriterium ist die charakteristische Funktion ${\chi }_E$ dann integrierbar.

q.e.d.

Jetzt wollen wir wichtige Aussagen über die Klasse der beschränkten Riemann-integrierbaren Funktionen herleiten. Diese Klasse bildet einen Vektorraum und ist unter Produkt- und Reziprokenbildung abgeschlossen.

Satz 5 (Riemann-integrierbare Funktionen)

Gegeben seien die beschränkten, über den Quader $Q\subset {ℝ}^n$ integrierbaren Funktionen $f:Q\to ℂ$ und $g:Q\to ℂ$ sowie die Konstante $c\in ℂ$. Dann sind auch die folgenden Funktionen

$c\cdot f(x),x\in Qf(x)+g(x),x\in Qf(x)\cdot g(x),x\in Q|f(x)|,x\in Q$

über $Q$ integrierbar. Wenn es zusätzlich ein $P>0$ gibt, so dass die Bedingung

$|f(x)|\ge P$ für alle $x\in Q$

erfüllt ist, dann ist auch die Funktion $\frac{1}{f(x)},x\in Q$ integrierbar.

Beweis

1. Seien die Funktionen $f$ und $g$ über $Q$ integrierbar mit

$K:=\sup \{|f(x)|+|g(x)|:x\in Q\}<+\mathrm{\infty }$.

Dann betrachten wir zunächst $h(x):=f(x)\cdot g(x),x\in Q$. Für eine Zerlegung

$𝒵:Q=\bigcup _{i\in 𝔑}{Q}_i$

haben wir

$\mathrm{osc}(h,Q_i):=\sup \{|h(x)-h(y)|:x,y\in Q_i\}$.

Ferner schätzen wir für $x,y\in Q_i$ wie folgt ab:

(8) $\begin{array}{c}|h(x)-h(y)|=|f(x)[g(x)-g(y)]+g(y)[f(x)-f(y)]|\\ \\ \le |f(x)|\cdot |g(x)-g(y)|+|g(y)|\cdot |f(x)-f(y)|\\ \\ \le K\cdot [|f(x)-f(y)|+|g(x)-g(y)|].\end{array}$

Folglich ist die Ungleichung

$\mathrm{osc}(h,Q_i)\le K[\mathrm{osc}(f,Q_i)+\mathrm{osc}(g,Q_i)]$ für alle $i\in 𝔑$

richtig und wir erhalten

(9) $\sigma (h,𝒵)\le K[\sigma (f,𝒵)+\sigma (g,𝒵)]$ für jede Zerlegung $𝒵$ von $Q$.

Jetzt betrachten wir eine ausgezeichnete Zerlegungsfolge $\{{𝒵}_j\}j\in \mathbb{N}$. Da $f$ und $g$ integrierbar sind, liefert Satz 1 die Beziehungen $\underset{j\to \mathrm{\infty }}{\lim }\sigma (f,{𝒵}_j)=0$ und $\underset{j\to \mathrm{\infty }}{\lim }\sigma (g,{𝒵}_j)=0$. Die Abschätzung (9) ergibt $\underset{j\to \mathrm{\infty }}{\lim }\sigma (h,{𝒵}_j)=0$ und nach Satz 1 ist $h$ über $Q$ integrierbar.

2. Die Integrabilität der Linearkombination integrierbarer Funktionen zeigt man entsprechend. Schließlich entnehmen wir die Integrabilität der Funktion $|f(x)|,x\in Q$ der folgenden einfachen Abschätzung

$\sigma (|f|,𝒵)\le \sigma (f,𝒵)$ für jede Zerlegung $𝒵$ von $Q$.

3. Für die über $Q$ integrierbare Funktion $f$ gebe es eine Zahl $P>0$ mit der folgenden Eigenschaft:

$|f(x)|\ge P$ für alle $x\in Q$.

Dann betrachten wir die reziproke Funktion $\frac{1}{f(x)}:Q\to ℂ$. Wir ermitteln für alle $x,y\in Q_i$ die Abschätzung

$|\frac{1}{f(x)}-\frac{1}{f(y)}|=\left|\frac{f(y)-f(x)}{f(x)\cdot f(y)}\right|\le \frac{1}{P^2}|f(y)-f(x)|$.

Es folgt $\mathrm{osc}(\frac{1}{f},Q_i)\le \frac{1}{P^2}\mathrm{osc}(f,Q_i)$ und somit

$\sigma (\frac{1}{f},𝒵)\le \frac{1}{P^2}\sigma (f,𝒵)$ für jede Zerlegung $𝒵$ von $Q$.

Wie im Teil 1.) ergibt sich die Integrierbarkeit von $\frac{1}{f}$ über $Q$.

q.e.d.

Satz 6 (Linearitätsregel)

Gegeben seien die beschränkten, über den Quader $Q\subset {ℝ}^n$ integrierbaren, komplexwertigen Funktionen $f$ und $g$ sowie die Konstanten $c,d\in ℂ$. Dann gilt die Identität

(10) $\underset{Q}{\int }(c\cdot f(x)+d\cdot g(x))dx=c\cdot \underset{Q}{\int }f(x)dx+d\cdot \underset{Q}{\int }g(x)dx$.

Somit ist das Riemannsche Integral ein lineares Funktional auf dem $ℂ$-linearen Raum der beschränkten, integrierbaren Funktionen über $Q$.

Beweis

Die Integrierbarkeit der Funktion $c\cdot f(x)+d\cdot g(x),x\in Q$ ist nach Satz 5 klar. Seien $\{{𝒵}_j{\}}_{j\in \mathbb{N}}$ eine ausgezeichnete Zerlegungsfolge von $Q$ und ${\xi }_i^{(j)}\in Q_i^{(j)}$ mit $i\in {𝔑}_j$ beliebig gewählte Zwischenpunkte für $j=1,2,...$. Dann liefert Satz 4 aus §2 die behauptete Identität wie folgt:

(11) $\begin{array}{c}\underset{Q}{\int }(c\cdot f(x)+d\cdot g(x))dx=\lim {\mathrm{\backslash limits}}_{j\to \mathrm{\infty }}\sum _{i\in {𝔑}_j}(c\cdot f({\xi }_i^{(j)})+d\cdot g({\xi }_i^{(j)}))\cdot \left|Q_i^{(j)}\right|\\ =\lim {\mathrm{\backslash limits}}_{j\to \mathrm{\infty }}(c\cdot \sum _{i\in {𝔑}_j}f({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|+d\cdot \sum _{i\in {𝔑}_j}g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|)\\ =c\cdot \underset{Q}{\int }f(x)dx+d\cdot \underset{Q}{\int }g(x)dx.\end{array}$

q.e.d.

Satz 7

Für jede beschränkte, über den Quader $Q\subset {ℝ}^n$ integrierbare Funktion $f:Q\to ℂ$ gilt

(12) $|\underset{Q}{\int }f(x)dx|\le \underset{Q}{\int }|f(x)|dx$.

Beweis

Wir approximieren gemäß Satz 4 aus §2 wieder durch Riemannsche Zwischensummen. Seien $\{{𝒵}_j{\}}_{j\in \mathbb{N}}$ eine ausgezeichnete Zerlegungsfolge von $Q$ und ${\xi }_i^{(j)}\in Q_i^{(j)}$ mit $i\in {𝔑}_j$ beliebig gewählte Zwischenpunkte für $j=1,2,...$. Dann liefert die Dreiecksungleichung die behauptete Ungleichung

$|\underset{Q}{\int }f(x)dx|=\underset{j\to \mathrm{\infty }}{\lim }|\sum _{i\in {𝔑}_j}f({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right||\le \underset{j\to \mathrm{\infty }}{\lim }\sum _{i\in {𝔑}_j}|f({\xi }_i^{(j)})|\cdot \left|Q_i^{(j)}\right|=\underset{Q}{\int }|f(x)|dx$,

denn auch $|f|$ ist nach Satz 5 integrierbar.

q.e.d.

Satz 8 (Mittelwertsatz der Integralrechnung)

Gegeben seien die beschränkten, über den Quader $Q\subset {ℝ}^n$ Riemann-integrierbaren, reellwertigen Funktionen $f,g:Q\to ℝ$ und es gelte $g(x)\ge 0$ für alle $x\in Q$. Dann gibt es ein

$\mu \in [\inf \{f(x):x\in Q\},\sup \{f(x):x\in Q\}]$

derart, dass die Identität

(13) $\underset{Q}{\overset{}{\int }}f(x)\cdot g(x)dx=\mu \cdot \underset{Q}{\int }g(x)dx$

erfüllt ist. Wenn außerdem $f$ stetig auf $Q$ ist, dann gibt es einen Punkt $\xi \in Q$ mit der Eigenschaft $\mu =f(\xi )$.

Beweis

1.) Wir setzen $m:=\inf \{f(x):x\in Q\}$ und $M:=\sup \{f(x):x\in Q\}$. Seien $\{{𝒵}_j{\}}_{j\in \mathbb{N}}$ eine ausgezeichnete Zerlegungsfolge von $Q=\bigcup _{i\in {𝔑}_j}{Q}_i^{(j)}$ und ${\xi }_i^{(j)}\in Q_i^{(j)}$ mit $i\in {𝔑}_j$ beliebig gewählte Zwischenpunkte für $j=1,2,...$. Wegen $m\le f({\xi }_i^{(j)})\le M$ für alle $i\in {𝔑}_j$ und $j\in \mathbb{N}$ folgt die Abschätzung

(14) $m\cdot g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|\le f({\xi }_i^{(j)})\cdot g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|\le M\cdot g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|$.

Die Summation über $i$ liefert

(15) $m\cdot \sum _{i\in {𝔑}_j}g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|\le \sum _{i\in {𝔑}_j}f({\xi }_i^{(j)})\cdot g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|\le M\cdot \sum _{i\in {𝔑}_j}g({\xi }_i^{(j)})\cdot \left|Q_i^{(j)}\right|$.

Mittels Satz 4 aus §2 erhalten wir durch Grenzübergang $j\to \mathrm{\infty }$ die Identität

(16) $m\cdot \underset{Q}{\int }g(x)dx\le \underset{Q}{\int }f(x)\cdot g(x)dx\le M\cdot \underset{Q}{\int }g(x)dx$.

Falls $\underset{Q}{\int }g(x)dx=0$ gilt, so ist wegen der Abschätzung (16) die Identität (13) mit $\mu :=\frac{1}{2}(m+M)$ erfüllt.
Sei nun $\underset{Q}{\int }g(x)dx>0$ gültig. Aus (16) folgt dann die erste Behauptung mit

(17) $\mu :=\frac{\underset{Q}{\int }f(x)\cdot g(x)dx}{\underset{Q}{\int }g(x)dx}\in [m,M]$.

2.) Die zweite Behauptung weisen wir wie folgt nach: Als stetige Funktion auf einer kompakten Menge $Q$ nimmt $f$ sowohl ihr Minimum $m\in ℝ$ als auch ihr Maximum $M\in ℝ$ an, d. h. es gibt Punkte $x_{\min }\in Q$ und $x_{\max }\in Q$ mit $f(x_{\min })=m$ und $f(x_{\max })=M$. Wir betrachten nun auf der in $Q$ gelegenen Verbindungsstrecke die Funktion $\mathrm{\Phi }(t):=f(x_{\min }+t(x_{\max }-x_{\min }))$ für $t\in [0,1]$ mit $\mathrm{\Phi }(0)=m$ und $\mathrm{\Phi }(1)=M$. Nach dem Zwischenwertsatz existiert ein $\tau \in [0,1]$ mit $\mathrm{\Phi }(\tau )=\mu \in [m,M]$. Setzen wir $\xi :=x_{\min }+\tau (x_{\max }-x_{\min })\in Q$, so folgt $f(\xi )=\mathrm{\Phi }(\tau )=\mu$.

q.e.d.

Definition 5

Auf dem Intervall $I=[a,b]$ mit den Grenzen $a,b\in ℝ$ und $a<b$ sowie der Bilddimension $m\in \mathbb{N}$ sei die Funktion $f:I\to {ℝ}^m$ stückweise stetig im folgenden Sinne: Es gibt eine Zerlegung des Intervalls

$a=x_0<x_1<...<x_{N-1}<x_N=b$

in $N\in \mathbb{N}$ offene Teilintervalle

$I_k:=(x_{k-1},x_k),k=1,2,...,N$

derart, dass die Funktion $f:I_k\to {ℝ}^m\in C^0(I_k,{ℝ}^m)$ auf das abgeschlossene Intervall $\overline{I_k}$ für jedes $k\in \{1,...,N\}$ stetig fortsetzbar ist.

Satz 9

Wenn $f:I\to {ℝ}^m$ stückweise stetig ist, dann ist $f$ über $I$ integrierbar.

Beweis

Der Satz wird mit dem Riemannschen Integrabilitätskriterium gezeigt.

Satz 10 (Allgemeiner Fundamentalsatz der Differential- und Integralrechnung)

Auf dem Intervall $I=[a,b]$ mit den Grenzen $a,b\in ℝ$ und $a<b$ besitze die stetige Funktion $f=(f_1,...,f_m):I\to {ℝ}^m\in C^0(I,{ℝ}^m)$ eine stückweise stetige Ableitung $f^{\prime }(x),x\in I\setminus \{x_0,...,x_N\}$ gemäß der Definition 5. Dann gilt die Leibnizsche Identität

(18) $\underset{a}{\overset{b}{\int }}{f}^{\prime }(x)dx=f(b)-f(a)$.

Beweis

Dieser wird analog zum Hilfssatz 1 aus §5 in Kapitel II für jede Komponentenfunktion $f_k$ durchgeführt.

q.e.d.

Es seien $T\subset {ℝ}^n$ ein Quader der Dimension $n\in \mathbb{N}$ mit $n\ge 2$ und $f:T\to ℝ$ eine beschränkte, Riemann-integrierbare Funktion. Wir werden jetzt das $n$-dimensionale Integral

(19) $\underset{T}{\int }f(z)dz=\underset{T}{\int }f(z_1,z_2,...,z_n)d{z}_{1}d{z}_2...d{z}_n$

auf niederdimensionale Integrale zurückführen. Zu diesem Zweck denken wir uns die Indizes $(1,2,...,n)$ aufgeteilt in die Mengen $(r_1,...,r_p)$ und $(s_1,...,s_q)$ mit $p+q=n$ und wir setzen

$z_{r_i}=:x_i(i=1,2,...,p)$ sowie $z_{s_j}=:x_j(j=1,2,...,q)$.

Somit erhalten wir die Funktion

$f(z)=f(x,y)=f(x_1,...,x_p,y_1,...,y_q),z:=(x_1,...,x_p,y_1,...,y_q)$.

Wir betrachten nun Quader

$Q:=\{x\in {ℝ}^p:a_i\le x_i\le b_i,1\le i\le p\}$

und

$R:=\{y\in {ℝ}^q:c_j\le y_j\le d_j,1\le j\le q\}$

sowie den Produktquader

$T=Q\times R=\{(x,y)\in {ℝ}^n:x\in Q,y\in R\}\subset {ℝ}^p\times {ℝ}^q={ℝ}^n$.

Wir gehen aus von den Zerlegungen von $Q$ in die Teilquader $Q_k$ mit ${𝒵}_Q:Q=\bigcup _{k\in 𝔑}{Q}_k$ und von $R$ in die Teilquader $R_l$ mit ${𝒵}_R:R=\bigcup _{l\in {𝔑}^{*}}{R}_l$ gemäß Definition 2 aus §2. Diesen Zerlegungen entspricht eine Produktzerlegung von $T$ in die Teilquader $T_{kl}:=Q_k\times R_l,k\in 𝔑,l\in {𝔑}^{*}$, so dass die Darstellung ${𝒵}_T:T=\bigcup _{k\in 𝔑,l\in {𝔑}^{*}}{T}_{kl}$ erfüllt ist.

Satz 11 (Iterierte Integration)

Wenn die Funktion $f:Q\times R\to ℝ$ beschränkt und Riemann-integrierbar ist, dann sind die Funktionen

$\phi (x):=\underset{\bar{R}}{\int }f(x,y)dy,x\in Q$ und $\mathrm{\Phi }(x):=\underset{R}{\overset{\underset{\_}{}}{\int }}f(x,y)dy,x\in Q$

Riemann-integrierbar auf $Q$ und es gilt die Identität

$\underset{Q\times R}{\int }f(x,y)dxdy=\underset{Q}{\int }\phi (x)dx=\underset{Q}{\int }\mathrm{\Phi }(x)dx$.

Beweis

Wegen der Beschränktheit von $f:Q\times R\to ℝ$ existieren das untere Integral $\phi (x)$ und das obere Integral $\mathrm{\Phi }(x)$ von $f(x,.):R\to ℝ$ für jedes $x\in Q$. Seien nun ${𝒵}_Q$ eine Zerlegung von $Q$ mit beliebigen Zwischenpunkten ${\xi }_k\in Q_k$ und ${𝒵}_R$ eine Zerlegung von $R$. Es beschreibe ${𝒵}_T$ eine Zerlegung von $T$ in die Teilquader $T_{kl}:=Q_k\times R_l$ wie oben. Wir erklären die folgenden Größen

(20) $m_{kl}:=\inf \{f(x,y):x\in Q_k,y\in R_l\},M_{kl}:=\sup \{f(x,y):x\in Q_k,y\in R_l\}$.

Dann folgt für jedes $k\in 𝔑$ die Ungleichungen

(21) $\sum _{l\in {𝔑}^{*}}{m}_{kl}\cdot |R_l|\le \sum _{l\in {𝔑}^{*}}\inf \{f({\xi }_k,y):y\in R_l\}\cdot |R_l|\le \underset{\bar{R}}{\int }f({\xi }_k,y)dy=\phi ({\xi }_k)$

und

(22) $\sum _{l\in {𝔑}^{*}}{M}_{kl}\cdot |R_l|\ge \sum _{l\in {𝔑}^{*}}\sup \{f({\xi }_k,y):y\in R_l\}\cdot |R_l|\ge \underset{R}{\overset{\underset{\_}{}}{\int }}f({\xi }_k,y)dy=\mathrm{\Phi }({\xi }_k)$.

Beachten wir Satz 2 aus §2, so ergibt sich für alle $k\in 𝔑$ die Abschätzung

(23) $\sum _{l\in {𝔑}^{*}}{m}_{kl}\cdot |R_l|\le \phi ({\xi }_k)\le \mathrm{\Phi }({\xi }_k)\le \sum _{l\in {𝔑}^{*}}{M}_{kl}\cdot |R_l|$.

Multiplikation mit $|Q_k|$ sowie Summation über $k\in 𝔑$ liefert

(24) $\begin{array}{c}\sum _{k\in 𝔑,l\in {𝔑}^{*}}{m}_{kl}\cdot |T_{kl}|=\sum _{k\in 𝔑,l\in {𝔑}^{*}}{m}_{kl}\cdot |Q_k|\cdot |R_l|\le \sum _{k\in 𝔑}\phi ({\xi }_k)\cdot |Q_k|\\ \\ \le \sum _{k\in 𝔑}\mathrm{\Phi }({\xi }_k)\cdot |Q_k|\le \sum _{k\in 𝔑,l\in {𝔑}^{*}}{M}_{kl}\cdot |Q_k|\cdot |R_l|=\sum _{k\in 𝔑,l\in {𝔑}^{*}}{M}_{kl}\cdot |T_{kl}|.\end{array}$

Jetzt seien ${\left\{{𝒵}_Q^{(j)}\right\}}_{j\in \mathbb{N}}$ und ${\left\{{𝒵}_R^{(j)}\right\}}_{j\in \mathbb{N}}$ ausgezeichnete Zerlegungsfolgen der Quader $Q$ bzw. $R$. Dann ist auch ${\left\{{𝒵}_T^{(j)}\right\}}_{j\in \mathbb{N}}$ eine ausgezeichnete Zerlegungsfolge von $T=Q\times R$. Da nach Voraussetzung $f:T\to ℝ$ integrierbar ist, erhalten wir aus der Ungleichung (24) durch Grenzübergang

(25) $\begin{array}{c}\underset{T}{\int }f(z)dz=\underset{j\to \mathrm{\infty }}{\lim }\sum _{k\in {𝔑}_j,l\in {𝔑}_j^{*}}{m}_{kl}^{(j)}\cdot \left|T_{kl}^{(j)}\right|\le \underset{j\to \mathrm{\infty }}{\lim }\sum _{k\in {𝔑}_j}\phi ({\xi }_k^{(j)})\cdot \left|Q_k^{(j)}\right|\\ \\ \le \underset{j\to \mathrm{\infty }}{\lim }\sum _{k\in {𝔑}_j}\mathrm{\Phi }({\xi }_k^{(j)})\cdot \left|Q_k^{(j)}\right|\le \sum _{k\in {𝔑}_j,l\in {𝔑}_j^{*}}{M}_{kl}^{(j)}\cdot \left|T_{kl}^{(j)}\right|=\underset{T}{\int }f(z)dz.\end{array}$

Also sind wegen Satz 4 aus §2 die Funktionen $\phi$ und $\mathrm{\Phi }$ auf $Q$ integrierbar und es folgt die oben angegebene Identität.

q.e.d.

Im allgemeinen müssen die Riemannschen Integrale über die eingeschränkten Funktionen $f(x,.):R\to ℝ$ nicht für jedes $x\in Q$ existieren.

Satz 12 (Iterierte Integration stetiger Funktionen)

Sei die Funktion $f:T\to ℝ$ auf $T=Q\times R$ stetig. Dann existieren die Riemann-Integrale $\phi (x)$ und $\mathrm{\Phi }(x)$ von $f(x,.):R\to ℝ$ für jedes $x\in Q$ und es gilt die Identität der iterierten Integration

(26) $\underset{T}{\int }f(x,y)dxdy=\underset{R}{\int }[\underset{Q}{\int }f(x,y)dx]dy=\underset{Q}{\int }[\underset{R}{\int }f(x,y)dy]dx$.

Bemerkung

In §6 werden wir stetige Funktionen im ${ℝ}^n$ integrieren, welche auf dem Komplement einer kompakten Menge verschwinden. Diese nennt man Testfunktionen, welche einer Iterierten Integration zugänglich sind. So könnte man auch induktiv über die Raumdimension ein Integral für diese Funktionenklasse definieren.