EineMengenfamilie ist ein Begriff aus derMengenlehre, einem Teilgebiet derMathematik. Dabei wird für eine beliebige Indexmenge jedem Element dieser Indexmenge eine Menge zugeordnet. Somit ist eine Mengenfamilie ein Spezialfall einerFamilie und enthält wiederum die Mengenfolgen als Spezialfall. Mengenfamilien gehören zu den Grundbegriffen der Mathematik und finden vielseitige Anwendungen, beispielsweise in derMaßtheorie und derWahrscheinlichkeitstheorie.

Eine Mengenfamilie auf der Grundmenge${\displaystyle \mathrm{\Omega }}$ ist eineAbbildung${\displaystyle A}$ von einer beliebigenIndexmenge${\displaystyle I}$ in diePotenzmenge${\displaystyle \mathcal{P}(\mathrm{\Omega })}$ der Grundmenge${\displaystyle \mathrm{\Omega }}$.

Jedem Element der Indexmenge${\displaystyle I}$ wird also eine beliebige Teilmenge der Grundmenge${\displaystyle \mathrm{\Omega }}$ zugeordnet.

Ein Beispiel einer Mengenfamilie mit abzählbar unendlicher Indexmenge ist die Mengenfolge

${\displaystyle A_i:=\{1,\dots ,i^2\}}$.

Hier sind sowohl die Grundmenge als auch die Indexmenge${\displaystyle \mathrm{\Omega }=I=\mathbb{N}}$.

Ein Beispiel mit überabzählbarer Indexmenge wäre das Intervall${\displaystyle [0,1]=I}$ als Indexmenge und die Familie definiert als

${\displaystyle A_i=[0,i]}$.

Die Obermenge${\displaystyle \mathrm{\Omega }}$ könnte dann beispielsweise das Intervall${\displaystyle [0,1]}$ oder auch die gesamten reellen Zahlen${\displaystyle \mathbb{R}}$ sein.

Die Wahl der Indexmenge ist völlig frei. Man kann auch dasEinheitsquadrat${\displaystyle I:=[0,1]\times [0,1]\subset {\mathbb{R}}^2}$ als Indexmenge wählen und die Familie beispielsweise durch${\displaystyle A_i=[0,x_1+x_2]}$ definieren, wobei${\displaystyle i=(x_1,x_2)\in I}$.Jedes Element dieser Mengenfamilie ist dann von der Form${\displaystyle [0,p]}$ für${\displaystyle p\in [0,2]}$. Als Obermenge kann man dementsprechend wieder das Intervall${\displaystyle [0,2]}$ oder die gesamten reellen Zahlen wählen.

• Eine Mengenfamilie mit den natürlichen Zahlen als Indexmenge ist eineMengenfolge.
• Die Indexmenge kann völlig ohne Struktur sein. Dies ist auch der Hauptunterschied zur Mengenfolge: die Mengenfolge hat per Definition eine natürliche Ordnung in der Indexmenge. Dies wird bei der Indexmenge der Mengenfamilie nicht gefordert. Beispielsweise hat das dritte der obigen Beispiele keinerlei natürliche Ordnungsstruktur auf der Indexmenge.
• Im Gegensatz zumMengensystem kann in einer Mengenfamilie eine Teilmenge der Obermenge beliebig oft vorkommen, aber dann eben mit unterschiedlichem Index.

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

• Mengenlehre