Mathe für Nicht-Freaks: Übersicht: Maßtheoretische Begriffe

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

In den nachfolgenden Artikeln zur Maßtheorie werden wir nach und nach verschiedene Mathematische Begriffe einführen. Der Aufbau dieser Artikel ähnelt einer Geschichte, in der wir typische Überlegungen eines Mathematikers nachvollziehen werden und daher Begriffe erst dort einführen, wo wir sie tatsächlich benötigen.

Dieser Artikel fasst die Begriffe auf einer Seite zusammen, damit du sie einfach miteinander vergleichen kannst.

Mengensysteme

Grundlage der Maßtheorie ist immer eine "große" Grundmenge $\mathrm{\Omega }$, für die wir möglichst geeigneten Teilmengen $A\subseteq \mathrm{\Omega }$ ein Maß zuordnen wollen, sprich eine Zahl $\mu (A)$, die angibt wie groß $A$ ist. In vielen Fällen ist aber nicht jede Teilmenge $A$ für eine solche Zuordnung geeignet, wie z.B. das Banach-Tarski Paradoxon oder die Vitali-Mengen zeigen.

Diejenigen Mengen, denen wir aber sehr wohl ein Maß $\mu (A)$ zuordnen können nennen wir entsprechend messbar und stecken sie in ein Mengensystem $𝒜$. Das $𝒜$ ist also eine Menge, die Mengen enthält (wie eine Tüte in der sich weitere Tüten befinden), z.B. $𝒜=\{A_1,A_2,A_3,...\}$ mit $A_1,A_2,A_3\subseteq \mathrm{\Omega }$.

Um mit Maßen zu rechnen (Addition, Subtraktion), würde wir gerne mit den Mengen Operationen durchführen, wie z.B. Vereinigungen $A_1\cup A_2$, Schnitte $A_1\cap A_2$ oder Komplementbildung $A^{\complement }$. Und das, möglichst ohne "aus $𝒜$ zu fliegen". In der Mathematik gibt es daher eine Unterteilung von Mengensysteme $𝒜$ in verschiedene Typen, je nachdem wie viele Operationen wir ausführen dürfen, ohne aus $𝒜$ zu fliegen und welche weitere Eigenschaften sie erfüllen:

Typen von Mengensystemen. Die Pfeile bedeuten "ist eine Verallgemeinerung von".

• Die $\sigma$-Algebra ist der speziellste und am häufigsten anzutreffende Mengensystem-Typ. Hier können wir uns "verhältnismäßig viele Operationen erlauben" was Probleme der Art "$\mu (A)$ ist auf dieser Menge nicht definiert" vermeidet. $𝒜$ ist eine $\sigma$-Algebra genau dann wenn

1. $\mathrm{\Omega }\in 𝒜$
2. $A,B\in 𝒜⟹A\setminus B\in 𝒜$
3. Immer wenn eine Folge aus Mengen $(A_n{)}_{n\in \mathbb{N}}$ in $𝒜$ liegt, dann ist auch $\bigcup _{n\in \mathbb{N}}{A}_n\in 𝒜$

• Eine Algebra (von Mengen) erfüllt ebenfalls diese 3 Axiome, allerdings muss 3. nur für endliche Abfolgen $(A_n{)}_{n\in \{1,...,N\}}$ gelten. Das "$\sigma$" steht hier für die Möglichkeit, abzählbar unendliche Mengenfolgen vereinigen zu dürfen. Lässt man es weg, sind "nur" endliche Abfolgen erlaubt und man erhält ein allgemeineres Mengensystem. D.h., es gibt "mehr Algebren als $\sigma$-Algebren". Ein System $𝒜$ ist eine Algebra, genau dann wenn

1. $\mathrm{\Omega }\in 𝒜$
2. $A,B\in 𝒜⟹A\setminus B\in 𝒜$
3. Immer wenn eine Folge aus Mengen $(A_n{)}_{n\in \{1,\dots ,N\}}$ in $𝒜$ liegt, dann ist auch $\bigcup _{n=1}^N{A}_n\in 𝒜$

• Ein $\sigma$-Ring (auch $ℛ$ genannt) erfüllt alle Bedingungen der $\sigma$-Algebra, bis auf die 1. D.h., wir erlauben auch Mengensysteme, die "nur kleinere Mengen enthalten". Z.B. könnte es eine maximale Menge ${\mathrm{\Omega }}_R\subset \mathrm{\Omega }$ geben, die alle $A\in ℛ$ enthält. Ein System $ℛ$ ist ein $\sigma$-Ring, genau dann wenn

1. $A,B\in ℛ⟹A\setminus B\in ℛ$
2. Immer wenn eine Folge aus Mengen $(A_n{)}_{n\in \mathbb{N}}$ in $ℛ$ liegt, dann ist auch $\bigcup _{n\in \mathbb{N}}{A}_n\in ℛ$

Manchmal wird als zusätzliche Bedingung gefordert, dass $ℛ$ nicht leer ist, also $ℛ\ne \mathrm{\varnothing }$. Sobald ein Ring $ℛ$ irgend eine Menge $A$ enthält, enthält er immer auch die leere Menge $\mathrm{\varnothing }=A\setminus A$.

• Einen Ring (von Mengen) $ℛ$ bekommt man entsprechend, indem man vom $\sigma$-Ring das $\sigma$ wegnimmt, also nur noch endliche $(A_n{)}_{n\in \{1,...,N\}}$ zulässt. Von den Axiomen der $\sigma$-Algebra gelten also nur die 2., sowie die 3. in "endlicher" Form:

1. $A,B\in ℛ⟹A\setminus B\in ℛ$
2. Immer wenn eine Folge aus Mengen $(A_n{)}_{n\in \{1,\dots ,N\}}$ in $ℛ$ liegt, dann ist auch $\bigcup _{n=1}^N{A}_n\in ℛ$

• Das Dynkin-System $𝒟$ ist ein eigener Typ von Mengensystemen. Wir benötigen es später um zu beschreiben, wann Maße übereinstimmen. Die 3 Axiome lauten:

1. $\mathrm{\Omega }\in 𝒟$
2. für je zwei Mengen $A,B\in 𝒟$ mit $A\subseteq B$ ist $B\setminus A\in 𝒟$
3. für je abzählbar viele, paarweise disjunkte Mengen $A_1,A_2,\dots \in 𝒟$ gilt $\underset{n\in \mathbb{N}}{⨄}{A}_n\in 𝒟$.

Weitere Mengensysteme, die nicht in den Artikeln vorkommen sind:

• Die Monotone Klasse $ℳ$: Ein Typ Mengensystem, der alle Grenzwerte von Monoton steigenden oder Fallenden Mengenfolgen $(A_n{)}_{n\in \mathbb{N}}$ enthält. Also:

1. Bilden $A_1,A_2,\dots \in ℳ$ eine monoton steigende Folge, also $A_1\subseteq A_2\subseteq ...$, so ist auch $\bigcup _{n\in \mathbb{N}}{A}_n\in ℳ$
2. Bilden $A_1,A_2,\dots \in ℳ$ eine monoton fallende Folge, also $A_1\supseteq A_2\supseteq ...$, so ist auch $\bigcup _{n\in \mathbb{N}}{A}_n\in ℳ$

• Der Halbring ist eine Verallgemeinerung des Rings. Wesentlicher Punkt ist, dass $A\setminus B$ nicht mehr in $ℛ$ liegen, sondern nur noch über eine disjunkte Vereinigung von Mengen daraus dargestellt werden muss. Die Bedingung $\mathrm{\varnothing }\in ℛ$ (welche in Ringen immer gilt) muss damit separat gefordert werden. Statt Vereinigungs- fordert man zudem Durchschnittsstabilität:

1. $\mathrm{\varnothing }\in ℛ$
2. $A,B\in ℛ⟹A\cap B\in ℛ$
3. Für $A,B\in ℛ$ gibt es disjunkte Mengen $C_1,\dots ,C_n\in ℛ$, sodass $A\setminus B=\bigcup _{n=1}^N{C}_n\in ℛ$

Funktionen von Mengensystemen

Additive Mengensysteme

Auf den oben definierten Mengensystemen versuchen wir nun, Funktionen $\mu$ (oder $\eta$) zu definieren, die intuitiv das "Volumen" einer Menge Messen. Die Intuition "Volumen messen" lässt sich in mehrere wünschenswerte Eigenschaften übersetzen. Zum Beispiel sollte eine leere Menge Volumen 0 haben, also $\mu (\mathrm{\varnothing })=0$. Je mehr dieser Eigenschaften gelten, desto mehr entspricht die Funktion $\mu$ unserer Intuition, das Volumen von Mengen zu messen.

Je nachdem, wie viele und welche dieser wünschenswerte Eigenschaften $\mu$ erfüllt, teilen wir diese Funktion in verschiedene Klassen ein. Die Speziellste Klasse ist das Maß, welches verhältnismäßig viele "gute" Eigenschaften hat und daher häufig in der Mathematik verwendet wird, z.B. in der Wahrscheinlichkeitstheorie und Statistik.

Relation zwischen 4 Mengensystemen. Die Pfeile bedeuten "ist eine Verallgeminerung von".

• Das Maß $\mu$ ist eine Mengenfunktion auf einer $\sigma$-Algebra $𝒜$ mit der recht intuitiven Eigenschaft, dass die leere Menge Maß 0 hat und beim Vereinigen von Mengen, die sich nicht überlappen, auch deren Maße addiert werden müssen:

1. $\mu (\mathrm{\varnothing })=0$
2. $\mu$ ist $\sigma$-additiv, also $\mu \left(\underset{n\in \mathbb{N}}{⨄}{A}_n\right)=\sum _{n\in \mathbb{N}}\mu (A_n)$

• Ein Prämaß $\mu$ ist im Prinzip das selbe wie ein Maß, muss aber nur auf einem $\sigma$-Ring $ℛ$ definiert sein. Die Menge $\mathrm{\Omega }$ darf also in $ℛ$ sein, muss aber nicht. Es gilt also

1. $\mu (\mathrm{\varnothing })=0$
2. $\mu$ ist $\sigma$-additiv, also $\mu \left(\underset{n\in \mathbb{N}}{⨄}{A}_n\right)=\sum _{n\in \mathbb{N}}\mu (A_n)$

• Ein Inhalt $\mu$ auf einem Ring $ℛ$ ist eine Art "Maß ohne $\sigma$-Eigenschaft für die Additivität". Es wird also nur Additivität für endliche Vereinigungen gefordert

1. $\mu (\mathrm{\varnothing })=0$
2. $\mu$ ist additiv, also $\mu \left(\underset{n=1}{\overset{N}{⨄}}{A}_n\right)=\sum _{n=1}^N\mu (A_n)$

• Ein Stetiger Inhalt $\mu$ auf einem Ring $ℛ$ muss - wie der Name bereits andeutet - zusätzlich noch stetig sein:

1. $\mu (\mathrm{\varnothing })=0$
2. $\mu$ ist additiv
3. $\underset{n\to \mathrm{\infty }}{\lim }\mu (A_n)=\mu (A)$, sobald eine Mengenfolge $(A_n{)}_{n\in \mathbb{N}}$ monoton steigend oder fallend gegen $A$ konvergiert. Für monoton fallende Folgen ist zudem $\mu (A_n)<\mathrm{\infty }$ nötig.

In gewissermaßen ist also ein Maß ein "$\sigma$-Inhalt". Da Maße in der Mathematik wesentlich häufiger als Inhalte auftauchen, bekommen sie allerdings einen eigenen Namen.

Subadditive Mengensysteme

Die beiden nachfolgenden Klassen von Funktionen sind nicht additiv, sondern nur subadditiv und bekommen daher einen eigenen Buchstaben $\eta$. D.h. wenn man z.B. eine Menge $A$ mit $\eta (A)=3$ und eine Menge $B$ mit $\eta (B)=2$ vereinigt, könnte $\eta (A\cup B)=4$ (oder generell $\le 5$) sein! Dieser Punkt widerspricht der Intuition des "Volumen Messens" - daher bekommt die Funktion von uns das separate Symbol $\eta$.

Jedes äußere Maß ist ein äußerer Inhalt

• Der Äußere Inhalt auf der Potenzmenge $𝒫(\mathrm{\Omega })$ ist analog zum Inhalt oben definiert. Allerdings hat man statt der Additivität nur Subadditivität:

1. $\eta (\mathrm{\varnothing })=0$
2. $\eta$ ist subadditiv, also aus $A\subseteq \bigcup _{n=1}^N{A}_n$ folgt $\eta (A)\le \sum _{n=1}^N\eta (A_n)$

• Ein Äußeres Maß auf der Potenzmenge $𝒫(\mathrm{\Omega })$ ist die $\sigma$-Version des Äußeren Inhalts. D.h. die Subadditivität wird statt für endliche Vereinigungen sogar für abzählbar unendliche Vereinigungen gefordert. Damit wird aus der Subadditivität eine $\sigma$-Subadditivität, wobei das $\sigma$ für "abzählbar unendlich" steht.

1. $\eta (\mathrm{\varnothing })=0$
2. $\eta$ ist $\sigma$-subadditiv, also aus $A\subseteq \bigcup _{n=1}^{\mathrm{\infty }}{A}_n$ folgt $\eta (A)\le \sum _{n=1}^{\mathrm{\infty }}\eta (A_n)$

Beispiele: Abgrenzung von Mengensystemen

Die Definitionen der Mengensysteme oben sind relativ abstrakt und es ist nicht offensichtlich, warum nicht einige davon äquivalent sein könnten. In den nachfolgenden Beispielen erfährst du, wie sich die Begriffe

gegeneinander abgrenzen lassen. Außerdem erhältst du dort einige (von sehr vielen möglichen) visuellen Darstellungen dieser Mengensysteme.

Mathe für Nicht-Freaks: Vorlage:Beispiel

Mathe für Nicht-Freaks: Vorlage:Beispiel

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