Buchanfang Maßtheorie by Richard4321/Inhalte und Prämaße auf (Halb-)Ringen – Serlo „Mathe für Nicht-Freaks“

Motivation

In der Maßtheorie wollen wir Mengen ein Maß zuordnen. Bei Teilmengen aus $\mathbb {R}$ sind dies Längen, bei Teilmengen aus $\mathbb {R} ^{2}$ Flächen, bei Teilmengen aus $\mathbb {R} ^{3}$ Volumina und bei Teilmengen aus $\mathbb {R} ^{p}$ mit $p\geq 4$ verallgemeinerte Volumina. Dabei ordnen wir nur gewissen „guten“ Mengen ein Maß zu: das sind jene Mengen die wir durch Intervalle oder Rechtecke oder Quader "gut" überdecken können.

Wo stehen wir

Zuerst haben wir nur sehr primitive geometrische Figuren, wie Intervalle, Rechtecke oder (verallgemeinerte) Quader betrachtet und deren Eigenschaften zum Halbring verallgemeinert (mit $A,B\in H$ sind auch $\emptyset ,A\cap B\in H$ und $A\backslash B$ ist endliche disjunkte Vereinigung von Elementen aus $H$). Danach haben wir endliche disjunkte Vereinigungen von Halbringelementen eingeführt und zum Ring erklärt (mit $A,B\in R$ sind auch $\emptyset ,A\cup B,A\backslash B\in R$). Nun wollen wir explizit Flächenwerte für diese Mengensyteme angeben und die Flächenfunktion verallgemeinern zu einem Inhalt bzw. Prämaß, zuerst auf dem Halbring, dann auf dem Ring.

Zur Übersicht der ganzen Maßheorie-Herleitung geht es hier Mathe_für_Nicht-Freaks:_Buchanfang_Maßtheorie_by_Richard4321/_Allgemeine_Konstruktion_eines_Maßes

Flächeninhalt von Rechtecken und Volumina von Quadern

Einem Intervall $(a,b]$ ordnen wir die Länge $b-a$ zu.

Ein Rechteck mit einer Seitenlänge $a$ und der anderen Seitenlänge $b$ hat einen naheliegenden Flächeninhalt: das Produkt $a\cdot b$ der Seitenlängen. Das wollen wir uns plausibel machen. Zwei identische Rechtecke aneinandergelegt, ergibt ein doppelt so großes Rechteck (die Fläche soll sich beim Verschieben nicht ändern) und die eine Seitenlänge verdoppelt sich dabei. Bei drei Rechtecken verdreifacht sie sich, bei vieren vervierfacht sie sich und man erhält in diesem Fall als Gesamtfläche $4ab$. Legt man zwei Rechtecke an der anderen Seite aneinander, verdoppelt sich die Fläche zu $2ab$

d.h. die Formel der Flächenbestimmung muss für jede Seite multiplikativ sein. Das ist im einfachsten Fall das Produkt $a\cdot b$ der Seitenlängen $a,b$.

Für (verallgemeinerte) Quader - im Bild im Dreidimensionalen - ergibt sich ebenfalls das (verallgemeinerte) Volumen als Produkt der Seitenlängen.

Inhalte auf Halbringen

Die Fläche von Rechtecken und das (verallgemeinerte) Volumen von Quadern hatten wir als Produkt der Seitenlängen erkannt. Diese Flächen- oder Volumenfunktion wollen wir verallgemeinern. Um mathematisch sicher zu gehen, verallgemeinern wir in einem ersten kleinen Schritt für den Halbring.

Wir führen dazu den Inhalt auf einem Halbring ein, das ist einfach eine nicht-negative, additive Funktion $m:H\rightarrow [0,\infty ]$, die der leeren Menge die Null zuordnet und zudem gilt: Wenn wir ein Element des Halbringes (in unserer Intuition ein Rechteck) in endlich viele disjunkte Elemente des Halbringes zerlegen $C=\biguplus _{i=1}^{n}A_{i}$, ist der Inhalt additiv:

${\text{Inhalt}}\left(\biguplus _{i=1}^{n}A_{i}\right)=\sum _{i=1}^{n}{\text{Inhalt}}(A_{i})$

Entscheidend ist dabei, dass die disjunkte Vereinigung $\biguplus _{i=1}^{n}A_{i}$ ein Element des Halbringes ist (in unserer Intuition ein Rechteck). Mit etwas Anderem kann die Inhaltsfunktion gar nicht umgehen, da sie auf dem Halbring operiert, siehe das folgende Bild

Die Inhaltsfunktion ordnet automatisch der leeren Menge den Wert Null zu. Das geht gar nicht anders, da wir zu jeder Menge die leere Menge disjunkt vereinigen können

${\begin{aligned}A=A\uplus \emptyset \end{aligned}}$

Den Inhalt angewendet auf beide Seiten ergibt mit der Additivität

${\begin{array}{rcl}{\text{Inhalt}}(A)&=&{\text{Inhalt}}(A\uplus \emptyset )\\&{\stackrel {{\text{Inhalt}}{\text{ additiv}}}{=}}&{\text{Inhalt}}(A)+\underbrace {{\text{Inhalt}}(\emptyset )} _{=0}\end{array}}$

Wäre z.B. ${\text{Inhalt}}(\emptyset )=1$ und ${\text{Inhalt}}(A)$ endlich, so könnte man auf beiden Seiten ${\text{Inhalt}}(A)$ abziehen und es ergäbe sich der Widerspruch $0=1$. Daher muss der leeren Menge der Wert Null zugeordnet werden, damit der Inhalt definiert ist.

Unsere Flächen- bzw. Volumenfunktion ist ein Inhalt

Satz (Die Flächen- bzw. Volumenfunktion ist ein Inhalt)

Unsere Flächen- bzw Volumenfunktion auf dem Halbring $I^{2}$ bzw. $I^{p}$

${\begin{array}{rcl}&&l:I^{p}\rightarrow [0,\infty ),(a_{1},b_{1}]\times \ldots \times (a_{p},b_{p}]\mapsto \prod _{i=1}^{p}(b_{i}-a_{i})\\&&l(\emptyset )=0\end{array}}$

ist ein Inhalt.

Beweis (Die Flächen- bzw. Volumenfunktion ist ein Inhalt)

Wir müssen die Additivität zeigen. Wir wissen, dass wir das Rechteck in endlich vielen Schritten unterteilt haben. Also verwenden wir Induktion nach der Anzahl $n$ der Unterteilungen, um die Inhaltseigenschaft zu zeigen.

Induktionsanfang $n=1$: Wenn genau eine Unterteilung in zwei Rechtecke (oder verallgemeinerte Quader) vorliegt, dann wird genau eines der $p$ Intervalle geteilt, d.h.

$(a_{j},b_{j}]=(a_{j},c_{j}]\uplus (c_{j},b_{j}]$

und man erhält aus $U=(a_{1},b_{1}]\times \ldots \times (a_{p},b_{p}]$ die zwei Rechtecke (oder verallgemeinerten Quader)

${\begin{array}{rcl}V&=&(a_{1},b_{1}]\times \ldots \times (a_{j},c_{j}]\times \ldots \times (a_{p},b_{p}]\\W&=&(a_{1},b_{1}]\times \ldots \times (c_{j},b_{j}]\times \ldots \times (a_{p},b_{p}]\end{array}}$

Deren Fläche bzw. verallgemeinertes Volumen wollen wir berechnen.

${\begin{array}{rcl}l(V)&=&(c_{j}-a_{j})\cdot \prod _{i=1,i\neq j}^{p}(b_{i}-a_{i})\\l(W)&=&(b_{j}-c_{j})\cdot \prod _{i=1,i\neq j}^{p}(b_{i}-a_{i})\end{array}}$

Addiert man die beiden und rechnet weiter, erhält man genau die Fläche (das Volumen) der Ausgangsmenge

${\begin{array}{rcl}l(V)+l(W)&=&(c_{j}-a_{j}+b_{j}-c_{j})\cdot \prod _{i=1,i\neq j}^{p}(b_{i}-a_{i})\\&=&\prod _{i=1}^{p}(b_{i}-a_{i})=l(U)\end{array}}$

Induktionsschritt $n\rightarrow n+1$:

Wir wissen schon, dass wir mit $n$ Unterteilungen erreichen

$l(U)=l\left(\biguplus _{k=1}^{n}A_{k}\right)=\sum _{k=1}^{n}l(A_{k})$

Nun kommt eine weitere Unterteilung eines $A_{m}=A_{n+1}\uplus A_{n+2}$ hinzu. Das kennen wir schon aus dem Induktionsanfang:

$l(A_{m})=l(A_{n+1})+l(A_{n+1})$

Eingesetzt in die Formel folgt

$l(U)=l\left(\biguplus _{k=1,k\neq m}^{n+2}A_{i}\right)=\sum _{k=1,k\neq m}^{n+2}l(A_{k})$

Prämaße auf Halbringen

Wir führen nun das Prämaß auf einem Halbring ein, das ist ein Inhalt, wobei: Wenn wir ein Element des Halbringes (in unserer Intuition ein Rechteck) $C=\biguplus _{i=1}^{\infty }A_{i}$ in abzählbar viele disjunkte Elemente des Halbringes zerlegen, ist das Prämaß abzählbar additiv:

${\text{Prämaß}}\left(\biguplus _{i=1}^{\infty }A_{i}\right)=\sum _{i=1}^{\infty }{\text{Prämaß }}(A_{i})$

Wir nennen diese Eigenschaft "sigma-additiv". Entscheidend ist dabei, dass $\biguplus _{i=1}^{\infty }A_{i}$ ein Element des Halbringes ist. Mit etwas Anderem kann das Prämaß gar nicht umgehen, da es auf dem Halbring operiert, angedeutet auf dem folgenden Bild

Das war die Konstruktion auf den Halbringen, d.h. in unserer Intuition auf den Rechtecksmengen.

Unsere Flächen-Volumenfunktion ist ein Prämaß

Für den Beweis benötigen wir etwas mehr Theorie, nämlich die eindeutige Fortsetzung von Inhalt/Prämaß auf den vom Halbring erzeugten Ring. Den Beweis führen wir in einem eigenen Kapitel. Wir benötigen dafür folgenden Satz.

Fortsetzung von Inhalt und Prämaß auf den erzeugten Ring

Wir hatten im letzten Kapitel über Ringe die eindeutige Fortsetzung eines Halbringes zu einem Ring gezeigt. Wir setzen einen Inhalt oder ein Prämaß auf dem Halbring voraus. Diese wollen wir fortsetzen auf den eindeutigen Ring der disjunkten endlichen Vereinigungen. Mit endlichen disjunkten Vereinigungen eines Ringes können der Inhalt und das Prämaß auf dem Halbring bisher nicht umgehen. Naheliegend ist, dass sie dem Ring einer endlichen disjunkten Vereinigung von Halbring-Elementen (siehe das Bild)

die Summe der Einzelmengen zuordnen. Genau das beweisen wir in einem kleinen Fortsetzungssatz.

Satz (Fortsetzung vom Halbring auf den Ring)

Sei $m:H\rightarrow [0,\infty ]$ ein Inhalt auf dem Halbring $H$ und $R$ der von $H$ erzeugte Ring. Dann existiert eine eindeutige Fortsetzung

${\tilde {m}}:R\rightarrow [0,\infty ],\biguplus _{i=1}^{n}A_{i}\mapsto \sum _{i=1}^{n}m(A_{i})$

$m$ ist ein Prämaß genau dann wenn ${\tilde {m}}$ ein Prämaß ist.

Beweis (Fortsetzung vom Halbring auf den Ring)

1.) Eindeutigkeit: Auf dem Halbringelement sind $m$ und ${\tilde {m}}$ gleich, da ${\tilde {m}}$ eine Fortsetzung von $m$ ist. Das ergibt

${\begin{array}{rcl}{\tilde {m}}\left(\biguplus _{i=1}A_{i}\right)&{\stackrel {\text{additiv nach Vor.}}{=}}&\sum _{i=1}^{n}{\tilde {m}}(A_{i}){\stackrel {m,{\tilde {m}}{\text{ gleich auf }}H}{=}}\sum _{i=1}^{n}m(A_{i})\end{array}}$

Damit kann man ${\tilde {m}}$ gar nicht anders wählen.

2.) Existenz: Unabhängigkeit von der Darstellung: Wir müssen zeigen, dass die Abbildung wohldefiniert ist, d.h. wenn ein Ringelement $A=\biguplus _{i=1}^{n}A_{i}\in R$ anders dargestellt wird durch $\biguplus _{j=1}^{k}B_{j}$ (durch mehr oder weniger Unterteilungen oder durch anders gewählte Unterteilungen, siehe das Bild), darf sich der Wert der Summe nicht ändern.

• 
• 

Das führen wir darauf zurück, dass wir die gemeinsame Verfeinerung der Unterteilungen betrachten

• 

und die Gleichheit der Summe dazu nachrechnen: Auf einem einzelnen Halbringelement

$A_{i}=A_{i}\cap A=A_{i}\cap \biguplus _{j=1}^{k}B_{j}=\biguplus _{j=1}^{k}(A_{i}\cap B_{j})$

wenden wir das auf $H$ additive $m$ an und erhalten

$m(A_{i})=\sum _{j=1}^{k}m(A_{i}\cap B_{j})$

Aufsummiert über $i$ folgt

$\sum _{i=1}^{n}m(A_{i})=\sum _{i=1}^{n}\sum _{j=1}^{k}m(A_{i}\cap B_{j})$

Ganz analog wenden wir auf das einzelne Halbringelement

$B_{j}=B_{j}\cap A=B_{j}\cap \biguplus _{i=1}^{n}A_{i}=\biguplus _{i=1}^{n}(B_{j}\cap A_{i})$

das auf $H$ (!) additive $m$ an und erhalten

$m(B_{j})=\sum _{i=1}^{n}m(B_{j}\cap A_{i})$

Aufsummiert über $j$ folgt

$\sum _{j=1}^{k}m(B_{j})=\sum _{j=1}^{k}\sum _{i=1}^{n}m(B_{j}\cap A_{i})$

Die rechte Seite kennen wir aber schon von oben und somit folgt

$\sum _{i=1}^{n}m(A_{i})=\sum _{j=1}^{k}m(B_{j})$

Damit ist die Summe unabhängig von der Darstellung von $A$ wohldefiniert.

3.) ${\tilde {m}}$ ist eine Fortsetzung

Nun, oben definiertes ${\tilde {m}}$ angewendet auf ein Element $A_{i}\in H$ (das ja auch in $R$ ist) ergibt

${\tilde {m}}(A_{i})=m(A_{i})$

Damit ist ${\tilde {m}}$ eine Fortsetzung.

4.) ${\tilde {m}}$ ist additiv: Die Summe ist gerade so konstruiert, dass ${\tilde {m}}$ additiv wird: Seien $A=\biguplus _{i=1}^{n}A_{i},B=\biguplus _{j=1}^{m}B_{j}\in R$ disjunkt. Einsetzen in ${\tilde {m}}$ ergibt

${\begin{array}{rcl}{\tilde {m}}(A\uplus B)&=&{\tilde {m}}(\biguplus _{i=1}^{n}A_{i}\uplus \biguplus _{j=1}^{m}B_{j})\\&{\stackrel {{\text{Def von }}{\tilde {m}}}{=}}&\sum _{i=1}^{n}m(A_{i})+\sum _{j=1}^{k}m(B_{j})\\&{\stackrel {{\text{Def von }}{\tilde {m}}}{=}}&{\tilde {m}}(\biguplus _{i=1}^{n}A_{i})+{\tilde {m}}(\biguplus _{j=1}^{m}B_{j})\\&=&{\tilde {m}}(A)+{\tilde {m}}(B)\end{array}}$

5.) ${\tilde {m}}$ ist Prämaß $\Rightarrow m$ ist Prämaß

Wenn man ${\tilde {m}}$ auf ein Halbringelement anwendet, das automatisch auch ein Ringelement ist, erhält man die Sigma-Additivität von $m$: Sei $A=\biguplus _{i=1}^{\infty }A_{i}\in H$, dann berechnet man

${\begin{array}{rcl}m(A)&=&{\tilde {m}}(A)={\tilde {m}}\left(\biguplus _{i=1}^{\infty }A_{i}\right)\\&{\stackrel {{\tilde {m}}{\text{ Prämaß}}}{=}}&\sum _{i=1}^{\infty }{\tilde {m}}(A_{i})\\&=&\sum _{i=1}^{\infty }m(A_{i})\end{array}}$

6.) $m$ ist Prämaß $\Rightarrow {\tilde {m}}$ ist Prämaß Wir müssen die Sigma-Additivität auf $H$ zurückführen. Sei dazu $A_{i},A=\biguplus _{i=1}^{\infty }A_{i}\in R$ beliebig. Wohlgemerkt muss $\biguplus _{i=1}^{\infty }A_{i}$ ein Element aus dem Ring sein. Dann lassen sich $A$ und alle $A_{i}$ und $A$ darstellen als disjunkte endliche Summe von Halbringelementen

${\begin{array}{rcl}A&=&\biguplus _{j=1}^{k}B_{j}\\A_{i}&=&\biguplus _{l=1}^{o_{k}}C_{il}\end{array}}$

Damit lässt sich jedes $B_{j}$ schreiben als disjunkte abzählbare Vereinigung von Halbringelementen gemäß

${\begin{array}{rcl}B_{j}&=&B_{j}\cap A=B_{j}\cap \biguplus _{i=1}^{\infty }A_{i}\\&=&B_{j}\cap \biguplus _{i=1}^{\infty }\biguplus _{l=1}^{o_{k}}C_{il}\\&=&\biguplus _{i=1}^{\infty }\biguplus _{l=1}^{o_{k}}\underbrace {(B_{j}\cap C_{il})} _{\in H}\end{array}}$

Darauf können wir das Prämaß $m$ anwenden und die Additivität von ${\tilde {m}}$ benutzen:

${\begin{array}{rcl}m(B_{j})&{\stackrel {m{\text{ Prämaß}}}{=}}&\sum _{i=1}^{\infty }\sum _{l=1}^{o_{k}}m(B_{j}\cap C_{il})\\&{\stackrel {m={\tilde {m}}{\text{ auf }}H}{=}}&\sum _{i=1}^{\infty }\sum _{l=1}^{o_{k}}{\tilde {m}}(B_{j}\cap C_{il})\\&{\stackrel {{\tilde {m}}{\text{ additiv}}}{=}}&\sum _{i=1}^{\infty }{\tilde {m}}\left(B_{j}\cap \biguplus _{l=1}^{o_{k}}C_{il}\right)\\&=&\sum _{i=1}^{\infty }{\tilde {m}}(B_{j}\cap A_{i})\end{array}}$

Aufsummieren ergibt, da ${\tilde {m}}$ additiv ist

${\begin{array}{rcl}{\tilde {m}}(A)&{\stackrel {\text{Def}}{=}}&\sum _{j=1}^{k}m(B_{j})\\&=&\sum _{i=1}^{\infty }\sum _{j=1}^{k}{\tilde {m}}(A_{i}\cap B_{j})\\&{\stackrel {{\tilde {m}}{\text{ additiv}}}{=}}&\sum _{i=1}^{\infty }{\tilde {m}}\left(A_{i}\cap \biguplus _{j=1}^{k}B_{j}\right)\\&=&\sum _{i=1}^{\infty }{\tilde {m}}(A_{i})\end{array}}$