Gauge-Integral

Das Gauge-Integral (auch: Eichintegral, Henstock-Integral, Henstock-Kurzweil-Integral, Denjoy-Perron-Integral) ist ein Integraltyp deskriptiver Natur, dessen heutige Formulierung erst Mitte des 20. Jahrhunderts von dem Mathematiker Jaroslav Kurzweil (1926–2022) entdeckt wurde. Ralph Henstock widmete sich der Entwicklung der Theorie dieses Integraltyps. Eine zentrale Abschätzung, das sog. Henstock-Lemma, ist nach ihm benannt. Vorläufer ist das (äquivalente) Denjoy-Perron-Integral, das allerdings auf einer sehr technischen und unanschaulichen Definition beruht.

Die Besonderheit des Gauge-Integrals besteht darin, dass jede Ableitungsfunktion $f'\colon {[a,b]}\rightarrow \mathbb {R}$ automatisch (das heißt ohne Zusatzvoraussetzungen) integrabel ist mit $\textstyle \int _{a}^{b}f'(t)\mathrm {d} t=f(b)-f(a)$. Daneben treten in der Theorie des Gauge-Integrals bedingt integrable Funktionen auf. Darunter versteht man Funktionen, die zwar integrabel sind, nicht aber deren Betrag. Sowohl bei der Riemann- als auch bei der Lebesgue-Definition folgt aus der Integrierbarkeit einer Funktion stets die Integrierbarkeit ihres Betrags.

Das Gauge-Integral enthält sowohl das Riemann- als auch das Lebesgue-Integral als Spezialfälle, d. h., jede Riemann- bzw. Lebesgue-integrable Funktion ist Gauge-integrabel; da es jedoch Funktionen gibt, die weder Riemann- noch Lebesgue-integrabel, aber dennoch Gauge-integrabel sind, stellt das Gauge-Integral eine echte Erweiterung des Lebesgue-Integrals dar.

Den Namen „Eichintegral“ („gauge“ ist der englische Ausdruck für Eichung) verdankt das Integral seiner Definition: Ähnlich wie das Riemann-Integral kommen auch beim Eichintegral Zerlegungen und Riemann-Summen zum Einsatz, die Feinheit einer Zerlegung wird allerdings mit einer speziellen intervallwertigen Funktion, genannt Eichfunktion, beurteilt.

Einleitung

Der Hauptsatz

Der Hauptsatz der Differenzial- und Integralrechnung (in der gängigen Zählung sein 1. Teil) ist ein zentraler Satz in der Theorie des Riemann- und des Lebesgue-Integrals. Er lautet:

• Satz: Ist eine Ableitungsfunktion $f'$ von $f$ über dem Intervall $[a,b]$ Riemann- (bzw. Lebesgue-) -integrierbar, so gilt: $\int _{a}^{b}f'(t)\mathrm {d} t=f(b)-f(a)$.

Der Hauptsatz liefert in der Praxis eine der wichtigsten Methoden, den Wert eines Integrals konkret und exakt zu bestimmen. Möchte man etwa die Funktion $f\colon [0,1]\rightarrow \mathbb {R}$ mit $f(x)=x^{2}$ über $[0,1]$ integrieren, so fasst man f als Ableitungsfunktion einer Funktion $F\colon [0,1]\rightarrow \mathbb {R}$, genannt Stammfunktion, auf. Offenbar ist durch $F(x)={\tfrac {1}{3}}x^{3}$ eine Stammfunktion von $f$ gegeben, sodass folgt:

$\int _{0}^{1}x^{2}=F(1)-F(0)={\frac {1}{3}}1^{3}-{\frac {1}{3}}0^{3}={\frac {1}{3}}$

Sowohl beim Riemann- als auch beim Lebesgue-Integral muss allerdings die Integrierbarkeit von $f'$ als Voraussetzung angeführt werden – nicht jede Ableitungsfunktion ist unbedingt auch integrabel. Vielmehr zeigt sich, dass es Ableitungsfunktionen gibt, die weder Riemann- noch Lebesgue-integrabel sind. Ein Beispiel ist die Funktion $g\colon [0,1]\rightarrow \mathbb {R}$ mit

Datei:Komische ableitung.gif

Abbildung 1: Darstellung der Funktion g und ihrer Ableitung (die Funktion g wurde mit dem Faktor 150 skaliert)

$g(x)={\begin{cases}x^{2}\cos \left({\frac {\pi }{x^{2}}}\right)&{\text{ für }}x>0\\0&{\text{ für }}x=0\end{cases}}$

(vgl. Abb. 1). Ihre Ableitung ist durch

$g'(x)={\begin{cases}2x\cos \left({\frac {\pi }{x^{2}}}\right)+{\frac {2\pi }{x}}\sin \left({\frac {\pi }{x^{2}}}\right)&{\text{ für }}x>0\\0&{\text{ für }}x=0\end{cases}}$

gegeben. Da $g'$ nicht beschränkt ist, ist $g'$ auch nicht Riemann-integrabel. Man kann zeigen, dass $g'$ auch nicht Lebesgue-integrierbar ist.

Eine (anschauliche) Analyse der Gründe, aus denen $g'$ nicht Riemann-integrabel ist, führt zu einer entscheidenden Verbesserung der Riemann-Definition. Dazu überlegt man sich zunächst, woher die Formel $\textstyle \int _{a}^{b}f'(t)\mathrm {d} t=f(b)-f(a)$ überhaupt kommt.

Das Straddle-Lemma und die Probleme des Riemann-Integrals

Nach dem Mittelwertsatz der Differenzialrechnung gibt es zu einer differenzierbaren Funktion $f\colon [a,b]\rightarrow \mathbb {R}$ auf einem Intervall $[x,y]\subset [a,b]$ ein $c\in [x,y]$ mit

$f'(c)={\frac {f(y)-f(x)}{y-x}}.$

Wählt man zu einer Zerlegung $Z=\{x_{0},\dots ,x_{n}\}$ Zwischenstellen $c_{i}\in [x_{i-1},x_{i}]$ nach dem Mittelwertsatz, so erhält man als Ergebnis für Riemannsummen $S(f',Z,c_{1},\dots ,c_{n})$:

${\begin{array}{rcl}S(f',Z,c_{1},\dots ,c_{n})&=&\sum _{i=1}^{n}f'(c_{i})(x_{i}-x_{i-1})=\sum _{i=1}^{n}{\frac {f(x_{i})-f(x_{i-1})}{x_{i}-x_{i-1}}}(x_{i}-x_{i-1})\\&=&\sum _{i=1}^{n}(f(x_{i})-f(x_{i-1}))=f(b)-f(a)\end{array}}$

Abbildung 2: Die Tangente im Punkt an der Stelle $t$ und die Sekante über dem Intervall $[x,y]$, in dem $t$ liegt, sind nahezu parallel, die Sekantensteigung (mittlere Steigung über $[x,y]$) also eine gute Näherung der Tangentensteigung (punktuelle Steigung).

Die letzte Summe stellte dabei eine Teleskopsumme dar. Für andere Zwischenstellen gilt in der obigen Rechnung i. A. keine Gleichheit, doch für den Nachweis von $\int _{a}^{b}f'(t)\mathrm {d} t=f(b)-f(a)$ ist es auch nicht erforderlich, dass alle Riemannsummen exakt gleich $f(b)-f(a)$ sind. Es genügt, dass sich die Riemannsummen der Zahl $f(b)-f(a)$ für irgendwelche Zwischenstellen beliebig nähern, sofern man die betrachteten Zerlegungen nur hinreichend fein wählt. Dies wäre etwa dann der Fall, wenn eine Funktion $f$ auf jedem Intervall $[x,y]\subset [a,b]$ für alle $t\in [x,y]$ die Näherung

$(1)\ \ \ {\frac {f(y)-f(x)}{y-x}}\approx f'(t)$

erfüllt, wobei der durch die Näherung entstehende Fehler beliebig klein wird, sofern das Intervall $[x,y]$ nur hinreichend klein ist (Abb. 2).

Nun gibt es aber Funktionen, die genau dieses Verhalten nicht zeigen. Eine solche Funktion ist die Funktion $g$ aus dem vorherigen Abschnitt. Man betrachte etwa das Intervall $[0,x_{1}]$ für irgendein (auch beliebig kleines) $0<x_{1}<1$: $g'$ oszilliert nahe 0 „wild hin und her“, daher lässt sich auf jedem Intervall dieser Form (egal, wie klein es auch sei) eine Stelle $t_{1}$ finden, sodass $g'(t_{1})$ eine beliebig große positive oder negative Zahl ist. Die durchschnittliche Steigung über dem Intervall hingegen strebt gegen 0, wenn $x_{1}$ gegen 0 tendiert. Schließlich ist $g'(0)=0$ und die durchschnittliche Steigung von g über dem Intervall $[0,x_{1}]$ gerade der Differenzenquotient von $g$ an der Stelle 0:

$(*)\ \ \ {\frac {g(x_{1})-g(0)}{x_{1}-0}}\approx g'(0)=0{\text{ für kleine }}x_{1}$

$g'(t_{1})$ kann also beliebig stark von der durchschnittlichen Steigung auf dem Intervall $[0,x_{1}]$ abweichen. Da jede Zerlegung Z ein Intervall dieser Form „enthält“, gibt es für jede Zerlegung ein Teilintervall und bestimmte Zwischenstellen, für die die Näherung $(1)$ verletzt ist. Dies kann – wie im Fall der Funktion g – dazu führen, dass $g'$ nicht Riemann-integrabel ist, denn nach der Riemannschen Definition müssen ja alle Zwischenstellen zu einer Zerlegung Z untersucht werden. Wünschenswert wäre eine Integraldefinition, bei der zu bestimmten Teilintervallen auch nur bestimmte Zwischenstellen betrachtet zu werden brauchen. Zwecks Integration der Funktion $g'$ wäre es z. B. hilfreich, für das Teilintervall $[0,x_{1}]$ nur die Zwischenstelle 0 zuzulassen, denn nach $(*)$ wäre Näherung $(1)$ damit erfüllt.

Eine Integrationstheorie, die auf Riemannsummen basiert und in der jede Ableitungsfunktion integrabel ist, sollte nach den vorherigen Überlegungen nur solche Paare von Zerlegungen $Z=\{x_{0},\dots ,x_{n}\}$ und Zwischenstellen $t_{1},\dots ,t_{n}$ berücksichtigen, für die

$(2)\ \ \ f'(t_{i})\approx {\frac {f(x_{i})-f(x_{i-1})}{x_{i}-x_{i-1}}}$

gilt. Der folgende Satz eröffnet eine Möglichkeit, solche Paare zu identifizieren:

• Satz (Straddle-Lemma): Sei $f\colon [a,b]\rightarrow \mathbb {R}$ differenzierbar in $t\in [a,b]$. Dann gibt es zu jedem $\epsilon >0$ ein $\delta (t)>0$ mit $|f(y)-f(x)-f'(t)(y-x)|\leq \epsilon (y-x)$ für alle $x,y\in [a,b]$ mit $x\leq t\leq y$ und $[x,y]\subset (t-\delta (t),t+\delta (t))$.

Wenn man die Ungleichung des Straddle-Lemmas durch $y-x$ dividiert, wird seine Kernaussage offenbar: Zu jedem Punkt $t\in [a,b]$ gibt es ein abgeschlossenes Intervall $[x,y]\subset [a,b]$, für das

$f'(t)\approx {\frac {f(y)-f(x)}{y-x}}$

gilt. Die Zahl $\epsilon >0$ gibt den Fehler dieser Näherung an. Da $\epsilon$ beliebig, also insbesondere beliebig klein sein darf, kann sogar stets ein Intervall $[x,y]$ gefunden werden, auf dem die obige Näherung beliebig gut ist. Voraussetzung ist lediglich, dass sich die Intervallgrenzen $x$ und $y$ hinreichend nahe bei $t$ befinden, oder anders formuliert: Voraussetzung ist, dass das Intervall $[x,y]$ in einer hinreichend kleinen Umgebung von $t$ liegt:

$[x,y]\subset (t-\delta (t),t+\delta (t))$

Wählt man nun nur solche Paare aus der Zerlegung $Z=\{x_{0},\dots ,x_{n}\}$ zusammen mit Zwischenstellen $t_{1},\dots ,t_{n}$ aus, für die die Bedingung

$(3)\ [x_{i-1},x_{i}]\subset (t_{i}-\delta (t_{i}),t_{i}+\delta (t_{i}))$

zutrifft (wobei $\delta$ nach dem Straddle-Lemma gewählt ist), so ist die Näherung $(2)$ stets erfüllt, und alle zugehörigen Riemann-Summen liegen nahe bei $f(b)-f(a)$, wie gewünscht.

Abbildung 3: Der Feinheitsbegriff Riemanns reicht nicht aus, um zu beurteilen, ob eine Zerlegung und zugehörige Zwischenstellen die Bedingung $(3)$ befriedigen. Die Zerlegungen $Z_{1}$ und $Z_{2}$ sind im Sinne Riemanns gleich fein (das größte Teilintervall ist jeweils gleich lang). Für die Zwischenstelle $t$ ist Bedingung $(3)$ für die Zerlegung $Z_{1}$ zwar erfüllt, für $Z_{2}$ trotz gleicher Feinheit jedoch nicht.

Es stellt sich nun die Frage, wie man aus allen möglichen Kombinationen von Zwischenstellen und Zerlegungen solche „geeigneten“ Kombinationen auswählt. Der Riemannsche Feinheitsbegriff, d. h. die Betrachtung der größten Intervalllänge $\mu (Z)=\max\{x_{i}-x_{i-1}:i=1,\dots ,n\}$, taugt dazu nicht. Offensichtlich gehen die gewählten Zwischenstellen und damit die Positionen der Teilintervalle $[x_{i-1},x_{i}]$ gar nicht in die Bewertung der Feinheit der Zerlegung $Z$ ein. Die maßgebliche Zahl $\delta (t)>0$ aus dem Straddle-Lemma wird jedoch i. A. vom Ort $t$ abhängen! Man wird z. B. erwarten, dass $\delta (t)$ umso kleiner ist, desto stärker $f$ in der Nähe dieses Punktes oszilliert. Deswegen kann es durchaus passieren, dass für eine Zerlegung $Z_{1}$ und Zwischenstellen $t_{1},\dots ,t_{n}$ die Bedingung $(3)$ erfüllt ist, für eine genauso feine Zerlegung $Z_{2}$ jedoch nicht (vgl. Abbildung 3) – sogar dann nicht, wenn die gleiche Zwischenstelle betrachtet wird. Ziel wird es also sein, einen verbesserten Feinheitsbegriff zu schaffen, der die Position der Teilintervalle $[x_{i-1},x_{i}]$ berücksichtigt.

Grundideen

Zusammengefasst lauten die „Leitlinien“ für die Definition des Gauge-Integrals:

• Im Rahmen eines neuen Integraltyps sollte jede Ableitungsfunktion $f'$ automatisch (d. h. ohne Zusatzvoraussetzungen) integrierbar sein mit $\int _{a}^{b}f'(t)\mathrm {d} t=f(b)-f(a)$.
• Dafür muss das Verhältnis zwischen Zwischenstellen und Zerlegungen neu geregelt werden, sodass es möglich wird, Zwischenstellen mit solchen Zerlegungen zu kombinieren, die „gut zusammenpassen“. Dazu muss ein Feinheitsbegriff geschaffen werden, der
  • die Positionen der Teilintervalle $[x_{i-1},x_{i}]$, $i=1,\dots ,n$, berücksichtigt und
  • der es erlaubt, zu bestimmten Teilintervallen auch nur bestimmte Zwischenstellen zuzulassen.

Die formale Definition

Vorarbeiten

Da für das neue Integral nur zueinander „passende“ Zerlegungen und Zwischenstellen betrachtet werden sollen, liegt es nahe, die beiden Begriffe zunächst in einem Begriff zusammenzufügen.

• Definition (markierte Zerlegung). Seien $Z=\{x_{0},\dots ,x_{n}\}$ eine Zerlegung eines Intervalls $[a,b]$ und $t_{1},\dots ,t_{n}$ zu Z gehörige Zwischenstellen, d. h., es gelte $t_{i}\in [x_{i-1},x_{i}]$ für $i=1,\dots ,n$. Die Menge $D=\{(t_{i},[x_{i-1},x_{i}]):i=1,\dots ,n\}=:\{(t_{i},I_{i}):i=1,\dots ,n\}$ nennt man eine markierte Zerlegung (engl.: tagged partition) des Intervalls $[a,b]$.

Eine markierte Zerlegung enthält also geordnete Paare der Form $(t,I)$, wobei $I$ ein geschlossenes Intervall und $t$ eine Zahl mit $t\in I$ ist. Riemannsummen $S(f,D)$ bzgl. einer Funktion $f$ und einer markierten Zerlegung $D$ definiert man genau wie Riemannsche Zwischensummen durch:

$S(f,D):=\sum _{i=1}^{n}f(t_{i})l(I_{i})=\sum _{i=1}^{n}f(t_{i})(x_{i}-x_{i-1})$

Die folgende Definition legt den Grund für einen verbesserten Feinheitsbegriff:

• Definition (Eichfunktion): Eine intervallwertige Funktion $\gamma$ auf dem Intervall $[a,b]$ heißt Eichfunktion, wenn $t\in \gamma (t)$ und $\gamma (t)$ ein offenes Intervall ist.

Abbildung 4: Oben: Eine Eichfunktion weist jedem Punkt $x\in [a,b]$ ein offenes Intervall $\gamma (x)$ (grün) zu. Unten: Eine markierte Zerlegung $D=\{(t_{i},[x_{i-1},x_{i}]):i=1,\dots ,n\}$ ist $\gamma$-fein, wenn $[x_{i-1},x_{i}]\subset \gamma (t_{i})$ für $i=1,\dots ,n$.

Eine Eichfunktion ordnet also jedem Punkt $t\in [a,b]$ ein offenes Intervall $\gamma (t)$ zu, das $t$ enthält. Über den Begriff der Eichfunktion $\gamma$ lässt sich nun ein sehr flexibles Feinheitsmaß definieren, das nicht nur die Position der Teilintervalle $I_{i}=[x_{i-1},x_{i}]$ einer Zerlegung $Z$ berücksichtigt, sondern über das sich auch die Beziehung zwischen Zerlegung und Zwischenstellen regeln lässt: Eine markierte Zerlegung $D$ soll dann $\gamma$-fein heißen, wenn $\gamma$ eine Eichfunktion ist und jedes Teilintervall $I_{i}=[x_{i-1},x_{i}]$ innerhalb desjenigen offenen Intervalls liegt, das $\gamma$ an der zu dem Teilintervall gehörenden Zwischenstelle $t_{i}$ liefert:

• Definition: Sei $\gamma$ eine Eichfunktion auf dem Intervall [a,b] und $D=\{(t_{i},I_{i}):i=1,\dots ,n\}$ eine markierte Zerlegung dieses Intervalls. $D$ heißt $\gamma$-fein, wenn $I_{i}\subset \gamma (t_{i})$ für alle $i=1,\dots ,n$.

Beispiel

Durch Beschränkung auf $\gamma$-feine Zerlegungen ist es – durch geschickte Wahl der Eichfunktion $\gamma$ – möglich, nur passende Paare von Zerlegungen und Stützstellen auszuwählen. Sei etwa $[a,b]=[0,1]$ und $Z$ eine Zerlegung dieses Intervalls. Soll (wie im Beispiel der Funktion $g'$) die $0$ als einzige mögliche Zwischenstelle zum Teilintervall $I_{1}=[0,x_{1}]$ zugelassen werden, so definiert man $\gamma$ wie folgt:

$\gamma (t)={\begin{cases}(-\delta (0),\delta (0))&{\text{ für }}t=0\\(t-\delta (t),t+\delta (t))&{\text{ für }}t\neq 0\end{cases}}$

Dabei sei $0<\delta (t)<{\frac {t}{2}}$ und $\delta (0)>0$ beliebig. Dann ist $\gamma (0)$ das einzige durch $\gamma$ gegebene offene Intervall, das die 0 enthält. Für jede markierte Zerlegung $D$ von $[0,1]$ muss aber gelten: $I_{1}\subset \gamma (t_{1})$. Wegen $0\in I_{1}$ kann eine markierte Zerlegung nur dann $\gamma$-fein sein, wenn $t_{1}=0$. Das Teilintervall $I_{1}=[0,x_{1}]$ tritt also in jeder $\gamma$-feinen markierten Zerlegung ausschließlich zusammen mit der Zwischenstelle 0 auf. Weiterhin kann aufgrund der $t$-Abhängigkeit der Funktion $\delta$ die Kleinheit eines Teilintervalls $I_{i}$ einer markierten Zerlegung $D$ in Abhängigkeit von der Zwischenstelle $t_{i}$ und damit von der Position des Teilintervalls „eingestellt“ werden.

Definition des Gauge-Integrals

Abbildung 5 Approximation der Fläche zwischen dem Graphen einer Funktion $f$ und der $x$-Achse durch Riemannsche Zwischensummen (orange Rechtecke)

Das Gauge-Integral wird nun - ähnlich wie das Riemann-Integral - definiert als eine feste Zahl $A$, der sich Riemannsummen bzgl. markierter Zerlegungen $D=\{(t_{i},I_{i}):i=1,\dots ,n\}$ eines Intervalls $[a,b]$ beliebig nähern, sofern diese Zerlegungen fein bzgl. geeigneter Eichfunktionen $\gamma$ gewählt werden:

• Definition (Gauge-Integral): Eine Funktion $f\colon I=[a,b]\rightarrow \mathbb {R}$ heißt Gauge-integrabel (eichintegrabel, Henstock- (Kurzweil-) integrabel) über $[a,b]$, wenn es zu einer festen Zahl $A\in \mathbb {R}$ zu jedem $\epsilon >0$ eine Eichfunktion $\gamma$ auf $[a,b]$ gibt, sodass $|S(f,D)-A|<\epsilon$ für jede $\gamma$-feine markierte Zerlegung $D$ gilt. $A$ heißt Gauge-Integral (Eichintegral, Henstock- (Kurzweil-) Integral) von $f$ über $[a,b]$, in Zeichen: $A=\int _{a}^{b}f=\int _{I}f$.

Die Definition erinnert stark an die (ursprüngliche) Definition des Riemann-Integrals. Der wichtige Unterschied besteht darin, dass das grobe Riemannsche Feinheitsmaß (Betrachtung des längsten Teilintervalls der Zerlegung $Z$) durch das neue, verbesserte Maß ersetzt wurde. Henstock spricht in seinem Werk Theories of Integration daher auch von einem „Integral of Riemann-Type“.

Eigenschaften des Gauge-Integrals

Wie für jeden anderen Integraltyp gilt:

• Der Wert des Gauge-Integrals ist eindeutig bestimmt.

Weiterhin ist die Integralfunktion $f\mapsto \int _{a}^{b}f$ linear:

• Sind zwei Funktionen $f,g$ über $[a,b]$ Gauge-integrabel und $\alpha ,\beta \in \mathbb {R}$, dann ist auch $\alpha f+\beta g$ Gauge-integrabel über $[a,b]$ und es gilt: $\int _{a}^{b}(\alpha f+\beta g)=\alpha \int _{a}^{b}f+\beta \int _{a}^{b}g$.

Das Riemann-Integral fügt sich zwanglos in den Rahmen des Gauge-Integrals:

• Jede Riemann-integrable Funktion ist auch Gauge-integrabel und die beiden Integrale stimmen überein.

Sei dazu $R\int _{a}^{b}f$ das Riemann-Integral von $f$ über $[a,b]$ und $\delta >0$ so gewählt, dass $\left|R\int _{a}^{b}f-S(f,Z,t_{1},\dots ,t_{n})\right|<\epsilon$ für jede Zerlegung $Z$ mit $\mu (Z)<\delta$ und beliebige Zwischenstellen $t_{1},\dots ,t_{n}$. Wählt man die Eichfunktion $\gamma$ zu

$\gamma (t)=\left(t-{\frac {\delta }{2}},t+{\frac {\delta }{2}}\right),$

so gilt für jede $\gamma$-feine markierte Zerlegung $D=\{(t_{i},[x_{i-1},x_{i}]):i=1,\dots ,n\}$ per Definition: $[x_{i-1},x_{i}]\subset \gamma (t_{i})$, also $x_{i}-x_{i-1}<\delta$. Definiert man die Zerlegung $Z$ durch $Z=\{x_{0},\dots ,x_{n}\}$, so ist $\mu (Z)<\delta$ und somit:

$\left|S(f,D)-R\int _{a}^{b}f\right|=\left|S(f,Z,t_{1},\dots ,t_{n})-R\int _{a}^{b}f\right|<\epsilon$

Auch gilt die vom Riemann- und Lebesgue-Integral bekannte Intervalladditivität:

• Seien $f\colon [a,b]\rightarrow \mathbb {R}$ und $J_{1},J_{2}\subset [a,b]$ zwei nicht überlappende, geschlossene Intervalle (d. h., die beiden Intervalle haben höchstens einen Randpunkt gemeinsam) und $f$ über $[a,b]$ Gauge-integrabel. Dann ist $f$ auch über $J_{1},J_{2},J_{1}\cup J_{2}$ Gauge-integrabel und es gilt: $\int _{J_{1}\cup J_{2}}f=\int _{J_{1}}f+\int _{J_{2}}f$.

Umgekehrt findet man:

• Sei $f\colon [a,b]\rightarrow \mathbb {R}$ über den nicht-überlappenden Intervallen $J_{1},\dots ,J_{m}$ Gauge-integrabel. Ist $[a,b]=\cup _{j=1}^{m}J_{j}$, so ist $f$ auch über $[a,b]$ integrabel und es gilt:

$\int _{a}^{b}f=\sum _{j=1}^{m}\int _{J_{i}}f=\int _{J_{1}}f+\dots +\int _{J_{m}}f$

Das Gauge-Integral ist monoton:

• Ist $f,g$ Gauge-integrabel über $[a,b]$ und $f\geq g$ (d. h. $f(x)\geq g(x)\,\forall x\in [a,b]$), dann gilt:

$\int _{a}^{b}f\geq \int _{a}^{b}g$

Insbesondere ist $\int _{a}^{b}f\geq 0$, falls $f\geq 0$.

Besonders interessant ist, dass jede Ableitungsfunktion Gauge-integrabel ist:

• (Hauptsatz, Teil 1). Sei $f\colon [a,b]\rightarrow \mathbb {R}$ differenzierbar. Dann ist $f'$ über $[a,b]$ Gauge-integrabel mit $\int _{a}^{b}f'=f(b)-f(a)$.

Das Ergebnis erhält man nach wenigen geschickten Umformungen, indem man zu $\epsilon >0$ die (symmetrische) Eichfunktion $\gamma (t)=(t-\delta (t),t+\delta (t))$ wählt, wobei $\delta (t)$ nach dem Straddle-Lemma festgesetzt wird. Dann wertet man für eine beliebige $\gamma$-feine markierte Zerlegung den Ausdruck $|S(f,D)-(f(b)-f(a))|$ aus. Der 2. Teil des Hauptsatzes lautet für das Gauge-Integral:

• (Hauptsatz, Teil 2). Sei $f\colon [a,b]\rightarrow \mathbb {R}$ Gauge-integrabel über $[a,b]$. Dann ist die Funktion $F\colon [a,b]\rightarrow \mathbb {R}$ mit $F(x)=\int _{a}^{x}f$ fast überall in [a,b] differenzierbar mit $F'(x)=f(x)$.

Es ist also für das indefinite Integral $F$ einer Gauge-integrablen Funktion $f$ die Aussage „$F$ ist nicht differenzierbar oder es gilt $F'(x)\neq f(x)$“ höchstens auf einer Lebesgue-Nullmenge richtig. Wichtig ist, dass nur die Integrierbarkeit von $f$ vorausgesetzt werden muss. Ist $f$ sogar stetig, so ist $F$ überall in $[a,b]$ differenzierbar mit $F'(x)=f(x)$.

Für das Gauge-Integral gelten die beiden zentralen, vom Lebesgue-Integral bekannten Konvergenztheoreme. Diese beschreiben, unter welchen Umständen die Grenzfunktion $f$ einer Funktionenfolge $(f_{n})$ Gauge-integrabler Funktionen wiederum Gauge-integrabel ist und Integration und Grenzwertbildung vertauscht werden dürfen:

$\lim _{n\rightarrow \infty }\int _{a}^{b}f_{n}=\int _{a}^{b}f=\int _{a}^{b}\lim _{n\rightarrow \infty }f_{n}$

Man erhält:

Abbildung 6: Darstellung der ersten 6 Glieder einer Funktionenfolge $(f_{n})$, die monoton wachsend, nicht aber gleichmäßig gegen $f$ konvergiert. Die Funktionenfolge $(f_{n})$ ist außerdem gleichmäßig beschränkt.

• Satz über monotone Konvergenz: Sei $I$ ein Intervall, $(f_{n})$ eine Folge von Funktionen $f_{n}\colon I\rightarrow \mathbb {R}$, die über $I$ Gauge-integrabel sind und $f\colon I\rightarrow \mathbb {R}$. Konvergiert $(f_{n})$ monoton wachsend gegen $f$, d. h., gilt $\lim _{n\rightarrow \infty }f_{n}(x)=f(x)$ und $f_{n+1}(x)\geq f_{n}(x)$ für alle $x\in \mathbb {R}$, so ist $f$ genau dann Gauge-integrabel über $I$, wenn $\sup \left\{\int _{I}^{\ }f_{n}:n\in \mathbb {N} \right\}<\infty$. In diesem Falle gilt:

$\int _{I}f=\int _{I}\lim _{n\rightarrow \infty }f_{n}=\lim _{n\rightarrow \infty }\int _{I}f_{n}$

Konvergiert also eine Funktionenfolge punktweise gegen eine Grenzfunktion $f$ und ist die Folge $(f_{n}(x))$ für jedes $x\in I$ monoton wachsend und jede Funktion $f_{n}$ über $I$ Gauge-integrabel, so ist die Grenzfunktion $f$ dann und nur dann über $I$ Gauge-integrabel, wenn die Folge $\left(\int _{I}^{\ }f_{n}\right)$ beschränkt ist. In diesem Fall darf die Integration und die Grenzwertbildung vertauscht, dürfen die beiden Operationen also in umgekehrter Reihenfolge ausgeführt werden.

Auch gilt der

• Satz über majorisierte Konvergenz. Sei $I$ ein Intervall, $(f_{n})$ eine Folge von Funktionen $f_{n}\colon I\rightarrow \mathbb {R}$, die über $I$ Gauge-integrabel sind und $f\colon I\rightarrow \mathbb {R}$. Konvergiert $(f_{n})$ punktweise gegen $f$ und gibt es Gauge-integrable Funktionen $\alpha ,\beta \colon I\rightarrow \mathbb {R}$ mit $\alpha \leq f_{n}\leq \beta$ fast überall in $I$ und alle $n\in \mathbb {N}$, so ist $f$ über $I$ Gauge-integrabel und es gilt:

$\int _{I}f=\int _{I}\lim _{n\rightarrow \infty }f_{n}=\lim _{n\rightarrow \infty }\int _{I}f_{n}$

Gibt es also eine über $I$ Gauge-integrable Minorante $\alpha$ und eine über $I$ Gauge-integrable Majorante $\beta$ für $(f_{n})$, so ist auch die Grenzfunktion $f$ der Funktionenfolge $(f_{n})$ Gauge-integrabel über $I$. Auch in diesem Fall dürfen Grenzwertbildung und Integration vertauscht werden.

Erweiterungen

Im Folgenden ist unter dem Begriff Messbarkeit (und entsprechend verwandten Begriffen) stets Lebesgue-Messbarkeit zu verstehen. Das betrachtete Maß ist also das Lebesgue-Maß auf $\mathbb {R} ^{n}$.

Erweiterungen in einer Dimension

Das Gauge-Integral lässt sich auf unendliche Intervalle ausdehnen. Dies scheint zunächst verwunderlich. Betrachtet man das Intervall $\mathbb {R} =(-\infty ,\infty )$ als Beispiel, so steht man zunächst vor dem Problem, dass das Intervall nicht geschlossen ist. Dieses Problem lässt sich einfach beheben, indem man nicht $\mathbb {R}$, sondern die erweiterten reellen Zahlen ${\overline {\mathbb {R} }}=\mathbb {R} \cup \{-\infty ,+\infty \}=[-\infty ,+\infty ]$ zugrunde legt. Entsprechend geht man bei der Integration über jedes offene Intervall $(a,b)$ vor: Man betrachtet dann stets den Abschluss des Intervalls in ${\overline {\mathbb {R} }}$, also das geschlossene Intervall $[a,b]$, wobei auch $a=-\infty$ und/oder $b=\infty$ zugelassen sind. Damit sind aber die Probleme noch lange nicht behoben: Da das Gauge-Integral mit endlichen Zerlegungen arbeitet, ist im Falle eines unendlichen Integrationsbereiches $I=[a,b]$ mindestens ein Teilintervall jeder markierten Zerlegung von $I$ unendlich lang (entweder $[x_{0},x_{1}]$ oder $[x_{n-1},x_{n}]$ oder beide) und somit die Summe

$S(f,D)=\sum _{i=1}^{n}f(t_{i})l(I_{i})=\sum _{i=1}^{n}f(t_{i})(x_{i}-x_{i-1})$

bestenfalls unendlich, schlimmstenfalls noch nicht einmal definiert, sofern zwei unendlich lange Intervalle auftreten und f an den jeweiligen Zwischenstellen Werte mit unterschiedlichem Vorzeichen annimmt (dann tritt der undefinierte Ausdruck $\infty -\infty$ auf). Man könnte nun ähnlich wie beim Riemann-Integral uneigentliche Integrale definieren, doch es zeigt sich, dass dies durch die Verwendung eines Tricks nicht nötig ist: Dazu untersucht man im Falle eines unendlichen Definitionsintervalls $I$ nicht das Integral über $f$, sondern über ${\bar {f}}:[-\infty ,+\infty ]\rightarrow \mathbb {R}$, gegeben durch:

${\bar {f}}(x)={\begin{cases}f(x)&{\text{ für }}x\in I\\0&{\text{ sonst}}\end{cases}}$

Datei:Erweiterte funktion.svg

Abbildung 7: Oben: Darstellung einer auf ${\overline {\mathbb {R} }}$ erweiterten Funktion $f$.
Unten: Die Flächenstücke zwischen ${\bar {f}}$ und der $x$-Achse über den beiden unendlich langen Intervallen (rot hinterlegt) entfallen, sofern für diese $\infty$ bzw. $-\infty$ als Zwischenstellen gewählt werden.

Insbesondere gilt ${\bar {f}}(\infty )={\bar {f}}(-\infty )=0$. Innerhalb der Riemannsumme $S(f,D)$ soll dann die Konvention $0\cdot \infty =0$ gelten. Demnach ist jede Riemannsumme $S(f,D)$ auch dann definiert, wenn $D$ unendlich lange Intervalle enthält, insofern diese nur mit den Zwischenstellen $\pm \infty$ zusammen auftreten. Dies lässt sich aber durch die folgende Definition erzwingen:

• Definition: Das Intervall $(a,\infty ]$ mit $a\in \mathbb {R}$ heißt offenes Intervall, das $\infty$ enthält. Analog heißt $[-\infty ,b)$ mit $b\in \mathbb {R}$ offenes Intervall, das $-\infty$ enthält.

Damit ist es nun möglich, Eichfunktionen $\gamma$ so zu definieren, dass unendlich lange Teilintervalle ausschließlich zusammen mit $\pm \infty$ als Zwischenstellen auftreten, z. B. für das Intervall $[-\infty ,\infty ]$:

$\gamma (t)={\begin{cases}[-\infty ,a)&{\text{ für }}t=-\infty \\(t-l(t),t+r(t))&{\text{ für }}t\in \mathbb {R} \\(b,\infty ]&{\text{ für }}t=\infty \end{cases}}$

Dabei können $a,b$ beliebige reelle Zahlen und $r,l$ beliebige positive reelle Funktionen sein. Da $\gamma (-\infty )$ und $\gamma (\infty )$ die einzigen Intervalle aus dem Wertebereich von $\gamma$ sind, die unendlich lang sind, kann das Teilintervall $[-\infty ,x_{1}]$ aus einer $\gamma$-feinen markierten Zerlegung $D$ aufgrund der Bedingung $[-\infty ,x_{1}]\subset \gamma (t_{1})$ nur mit der Zwischenstelle $t_{1}=-\infty$ zusammen auftreten. Entsprechendes gilt für das Teilintervall $[x_{n-1},\infty ]$, das nur zusammen mit der Zwischenstelle $t_{n}=\infty$ auftreten kann. Am Beispiel der Zerlegung

$D=\{(-\infty ,[-\infty ,1]),(1,[0,1]),(2,[1,3]),(\infty ,[3,\infty ])\}$

und einer Funktion $f\colon \mathbb {R} \rightarrow \infty$ wird klar, warum dadurch das Problem der unendlichen/undefinierten Riemannsummen gelöst ist:

$S({\bar {f}},D)=\underbrace {{\bar {f}}(-\infty )l([-\infty ,1])} _{=0\cdot \infty =0}+f(1)(2-0)+f(2)(3-1)+\underbrace {{\bar {f}}(\infty )l([3,\infty ])} _{=0\cdot \infty =0}=2f(1)+2f(2)$

Die beiden potentiell unendlichen Summanden entfallen und die Riemannsumme ist endlich. Mit diesen neuen Definitionen kann das Gauge-Integral problemlos auf unendliche und/oder offene Teilintervalle ausgedehnt werden:

• Definition: Sei $I\subset \mathbb {R}$ irgendein Intervall und ${\bar {I}}=[a,b]$ sein Abschluss in ${\overline {\mathbb {R} }}$ (d. h., es sind auch $a=-\infty$ und $b=\infty$ zugelassen). $f$ heißt Gauge-integrabel (Henstock- (Kurzweil-) -integrabel, eichintergrabel) über $I$, wenn es zu einer festen Zahl $A\in \mathbb {R}$ zu jedem $\epsilon >0$ eine Eichfunktion $\gamma$ auf ${\bar {I}}$ gibt, sodass $|S(f,D)-A|<\epsilon$ für jede $\gamma$-feine markierte Zerlegung Zerlegung $D$ von ${\bar {I}}$. Man nennt $A$ das Gauge-Integral von $f$ über $I$, in Zeichen: $A=\int _{a}^{b}f=\int _{I}f$.

Ist $E\subset I$ irgendeine messbare Teilmenge eines Intervalls $I$, so nennt man $f\colon I\rightarrow \mathbb {R}$ Gauge-integrabel über $E$, falls die Funktion $f\cdot \chi _{E}$ über $I$ Gauge-Integrabel ist. Man definiert dann das Gauge-Integral von $S(f,D)$f über $E$ durch:

$\int _{E}^{\ }f:=\int _{I}^{\ }f\chi _{E}$

Ist $E\subset \mathbb {R}$ eine messbare Menge und $f\colon E\rightarrow \mathbb {R}$ eine messbare Funktion, so heißt $f$ Gauge-integrabel über $E$, wenn die Erweiterung von $f$ auf $\mathbb {R}$, also die Funktion $f^{*}\colon \mathbb {R} \rightarrow \mathbb {R}$ mit

$f^{*}(x)={\begin{cases}f(x)&{\text{ falls }}x\in E\\0&{\text{ sonst }}\end{cases}}$

über $\mathbb {R}$ Gauge-integrabel ist und man setzt

$\int _{E}f:=\int _{\mathbb {R} }f^{*}.$

Es zeigt sich:

• Definiert man uneigentliche Gauge-Integrale ähnlich wie die uneigentlichen Integrale in der Riemann-Theorie, so ist $f$ genau dann uneigentlich Gauge-integrierbar über ein unendlich langes Definitionsintervall, wenn es im obigen Sinne eigentlich Gauge-integrabel ist, außerdem stimmen die Werte der Integrale überein.
• Alle im vorherigen Abschnitt genannten Eigenschaften übertragen sich sinngemäß auf das auf unendliche Definitionsintervalle erweiterte Gauge-Integral. Der 1. Teil des Hauptsatzes gilt dann auf jedem endlichen Teilintervall eines unendlich langen Integrationsbereiches $I$, im 2. Teil ist ein beliebiger fester Punkt $a\in I$ zu wählen. Der Inhalt des Satzes gilt dann für die Funktion $F(x)=\int _{a}^{x}f$, wobei $x<a$ möglich ist.

Aufgrund der Intervalladditivität fallen alle erweiterten Definitionen mit der ursprünglichen Definition des Gauge-Integrals über Intervalle zusammen, falls $E$ ein Intervall ist (jedes Intervall ist messbar). Mit diesen Definitionen gelingt der Anschluss an das Lebesgue-Integral. Es zeigt sich:

• Sei $E$ eine messbare Menge. Ist $f\colon E\rightarrow \mathbb {R}$ Lebesgue-integrabel über $E$, so ist $f$ auch Gauge-integrabel über $E$ und die beiden Integrale stimmen überein. Insbesondere gilt: $f$ ist genau dann Lebesgue-integrabel über $E$, wenn $f$ absolut Gauge-integrabel über $E$ ist, d. h. sowohl die Funktion $f$ als auch ihr Betrag $|f|$ über $E$ Gauge-integrabel sind.

Damit ist das auch Lebesgue-Integral als Spezialfall im Gauge-Integral enthalten.

Das mehrdimensionale Gauge-Integral

Sinngemäß wird das Gauge-Integral auf beliebige Dimensionen fortgesetzt. Wie in einer Dimension definiert man dazu das Integral zunächst über Intervallen. Die Erweiterung auf unendlich große Intervalle soll darin bereits enthalten sein.

• Definition (n-dimensionales Intervall): Eine Menge $I\subset {\overline {\mathbb {R} }}^{n}$ heißt (n-dimensionales) Intervall, wenn es Intervalle $J_{1},\dots ,J_{n}\subset {\overline {\mathbb {R} }}$ gibt mit $I=J_{1}\times \dots \times J_{n}$.

Ein Intervall in n Dimensionen ist somit als das kartesische Produkt n eindimensionaler Intervalle definiert und besitzt folglich die Gestalt eines n-dimensionalen Quaders. Dabei gilt:

• Definition (offen, geschlossen): Ein Intervall $I=J_{1}\times \dots \times J_{n}$ heißt offen [geschlossen] in ${\overline {\mathbb {R} }}^{n}$, wenn alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J_i} offen [geschlossen] in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\R}} sind.

Man beachte, dass auch ein Intervall der Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [a,b]} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a = - \infty} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b = \infty} als geschlossen in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\R}} bezeichnet wird.

Abbildung 8: Eine markierte Zerlegung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D = \{ (t_1, I_1), \dots, (t_{15}, I_{15})\}} eines geschlossenen 2-dimensionalen Intervalls. Eine solche Zerlegung heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} -fein, wenn $[x_{i-1},x_{i}]\subset \gamma (t_{i})$.

Entsprechend erweitert man die Begriffe der markierten Zerlegung und der Eichfunktion auf $n$ Dimensionen:

• Definition (markierte Zerlegung): Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I \subset {\overline {\R}}^n} ein geschlossenes Intervall. Eine Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D = \{ (t_i, I_i), i=1, \dots, n\}} heißt markierte Zerlegung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} , wenn alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_i} Intervalle sind mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t_i \in I_i} und $\cup _{i=1}^{n}I_{i}=I$.

Eine markierte Zerlegung eines geschlossenen Intervalls ist also eine Menge aus geordneten Paaren Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (t_i, I_i)} , deren erster Eintrag ein Punkt aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I \subset {\overline {\R}}^n} , deren zweiter Eintrag dagegen ein Intervall ist. Der zu dem Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_i} gehörige Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t_i} muss dabei in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_i} liegen, die Vereinigung aller Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_i} wiederum das zu zerlegende Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} ergeben (vgl. Abb. 8).

• Definition (Eichfunktion): Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I \subset {\overline {\R}}^n } ein Intervall. Eine intervallwertige Funktion $\gamma$ heißt Eichfunktion auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} , wenn $\gamma (t)$ ein offenes Intervall und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t \in \gamma(t)} für alle Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t \in I} .

Wie im Eindimensionalen soll ein Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I = J_1 \times \dots \times J_n} auch als offen gelten, wenn ein $J_{i}$ die Gestalt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J_i = [- \infty, a)} oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J_i = (a, \infty]} mit einer beliebigen reellen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle a} besitzt. Genau wie in einer Dimension definiert man nun mit Hilfe dieser Begriffe die Feinheit einer markierten Zerlegung:

• Definition: Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} eine Eichfunktion auf dem geschlossenen Intervall Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} . Eine markierte Zerlegung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D = \{ (t_i, I_i) : i = 1, \dots, n\} } heißt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} -fein, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I_i \subset \gamma(t_i)} für Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle i=1, \dots, n} .

Das Volumen eines Intervalls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} sei gegeben durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \operatorname{vol}(I) := v(J_1 \times \dots \times J_n) = l(J_1) \cdot l(J_2) \cdot \dots \cdot l(J_n), }

wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle l(J_i) = l( [b_i, a_i] ) = b_i - a_i} die Länge des (eindimensionalen) Intervalls Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J_i} darstellt. Auch hier soll die Konvention Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 \cdot \infty = 0} gelten, d. h., besitzt eines der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J_i} die Länge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0} , so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle v(I) = 0} , auch wenn ein oder mehrere unendlich lange Intervalle unter den Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J_i} sind.

Jede Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon I \subset \R^n \rightarrow \R} wird auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {\overline{\R}}^n} fortgesetzt:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar f(x) = \begin{cases} f(x) & \text{ falls } x \in I \\ 0 & \text{ sonst } \end{cases} }

Insbesondere verschwindet Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar f} in jedem Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x = (x_1, \dots, x_n) \in \overline{\R}^n} , der mindestens eine unendliche Komponente aufweist. So ist etwa Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar f(1, \infty, 0, -\infty, \dots) = 0} . Riemannsche Zwischensummen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(\bar f, D)} bzgl. einer Funktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f\colon I \rightarrow \R} und einer markierten Zerlegung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D = \{(t_i, I_i) : i = 1, \dots, n \}} werden definiert durch:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(\bar f, D) = \sum_{i=1}^n \bar f(t_i) \operatorname{vol}(I_i) }

Auch hier sei die Konvention Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 0 \cdot \infty = 0} gültig. Das Gauge-Integral in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle n} Dimensionen kann dann wie folgt festgesetzt werden:

• Definition (n-dimensionales Gauge-Integral): Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle I} ein Intervall des $\mathbb {R} ^{n}$, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline I} dessen Abschluss in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \overline{\R}^n} . Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} heißt Gauge-integrabel (Henstock- (Kurzweil-) -intergrabel, eichintegrabel) über $I$, wenn es zu einer festen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} und zu jedem Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \epsilon > 0} eine Eichfunktion Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bar I} gibt, sodass für jede Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \gamma} -feine markierte Zerlegung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle D} gilt: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle |S(\bar f, D) - A| < \epsilon} . Man schreibt: $A=\int _{I}^{\,}f$.

Alle Erweiterungen auf beliebige messbare Teilmengen des Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n} geschehen genauso wie beim eindimensionalen Gauge-Integral. Die o. g. Eigenschaften des eindimensionalen Gauge-Integrals übertragen sich sinngemäß auf das mehrdimensionale Gauge-Integral. Weiterhin lassen sich Versionen der Sätze von Fubini und Tonelli für das n-dimensionale Gauge-Integral aufstellen.

Charakterisierung

Das Eichintegral ist deskriptiver Natur, d. h., es beruht auf der Beobachtung, dass Differentiation und Integration üblicherweise vertauschbar sind. Diese Beobachtung in den Vordergrund stellend garantiert das Eichintegral die Vertauschbarkeit im Allgemeinen. Es ergeben sich daher unmittelbar (ohne pathologische Beispiele heranziehen zu müssen) Funktionen, die zwar nicht Riemann-, aber Gauge-integrabel sind, wie z. B. das Reziproke der Wurzelfunktion oder das obige Leitbeispiel.

Literatur und Weblinks

• Ralph Henstock: Theories of Integration. London 1963.
• Douglas S. Kurtz, Charles W. Swartz: Theories of Integration. 2004.
• Internetseite über das Gauge-Integral (englisch)