Quelltext der Seite Maßtheorie für Einsteiger/ Herleitung des Maß-Begriffes

Die Maßtheorie beschäftigt sich mit der Frage, wie sich beliebige Arten von Mengen, genauer gesagt deren Inhalt, Umfang oder Volumen messen lassen. Die Messung sollte zum Einen mit den gängigen aus der Physik bekannten Messmethoden für Länge, Fläche oder Volumen konsistent sein und gleichzeitig auf einer sauberen mathematischen Definition aufbauen. Wie wir sehen werden ist ein Maß eine Abbildung, die diese Anforderungen erfüllt. Zum Verständnis und zur Herleitung ist es allerdings wichtig, sich zunächst mit Abbildungen zu befassen, die auch als äußeres Maß bezeichnet werden.

==Äußeres Maß (Definition)==

Eine Abbildung <math>\eta:2^\Omega \rightarrow [0,\infty]</math> wird für <math>\Omega\neq \emptyset</math> als äußeres Maß bezeichnet, wenn sie folgende Eigenschaften erfüllt:

*<math>\eta(\emptyset)=0</math>

* Ist <math>A\subseteq B</math>, so folgt <math>\eta(A)\leq\eta(B)</math>, diese Eigenschaft wird auch als Monotonie bezeichnet.

* <math>\eta \left(\bigcup_{i=1}^\infty A_i \right)\leq \sum_{i=1}^\infty \eta(A_i)</math>, diese Eigenschaft wird auch als <math>\sigma</math>-Subadditivität bezeichnet.

===Messbarkeit bezüglich eines äußeren Maßes (Definition)===

Eine Menge <math>A\subseteq \Omega</math> wird als messbar bezüglich eines äußeren Maßes <math>\eta</math> bezeichnet, falls für alle Mengen <math>B\in 2^\Omega</math> die Beziehung

<math>\eta(B)=\eta(B\cap A)+\eta(B\setminus A)</math>

erfüllt ist. Da die Mengen <math>B\cap A</math> und <math>B\setminus A</math> offensichtlich disjunkt sind erscheint es trivial, dass sich die Summe ihrer äußeren Maße zum äußeren Maß der Vereinigung der beiden Mengen addiert (es ist <math>B=(B\cap A)\cup (B\setminus A)</math>). Anhand der Definition des äußeren Maßes erschließt sich diese Eigenschaft aber nicht, da dort ein äußeres Maß nur die Eigenschaft der <math>\sigma</math>-Subadditivität besitzen muss. Die oben angegebene Gleichung erfüllt natürlich die Eigenschaft der <math>\sigma</math>-Subadditivität, allerdings kann es eben auch vorkommen, dass Mengen A' existieren, so dass für eine Menge <math>B\in 2^\Omega</math>

<math>\eta(B)<\eta(B\cap A')+\eta(B\setminus A')</math>

gilt. Diese Beziehung wäre zwar nach wie vor mit der <math>\sigma</math>-Subadditivität des äußeren Maßes <math>\eta</math> verträglich, A' wäre in diesem Fall aber nicht messbar bezüglich des äußeren Maßes <math>\eta</math>.

==Maß (Definition)==

Sei <math>\mu:\mathcal A \rightarrow [0,\infty]</math> eine Abbildung und <math>\mathcal A</math> eine <math>\sigma</math>-Algebra in <math>\Omega\neq \emptyset</math>. Dann wird <math>\mu</math> als Maß bezeichnet, wenn die Abbildung folgende Eigenschaften erfüllt:

*<math>\mu(\emptyset)=0</math>

*Ist <math>A_n, n\in\N</math>eine Folge paarweise disjunkter Mengen, so gilt <math>\mu \left(\bigcup_{i=1}^\infty A_i \right)=\sum_{i=1}^\infty \mu(A_i)</math>. Diese Eigenschaft wird auch als <math>\sigma</math>-Additivität bezeichnet.

In manchen Definitionen eines Maßes wird als Zielmenge auch <math>\R</math> angegeben. In diesem Fall ergibt sich als dritte Forderung, dass <math>\mu(A)\geq 0</math> für alle Mengen <math>A \in \mathcal A</math> gilt.

Die wesentlichen Unterschiede zwischen einem Maß und einem äußeren Maß sind zum Einen der Definitionsbereich. Das äußere Maß besitzt immer die Potenzmenge <math>2^\Omega</math> als Definitionsbereich, während ein Maß eine beliebige <math>\sigma</math>-Algebra auf <math>\Omega</math> als Definitionsbereich haben kann, wozu natürlich auch die Potenzmenge von <math>\Omega</math> zählen kann. Der zweite wesentliche Unterschied ist die <math>\sigma</math>-Additivität von Maßen. Aus dieser folgt sofort, dass Maße auch die Eigenschaft der <math>\sigma</math>-Subadditivität besitzen. Ebenfalls folgt aus der <math>\sigma</math>-Additivität und den Eigenschaften einer <math>\sigma</math>-Algebra sofort die Eigenschaft der Monotonie.

Maße besitzen also nicht nur die Eigenschaft der <math>\sigma</math>-Additivität, sondern sind außerdem auch monoton und <math>\sigma</math>-subadditiv. Hieraus folgt, dass ein Maß, welches auf der Potenzmenge <math>2^\Omega</math> definiert ist ein äußeres Maß ist.

Anders herum lässt sich ein Maß aus einem gegebenen äußeren Maß <math>\eta</math> herleiten, indem der Definitionsbereich des äußeren Maßes von der Potenzmenge <math>2^\Omega</math> auf das Mengensystem <math>\mathcal A_\eta</math> der bezüglich des äußeren Maßes <math>\eta</math> messbaren Mengen reduziert wird. Da man zeigen kann, dass das Mengensystem <math>\mathcal A_\eta</math> eine <math>\sigma</math>-Algebra ist, wenn <math>\eta</math> ein äußeres Maß ist folgt sofort, dass die Abbildung <math>\eta|_{\mathcal A_\eta}:\mathcal A_\eta \rightarrow [0,\infty]</math>, die auf <math>\mathcal A_\eta</math> mit <math>\eta</math> übereinstimmen möge, ein Maß ist: Da die <math>\sigma</math>-Algebra <math>\mathcal A_\eta</math> nur Mengen enthält, die messbar bezüglich des äußeren Maßes <math>\eta</math> sind, ist die an ein Maß gestellte Forderung der Additivität für jedes Paar von in <math>\mathcal A_\eta</math> enthaltener Mengen A und B erfüllt, denn

<math>\eta(B)=\eta(B=(B\cap A)\cup (B\setminus A))=\eta(B\cap A)+\eta(B\setminus A)</math>

war ja gerade die Definition dafür, dass die Menge A messbar bezüglich <math>\eta</math> ist. Man kann nun zeigen, dass diese Bedingung auch für die Vereinigung unendlich vieler Mengen gilt, dass somit auch die Forderung der <math>\sigma</math>-Additivität erfüllt ist und <math>\eta|_{\mathcal A_\eta}</math> somit also tatsächlich ein Maß ist.

==Weitere Eigenschaften eines Maßes==

Ein Maß weist die Eigenschaften der sogenannten ''Stetigkeit von oben'' und der ''Stetigkeit von unten'' auf, die wie folgt definiert sind<ref>[[w:Maß_(Mathematik)#Stetigkeitseigenschaften|Stegigkeitseigenschaften eines Maßes bei Wikipedia]]</ref>:

===Stetigkeit von oben===

Sei <math>\mu</math> ein Maß auf der <math>\sigma</math>-Algebra <math>\mathcal A</math>. Sei <math>A_n, n \in\N</math> eine Folge von Mengen mit <math>A_i\subseteq A_j</math> für <math>i\ge j, i,j \in \N</math> und <math>\mu(A_1)<\infty</math>. <math>A_n</math> ist also eine Folge von Mengen, bei der jedes Folgenglied (also eine der Mengen <math>A_n</math> im vorherigen Folgenglied (genauer gesagt in der Menge, die das vorherige Folgenglied ist) enthalten ist und das Maß der ersten in der Folge enthaltenen Menge <math>A_1</math> ist endlich, womit auch alle weiteren in der Folge enthaltenen Mengen endlich sind. Wenn der Durchschnitt aller Folgenglieder zu <math>\mathcal A</math> gehört, also <math>\cap_{i=1}^\infty A_i\in\mathcal A</math>, dann gilt

<math>\mu\left(\bigcap_{i\in N}A_i \right)=\lim_{i\rightarrow\infty}\mu(A_i)</math>.

Das Maß des Durchschnitts einer Folge von immer kleiner werdenden ineinander "verschachtelten" Mengen entspricht also dem Maß der Menge, die sich als Grenzwert der Folge für <math>i\rightarrow\infty</math> ergibt.

===Stetigkeit von unten===

Sei <math>\mu</math> ein Maß auf der <math>\sigma</math>-Algebra <math>\mathcal A</math>. Sei <math>A_n, n \in\N</math> eine Folge von Mengen mit <math>A_i\supseteq A_j</math> für <math>i\ge j, i,j \in \N</math>. <math>A_n</math> ist also eine Folge von Mengen, bei der jedes Folgenglied (also eine der Mengen <math>A_n</math> das vorherige Folgenglied (genauer gesagt die Menge, die das vorherige Folgenglied ist) enthält. Wenn die Vereinigung aller Folgenglieder zu <math>\mathcal A</math> gehört, also <math>\cup_{i=1}^\infty A_i\in\mathcal A</math>, dann gilt

<math>\mu\left(\bigcup_{i\in N}A_i \right)=\lim_{i\rightarrow\infty}\mu(A_i)</math>.

Das Maß der Vereinigung einer Folge von immer größer werdenden "übereinander liegenden" Mengen entspricht also dem Maß der Menge, die sich als Grenzwert der Folge für <math>i\rightarrow\infty</math> ergibt.

==Interpretation==

Ein Maß, das in der oben dargestellten Weise definiert ist, ist anschaulich gesprochen eine Abbildung (oder auch Funktion), die einer beliebigen in einer <math>\sigma</math>-Algebra enthaltenen Menge eine nicht-negative reelle Zahl oder unendlich zuordnet. Der Funktionswert der "Maß-Funktion" kann als "Größen-Messung" der Menge interpretiert werden. Ein Maß erfüllt alle Anforderungen, die man anhand der in der realen Welt gemachten Beobachtungen an eine derartige Messung stellt: Das Maß einer Menge ist stets positiv (eine Ausnahme stellt das sogenannte signierte Maß dar, auf das allerdings an dieser Stelle nicht weiter eingegangen werden soll) und das Maß zweier nicht überlappender (also disjunkter) Mengen entspricht der Summe der Maße der beiden einzelnen Mengen (Eigenschaft der Additivität).

Wir haben uns dem Maßbegriff hier auf eine etwas abstrakte Weise über den Begriff des äußeren Maßes genähert. Das äußere Maß erfüllt nicht die Anforderungen, die man intuitiv an eine Mengen-Messung stellt, weil die Eigenschaft der Addivität nicht zwingend gefordert wird. Wenn man den Definitionsbereich des äußeren Maßes auf alle Mengen beschränkt, für die das äußere Maß additiv ist (das sind genau die Mengen, die messbar bezüglich des äußeren Maßes sind) lässt sich wie bereits erwähnt zeigen, dass es sich beim "neuen" Definitionsbereich um eine <math>\sigma</math>-Algebra handelt und das äußere Maß auf diesem Definitionsbereich zu einem Maß wird.

Eine zweite mögliche Herangehensweise zur Einführung des Maß-Begriffes ist mittels des Inhalts-Begriffes möglich und soll an dieser Stelle kurz umrissen werden: Ein Inhalt ist ähnlich wie ein Maß definiert, erfüllt allerdings statt der Forderung der <math>\sigma</math>-Additivität nur die Forderung der endlichen Additivität (die Summe bzw. Vereinigungs-Menge in der Gleichung ist jeweils endlich). Der zweite Unterschied zu einem Maß ist, dass ein Inhalt anstatt auf einer <math>\sigma</math>-Algebra auf einem Halbring definiert ist. Ein Inhalt, der die Eigenschaft der <math>\sigma</math>-Additivität aufweist wird als ''Prämaß'' bezeichnet. Ein Maß unterscheidet sich demnach von einem Prämaß durch den Definitionsbereich. Dieser ist bei einem Prämaß ein Halbring und bei einem Maß eine <math>\sigma</math>-Algebra.

===Weitere Definitionen===

* Als ''Messraum'' wird die Kombination aus <math>\Omega</math> und einer <math>\sigma</math>-Algebra, die <math>\Omega</math> enthält bezeichnet.
* Ist <math>(\Omega, \mathcal A)</math> ein Messraum, dann werden alle Mengen <math>A\in \mathcal A</math> als ''messbare Mengen'' bezeichnet (man spricht in diesem Fall auch von <math>\mathcal A</math>-messbaren Mengen).
* Ist <math>\mu:\mathcal A \rightarrow [0,\infty]</math> ein Maß und <math>\mathcal A</math> eine <math>\sigma</math>-Algebra in <math>\Omega</math>, dann wird das Tripel <math>(\Omega, \mathcal A, \mu)</math> als ''Maßraum'' bezeichnet
*Ein auf einem Maßraum <math>(\Omega, \mathcal A, \mu)</math> definiertes Maß <math>\mu</math> wird als ''endliches Maß'' bezeichnet, wenn <math>\mu(\Omega)<\infty</math> gilt.
*Als ''Nullmenge'' bezeichnet man eine Menge vom Maß 0. Ist also <math>\mu</math> ein Maß und A eine Menge mit <math>\mu(A)=0</math>, so wird A als Nullmenge (bzw. in diesem Fall auch als <math>\mu</math>-Nullmenge) bezeichnet.
*Eine Aussage gilt innerhalb eines Maßraums ''fast überall'', falls die Aussage auf allen Mengen eines Maßraumes mit einem Maß größer 0 gilt, wenn die Aussage also auf allen Mengen des Maßraums mit Ausnahme etwaiger Nullmengen gilt.
*Ein Maßraum <math>(\Omega, \mathcal A, \mu)</math> wird als ''vollständiger Maßraum '' bezeichnet, wenn jede Teilmenge aller in <math>\mathcal A</math> enthaltenen <math>\mu</math>-Nullmengen ebenfalls in <math>\mathcal A</math> enthalten ist. In diesem Fall wird das Maß <math>\mu</math> als ''vollständiges Maß'' bezeichnet und die Teilmengen der <math>\mu</math>-Nullmengen sind aufgrund der Monotonie des Maßes <math>\mu</math> ebenfalls <math>\mu</math>-Nullmengen.
<noinclude>
==Quellenangaben==
<references/></noinclude>