Mengenfolge

Eine Mengenfolge ist ein Begriff aus der Mengenlehre, einem Teilgebiet der Mathematik. Sie ist eine Verallgemeinerung einer Folge von Zahlen für Mengen und findet beispielsweise Anwendung in der Wahrscheinlichkeitstheorie und der Maßtheorie.

Definition

Formal definiert ist eine Mengenfolge auf der Grundmenge $\Omega$ als eine Abbildung

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{matrix} A \colon &\N &\to &\mathcal P (\Omega )\\ & i &\mapsto &A_i, \end{matrix}}

die jedem Index $i$ aus der als Indexmenge verwendeten Menge der natürlichen Zahlen $\mathbb {N}$ ein Folgenglied $A_{i}$ aus der Potenzmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal P (\Omega)} zuordnet

Mit anderen Worten, eine Mengenfolge ist eine geordnete Abfolge von Teilmengen einer gemeinsamen Grundmenge.

Beispiel

Die Grundmenge seien nun die natürlichen Zahlen $\mathbb {N}$:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_i := \{i,\dots,i^2\} \Rightarrow A_1=\{1\},\ A_2=\{2,3,4\},\ A_3=\{3,4,5,6,7,8,9\},\ \dots}

Abgrenzung

Im Unterschied zum Mengensystem ist bei einer Mengenfolge (wie bei jeder Folge) die Reihenfolge der Folgenglieder von Bedeutung. Außerdem darf das gleiche Folgenglied durchaus auch mehrfach auftreten, aber eben mit unterschiedlichem Index.

Eine Mengenfolge ist ein Spezialfall einer Mengenfamilie, wenn man bei der Familie als Indexmenge die natürlichen Zahlen wählt. Der Unterschied von der Mengenfolge zur Mengenfamilie ist, dass bei einer Mengenfamilie nicht notwendigerweise eine Ordnungsrelation auf den Indizes gegeben ist. Es gibt also nicht einen kleineren oder einer größeren Index. Diese Ordnung tragen die Indizes einer Mengenfolge automatisch über die natürliche Ordnung der natürlichen Zahlen.

Eigenschaften

• Eine Mengenfolge heißt eine monotone Mengenfolge, wenn immer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_1 \subset A_2 \subset A_3 \subset \cdots } oder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A_1 \supset A_2 \supset A_3 \supset \cdots } gilt.
• Wie auch bei Zahlenfolgen lässt sich der Limes superior und Limes inferior von Mengenfolgen definieren.
• Mithilfe des Limes inferior und des Limes superior lässt sich auch konvergenz für Mengenfolgen definieren. Eine Mengenfolge konvergiert genau dann, wenn der Limes superior und der Limes inferior übereinstimmen. Beispielsweise konvergiert jede monotone Mengenfolge.

Literatur

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