Jewiki unterstützen. Jewiki, die größte Online-Enzyklopädie zum Judentum.
Helfen Sie Jewiki mit einer kleinen oder auch größeren Spende. Einmalig oder regelmäßig, damit die Zukunft von Jewiki gesichert bleibt ... Vielen Dank für Ihr Engagement! (→ Spendenkonten) |
How to read Jewiki in your desired language · Comment lire Jewiki dans votre langue préférée · Cómo leer Jewiki en su idioma preferido · בשפה הרצויה Jewiki כיצד לקרוא · Как читать Jewiki на предпочитаемом вами языке · كيف تقرأ Jewiki باللغة التي تريدها · Como ler o Jewiki na sua língua preferida |
Mengensystem
Ein Mengensystem ist in der Mathematik eine Menge, deren Elemente allesamt Teilmengen einer gemeinsamen Grundmenge sind.
Im Kontext der Graphentheorie wird ein Mengensystem als Hypergraph bezeichnet.
Formale Definition
Ist eine Grundmenge gegeben, so heißt jede Teilmenge der Potenzmenge ein Mengensystem über . Anders ausgedrückt: ist eine Menge von Mengen und jedes Element von ist eine Teilmenge von .
Stabilität
Ein Mengensystem heißt abgeschlossen oder stabil bezüglich einer Mengenoperation (Durchschnitt, Vereinigung, Komplement etc.), wenn die Anwendung der Operation auf Elemente von wieder ein Element von liefert. Mengensysteme werden oftmals bezüglich der stabilen Operationen benannt. So heißt ein Mengensystem zum Beispiel
- -stabil (schnittstabil) oder auch ein π-System, wenn gilt.
- -stabil (vereinigungsstabil), wenn gilt.
- --stabil, oder ein δ-System, wenn für abzählbar unendliche viele Mengen auch wieder in ist.
- --stabil, wenn für abzählbar unendliche viele Mengen auch wieder in ist.
- -stabil (differenz-stabil), wenn gilt.
- Komplementstabil, wenn gilt.
Teilweise werden auch Systeme, die lediglich abgeschlossen bezüglich abzählbar unendlichen Vereinigungen sind, als -Systeme bezeichnet. Dann nennt man Systeme, die abgeschlossen bezüglich abzählbar unendlichen Durchschnitten sind auch -Systeme.
Beispiele
Die folgenden mathematischen Objekte sind Mengensysteme mit zusätzlichen Eigenschaften. Bei der Formulierung dieser Eigenschaften spielt oft die Stabilität bezüglich bestimmter Mengenoperationen eine Rolle.
|
Hypergraphen
Im Kontext der Graphentheorie wird ein Mengensystem auch als Hypergraph bezeichnet. Die Elemente der Grundmenge heißen dann Knoten und die Elemente des Mengensystems heißen Hyperkanten. Man kann sich eine Hyperkante als Verallgemeinerung einer Kante in einem gewöhnlichen Graphen vorstellen, die eben nicht zwei, sondern mehrere Knoten gleichzeitig miteinander „verbindet“. Im nebenstehenden Beispiel gilt:
- Menge der Knoten =
- Menge der Hyperkanten = , wobei
- Hyperkante
- Hyperkante
- Hyperkante
- Hyperkante
In vielen Anwendungsfällen von Hypergraphen wird die Knotenmenge als endlich festgelegt und die leere Hyperkante ausgeschlossen.
Verbindet jede Hyperkante genau 2 Knoten, liegt ein ungerichteter Graph vor (genauer: ein ungerichteter Graph ohne Mehrfachkanten und ohne Schleifen). Das Mengensystem besteht dann also nur aus 2-elementigen Teilmengen der Grundmenge. Im nebenstehenden Beispiel gilt:
- Grundmenge =
- Mengensystem =
Axiomatische Mengenlehre
In der Zermelo-Fraenkel-Mengenlehre gibt es nur einen Typ von Objekten, nämlich Mengen. Damit sind alle Elemente einer Menge selbst wieder Mengen, und die Begriffe Menge und Mengensystem stimmen überein.
Beispiel: Jede natürliche Zahl wird in diesem Zusammenhang mit der Menge ihrer Vorgänger identifiziert. Dies ergibt den folgenden Aufbau:
- (die leere Menge)
Literatur
- Oliver Deiser: Einführung in die Mengenlehre. Springer, 2004, ISBN 978-3-540-20401-5
Dieser Artikel basiert ursprünglich auf dem Artikel Mengensystem aus der freien Enzyklopädie Wikipedia und steht unter der Doppellizenz GNU-Lizenz für freie Dokumentation und Creative Commons CC-BY-SA 3.0 Unported. In der Wikipedia ist eine Liste der ursprünglichen Wikipedia-Autoren verfügbar. |