Mengenkörper

Als Mengenalgebra (auch Mengenkörper, Teilmengenverband oder oft auch kurz Algebra), bezeichnet man ein Mengensystem, das bezüglich Komplementbildung und Vereinigung abgeschlossen ist (Ereignissystem). Auch das Teilgebiet der Mathematik, das vom Rechnen mit Mengen handelt, wird als Mengenalgebra bezeichnet. Ähnliche doppeldeutig ist auch der Begriff Algebra, der für ein Teilgebiet der Mathematik und auch für eine spezielle mathematische Struktur benutzt wird.

Formale Definition

Jede Mengenalgebra $\mathcal A$ ist Teilmenge der Potenzmenge $\mathcal{P}(\Omega)$ einer Grundmenge Ω. Folgende Axiome müssen gelten:

1. $\mathcal A \neq \emptyset$ ($\mathcal A$ ist nicht leer);
2. $A\in \mathcal A \Rightarrow \ A^{\mathrm c} \in \mathcal A$ (Mit jeder Menge A enthält $\mathcal A$ auch das Komplement $\Omega \setminus A$);
3. $A, B\in \mathcal A \Rightarrow \ A \cup B \in \mathcal A$ (Mit jeden zwei Mengen A, B enthält $\mathcal A$ auch deren Vereinigung $A \cup B$.)

Eigenschaften

Da $\mathcal A$ nicht leer ist, enthält es gewiss irgendeine Menge A und somit auch $A \cup (\Omega\setminus A) = \Omega$ sowie $\Omega\setminus\Omega = \emptyset$.

Aus den Axiomen folgt, dass $\mathcal A$ auch abgeschlossen bezüglich der Schnittmengenbildung sowie der Differenzmengenbildung ist. Man kann auch umgekehrt die Abgeschlossenheit unter Schnittmengenbildung axiomatisch fordern und daraus auf die Abgeschlossenheit unter Vereinigung schließen.

Eine Mengenalgebra bildet ein Monoid ($\mathcal A, \cup, \emptyset)$ mit der Vereinigung als innerer Verknüpfung und der Nullmenge als neutralem Element. Sie bildet ein weiteres Monoid $(\mathcal A, \cap , \Omega)$ mit dem Schnitt als Verknüpfung und der Grundmenge als neutralem Element.

Aufgrund der Existenz eines Komplements bildet eine Mengenalgebra überdies einen distributiven Verband.

Verwandte Strukturen

Wenn man Axiom (3) verschärft und die Abgeschlossenheit auch gegenüber der Vereinigung abzählbar unendlich vieler Mengen fordert, erhält man die Definition einer σ-Algebra.

Schwächt man die Definition ab, indem man anstelle von (2) die Abgeschlossenheit bezüglich Differenz fordert, so erhält man die Definition eines Mengenrings. Eine weitere Abschwächung liefert die Definition des Mengenhalbrings. Es gilt somit, dass jede Algebra ein Ring bzw. Halbring ist.

Jede Mengenalgebra ist eine boolesche Algebra.

Siehe auch

• Mengenlehre
• Halbring (Mengensystem)
• Ring (Mengensystem)
• σ-Algebra

Literatur

• Heinz Bauer: Maß- und Integrationstheorie, Walter de Gruyter, Berlin - New York 1992, ISBN 3-11-013626-0
• Elstrodt: Maß- und Integrationstheorie. ISBN 3-540-65420-8
• Ernst Henze: Einführung in die Maßtheorie. ISBN 3-411-03102-6