Was ist Integration? – Serlo „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!

Ein maßtheoretischer Blick auf Integrale

• in der Analysis 1 wurde das Riemann-Integral für Funktionen einer Variablen definiert.
• oft wird das bestimmte Riemann-Integral einer Funktion als Flächeninhalt zwischen dem Graphen und der x-Achse veranschaulicht.
• Beispiel: Bild einer nichtnegativen reellwertigen Funktion $f$ auf einem Intervall $[a,b]$ und der Fläche unter dem Graphen. Das bestimmte Integral $\int _{a}^{b}f(x)\,\mathrm {d} x$ ist der Flächeninhalt dieser Fläche.
• doch wer interessiert sich für solche Flächeninhalte?
• an der Definition des Riemann-Integrals sieht man (betrachte äquidistante Stützstellen): diese Anschauung leitet sich her aus dem Übergang von einer endlichen Summe $\sum _{i=1}^{n}f(x_{i})\cdot \Delta x$ mit $\Delta x={\frac {b-a}{n}}$ und Stützstellen $x_{i}\in [a+(i-1)\Delta x,a+i\Delta x]$ zu einer "überabzählbaren Summe" $\int _{a}^{b}f(x)\,\mathrm {d} x$.
• am Beispiel veranschaulichen (immer feinere Balken der Breite $\Delta x$ unter Funktionsgraph)
• wir können das Riemann-Integral also auffassen als eine verallgemeinerte Summation, als "überabzählbare Summe" der Funktionswerte von $f$.
• Der Übergang von der Summe zum Integral wird auch deutlich bei der Bogenlänge $l$ einer Funktion $y$ (Beispiel + Bild):

$l\approx \sum _{i=1}^{n}{\sqrt {\Delta x_{i}^{2}+\Delta y_{i}^{2}}}=\sum _{i=1}^{n}{\sqrt {1+\left({\frac {\Delta y_{i}}{\Delta x_{i}}}\right)^{2}}}\Delta x_{i}\quad {\overset {n\to \infty }{\longrightarrow }}\quad \int _{a}^{b}{\sqrt {1+y'(x)}}\mathrm {d} x$

• Natürlich werden die Funktionswerte der integrierten Funktion nicht einfach nur summiert. Jeder Summand $f(x_{i})$ wird zusätzlich mit $\Delta x$ gewichtet. Im Grenzübergang entsteht das Integral der Funktionswerte von $f$, von denen jeder gleich stark mit dem infinitisemal kleinen Wert $\mathrm {d} x$ gewichtet wird.
• in den Beispielen waren die "Gewichte" $\Delta x_{i}$ die Längen der Intervalle der Zerlegung, mit anderen Worten, ihr Maß, wenn man das Lebesgue-Maß zugrunde legt.
• könnte man für die Gewichtung auch ein anderes Maß $\mu$ zugrunde legen? Mit der Maßtheorie haben wir das theoretische Werkzeug dazu.
• bei der Unterteilung des Definitionsbereichs einer Funktion in verschiedene Teilmengen $A_{i}$ zur Approximation wird dann das "Gewicht" jeder dieser Teilmengen durch ihr Maß $\mu (A_{i})$ beschrieben. Die daraus durch einen Grenzübergang verallgemeinerte Summe entspricht dann dem Integral bezüglich des Maßes $\mu$ (eine Art "überabzählbare gewichtete Summe").
• wofür könnte man diese Verallgemeinerung zu anders gewichteten Summen benötigen? Wir schauen drei Beispiele an, in denen der "Summe" jeweils verschiedene "Gewichte" zugrundeliegen.

Drei Beispiele

Körper mit inhomogener Massenverteilung

• wollen die Masse $m$ eines Körpers $K\subseteq \mathbb {R} ^{3}$ mit inhomogener Massenverteilung bestimmen (z.B. eines Himmelskörpers).
• Die ortsabhängige Dichte (Masse/Volumen) des Körpers werde durch eine Funktion $\rho :M\to \mathbb {R}$ ("Dichtefeld") beschrieben.
• man kann nun versuchen, näherungsweise die Masse zu bestimmen, indem man den Körper in kleine Stücke $\Delta x_{i}\subseteq K$ unterteilt (z.B. Würfel), "Stützpunkte" $x_{i}\in \Delta x_{i}$ wählt und die Summe $m\approx \sum _{i=1}^{n}\rho (x_{i})V(\Delta x_{i})$ bildet, wobei $V(\Delta x_{i})$ das Volumen von $\Delta x_{i}$ bezeichnet.
• Durch Grenzübergang zu unendlich kleinen Stücken erhält man die genaue Masse. (Wie genau der Grenzübergang aussieht, interessiert uns an dieser Stelle nicht.) Die Summe wird zu einem Integral über die Menge $K$:

$m=\int _{K}\rho (x)\,V(\mathrm {d} x)$

• die "Gewichte" in diesem Beispiel sind das Volumen der einzelnen Stücke. Das Maß bzgl. dem integriert wird ist also das Volumen im $\mathbb {R} ^{3}$, d.i. das Lebesguemaß.
• weil das Lebesguemaß translationsinvariant ist, werden bei der Integration wie beim Riemann-Integral alle Teile gleich gewichtet.
• das Beispiel zeigt, dass Integration bzgl. allgemeinen Maßen auch eine Verallgemeinerung zu mehrdimensionaler Integration (Funktionen in mehreren Unbekannten) möglich macht.

Erwartete Temperatur

To-Do:

Das Beispiel muss überarbeitet werden/ein besseres gefunden werden. In der Summe wird das Bildmaß $\mathbb {P} \circ X^{-1}$ benutzt, das sollte beim Übergang zum Integral beibehalten oder von Anfang an anders gemacht werden.

• Angenommen, an einem festen Ort auf der Welt werden Temperaturen in einem möglichen Bereich von [-200,+200] gemessen und man kennt die Verteilung der Temperatur, d.h. die Wahrscheinlichkeit, dass ein gemessener Wert $X$ in einem Bereich $[x_{1},x_{2})\subseteq [-200.+200]$ liegt (Notation: $X\in [x_{1},x_{2})$). Diese Wahrscheinlichkeit wird durch ein Wahrscheinlichkeitsmaß beschrieben, das wir $\mathbb {P}$ nennen wollen. Z.B. wird $\mathbb {P} (X\in [100,150))=0$ sein, da so hohe Temperaturen auf der Erde nicht vorkommen.
• man kann $X$ als auf einer unbekannten Menge $\Omega$ definierte Funktion auffassen. (In der Wahrscheinlichkeitstheorie würde man $X$ eine "Zufallsvariable" nennen.)
• für die gegebene Verteilung will man die an dem Ort zu erwartende Durchschnittstemperatur bestimmen.
• Das kann man machen, indem man den Temperaturbereich in immer kleiner werdende Intervalle partitioniert und z.B. immer den unteren Wert des Intervalls summiert, gewichtet mit der Wahrscheinlichkeit, dass eine Temperatur in dem Intervall auftritt:

$\sum _{i=1}^{n}x_{i-1}\mathbb {P} (X\in [x_{i-1},x_{i}))$

• Der so bestimmte Wert wird etwas unter dem erwarteten Wert liegen, aber man kann ihn genau bestimmen, indem man die Intervalllänge gegen 0 streben lässt.
• aus der Summe wird so ein Integral über den (unbekannten!) Definitionsbereich von $X$ bzgl. des W.maßes $\mathbb {P}$:

$\int _{\Omega }X(\omega )\,\mathbb {P} (\mathrm {d} \omega )$

• hier werden die einzelnen Summanden entsprechend ihrer Wahrscheinlichkeit gewichtet (i.A. nicht alle gleich).
• Die Integration (nach Lebesgue) ist ein wichtiger Bestandteil der Wahrscheinlichkeitstheorie.

Spektralzerlegung linearer Operatoren

• in der Linearen Algebra lernt man, dass selbstadjungierte Endomorphismen diagonalisiert werden können und als Summe $\sum _{i=1}^{l}\lambda _{i}P_{\lambda _{i}}$ von Orthogonalprojektionen $P_{\lambda }$ auf die Eigenräume $E(\lambda )$ geschrieben werden können (Spektralzerlegung).
• Unter anderem in der mathematischen Formulierung der Quantenmechanik untersucht man selbstadjungierte lineare Abbildungen zwischen unendlichdimensionalen Vektorräumen (sog. lineare Operatoren zwischen Hilberträumen). Dabei kommen Methoden der Funktionalanalysis zum Einsatz.
• Das Spektrum $\sigma (T)$ eines solchen Operators $T$ ("verallgemeinerte Eigenwerte") kann abzählbar oder sogar überabzählbar unendlich sein.
• Die Spektralzerlegung verallgemeinert sich damit auf eine unendliche Reihe $\sum _{i=1}^{\infty }\lambda _{i}P_{\lambda _{i}}$ oder ein Integral über das Spektrum des Operators $\int _{\sigma (T)}\lambda \,P_{\lambda }$. Natürlich ist im Moment gar nicht klar, wie ein solches Integral zu verstehen ist.
• die "Gewichte" der einzelnen Summanden $\lambda$ sind in diesem Beispiel nicht mehr reelle Zahlen, sondern lineare Abbildungen (Orthogonalprojektionen). Mithilfe von sog. Spektralmaßen, die nicht reelle Zahlen, sondern Orthogonalprojektionen als Werte annehmen, kann man dennoch das Integral im Sinne der Maßtheorie bilden. (Details interessieren uns nicht.)
• Das Beispiel soll zeigen, wie weitreichend die Interpretation des Integrals als "überabzählbare gewichtete Summe" ist und wie mächtig ein Integralbegriff ist, mit dem man bzgl. allgemeinen Maßen integrieren kann.

Wie gehen wir vor?

To-Do:

• Einführung des Begriffs "messbare Abbildung"
• Einschränken des Begriffs auf "messbare numerische Funktion" -> Approximation durch Treppenfunktionen
• Lebesgue-Integral als elementares Integral über Treppenfunktionen <- und -> gewichtete Summen
• L-Integral allgemein als Grenzwert elementarer Integrale

• die drei Beispiele zeigen, dass es sinnvoll ist, die Integrationstheorie allgemein für beliebige Maße zu formulieren. Wir werden das Lebesgue-Integral kennenlernen (benannt nach Lebesgue, aber es wird dabei nicht nur bzgl. des Lebesgue-Maßes integriert!)
• befinden uns also in der folgenden Situation: haben eine reellwertige Funktion $f:\Omega \to \mathbb {R}$, wobei $\Omega$ eine Menge ist (z.B. Körper $K\subseteq \mathbb {R} ^{3}$, Wahrscheinlichkeitsraum $\Omega$ oder Spektrum $\sigma (T)$). Der Definitionsbereich wird bei der Approximation in Teilmengen $A_{i}$ zerlegt, die Teil einer $\sigma$-Algebra ${\mathcal {F}}$ messbarer Teilmengen sind. Ein Maß $\mu$ liefert dann die "Gewichte" als Maß $\mu (A_{i})$ dieser Teilmengen $A_{i}\in {\mathcal {F}}$.
• Insgesamt muss also $f:(\Omega ,{\mathcal {F}},\mu )\to \mathbb {R}$ auf einem Maßraum definiert und reellwertig sein.
• Wir betrachten hier nur reellwertige Funktionen. Offenbar ist aber das Entscheidende am Wertebereich von $f$, dass Elemente addiert werden können, wie wir in den Beipielen gesehen haben. Man kann das Integral auch für Banachraum-wertige Funktionen definieren (Bochner-Integral), aber das machen wir hier nicht.
• Werden uns bei der Definition des Integrals von der Beobachtung leiten lassen, dass das Integral im Wesentlichen aus einem Grenzübergang einer Summe entsteht, also im Übergang von Funktionen mit nur endlich/abzb. unendlich vielen Funktionswerten zu Funktionen mit überabzb. unendlich vielen Funktionswerten.