σ-Algebra

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

σ-Algebra (auch σ-Mengenalgebra, abgeschlossenes Mengensystem, Sigmakörper oder Borelscher Mengenkörper) ist ein Grundbegriff der Maßtheorie, wo σ-Algebren als Definitionsbereiche für Maße auftreten. Eine σ-Algebra ist eine mengentheoretische Struktur, die ein Mengensystem auf einer festen Grundmenge bezeichnet, das die Grundmenge enthält und abgeschlossen ist bezüglich der Komplementbildung und abzählbar unendlicher Vereinigungen. In der Stochastik, welche auf der Maßtheorie aufbaut, spielen σ-Algebren als Ereignisräume eine wichtige Rolle als Systeme von Mengen, die als Ereignisse interpretiert werden.

Definition[Bearbeiten | Quelltext bearbeiten]

Als σ-Algebra bezeichnet man in der Mathematik ein Mengensystem mit ( bezeichnet die Potenzmenge), also eine Menge von Teilmengen der Grundmenge , das die folgenden Bedingungen erfüllt:

  1.   (Die Grundmenge ist in enthalten.)
  2.   (Wenn eine Teilmenge von enthält, dann auch deren Komplement .)
  3. .   (Wenn für jede natürliche Zahl die Menge in ist, so ist auch die abzählbare Vereinigung aller in .)

Motivation[Bearbeiten | Quelltext bearbeiten]

Will man den intuitiven Volumenbegriff im oder anderen Räumen mathematisch präzisieren, so fordert man meist folgende Eigenschaften:

  1. Jede Menge hat ein Volumen .
  2. soll verschiebungsinvariant sein, denn die Position einer Menge hat intuitiv keinen Einfluss auf ihr Volumen. Für und gilt also
    . Ebenso soll das Volumen invariant unter Rotationen sein. Kongruente Mengen sollen also identische Volumina besitzen.
  3. Das Volumen ist normiert. So soll zum Beispiel der Einheitswürfel das Volumen 1 besitzen.
  4. Die Vereinigung von abzählbar vielen disjunkten Mengen besitzt als Volumen genau die Summe der Volumina der einzelnen Mengen. Diese Eigenschaft heißt σ-Additivität und ist wichtig zur späteren Betrachtung von Grenzwerten.

Bei dieser impliziten Definition eines Volumenbegriffes stellt sich die Frage, ob solch eine Funktion überhaupt existiert. Diese Frage wird das Maßproblem genannt. Nach dem Satz von Vitali ist das Maßproblem aber unlösbar, es existiert also keine Abbildung mit den geforderten Eigenschaften.

Nun versucht man, durch eine sinnvolle Abschwächung der obigen Forderungen einen Volumenbegriff zu definieren, der einerseits noch unserem intuitiven Begriff weitestgehend entspricht, andererseits aber auch mathematisch wohldefiniert ist und eine fruchtbare Theorie des Maßes liefert. Hierzu schwächt man die erste der obigen Forderungen ab und akzeptiert, dass man nicht allen Mengen ein Volumen zuordnen kann. Man beschränkt sich dann auf ein Mengensystem von Mengen, die ein Volumen besitzen, das folgenden praktischen Überlegungen entspricht:

  • Die Grundmenge soll ein (nicht notwendigerweise endliches) Volumen besitzen und demnach im Mengensystem enthalten sein.
  • Besitzt die Menge ein Volumen, so will man auch das Volumen des Komplements wissen. Also soll zu jeder Menge auch ihr Komplement im Mengensystem sein.
  • Die vierte Bedingung in der oberen Aufzählung impliziert, dass wenn abzählbar viele Mengen ein Volumen besitzen, dann auch die Vereinigung dieser Mengen wieder ein Volumen besitzt und somit im Mengensystem enthalten ist.

Direkte Folgerungen daraus sind, dass auch die leere Menge und abzählbare Schnitte von Mengen mit Volumen wieder ein Volumen besitzen.

Diese Forderungen sind genau die definierenden Eigenschaften einer σ-Algebra. Somit sind σ-Algebren die Mengensysteme, auf denen man sinnvollerweise Volumenbegriffe und Maße definiert, um Widersprüche wie die durch den Satz von Vitali zu vermeiden.

Erläuterungen[Bearbeiten | Quelltext bearbeiten]

  • Aus den Bedingungen 1 und 2 folgt, dass immer das Komplement von , also die leere Menge enthält. Aufgrund der Eigenschaft 2 kann man in Eigenschaft 1 alternativ zu auch fordern.
  • Wählt man in Bedingung 3 die Mengen für alle , so folgt, dass die endliche Vereinigungsmenge in enthalten ist.
  • Ist für jede natürliche Zahl , so folgt aus den De Morganschen Gesetzen und den Bedingungen 2 und 3, dass auch die Schnittmenge in ist, weil
  • Wählt man für alle , so folgt, dass der Durchschnitt von endlich vielen Mengen in enthalten ist. Eine σ-Algebra ist also abgeschlossen gegenüber endlichen und abzählbar unendlichen Durchschnitten.
  • Sind und aus , so ist auch in . Also ist abgeschlossen gegen Mengendifferenz.
  • Ferner ist jede σ-Algebra insbesondere auch ein Dynkin-System.
  • Ist eine endliche σ-Algebra, so gibt es immer eine nichtnegative ganze Zahl mit , das heißt: Die Mächtigkeit von ist eine Zweier-Potenz.

Beispiele[Bearbeiten | Quelltext bearbeiten]

  • Für jede beliebige Menge ist die kleinste und die Potenzmenge die größte mögliche σ-Algebra mit als Grundmenge.
  • Für jede beliebige Menge und Teilmenge ist die kleinste σ-Algebra, die enthält.
  • Für jeden topologischen Raum ist die borelsche σ-Algebra von die kleinste σ-Algebra, die alle offenen Teilmengen von enthält.
  • Die borelsche σ-Algebra der Menge der reellen Zahlen enthält unter anderem alle Intervalle. Außerdem ist sie eine separable σ-Algebra.
  • Die Vervollständigung der borelschen σ-Algebra bezüglich dem Lebesgue-Maß nennt man die Lebesgue-σ-Algebra
  • Über einer Grundmenge ist das Mengensystem eine σ-Algebra.
  • Sind und zwei beliebige Mengen, eine σ-Algebra in und eine Abbildung. Dann ist eine σ-Algebra in .

Bedeutung[Bearbeiten | Quelltext bearbeiten]

σ-Algebren bilden den Ausgangspunkt für die Definition des Maßraums und des Wahrscheinlichkeitsraums. Das Banach-Tarski-Paradoxon demonstriert, dass auf überabzählbaren Mengen die durch die Potenzmenge gebildete σ-Algebra als Grundlage für die Volumenbestimmung zu groß sein kann und die Betrachtung anderer σ-Algebren mathematisch notwendig ist. In der Theorie der stochastischen Prozesse, insbesondere in der stochastischen Finanzmathematik, wird die bis zu einem Zeitpunkt prinzipiell beobachtbare Information durch eine σ-Algebra beschrieben, was zum Begriff der Filtrierung, also einer zeitlich aufsteigenden Familie von σ-Algebren führt. Filtrierungen sind essentiell für die allgemeine Theorie der stochastischen Integration; Integranden (also finanzmathematische Handelsstrategien) dürfen zu einer Zeit nur von den Informationen bis (ausschließlich) abhängen; insbesondere dürfen sie nicht „in die Zukunft schauen“.

σ-Operator[Bearbeiten | Quelltext bearbeiten]

Für eine beliebige Teilmenge der Potenzmenge ist der -Operator definiert als

wobei

Da die Schnittmenge einer Familie von σ-Algebren (über derselben Grundmenge ) wieder eine σ-Algebra ist, ist somit die kleinste σ-Algebra, die umfasst.

Der -Operator erfüllt die fundamentalen Eigenschaften eines Hüllenoperators:

  • , also ist der -Operator extensiv.
  • Gilt , so ist auch (Monotonie bzw. Isotonie).
  • Es ist (Idempotenz).

wird als die von erzeugte σ-Algebra bezeichnet, heißt Erzeuger dieser σ-Algebra. Die Benennung als erzeugte σ-Algebra ist jedoch nicht eindeutig, da auch die Initial-σ-Algebra als die (von den Funktionen ) erzeugte σ-Algebra bezeichnet wird.

In vielen Fällen lassen sich die Elemente von nicht explizit angegeben (siehe z. B. Borel-Hierarchie). Eine häufig angewendete Beweismethode für Aussagen, die für alle Elemente von gelten, ist das Prinzip der guten Mengen. Der Dynkinsche π-λ-Satz trifft Aussagen darüber, wann eine erzeugte σ-Algebra und ein erzeugtes Dynkin-System übereinstimmen.

Klassen von σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Produkt-σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: Produkt-σ-Algebra

Produkt-σ-Algebren spielen dann eine Rolle, wenn Maße auf dem Produkt zweier Messräume definiert werden sollen. Da das Produkt von zwei σ-Algebren im Allgemeinen keine σ-Algebra ist, interessiert man sich für eine Erweiterung der Produkte der σ-Algebren auf den Produktraum. Diese Erweiterung ist dann die Produkt-σ-Algebra. Sie spielt eine wichtige Rolle bei der Definition von Produktmaßen, diese wiederum sind die Grundlage für den Satz von Fubini, die Modellierung mehrstufiger Experimente in der Stochastik und dienen als theoretische Grundlage der stochastischen Prozesse.

Initial-σ-Algebren und Final-σ-Algebra[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: Initial-σ-Algebra und Final-σ-Algebra

Die Initial-σ-Algebra ist eine σ-Algebra, die mittels Abbildungen auf einer Grundmenge definiert wird, auf der per se keine σ-Algebra existiert. Sie ist dann sogar die kleinste σ-Algebra, bezüglich derer die in der Konstruktion verwendeten Funktionen messbar sind. Das Gegenstück ist die Final-σ-Algebra, sie ist die größte σ-Algebra, so dass eine vorgegebene Menge an Funktionen messbar ist. Diese Konstruktion bildet somit ein Analogon zur Initialtopologie und zur Finaltopologie in der Topologie. Produkt-σ-Algebren und Spur-σ-Algebren lassen sich beide als Spezialfall von Initial-σ-Algebren auffassen.

Spur-σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Für wird das Mengensystem als Spur von in bzw. Spur-σ-Algebra von über bezeichnet. Man kann zeigen, dass die Spur von in wieder eine σ-Algebra (aber mit der Grundmenge ) ist, was den Namen „Spur-σ-Algebra“ rechtfertigt. Analog lässt sich die Spur-σ-Algebra auch als Initial-σ-Algebra bezüglich der natürlichen Einbettung auffassen. Ist ein Erzeuger von , so gilt . Die Spur des Erzeugers erzeugt also die Spur-σ-Algebra.

Filtrierungen[Bearbeiten | Quelltext bearbeiten]

Eine Filtrierung ist in der Stochastik eine Familie von verschachtelten σ-Algebren, die modelliert, welche Informationen zu welchem Zeitpunkt eines stochastischen Prozesses verfügbar sind.

Terminale σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: terminale σ-Algebra

Die terminale σ-Algebra ist eine spezielle σ-Algebra, die in der Wahrscheinlichkeitstheorie von Bedeutung ist. Für eine Folge von σ-Algebren sagt sie aus, welche Mengen von allen endlichen Anfangsstücken der Folge unabhängig sind.

Separable σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: Separable σ-Algebra

Eine σ-Algebra, die einen abzählbaren Erzeuger besitzt, nennt man separabel. Beispiel hierfür wären alle σ-Algebren auf abzählbaren Grundräumen sowie die Borelsche σ-Algebra auf .

Austauschbare σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: Austauschbare σ-Algebra

Austauschbare σ-Algebren werden von diskreten stochastischen Prozessen erzeugt und enthalten nur Mengen, die in dem Sinne austauschbar sind, als dass sie invariant gegen Permutationen endlich vieler Folgeglieder des stochastischen Prozesses sind.

P-triviale σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Hauptartikel: P-triviale σ-Algebra

Eine P-triviale σ-Algebra ist in der Stochastik eine σ-Algebren, bei der jede Menge entweder die Wahrscheinlichkeit 0 oder 1 bezüglich eines gegebenen Wahrscheinlichkeitsmaßes hat. Beispielsweise ist die Terminale σ-Algebra eine P-triviale σ-Algebra. Die P-triviale σ-Algebra darf nicht mit der trivialen σ-Algebra verwechselt werden.

σ-Algebren in der mathematischen Statistik[Bearbeiten | Quelltext bearbeiten]

In der mathematischen Statistik kommen mehrere verschiedene σ-Algebren vor. Eine von ihnen ist die suffiziente σ-Algebra. Sie enthält alle Mengen, die bezüglich einer gegebenen Verteilungsklasse Informationen enthalten. Somit können alle Mengen, die nicht in der σ-Algebra enthalten sind weggelassen werden, ohne dass eine Informationsverlust eintritt. Eine Verschärfung ist die minimalsuffiziente σ-Algebra, sie ist die (bis auf Nullmengen) kleinste suffiziente σ-Algebra. Außerdem existiert noch die verwandte stark suffiziente σ-Algebra, die unter Umständen mit der suffizienten σ-Algebra übereinstimmt. Gegenstück zur suffizienten σ-Algebra ist die verteilungsfreie σ-Algebra, sie trägt keine Informationen, ist also maximal uninformativ. Des Weiteren existiert beispielsweise noch die vollständige σ-Algebra.

Weitere Klassen von σ-Algebren[Bearbeiten | Quelltext bearbeiten]

Es existieren noch weitere Klassen von σ-Algebren, die vielfältige Anwendungen in der Mathematik finden. Ein Beispiel ist die σ-Algebra der invarianten Ereignisse, die in der Ergodentheorie verwendet wird.

Literatur[Bearbeiten | Quelltext bearbeiten]

Siehe auch[Bearbeiten | Quelltext bearbeiten]