Maßtheorie für Einsteiger/ Mengensysteme

Unter einem Mengensystem kann man sich eine Menge vorstellen, deren Elemente selbst wiederum Mengen sind. Ein wichtiges Mengensystem ist die Potenzmenge. Die Potenzmenge einer Grundmenge enthält alle Teilmengen als Elemente, die sich aus den Elementen der Menge erzeugen lassen.

Beispiel: Sei ={a,b,c}. Dann ist ={{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}, wobei {a}, {a,b} etc. jeweils Teilmengen von sind.

Die Bezeichnung der Potenzmenge von mit rührt daher, dass sich die Anzahl der Elemente der Potenzmenge mit jedem zusätzlichen Element, das in der Menge enthalten ist verdoppelt. Dies lässt sich anhand obigen Beispiels wie folgt veranschaulichen: Wird der Menge ein Element d hinzugefügt, so enthält die Potenzmenge alle Teilmengen, die bereits in der ursprünglichen Potenzmenge enthalten waren und außerdem alle Teilmengen, die sich aus den ursprünglich in der Potenzmenge enthaltenen Teilmengen ergeben, wenn diesen das zusätzliche Element d hinzugefügt wird.

-Algebra

Bearbeiten

Ein Mengensystem  , welches die Eigenschaften

  •  
  • gilt   für eine beliebige Menge A, so gilt auch  , das heißt das Komplement einer Menge, die in   enthalten ist, ist ebenfalls in   enthalten
  • für alle Mengen   mit   folgt  

erfüllt, wird als  -Algebra bezeichnet. Man spricht in diesem Fall auch von einer  -Algebra in  .

Aus den ersten beiden Eigenschaften folgt sofort, dass auch die leere Menge   in jeder  -Algebra enthalten ist. Mittels der De Morganschen Gesetze und der letzten beiden Eigenschaften lässt sich zudem zeigen, dass nicht nur die Vereinigung beliebig vieler Mengen aus einer  -Algebra   in   enthalten ist, sondern dass auch der Schnitt beliebig vieler Mengen aus   ebenfalls in   enthalten ist.

Mengensysteme, bei denen es sich um eine  -Algebra handelt, spielen in der Maßtheorie eine große Rolle, wie wir später noch sehen werden. Dies liegt an den aufgeführten Eigenschaften der  -Algebra, nach denen Mengen, die durch Mengenoperationen wie Komplentbildung, Vereinigung und Schnitt aus den Teilmengen einer  -Algebra hervorgehen ebenfalls Elemente der  -Algebra sind. Diese Tatsache machen sich viele Beweise zu Nutzen.

Messbare Menge (Definition)

Bearbeiten
  • Eine Menge A wird als messbar bezüglich einer  -Algebra   bezeichnet, wenn   gilt.

Erzeuger

Bearbeiten

Ein Mengensystem   heißt Erzeuger der  -Algebra  , wenn   anschaulich gesprochen die kleinste in der Potenzmenge   enthaltene  -Algebra ist, die   enthält, wenn es also keine andere  -Algebra   gibt, für die   und   gilt. Mathematisch formuliert ergibt sich die  -Algebra   zu einem Erzeugendensystem   durch Bildung des Schnitts über alle  -Algebren die das Erzeugendensystem erhalten:

  ist  -Algebra  

Die von einem Mengensystem   erzeugte  -Algebra   wird auch als   bezeichnet. In vielen Fällen lässt sich eine  -Algebra durch Angabe des Erzeugendensystems wesentlich eleganter und kürzer definieren, als beispielsweise durch Angabe aller einzelnen enthaltenen Teilmengen.