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

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Motivation

In der Maßtheorie wollen wir Mengen ein Maß zuordnen. Bei Teilmengen aus $ℝ$ sind dies Längen, bei Teilmengen aus ${ℝ}^2$ Flächen, bei Teilmengen aus ${ℝ}^3$ Volumina und bei Teilmengen aus ${ℝ}^p$ mit $p\ge 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 $\mathrm{\varnothing },A\cap B\in H$ und $A\mathrm{\setminus }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 $\mathrm{\varnothing },A\cup B,A\mathrm{\setminus }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\to [0,\mathrm{\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=\underset{i=1}{\overset{n}{⨄}}{A}_i$, ist der Inhalt additiv:

Entscheidend ist dabei, dass die disjunkte Vereinigung $\underset{i=1}{\overset{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

durch Überlappung verringert sich die Fläche

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

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

Wäre z.B. $\text{Inhalt}(\mathrm{\varnothing })=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.

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=\underset{i=1}{\overset{\mathrm{\infty }}{⨄}}{A}_i$ in abzählbar viele disjunkte Elemente des Halbringes zerlegen, ist das Prämaß abzählbar additiv:

Wir nennen diese Eigenschaft "sigma-additiv". Entscheidend ist dabei, dass $\underset{i=1}{\overset{\mathrm{\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

durch Überlappung verringert sich die Fläche

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)

durch Überlappung verringert sich das Volumen

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

Mathe für Nicht-Freaks: Vorlage:Satz {{#invoke:Mathe für Nicht-Freaks/Seite|unten}}