Mengenalgebra
Als Mengenalgebra, Teilmengenverband oder kurz Algebra, bezeichnet man bestimmte Mengen von Mengen. Als Mengenalgebra bezeichnet man auch, der Ambivalenz des Begriffs Algebra folgend, das Teilgebiet der Mathematik, das vom Rechnen mit Mengen handelt.
Table of contents |
2 Verwandte Strukturen 3 Eigenschaften |
Jede Mengenalgebra Ξ ist Teilmenge der Potenzmenge Π(X) einer Grundmenge X. Folgende Axiome müssen gelten:
Wenn man Axiom (3) verschärft und die Abgeschlossenheit auch gegenüber abzählbar unendlich vielen Vereinigungen fordert, erhält man die Definition einer σ-Algebra.
Wenn man auf Axiom (1) verzichtet, erhält man die Definition eines Mengenrings.
Jede Mengenalgebra ist eine Boolsche Algebra.
Aus den Axiomen folgt, dass Ξ auch abgeschlossen bezüglich der Schnittmengenbildung ist. Man kann auch umgekehrt die Abgeschlossenheit unter Schnittmengenbildung axiomatisch fordern und daraus auf die Abgeschlossenheit unter Vereinigung schließen.
Eine Mengenalgebra bildet eine Monoid (Ξ, ∪, ø) mit der Vereinigung als innerer Verknüpfung und der Nullmenge als neutralem Element. Sie bildet ein weiteres Monoid (Ξ, ∩, X) mit dem Schnitt als Verknüpfung und der Grundmenge als neutralem Element.
Aufgrund der Existenz eines Komplements bildet eine Mengenalgebra überdies einen distributiven Verband.Formale Definition
Das zweite und dritte Axiom können auch so formuliert werden: Ξ ist abgeschlossen bezüglich der Komplementbildung und Vereinigung.Verwandte Strukturen
Eigenschaften