δ-System (Maßtheorie)

Eine Mengensystem ${\displaystyle {\mathcal {S}}\subset {\mathcal {P}}(\Omega )}$ auf der Grundmenge ${\displaystyle \Omega }$ heißt ein δ-System, wenn es bezüglich abzählbaren Durchschnitten abgeschlossen ist. Es gilt also für ${\displaystyle A_{1},A_{2},A_{3},...\in {\mathcal {S}}}$, dass

${\displaystyle \bigcap _{i=1}^{\infty }A_{i}\in {\mathcal {S}}}$

ist.

• 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.

• 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.

• Jürgen Elstrodt: Maß- und Integrationstheorie. 6., korrigierte Auflage. Springer-Verlag, Berlin Heidelberg 2009, ISBN 978-3-540-89727-9, doi:10.1007/978-3-540-89728-6.