δ-System (Maßtheorie)

Mengensystem in der Maßtheorie, das bezüglich gewissen mengentheoretischen Operationen abgeschlossen ist

Ein δ-System, auch ein σ--stabiles System genannt, ist ein Mengensystem in der Maßtheorie, das bezüglich gewissen mengentheoretischen Operationen abgeschlossen ist. Der Zusatz "δ-" wird auch bei spezielleren Mengensystemen verwendet, um anzudeuten, dass es sich zusätzlich um ein δ-System handelt, so spricht man dann beispielsweise von δ-Ringen oder δ-Algebren.

Definition

Bearbeiten

Eine Mengensystem   auf der Grundmenge   heißt ein δ-System, wenn es bezüglich abzählbaren Durchschnitten abgeschlossen ist. Es gilt also für  , dass

 

ist.

Beispiele

Bearbeiten
  • Jedes durchschnittsstabile Mengensystem mit endlich vielen Elementen ist ein δ-System. Dazu setzt man bei der Folge der Mengen des Mengensystems einfach alle Mengen, deren Index einen gewissen Wert überschreitet, als eine feste Menge. Dadurch handelt es sich bei dem Schnitt formal um eine abzählbare Folge, sie enthält aber nur endlich viele voneinander verschiedene Mengen.
  • Jede σ-Algebra ist per Definition ein δ-System.

Eigenschaften

Bearbeiten
  • Jedes δ-System, das stabil bezüglich Komplementbildung ist, ist auch automatisch stabil gegenüber abzählbaren Vereinigungen. Dies folgt aus den De Morganschen Gesetzen.
  • Ebenso gilt die Umkehrung: Jedes System, das stabil gegenüber abzählbaren Vereinigungen und Komplementbildung ist, ist ein δ-System.

Literatur

Bearbeiten